1998 |
10 | | Gian Luigi Ferrari,
Stefania Gnesi,
Ugo Montanari,
Marco Pistore,
Gioia Ristori:
Verifying Mobile Processes in the HAL Environment.
CAV 1998: 511-515 |
1997 |
9 | | Gian Luigi Ferrari,
Gianluigi Ferro,
Stefania Gnesi,
Ugo Montanari,
Marco Pistore,
Gioia Ristori:
An Automated Based Verification Environment for Mobile Processes.
TACAS 1997: 275-289 |
8 | | Ugo Montanari,
Gioia Ristori:
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems.
Fundam. Inform. 31(3/4): 357-377 (1997) |
1995 |
7 | | Rocco De Nicola,
Alessandro Fantechi,
Stefania Gnesi,
Salvatore Larosa,
Gioia Ristori:
Verifying hardware components within JACK.
CHARME 1995: 246-260 |
1994 |
6 | | Nicoletta De Francesco,
Ugo Montanari,
Gioia Ristori:
Modelling Concurrent Accesses to Shared Data via Petri Nets.
PROCOMET 1994: 403-422 |
5 | | Alessandro Fantechi,
Stefania Gnesi,
Gioia Ristori:
Model Checking for Action-Based Logics.
Formal Methods in System Design 4(2): 187-203 (1994) |
4 | | Alessandro Fantechi,
Stefania Gnesi,
Gioia Ristori,
Michele Carenini,
Massimo Vanocchi,
Paolo Moreschini:
Assisting Requirement Formalization by Means of Natural Language Translation.
Formal Methods in System Design 4(3): 243-263 (1994) |
1993 |
3 | | Rocco De Nicola,
Alessandro Fantechi,
Stefania Gnesi,
Gioia Ristori:
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
Computer Networks and ISDN Systems 25(7): 761-778 (1993) |
1991 |
2 | | Rocco De Nicola,
Alessandro Fantechi,
Stefania Gnesi,
Gioia Ristori:
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
CAV 1991: 37-47 |
1990 |
1 | | Alessandro Fantechi,
Stefania Gnesi,
Gioia Ristori:
Compositional logic semantics and LOTOS.
PSTV 1990: 365-378 |