Searching for authors named "Antonella Santone" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
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
-
Unfold/Fold Transformations of Concurrent Processes
- …Unfold/Fold Transformations of Concurrent Processes 1 Nicoletta De Francesco and Antonella Santone…
- Cited by 4 (0 self) – Add To MetaCart
-
A Program Transformations Methodology for CCS
- …'Informazione Universit`a di Pisa I-56126 Pisa, Italy nico@(email omitted); Antonella Santone Dip. di Ing. dell…
- Cited by 1 (1 self) – 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
-
A Notion of Non-Interference for Timed Automata (Extended Abstract)
- … , Nicoletta De Francesco z , Antonella Santone z , Luca Tesei y y Dipartimento di Informatica…
- Add To MetaCart
-
Efficient Verification of a Multicast Protocol for Mobile Computing
- … Bartoli , Nicoletta De Francesco, Antonella Santone Dipartimento di Ingegneria dell…
- Cited by 1 (0 self) – 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
Showing 1 through 10.
Next 10 →
