Gioia Ristori

According to our database, Gioia Ristori authored at least 9 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

Verifying Mobile Processes in the HAL Environment.

Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

A Concurrent Functional Semantics for a Process Algebra Based on Action Systems.

Ugo Montanari, Gioia Ristori

Fundam. Informaticae, 1997

An Automated Based Verification Environment for Mobile Processes.

Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1995

Verifying hardware components within JACK.

Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994

Assisting Requirement Formalization by Means of Natural Language Translation.

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini

Formal Methods Syst. Des., 1994

Model Checking for Action-Based Logics.

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori

Formal Methods Syst. Des., 1994

Modelling Concurrent Accesses to Shared Data via Petri Nets.

Nicoletta De Francesco, Ugo Montanari, Gioia Ristori

Proceedings of the Programming Concepts, 1994

1993

An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.

Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori

Comput. Networks ISDN Syst., 1993

1990

Compositional logic semantics and LOTOS.

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori

Proceedings of the Protocol Specification, 1990