Gioia Ristori

Publication Activity (10 Years)

Years Active: 1990-1998
Publications (10 Years): 0

Publications

Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
Verifying Mobile Processes in the HAL Environment. CAV (1998)
Gian Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
An Automated Based Verification Environment for Mobile Processes. TACAS (1997)
Ugo Montanari, Gioia Ristori
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems. Fundam. Informaticae 31 (3/4) (1997)
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori
Verifying hardware components within JACK. CHARME (1995)
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini
Assisting Requirement Formalization by Means of Natural Language Translation. Formal Methods Syst. Des. 4 (3) (1994)
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
Model Checking for Action-Based Logics. Formal Methods Syst. Des. 4 (2) (1994)
Nicoletta De Francesco, Ugo Montanari, Gioia Ristori
Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET (1994)
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Comput. Networks ISDN Syst. 25 (7) (1993)
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. CAV (1991)
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
Compositional logic semantics and LOTOS. PSTV (1990)