Searching for authors named "Francesca Levi" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
A Process Language for Statecharts
- …A Process Language for Statecharts ? Francesca Levi Dipartimento di Informatica, Universit`a di…
- Cited by 8 (2 self) – Add To MetaCart
-
Verification of Temporal and Real-Time properties of Statecharts
- … of Statecharts Francesca Levi March 1997 ADDR: Corso Italia 40,56125 Pisa,Italy. TEL:+39-50-887111. FAX: +39…
- Cited by 12 (3 self) – Add To MetaCart
-
Compositional Verification of Timed Statecharts
- …Compositional Verification of Timed Statecharts Francesca Levi Dipartimento di Informatica…
- Cited by 2 (1 self) – Add To MetaCart
-
Compositional Verification of Quantitative Properties of Statecharts
- … Compositional Verification of Quantitative Properties of Statecharts Francesca Levi Dipartimento…
- Add To MetaCart
-
A Control Flow Analysis for Safe and Boxed Ambients
- …A Control Flow Analysis for Safe and Boxed Ambients ? Francesca Levi 1 Chiara Bodei 2 1 DISI…
- Cited by 2 (0 self) – Add To MetaCart
-
Security Analysis for Mobile Ambients
- …Security Analysis for Mobile Ambients Francesca Levi, Chiara Bodei Dipartimento di Informatica…
- Cited by 3 (1 self) – Add To MetaCart
-
Controlling Interference in Ambients
- …Controlling Interference in Ambients Francesca Levi University of Pisa, Italy Davide Sangiorgi…
- Cited by 109 (8 self) – Add To MetaCart
-
Control Flow Analysis for Mobile Ambients with Applications to Security
- …, Francesca Levi, Chiara Bodei Dipartimento di Informatica, Universita di Pisa Corso Italia, 40, I-56125 Pisa…
- Add To MetaCart
-
Safe Ambients: Control Flow Analysis and Security.
- …Safe Ambients: Control Flow Analysis and Security. Pierpaolo Degano, Francesca Levi, Chiara Bodei…
- Cited by 15 (2 self) – Add To MetaCart
-
Verification of Temporal and Real-Time Properties of Statecharts
- … of Statecharts Francesca Levi February 17, 1997 ADDR: Corso Italia 40,56125 Pisa,Italy. TEL:+39-50-887111. FAX…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
