Searching for authors named "Marco Faella" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

Model checking Quantitative Linear Time Logic
by Marco Faella, Axel Legay, Mariëlle Stoelinga
…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
by Luca De Alfaro, Marco Faella — CAV, Lecture
… 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
by B. Thomas Adler, Luca De Alfaro, Marco Faella — 2005 — In FORMATS 05, LNCS 3829
…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
by Luca De Alfaro, Marco Faella, Rupak Majumdar — 2005 — In Proceedings of the 5th ACM international conference on Embedded software (EMSOFT’05
…, 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
by Luca De Alfaro, Marco Faella, Mariëlle Stoelinga — 2004 — In Proceedings of the 31st International Colloquium on Automata, Languages and Programming
…, 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
by Marco Faella, Salvatore La Torre, Aniello Murano — 2002
… ? 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
by Marco Faella, Salvatore La Torre, Aniello Murano — 2002 — IN LICS 02
…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
by Luca De Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marielle Stoelinga
…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
by B. Thomas Adler, Luca De Alfaro, Ro Dias Da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy — 2006 — In Proceedings 18th International Conference on Computer Aided Verification (CAV), volume 4144 of Lecture Notes in Computer Science
… , 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
by Luca De Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar Mariëlle Stoelinga, Rupak Majumdar, Marielle Stoelinga — 2003
…Model Checking Discounted Temporal Properties ? Luca de Alfaro 1 , Marco Faella 1;3 , Thomas A…
Cited by 7 (3 self) – Add To MetaCart

Showing 1 through 10.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB