Travelled to:1 × Austria
1 × Canada
1 × Cyprus
1 × Denmark
1 × France
1 × Greece
1 × Hungary
1 × Poland
1 × Portugal
1 × Spain
1 × Switzerland
2 × Finland
2 × Germany
2 × The Netherlands
6 × USA
Collaborated with:T.A.Henzinger R.Majumdar M.Faella ∅ F.Y.C.Mang Z.Manna M.Stoelinga V.Raman P.Roy K.Chatterjee A.Chakrabarti T.E.Uribe P.Godefroid R.Jagadeesan C.Sánchez H.B.Sipma P.A.Abdulla N.B.Henda R.Mayr S.Sandberg M.Jurdzinski M.Z.Kwiatkowska G.Norman D.Parker R.Segala B.T.Adler L.D.d.Silva A.Legay R.Alur R.Grosu M.Kang C.M.Kirsch B.Wang N.Bjørner A.Browne E.Y.Chang M.Colón H.Devarajan A.Kapur J.Lee H.Sipma
Talks about:game (10) check (5) interfac (4) system (4) model (4) regular (3) tempor (3) verif (3) probabilist (2) stochast (2)
♂ Person: Luca de Alfaro
DBLP: Alfaro:Luca_de
Facilitated 2 volumes:
Ed
PrCoContributed to:
20102008
2007
2007
20072006
200520042004
2004200320022001
2001
20012001
2001200020002000199819971996
1995Wrote 27 papers:
- FASE-2010-ChatterjeeARS #concurrent #multi #source code #thread
- Analyzing the Impact of Change in Multi-threaded Programs (KC, LdA, VR, CS), pp. 293–307.
- FoSSaCS-2008-AbdullaHAMS #game studies #probability
- Stochastic Games with Lossy Channels (PAA, NBH, LdA, RM, SS), pp. 35–49.
- CAV-2007-AlfaroF #algorithm #game studies
- An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games (LdA, MF), pp. 108–120.
- CAV-2007-AlfaroR #abstraction #markov #process
- Magnifying-Lens Abstraction for Markov Decision Processes (LdA, PR), pp. 325–338.
- CSL-2007-Alfaro #approach #game studies
- The Symbolic Approach to Repeated Games (LdA), p. 3.
- LICS-2007-AlfaroMRS #game studies #metric
- Game Relations and Metrics (LdA, RM, VR, MS), pp. 99–108.
- CAV-2006-AdlerASFLRR #composition #interface #named
- Ticc: A Tool for Interface Compatibility and Composition (BTA, LdA, LDdS, MF, AL, VR, PR), pp. 59–62.
- ICALP-2005-ChatterjeeAH #complexity #game studies #probability
- The Complexity of Stochastic Rabin and Streett Games (KC, LdA, TAH), pp. 878–890.
- ICALP-2004-AlfaroFS #branch #linear #metric
- Linear and Branching Metrics for Quantitative Transition Systems (LdA, MF, MS), pp. 97–109.
- LICS-2004-AlfaroGJ #abstraction #game studies #nondeterminism #precise
- Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.
- TACAS-2004-AlfaroFHMS #model checking
- Model Checking Discounted Temporal Properties (LdA, MF, TAH, RM, MS), pp. 77–92.
- ICALP-2003-AlfaroF #concurrent #data flow #game studies
- Information Flow in Concurrent Games (LdA, MF), pp. 1038–1053.
- ICALP-2003-AlfaroHM
- Discounting the Future in Systems Theory (LdA, TAH, RM), pp. 1022–1037.
- CAV-2002-ChakrabartiAHJM #interface
- Interface Compatibility Checking for Software Modules (AC, LdA, TAH, MJ, FYCM), pp. 428–441.
- CAV-2002-ChakrabartiAHM #bidirectional #component #interface
- Synchronous and Bidirectional Component Interfaces (AC, LdA, TAH, FYCM), pp. 414–427.
- CAV-2001-Alfaro #model checking #web
- Model Checking the World Wide Web (LdA), pp. 337–349.
- ESEC-FSE-2001-AlfaroH #automaton #interface
- Interface automata (LdA, TAH), pp. 109–120.
- ICSE-2001-AlurAGHKKMMW #design #model checking #named
- JMOCHA: A Model Checking Tool that Exploits Design Structure (RA, LdA, RG, TAH, MK, CMK, RM, FYCM, BYW), pp. 835–836.
- LICS-2001-AlfaroHM #source code #verification
- From Verification to Control: Dynamic Programs for ω-Regular Objectives (LdA, TAH, RM), pp. 279–290.
- STOC-2001-AlfaroM #game studies
- Quantitative solution of ω-regular games (LdA, RM), pp. 675–683.
- CAV-2000-AlfaroHM #detection #fault
- Detecting Errors Before Reaching Them (LdA, TAH, FYCM), pp. 186–201.
- LICS-2000-AlfaroH #concurrent #game studies
- Concurrent ω-Regular Games (LdA, TAH), pp. 141–154.
- TACAS-2000-AlfaroKNPS #model checking #probability #process #representation #using
- Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation (LdA, MZK, GN, DP, RS), pp. 395–410.
- LICS-1998-Alfaro #behaviour #how #probability #verification
- How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems (LdA), pp. 454–465.
- TACAS-1997-AlfaroM #verification #visual notation
- Visual Verification of Reactive Systems (LdA, ZM, HBS, TEU), pp. 334–350.
- CAV-1996-AlfaroM #diagrams #verification
- Temporal Verification by Diagram Transformations (LdA, ZM), pp. 288–299.
- TAPSOFT-1995-MannaBBCCADKLSU #named #proving
- STeP: The Stanford Temporal Prover (ZM, NB, AB, EYC, MC, LdA, HD, AK, JL, HS, TEU), pp. 793–794.