BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Alfaro:Luca_de

Facilitated 2 volumes:

CBSE 2005PrCo

Contributed to:

FASE 20102010
FoSSaCS 20082008
CAV 20072007
CSL 20072007
LICS 20072007
CAV 20062006
ICALP 20052005
ICALP 20042004
LICS 20042004
TACAS 20042004
ICALP 20032003
CAV 20022002
CAV 20012001
ESEC/FSE 20012001
ICSE 20012001
LICS 20012001
STOC 20012001
CAV 20002000
LICS 20002000
TACAS 20002000
LICS 19981998
TACAS 19971997
CAV 19961996

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.