Searching for authors named "Marco Bozzano" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Ensuring Security through Model Checking in a Logical Environment
- …Ensuring Security through Model Checking in a Logical Environment (Preliminary Results) Marco…
- Cited by 5 (3 self) – Add To MetaCart
-
Beyond Parameterized Verification: Automated Verification of Multi-client Protocols with Unbounded Local Data
- … Local Data Marco Bozzano and Giorgio Delzanno Dipartimento di Informatica e Scienze dell…
- Add To MetaCart
-
Automated Verification of Security Protocols
- …Automated Verication of Security Protocols Marco Bozzano 1 Giorgio Delzanno 2 1 ITC - IRST Via…
- Add To MetaCart
-
Integrating Fault Tree Analysis with Event Ordering Information
- … owner. Integrating Fault Tree Analysis with Event Ordering Information Marco Bozzano & Adolfo…
- Cited by 8 (4 self) – Add To MetaCart
-
Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform
- …/NuSMV-SA Safety Analysis Platform ? Marco Bozzano and Adolfo Villaorita ITC-IRST, Via Sommarive 18, 38050 Trento…
- Cited by 14 (1 self) – Add To MetaCart
-
Symbolic Fault Tree Analysis for Reactive Systems
- …Symbolic Fault Tree Analysis for Reactive Systems Marco Bozzano, Alessandro Cimatti, and Francesco…
- Cited by 1 (0 self) – Add To MetaCart
-
Beyond parameterized verification
- …Beyond Parameterized Verication Marco Bozzano and Giorgio Delzanno Dipartimento di Informatica e…
- Cited by 6 (2 self) – Add To MetaCart
-
Algorithmic Verification of Invalidation-based Protocols
- …Algorithmic Verication of Invalidation-based Protocols Marco Bozzano and Giorgio Delzanno…
- Cited by 6 (1 self) – Add To MetaCart
-
The FSAP/NuSMV-SA Safety Analysis Platform
- …The FSAP/NuSMV-SA Safety Analysis Platform Marco Bozzano, Charles Jochim, and Francesco Tapparo…
- Cited by 3 (2 self) – Add To MetaCart
-
Automated Protocol Verification in Linear Logic
- … Verication in Linear Logic Marco Bozzano ITC - IRST Via Sommarive 18 Povo, 38050 Trento, Italy Tel. ++39…
- Cited by 9 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
