Luca de Alfaro
发表
Eugenio Tacchini,
Gabriele Ballarin,
Marco L. Della Vedova,
2017,
ArXiv.
Krishnendu Chatterjee,
Rupak Majumdar,
Luca de Alfaro,
2008,
APLAS.
Luca de Alfaro,
Pritam Roy,
2007,
CONCUR.
Luca de Alfaro,
Panayiotis Tsaparas,
Maria Daltayanni,
2014,
EDBT.
Alberto L. Sangiovanni-Vincentelli,
Thomas A. Henzinger,
Roberto Passerone,
2002,
IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
Massimo Di Pierro,
Eugenio Tacchini,
Gabriele Ballarin,
2018,
ArXiv.
Luca de Alfaro,
L. D. Alfaro,
2003,
Verification: Theory and Practice.
Luca de Alfaro,
2009,
FoSSaCS.
Radha Jagadeesan,
Luca de Alfaro,
Patrice Godefroid,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2002,
CAV.
Thomas A. Henzinger,
Luca de Alfaro,
Orna Kupferman,
2007,
Theor. Comput. Sci..
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2001,
WWW Posters.
Luca de Alfaro,
Pritam Roy,
L. D. Alfaro,
2007,
CAV.
Luca de Alfaro,
L. D. Alfaro,
1999,
CONCUR.
Luca de Alfaro,
Pritam Roy,
Gethin Norman,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Luca de Alfaro,
Arjun Kapur,
L. D. Alfaro,
2003,
Theor. Comput. Sci..
Luca de Alfaro,
L. D. Alfaro,
2001,
CAV.
Krishnendu Chatterjee,
Rupak Majumdar,
Luca de Alfaro,
2013,
Int. J. Found. Comput. Sci..
Thomas A. Henzinger,
Rajeev Alur,
Radu Grosu,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Luca de Alfaro,
Benjamin M. Good,
Andrew I. Su,
2011,
Nucleic Acids Res..
Zohar Manna,
Luca de Alfaro,
Z. Manna,
1995,
AMAST.
Luca de Alfaro,
Atish Das Sarma,
2011
.
Luca de Alfaro,
Vassilis Polychronopoulos,
Rakshit Agrawal,
2016,
AAAI Workshops.
Luca de Alfaro,
Vishwanath Raman,
B. Thomas Adler,
2008,
Int. Sym. Wikis.
Massimo Di Pierro,
Eugenio Tacchini,
Gabriele Ballarin,
2018,
2018 22nd Conference of Open Innovations Association (FRUCT).
Luca de Alfaro,
2005,
Electron. Notes Theor. Comput. Sci..
Thomas A. Henzinger,
Luca de Alfaro,
Mariëlle Stoelinga,
2003,
EMSOFT.
Martín Abadi,
Luca de Alfaro,
2005,
CONCUR.
Krishnendu Chatterjee,
Rupak Majumdar,
Luca de Alfaro,
2008,
Log. Methods Comput. Sci..
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2003,
CONCUR.
Luca de Alfaro,
J. J. Garcia-Luna-Aceves,
Molly Zhang,
2020,
2020 IFIP Networking Conference (Networking).
Luca de Alfaro,
B. Thomas Adler,
L. D. Alfaro,
2007,
WWW '07.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2005,
ICALP.
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives
pdf
Krishnendu Chatterjee,
Luca de Alfaro,
Pritam Roy,
2011,
ArXiv.
Luca de Alfaro,
2007
.
Massimo Di Pierro,
Eugenio Tacchini,
Gabriele Ballarin,
2019,
ArXiv.
Krishnendu Chatterjee,
Luca de Alfaro,
Ian Pye,
2008,
AISec '08.
Zohar Manna,
Luca de Alfaro,
L. D. Alfaro,
1997
.
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2000,
CAV.
Luca de Alfaro,
Ali Adabi,
L. D. Alfaro,
2012,
OTM Workshops.
Andrea Bianco,
Luca de Alfaro,
L. D. Alfaro,
1995,
FSTTCS.
Jens Palsberg,
Luca de Alfaro,
2008
.
Luca de Alfaro,
B. Thomas Adler,
L. D. Alfaro,
2013,
TGC.
Luca de Alfaro,
2009
.
Luca de Alfaro,
Marta Z. Kwiatkowska,
Gethin Norman,
2000,
TACAS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2009,
SODA.
Krishnendu Chatterjee,
Rupak Majumdar,
Luca de Alfaro,
2008,
FSTTCS.
Rupak Majumdar,
Luca de Alfaro,
L. D. Alfaro,
2001,
STOC '01.
Luca de Alfaro,
J. J. Garcia-Luna-Aceves,
Molly Zhang,
2020,
NetAI@SIGCOMM.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2008,
ArXiv.
Luca de Alfaro,
Shenshen Liang,
L. D. Alfaro,
2020,
ICCDE.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2013,
J. Comput. Syst. Sci..
Luca de Alfaro,
David P. Helmbold,
Rakshit Agrawal,
2019,
ArXiv.
Luca de Alfaro,
B. Thomas Adler,
Ian Pye,
2011,
Commun. ACM.
Edward Y. Chang,
Henny B. Sipma,
Zohar Manna,
1995,
TAPSOFT.
Luca de Alfaro,
J. J. Garcia-Luna-Aceves,
Molly Zhang,
2020,
MSWiM.
Stephen Gilmore,
Luca de Alfaro,
Papm-Probmiv,
2001,
PAPM-PROBMIV.
Luca de Alfaro,
Vishwanath Raman,
2010
.
Jens Palsberg,
Luca de Alfaro,
J. Palsberg,
2008,
EMSOFT.
Luca de Alfaro,
Marco Faella,
B. Thomas Adler,
2005,
FORMATS.
Stephen Gilmore,
Luca de Alfaro,
S. Gilmore,
2001
.
Luca de Alfaro,
2007,
CSL.
Zohar Manna,
Luca de Alfaro,
1996,
CAV.
Rupak Majumdar,
Luca de Alfaro,
L. D. Alfaro,
2004,
J. Comput. Syst. Sci..
Luca de Alfaro,
Vassilis Polychronopoulos,
Michael Shavlovsky,
2015,
HCOMP.
Axel Legay,
Luca de Alfaro,
Marco Faella,
2006,
Trustworthy Software.
Axel Legay,
Leandro Dias da Silva,
Luca de Alfaro,
2005,
FroCoS.
Luca de Alfaro,
Michael Shavlovsky,
2013,
WWW '13.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2003
.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2005,
Theor. Comput. Sci..
Luca de Alfaro,
Marco Faella,
L. D. Alfaro,
2016,
ArXiv.
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2000,
CONCUR.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2005,
Theoretical Computer Science.
Neoklis Polyzotis,
Luca de Alfaro,
Vassilis Polychronopoulos,
2016,
IJCAI.
Luca de Alfaro,
L. D. Alfaro,
1997,
STACS.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2001,
CONCUR.
Neoklis Polyzotis,
Luca de Alfaro,
Hector Garcia-Molina,
2013,
WebDB.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2003,
ICALP.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Luca de Alfaro,
Vassilis Polychronopoulos,
Marco Faella,
2016,
ArXiv.
Krishnendu Chatterjee,
Axel Legay,
Luca de Alfaro,
2007,
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Luca de Alfaro,
L. D. Alfaro,
1998,
CONCUR.
Paolo Rosso,
Luca de Alfaro,
Andrew G. West,
2011,
CICLing.
Thomas A. Henzinger,
Luca de Alfaro,
Mariëlle Stoelinga,
2002,
EMSOFT.
Stephen Gilmore,
Luca de Alfaro,
S. Gilmore,
2001
.
Luca de Alfaro,
Pritam Roy,
L. D. Alfaro,
2007,
Inf. Comput..
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2012,
ArXiv.
Thomas A. Henzinger,
Luca de Alfaro,
Marcin Jurdzinski,
2002,
CAV.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Luca de Alfaro,
Michael Shavlovsky,
L. D. Alfaro,
2014,
SIGCSE.
Rupak Majumdar,
Luca de Alfaro,
Marco Faella,
2005,
Formal Methods Syst. Des..
Luca de Alfaro,
Felipe Ortega,
2009,
Int. Sym. Wikis.
Luca de Alfaro,
2018,
ArXiv.
Luca de Alfaro,
Mariëlle Stoelinga,
L. D. Alfaro,
2004,
FOCLASA.
Rupak Majumdar,
Luca de Alfaro,
Mariëlle Stoelinga,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rupak Majumdar,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Krishnendu Chatterjee,
Axel Legay,
Luca de Alfaro,
2007,
QEST.
Luca de Alfaro,
Marco Faella,
L. D. Alfaro,
2003,
ICALP.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2001,
EMSOFT.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2011,
TOCL.
Krishnendu Chatterjee,
Rupak Majumdar,
Luca de Alfaro,
2008,
FSTTCS.
Luca de Alfaro,
L. D. Alfaro,
2003,
CONCUR.
Luca de Alfaro,
B. Thomas Adler,
Ian Pye,
2010,
CLEF.
Luca de Alfaro,
Rakshit Agrawal,
2019,
WWW.
Luca de Alfaro,
Angelo Raffaele Meo,
L. D. Alfaro,
1994,
IEEE Trans. Commun..
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2001,
CONCUR.
Luca de Alfaro,
Mariëlle Stoelinga,
Marco Faella,
2004,
ICALP.
Luca de Alfaro,
Michael Shavlovsky,
L. D. Alfaro,
2013,
ArXiv.
Luca de Alfaro,
Mariëlle Stoelinga,
Marco Faella,
2009,
IEEE Transactions on Software Engineering.
Krishnendu Chatterjee,
César Sánchez,
Luca de Alfaro,
2010,
FASE.
Parosh Aziz Abdulla,
Sven Sandberg,
Noomene Ben Henda,
2008,
FoSSaCS.
Axel Legay,
Leandro Dias da Silva,
Luca de Alfaro,
2006,
CAV.
Luca de Alfaro,
Vassilis Polychronopoulos,
Michael Shavlovsky,
2015,
ArXiv.
Krishnendu Chatterjee,
Luca de Alfaro,
Marco Faella,
2008,
Int. Sym. Wikis.
Luca de Alfaro,
Marco Faella,
L. D. Alfaro,
2007,
CAV.
Luca de Alfaro,
Michael Shavlovsky,
L. D. Alfaro,
2016,
EDM.
Stephen Gilmore,
Luca de Alfaro,
S. Gilmore,
2001,
Lecture Notes in Computer Science.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2001,
ESEC/FSE-9.
Luca de Alfaro,
Maria Daltayanni,
Panagiotis Papadimitriou,
2015,
WSDM.
Luca de Alfaro,
Rakshit Agrawal,
2016,
OpenSym.
Thomas A. Henzinger,
Luca de Alfaro,
Ranjit Jhala,
2001,
CONCUR.
Krishnendu Chatterjee,
Rupak Majumdar,
Luca de Alfaro,
2013,
Formal Methods Syst. Des..
Zohar Manna,
Luca de Alfaro,
Arjun Kapur,
1997,
STACS.
Rupak Majumdar,
Luca de Alfaro,
Mariëlle Stoelinga,
2008,
Log. Methods Comput. Sci..
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2005
.
Thomas A. Henzinger,
Rajeev Alur,
Luca de Alfaro,
1999,
CONCUR.
Luca de Alfaro,
Maria Daltayanni,
Ali Dasdan,
2018,
KDD.
Luca de Alfaro,
L. D. Alfaro,
1998,
LICS.
Christel Baier,
Luca de Alfaro,
Marta Z. Kwiatkowska,
2018,
Handbook of Model Checking.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Thomas A. Henzinger,
Luca de Alfaro,
Orna Kupferman,
1998,
Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
Henny B. Sipma,
Zohar Manna,
Luca de Alfaro,
1997,
TACAS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2006,
SODA '06.
Henny B. Sipma,
Zohar Manna,
Luca de Alfaro,
1998
.
Luca de Alfaro,
L. D. Alfaro,
1998,
PROBMIV.
Elena Baralis,
Luca de Alfaro,
Eliana Pastor,
2021,
Proc. VLDB Endow..
Nathalie Bertrand,
Luca de Alfaro,
Catuscia Palamidessi,
2021,
CONCUR.
Elena Baralis,
Luca de Alfaro,
Eliana Pastor,
2021,
ArXiv.
Luca de Alfaro,
J. J. Garcia-Luna-Aceves,
Molly Zhang,
2022,
Comput. Commun..
Elena Baralis,
Luca de Alfaro,
Eliana Pastor,
2021,
SIGMOD Conference.
Thomas A. Henzinger,
Rajeev Alur,
Luca de Alfaro,
1999
.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2001
.
Luca de Alfaro,
B. Thomas Adler,
2012
.