| 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 |
