Luca de Alfaro

Available identifiers

zbMath Open de-alfaro.lucaWikidataQ64796904 ScholiaQ64796904MaRDI QIDQ355504

List of research outcomes

Publication	Date of Publication	Type
CONCUR Test-Of-Time Award 2021 (Invited Paper)	2023-08-21	Paper
Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification	2022-11-09	Paper
Temporal logics for the specification of performance and reliability	2022-11-09	Paper
Verification in continuous time by discrete reasoning	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4633826	2019-05-06	Paper
Model Checking Probabilistic Systems	2018-07-20	Paper
Model checking of probabilistic and nondeterministic systems	2017-01-19	Paper
Qualitative concurrent parity games	2015-09-17	Paper
Quantitative solution of omega-regular games380872	2015-02-27	Paper
Code aware resource management	2014-06-30	Paper
THE COMPLEXITY OF COVERAGE	2013-07-30	Paper
Strategy improvement for concurrent reachability and turn-based stochastic safety games	2013-07-24	Paper
Algorithms for Game Metrics	2012-10-19	Paper
Algorithms for Game Metrics	2010-09-21	Paper
The complexity of quantitative concurrent parity games	2010-08-16	Paper
Solving games via three-valued abstraction refinement	2010-06-25	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Verification: Theory and Practice	2010-03-23	Paper
Qualitative Logics and Equivalences for Probabilistic Systems	2009-06-30	Paper
The Symbolic Approach to Repeated Games (Abstract)	2009-03-05	Paper
Game Refinement Relations and Metrics	2008-11-13	Paper
Solving Games Via Three-Valued Abstraction Refinement	2008-09-18	Paper
Stochastic Games with Lossy Channels	2008-04-11	Paper
Concurrent reachability games	2007-12-19	Paper
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games	2007-11-29	Paper
Magnifying-Lens Abstraction for Markov Decision Processes	2007-11-29	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Frontiers of Combining Systems	2006-10-10	Paper
Automata, Languages and Programming	2006-01-10	Paper
Model checking discounted temporal properties	2005-12-06	Paper
Automata, Languages and Programming	2005-08-24	Paper
Quantitative solution of omega-regular games	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4473719	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4449238	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4449239	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4439564	2003-12-14	Paper
Synchronous and Bidirectional Component Interfaces	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804914	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4791844	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4791854	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4791855	2003-02-03	Paper
Hybrid diagrams	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4536620	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4553259	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q2754083	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4270052	1999-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4270053	1999-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4255554	1999-08-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luca de Alfaro