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