|
СТ |
Algorithmic Verification of Invalidation-Based Protocols |
2002 |
Bozzano M., Delzanno G. |
|
|
|
Lecture Notes in Computer Science |
31.08.2002 |
|
СТ |
Towards and Automated Verification of Multithreaded Java Programs |
2002 |
Delzanno G., Raskin J. -F., Van Begin L. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
|
СТ |
Beyond Parameterezed Verification |
2002 |
Bozzano M., Delzanno G. |
|
|
|
Lecture Notes in Computer Science |
21.05.2002 |
|
СТ |
Constraint-Based Verification of Client-Server Protocols |
2001 |
Delzanno G., Bultan T. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
|
СТ |
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets |
2001 |
Carvajal-Schiaffino R., Delzanno G., Chiola G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.05.2001 |
|
СТ |
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and LambdaProlog - A Case-study |
2001 |
Delzanno G. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs |
2001 |
Bozzano M., Delzanno G., Martelli M. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
Constraint-Based Analysis of Broadcast Protocols |
1999 |
Delzanno G., Esparza J., Podelski A. |
|
|
|
Lecture Notes in Computer Science |
12.11.1999 |
|
СТ |
Model Checking in CLP |
1999 |
Delzanno G., Podelski A. |
|
|
|
Lecture Notes in Computer Science |
08.04.1999 |
|
СТ |
Multi-agent Systems Development as a Software Engineering Enterprise |
1999 |
Bozzano M., Delzanno G., Martelli M., Mascardi V., Zini F. |
|
|
|
Lecture Notes in Computer Science |
16.02.1999 |
|
СТ |
A Linear Logic Calculus of Objects |
1996 |
Bugliesi M., Delzanno G., Liquori L., Martelli M. |
|
|
|
Logic Programming |
12.03.1998 |
|
СТ |
Objects in Forum |
1995 |
Delzanno G., Martelli M. |
|
|
|
Logic Programming: Proc. of the Intern. Symp. |
24.04.1996 |
