Searching for authors named "Gigliola Vaglini" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Efficient Model Checking of Properties of a Distributed Application: a Multimedia Case Study
- … Mazzocca | , Antonella Santone , Gigliola Vaglini , Valeria Vittorini } | Dip. di Ingegneria…
- Add To MetaCart
-
Loreto: A Tool For Reducing State Explosion In Verification Of Lotos Programs
- … , Nicoletta De Francesco z , Antonella Santone z , and Gigliola Vaglini z y Dipartimento di Informatica…
- Add To MetaCart
-
Formula based Abstractions of Transition Systems for Real-time Model Checking
- … , Nicoletta De Francesco z , Antonella Santone z , and Gigliola Vaglini z y Dipartimento di Informatica…
- Add To MetaCart
-
Logic based Abstractions of Real-time Systems
- … , Antonella Santone z , and Gigliola Vaglini z y Dipartimento di Informatica, Universita di Pisa, I-56125…
- Add To MetaCart
-
Selective mu-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems
- …@(email omitted); Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini Dipartimento di Ingegneria dell…
- Cited by 8 (7 self) – Add To MetaCart
-
State Space Reduction by Non-standard Semantics for Deadlock Analysis
- …, Antonella Santone, Gigliola Vaglini Dipartimento di Ingegneria dell'Informazione Universit`a di Pisa I…
- Cited by 2 (2 self) – Add To MetaCart
-
A Non Standard-Semantics for Generating Reduced Transition Systems
- …, Antonella Santone, Gigliola Vaglini Dipartimento di Ingegneria dell'Informazione Universit`a di Pisa I…
- Cited by 1 (1 self) – Add To MetaCart
-
Selective mu-calculus and Formula-Based Equivalence of Transition Systems
- … , Nicoletta De Francesco z , Antonella Santone z and Gigliola Vaglini z y Dipartimento di Informatica…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 8.
