Searching for authors named "Marco Faella" – sorted by Relevance.
-
Model checking Quantitative Linear Time Logic
- QAPL 2008 Model checking Quantitative Linear Time Logic Marco Faella Università di Napoli
- Add To MetaCart
-
An accelerated algorithm for 3-color parity games with an application to timed games
- with an Application to Timed Games ⋆ Luca de Alfaro 1 and Marco Faella 2 1 Department of Computer Engineering
- Cited by 1 (0 self) – Add To MetaCart
-
Average reward timed games
- Average Reward Timed Games ⋆ B. Thomas Adler 1 , Luca de Alfaro 1 , and Marco Faella 1,2 1 School
- Cited by 6 (1 self) – Add To MetaCart
-
Code aware resource management
- , New Jersey, USA. Copyright 2005 ACM 1-59593-091-4/05/0009 ...$5.00. Marco Faella UC Santa Cruz, USA
- Cited by 4 (0 self) – Add To MetaCart
-
Linear and Branching Metrics for Quantitative Transition Systems
- , Marco Faella, and Marielle Stoelinga Department of Computer Engineering, Universitity of California
- Cited by 13 (1 self) – Add To MetaCart
-
Automata-theoretic Decision of Timed Games
- ? Marco Faella 1 , Salvatore La Torre 1;2 , and Aniello Murano 1;3 1 Universita degli Studi di
- Cited by 8 (3 self) – Add To MetaCart
-
Dense Real-time Games
- Marco Faella Università degli Studi di Salerno mfaella@(email omitted); Abstract The rapid development
- Cited by 14 (3 self) – Add To MetaCart
-
The Element of Surprise in Timed Games
- The Element of Surprise in Timed Games ? Luca de Alfaro 1 , Marco Faella 1;2 , Thomas A
- Cited by 16 (7 self) – Add To MetaCart
-
Ticc, a tool for interface compatibility and composition
- , Leandro Dias Da Silva 2 , Marco Faella 3 , Axel Legay 1,4 , Vishwanath Raman 1 , and Pritam Roy 1 1 School
- Cited by 3 (2 self) – Add To MetaCart
-
Model Checking Discounted Temporal Properties
- Model Checking Discounted Temporal Properties ? Luca de Alfaro 1 , Marco Faella 1;3 , Thomas A
- Cited by 7 (3 self) – Add To MetaCart

