|
СТ |
PLUTO: A Test Methodology for Product Families |
2004 |
Bertolino A., Gnesi S. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
10.07.2004 |
|
СТ |
AGILE: Software Architecture for Mobility |
2003 |
Andrade L., Baldan P., Baumeister H., Bruni R., De Nicola R., Fiadeiro J. L., Gadducci F., Gnesi S., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Latella D., Lopes A., Loreti M., Massink M., Mazzanti U., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
Finite Approximations for Model Checking Non-finite-state Processes |
2001 |
De Francesco N., Fantechi A., Gnesi S., Inverardi I. |
|
|
|
The Computer J. |
08.06.2001 |
|
СТ |
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors |
2000 |
Gnesi S., Latella D., Lenzini G., Abbaneo C., Amendola A., Marmo P. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
СТ |
Model Checking of Non-Finite State Processes by Finite Approximations |
1995 |
De Francesco N., Fantechi A., Gnesi S., Inverardi P. |
|
|
|
Lecture Notes in Computer Science |
11.01.1996 |
|
СТ |
Compositionality and Bisimulation: a negative result |
1990 |
Fantechi A., Gnesi S., Ristori G. |
|
|
Istituto di Elaborazione dell Infomazione - C.N.R. |
|
16.05.1995 |
|
СТ |
JACK: Just Another Concurrency Kit. |
1994 |
Bouali A., Gnesi S., Larosa S. |
|
|
|
EATCS Bull. |
07.12.1994 |
|
СТ |
An Expressive Logic for Basic Process Algebra |
1993 |
Fantechi A., Gnesi S., Perticaroli V. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
|
СТ |
Compositionality and bisimulation: A negative resalt |
1991 |
Fantechi A., Gnesi S. |
|
|
|
Information Processing Letters |
18.09.1991 |
