Searching for authors named "Nicoletta De Francesco" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
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
- …A Program Transformations Methodology for CCS Nicoletta De Francesco 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
- …Logic based Abstractions of Real-time Systems Roberto Barbuti y , Nicoletta De Francesco z…
- 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
- …State Space Reduction by Non-standard Semantics for Deadlock Analysis 1 Nicoletta De Francesco…
- Cited by 2 (2 self) – Add To MetaCart
-
A Non Standard-Semantics for Generating Reduced Transition Systems
- …A Non Standard-Semantics for Generating Reduced Transition Systems Nicoletta De Francesco…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
