T. Henzinger
发表
Thomas A. Henzinger,
Sriram K. Rajamani,
Aditya V. Nori,
2006,
SIGSOFT '06/FSE-14.
T. Henzinger,
Pei-Hsin Ho,
1998,
CAV.
T. Henzinger,
J. Fisher,
2007,
Nature Biotechnology.
P. Varaiya,
T. Henzinger,
P. Kopke,
1995
.
T. Henzinger,
Sumit Gulwani,
Pavol Cerný,
2013
.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1997,
International Journal on Software Tools for Technology Transfer.
Alberto L. Sangiovanni-Vincentelli,
Kim G. Larsen,
Dejan Nickovic,
2018,
Found. Trends Electron. Des. Autom..
Thomas A. Henzinger,
Rajeev Alur,
Limor Fix,
1994,
CAV.
Thomas A. Henzinger,
Luca de Alfaro,
Mariëlle Stoelinga,
2002,
EMSOFT.
Thomas A. Henzinger,
Jean-François Raskin,
Laurent Doyen,
2005,
FORMATS.
Thomas A. Henzinger,
Zohar Manna,
Amir Pnueli,
1991,
REX Workshop.
Thomas A. Henzinger,
Zohar Manna,
Amir Pnueli,
1992,
ICALP.
T. Henzinger,
1996,
LICS 1996.
Thomas A. Henzinger,
Rajeev Alur,
Pei-Hsin Ho,
1996,
IEEE Trans. Software Eng..
Thomas A. Henzinger,
Joseph Sifakis,
Sergio Yovine,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Thomas A. Henzinger,
Christoph M. Kirsch,
Benjamin Horowitz,
2001,
Proc. IEEE.
Thomas A. Henzinger,
Sriram K. Rajamani,
Shaz Qadeer,
2000,
IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
T. Henzinger,
Shaz,
Qadeery,
1999
.
S. Qadeer,
T. Henzinger,
S. Rajamani,
1999
.
Rachid Guerraoui,
Thomas A. Henzinger,
Vasu Singh,
2010,
Distributed Computing.
Thomas A. Henzinger,
Rupak Majumdar,
Ranjit Jhala,
2002,
POPL '02.
Thomas A. Henzinger,
T. Henzinger,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Pravin Varaiya,
Thomas A. Henzinger,
Peter W. Kopke,
1995,
STOC '95.
T. Henzinger,
Pei-Hsin Ho,
1996
.
T. Henzinger,
J. Otop,
2017
.
Thomas A. Henzinger,
Howard Wong-Toi,
T. Henzinger,
1996,
Hybrid Systems.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1997,
CAV.
T. Henzinger,
K. Chatterjee,
L. D. Alfaro,
2004
.
T. Henzinger,
1996
.
Thomas A. Henzinger,
T. Henzinger,
1990,
PODC '90.
T. Henzinger,
K. Chatterjee,
2007
.
Dejan Nickovic,
Roberto Passerone,
Alberto Sangiovanni-Vincentelli,
2015
.
Thomas A. Henzinger,
Rupak Majumdar,
Ranjit Jhala,
2004,
POPL.
Thomas A. Henzinger,
Luca de Alfaro,
Marcin Jurdzinski,
2002,
CAV.
T. Henzinger,
K. Chatterjee,
Koushik Sen,
2008
.
R. Guerraoui,
T. Henzinger,
Vasu Singh,
2009
.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Laurent Doyen,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Thomas A. Henzinger,
Laura Kovács,
Thibaud Hottelier,
2008,
LPAR.
A. Benveniste,
A. Sangiovanni-Vincentelli,
T. Henzinger,
2011
.
T. Henzinger,
K. Chatterjee,
J. Otop,
2013
.
T. Henzinger,
Guy Avni,
2020
.
T. Henzinger,
K. Chatterjee,
L. Doyen,
2008
.
T. Henzinger,
K. Chatterjee,
2005
.
T. Henzinger,
R. Alur,
1991
.
Thomas A. Henzinger,
Zohar Manna,
Amir Pnueli,
1991,
POPL '91.
T. Henzinger,
Ashutosh Gupta,
Przemyslaw Daca,
2015
.
T. Henzinger,
Udi Boker,
2014
.
T. Henzinger,
K. Chatterjee,
L. Doyen,
2014
.
Thomas A. Henzinger,
David Harel,
Jasmin Fisher,
2011,
Commun. ACM.
Thomas A. Henzinger,
Nir Piterman,
Jasmin Fisher,
2007
.
T. Henzinger,
O. Kupferman,
M. Jurdzinski,
2002
.
T. Henzinger,
K. Chatterjee,
J. Otop,
2017
.
T. Henzinger,
J. Fisher,
D. Harel,
2022
.
T. Henzinger,
R. Alur,
1997
.
P. Varaiya,
R. Bajcsy,
K. Keutzer,
2003
.
T. Henzinger,
2022
.
Moshe Y. Vardi,
T. Henzinger,
R. Alur,
1998
.
T. Henzinger,
R. Majumdar,
Benjamin Horowitz,
1999
.
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2001,
CONCUR.
T. Henzinger,
Pei-Hsin Ho,
H. Wong-Toi,
1998,
IEEE Trans. Autom. Control..
Thomas A. Henzinger,
Damien Zufferey,
Cezara Dragoi,
2015,
SNAPL.
T. Henzinger,
L. D. Alfaro,
Rupak MajumdarElectrical,
2001
.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Nir Piterman,
2007,
Inf. Comput..
T. Henzinger,
Pavol Cerný,
Arjun Radhakrishna,
2012,
Theor. Comput. Sci..
Dídac Busquets,
Miguel A. Salido,
Federico Barber,
2002,
POPL '02.
T. Henzinger,
G. Ramalingam,
M. Sagiv,
2007
.
T. Henzinger,
G. Ramalingam,
R. Manevich,
2006
.
T. Henzinger,
J. Raskin,
P. Schobbens,
1999
.
T. Henzinger,
J. Otop,
R. Samanta,
2018
.
T. Henzinger,
D. Zufferey,
Thomas Wies,
2009
.
Freddy Y. C. Mang,
T. Henzinger,
Arindam Chakrabarti,
2002
.
Ramin M. Hasani,
S. Hochreiter,
T. Henzinger,
2022,
ArXiv.
R. Guerraoui,
T. Henzinger,
Vasu Singh,
2008,
PLDI 2008.
T. Henzinger,
R. Alur,
T. Feder,
1991,
PODC '91.
S. Qadeer,
T. Henzinger,
Bernhard Kragl,
2017
.
T. Henzinger,
K. Chatterjee,
L. D. Alfaro,
2008
.
T. Henzinger,
K. Chatterjee,
L. D. Alfaro,
2022
.
Thomas A. Henzinger,
Rajeev Alur,
Eduardo D. Sontag,
1995,
Lecture Notes in Computer Science.
Ramin M. Hasani,
T. Henzinger,
S. Smolka,
2022,
AAAI.
S. Sastry,
T. Henzinger,
1998,
Lecture Notes in Computer Science.
T. Henzinger,
Christian Schilling,
Miriam García Soto,
2022,
ArXiv.
T. Henzinger,
V. Wolf,
M. Mateescu,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
T. Henzinger,
1996
.
T. Henzinger,
K. Chatterjee,
N. Piterman,
2007,
Inf. Comput..
Thomas A. Henzinger,
Orna Kupferman,
Sriram K. Rajamani,
1997,
Inf. Comput..
T. Henzinger,
P. Totzke,
K. Lehtinen,
2022,
CONCUR.
T. Henzinger,
Guy Avni,
2022,
MFCS.
Ramin M. Hasani,
T. Henzinger,
Alexander Amini,
2022,
ArXiv.
T. Henzinger,
C. Kirsch,
2002,
PLDI '02.
W. Levine,
J. Baillieul,
T. Henzinger,
2015
.
T. Henzinger,
Udi Boker,
2012
.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2005,
Theoretical Computer Science.
T. Henzinger,
K. Chatterjee,
L. Doyen,
2012,
Formal Methods in System Design.
T. Henzinger,
K. Chatterjee,
Mathias Lechner,
2022,
ArXiv.
T. Henzinger,
K. Chatterjee,
Mathias Lechner,
2022,
ArXiv.
T. Henzinger,
K. Chatterjee,
Mathias Lechner,
2022,
ArXiv.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rohit Singh,
2010,
J. ACM.
Thomas A. Henzinger,
Peter W. Kopke,
Howard Wong-Toi,
1995,
ICALP.
Radu Grosu,
Mathias Lechner,
Ramin Hasani,
2020,
Nature Machine Intelligence.
Thomas A. Henzinger,
Rajeev Alur,
Radu Grosu,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Thomas A. Henzinger,
Rupak Majumdar,
Ranjit Jhala,
2004,
PLDI '04.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jan Otop,
2015,
ICALP.
Rachid Guerraoui,
Thomas A. Henzinger,
Michal Kapalka,
2010,
SPAA '10.
Thomas A. Henzinger,
Andrew D. Gordon,
Sriram K. Rajamani,
2014,
FOSE.
Thomas A. Henzinger,
Ashutosh Gupta,
T. Henzinger,
2013,
Lecture Notes in Computer Science.
Thomas A. Henzinger,
Ali Sezgin,
Tatjana Petrov,
2021,
Theor. Comput. Sci..
Thomas A. Henzinger,
Tatjana Petrov,
Calin C. Guet,
2019,
CMSB.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Laurent Doyen,
2012,
Formal Methods in System Design.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Mathieu Tracol,
2011,
ArXiv.
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2010,
ATVA.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Laurent Doyen,
2008,
TOCL.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Laurent Doyen,
2009,
MFCS.
Thomas A. Henzinger,
Jean-François Raskin,
Laurent Doyen,
2008,
Int. J. Found. Comput. Sci..
Thomas A. Henzinger,
Nir Piterman,
Jasmin Fisher,
2007,
PLoS Comput. Biol..
Thomas A. Henzinger,
Maria Mateescu,
T. Henzinger,
2011
.
Thomas A. Henzinger,
Verena Wolf,
Linar Mikeev,
2010,
CMSB '10.
Thomas A. Henzinger,
Verena Wolf,
Maria Mateescu,
2010,
BMC Systems Biology.
Thomas A. Henzinger,
Verena Wolf,
Maria Mateescu,
2009,
2009 International Workshop on High Performance Computational Systems Biology.
Thomas A. Henzinger,
Verena Wolf,
Maria Mateescu,
2009,
Theor. Comput. Sci..
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2011,
EuroSys '11.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jan Otop,
2018,
Principles of Modeling.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jan Otop,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Thomas A. Henzinger,
Jasmin Fisher,
Marc A. Schaub,
2007,
BMC Systems Biology.
George J. Pappas,
G.J. Pappas,
G. Lafferriere,
2000,
Proceedings of the IEEE.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Marcin Jurdzinski,
2004,
SODA '04.
Radu Grosu,
Mathias Lechner,
Ramin Hasani,
2019,
2019 International Conference on Robotics and Automation (ICRA).
Thomas A. Henzinger,
Jan Kretínský,
Tatjana Petrov,
2016,
CONCUR.
T. Henzinger,
Pavol Cerný,
Arjun Radhakrishna,
2011,
CAV.
T. Henzinger,
Alexander Amini,
D. Rus,
2022,
IEEE Robotics and Automation Letters.
Thomas A. Henzinger,
Rajeev Alur,
T. Henzinger,
1994,
International Journal on Software Tools for Technology Transfer.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jean-François Raskin,
2010,
FSTTCS.
Thomas A. Henzinger,
Nicolas Halbwachs,
Joseph Sifakis,
1995,
Theor. Comput. Sci..
Krishnendu Chatterjee,
Thomas A. Henzinger,
Bettina Könighofer,
2019,
CAV.
Kim G. Larsen,
Marius Mikucionis,
Thomas A. Henzinger,
2019,
Computing and Software Science.
Thomas A. Henzinger,
Rajeev Alur,
Orna Kupferman,
1997,
Proceedings 38th Annual Symposium on Foundations of Computer Science.
Thomas A. Henzinger,
Rajeev Alur,
T. Henzinger,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Thomas A. Henzinger,
Rajeev Alur,
T. Henzinger,
1995,
CAV.
Thomas A. Henzinger,
Rupak Majumdar,
Benjamin Horowitz,
1999,
CONCUR.
Thomas A. Henzinger,
Mathias Lechner,
Dorde Zikelic,
2021,
AAAI.
Thomas A. Henzinger,
Mathias Lechner,
Mirco Giacobbe,
2020,
TACAS.
Thomas A. Henzinger,
Rajeev Alur,
Eduardo D. Sontag,
1996
.
Alberto L. Sangiovanni-Vincentelli,
Thomas A. Henzinger,
Christoph M. Kirsch,
2006,
EMSOFT '06.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Marcin Jurdzinski,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Thomas A. Henzinger,
Guy Avni,
Milad Aghajohari,
2019,
CONCUR.
Thomas A. Henzinger,
Guy Avni,
Rasmus Ibsen-Jensen,
2018,
WINE.
Thomas A. Henzinger,
Guy Avni,
Ventsislav Chonev,
2017,
CONCUR.
Thomas A. Henzinger,
Orna Kupferman,
Guy Avni,
2016,
SAGT.
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2012,
J. Comput. Syst. Sci..
Krishnendu Chatterjee,
Thomas A. Henzinger,
Roderick Bloem,
2009,
CAV.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Barbara Jobstmann,
2008,
CONCUR.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Nir Piterman,
2007,
FoSSaCS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2007,
TACAS.
Thomas A. Henzinger,
T. Henzinger,
2005,
TARK.
Thomas A. Henzinger,
Orna Kupferman,
T. Henzinger,
1997,
HART.
Thomas A. Henzinger,
Maria Mateescu,
T. Henzinger,
2011,
CMSB.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2001,
CONCUR.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1995,
TACAS.
Thomas A. Henzinger,
T. Henzinger,
2013,
Computer Science - Research and Development.
Robert K. Brayton,
Thomas A. Henzinger,
Rajeev Alur,
2001,
Formal Methods Syst. Des..
Robert K. Brayton,
Thomas A. Henzinger,
Rajeev Alur,
1997,
CAV.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Koushik Sen,
2008,
FoSSaCS.
Thomas A. Henzinger,
Rajeev Alur,
Moshe Y. Vardi,
1993,
STOC.
Thomas A. Henzinger,
Rajeev Alur,
Serdar Tasiran,
1998,
CAV.
Krishnendu Chatterjee,
Laurent Doyen,
Jean-Francois Raskin,
2006,
Log. Methods Comput. Sci..
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2005,
FSTTCS.
Thomas A. Henzinger,
Christian Schilling,
Anna Lukina,
2019,
ECAI.
Dejan Nickovic,
Thomas A. Henzinger,
Moshe Y. Vardi,
2011,
CONCUR.
Thomas A. Henzinger,
Radu Grosu,
Daniela Rus,
2021,
2021 IEEE International Conference on Robotics and Automation (ICRA).
George C. Necula,
Thomas A. Henzinger,
Rupak Majumdar,
2002,
CAV.
Thomas A. Henzinger,
Rajeev Alur,
T. Henzinger,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Thomas A. Henzinger,
Rupak Majumdar,
Krishnendu Chatterjee,
2006,
STACS.
Thomas A. Henzinger,
Helmut Veith,
Damien Zufferey,
2014,
VMCAI.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2004,
SAS.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2004,
PPDP '04.
Thomas A. Henzinger,
Christoph M. Kirsch,
T. Henzinger,
2002,
PLDI '02.
S. Shankar Sastry,
Alberto Sangiovanni-Vincentelli,
T. John Koo,
2002
.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Alexander Moshe Rabinovich,
2012,
Inf. Comput..
Thomas A. Henzinger,
Helmut Veith,
Edmund M. Clarke,
2018,
Handbook of Model Checking.
R. Brayton,
S. Qadeer,
T. Henzinger,
2017
.
George C. Necula,
Thomas A. Henzinger,
Arindam Chakrabarti,
2007
.
Thomas A. Henzinger,
Nir Piterman,
T. Henzinger,
2006,
CSL.
Thomas A. Henzinger,
Rupak Majumdar,
Orna Kupferman,
2006,
Theor. Comput. Sci..
Thomas A. Henzinger,
Rupak Majumdar,
Jean-François Raskin,
2000,
TOCL.
Thomas A. Henzinger,
Rupak Majumdar,
Orna Kupferman,
2003,
TACAS.
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2002,
CAV.
Thomas A. Henzinger,
Sriram K. Rajamani,
Shaz Qadeer,
1998,
CAV.
Thomas A. Henzinger,
Orna Kupferman,
Shaz Qadeer,
1998,
Formal Methods Syst. Des..
Thomas A. Henzinger,
Rajeev Alur,
Sriram K. Rajamani,
1998,
TACAS.
Thomas A. Henzinger,
Rajeev Alur,
Pei-Hsin Ho,
1993,
1993 Proceedings Real-Time Systems Symposium.
Constantin Enea,
Shaz Qadeer,
Suha Orhun Mutluergil,
2020,
PLDI.
Thomas A. Henzinger,
Damien Zufferey,
Cezara Dragoi,
2016,
POPL.
Thomas A. Henzinger,
Rajeev Alur,
T. Henzinger,
1992,
Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
Thomas A. Henzinger,
Zohar Manna,
Amir Pnueli,
1990,
Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2005
.
Thomas A. Henzinger,
Luca de Alfaro,
Orna Kupferman,
1998,
Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
Thomas A. Henzinger,
Radu Grosu,
Daniela Rus,
2021,
ArXiv.
Thomas A. Henzinger,
Monika Henzinger,
Peter W. Kopke,
1995,
Proceedings of IEEE 36th Annual Foundations of Computer Science.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2007,
VMCAI.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rupak Majumdar,
2008,
Int. J. Game Theory.
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2008,
Inf. Process. Lett..
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2001,
ESEC/FSE-9.
Thomas A. Henzinger,
N. Ege Saraç,
T. Henzinger,
2020,
RV.
Thomas A. Henzinger,
Helmut Veith,
Roderick Bloem,
2018,
Springer International Publishing.
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2013,
CAV.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2004,
Proceedings. 26th International Conference on Software Engineering.
Thomas A. Henzinger,
Rajeev Alur,
Costas Courcoubetis,
1992,
Hybrid Systems.
Thomas A. Henzinger,
Thomas Ferrère,
N. Ege Saraç,
2018,
LICS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Orna Kupferman,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Laurent Doyen,
2009,
FCT.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Marcin Jurdzinski,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
T. Henzinger,
K. Chatterjee,
Koushik Sen,
2008
.
Shaz Qadeer,
Bernhard Kragl,
Thomas A. Henzinger,
2020,
CAV.
Thomas A. Henzinger,
Viktor Vafeiadis,
Ali Sezgin,
2013,
CONCUR.
Thomas A. Henzinger,
Limor Fix,
T. Henzinger,
1994
.
Thomas A. Henzinger,
Shaz Qadeer,
Bernhard Kragl,
2018,
CONCUR.
Thomas A. Henzinger,
Rajeev Alur,
Tomás Feder,
1991,
PODC '91.
Thomas A. Henzinger,
Rupak Majumdar,
Ranjit Jhala,
2003,
SPIN.
Edward A. Lee,
Thomas A. Henzinger,
Stavros Tripakis,
2011,
TOPL.
Dejan Nickovic,
Thomas A. Henzinger,
Axel Legay,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Thomas A. Henzinger,
T. Henzinger,
1996,
CSUR.
Thomas A. Henzinger,
T. Henzinger,
1991
.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Laurent Doyen,
2009,
ICALP.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Marcin Jurdzinski,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Thomas A. Henzinger,
Marius Minea,
Vinayak S. Prabhu,
2001,
HSCC.
Thomas A. Henzinger,
Rajeev Alur,
T. Henzinger,
1989,
30th Annual Symposium on Foundations of Computer Science.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2007,
International Journal on Software Tools for Technology Transfer.
Thomas A. Henzinger,
Dirk Beyer,
Grégory Théoduloz,
2007,
CAV.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2007,
PLDI '07.
Thomas A. Henzinger,
Dirk Beyer,
Grégory Théoduloz,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2007
.
Thomas A. Henzinger,
Dirk Beyer,
M. Erkan Keremoglu,
2012,
SIGSOFT FSE.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Florian Horn,
2009,
TOCL.
Thomas A. Henzinger,
Rupak Majumdar,
Ashutosh Gupta,
2008,
POPL '08.
Thomas A. Henzinger,
Shaz Qadeer,
S. Qadeer,
1999
.
Thomas A. Henzinger,
Joseph Sifakis,
T. Henzinger,
2007,
Computer.
Thomas A. Henzinger,
Rajeev Alur,
T. Henzinger,
1991,
REX Workshop.
Thomas A. Henzinger,
Rupak Majumdar,
Howard Wong-Toi,
2000,
HSCC.
Dejan Nickovic,
Thomas A. Henzinger,
Axel Legay,
2012,
FMOODS/FORTE.
Thomas A. Henzinger,
T. Henzinger,
2003,
CIAA.
Thomas A. Henzinger,
Rupak Majumdar,
Jean-François Raskin,
2000,
SAS.
Heinz Koeppl,
Thomas A. Henzinger,
Jérôme Feret,
2010,
Theor. Comput. Sci..
Thomas A. Henzinger,
Peter W. Kopke,
T. Henzinger,
1996,
CONCUR.
Thomas A. Henzinger,
Rupak Majumdar,
Dirk Beyer,
2005,
FASE.
Thomas A. Henzinger,
Laura Kovács,
Thibaud Hottelier,
2010,
LPAR.
Thomas A. Henzinger,
Rupak Majumdar,
Ranjit Jhala,
2003,
ICALP.
Thomas A. Henzinger,
Shankar Sastry,
S. Sastry,
1998
.
Thomas A. Henzinger,
Rupak Majumdar,
Ranjit Jhala,
2004,
SIGP.
Ana Sokolova,
Thomas A. Henzinger,
Christoph M. Kirsch,
2013,
CF '13.
T. Henzinger,
2013,
Computer Science - Research and Development.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Laurent Doyen,
2009,
CONCUR.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Dietmar Berwanger,
2008,
CONCUR.
Thomas A. Henzinger,
T. Henzinger,
2007,
SOFSEM.
Thomas A. Henzinger,
Luca de Alfaro,
Freddy Y. C. Mang,
2000,
CONCUR.
Thomas A. Henzinger,
Jasmin Fisher,
Marc A. Schaub,
2007
.
Thomas A. Henzinger,
Nir Piterman,
Jasmin Fisher,
2008,
FMSB.
Thomas A. Henzinger,
Verena Wolf,
Barbara Jobstmann,
2009,
Int. J. Found. Comput. Sci..
Thomas A. Henzinger,
Verena Wolf,
Maria Mateescu,
2009,
CAV.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Vinayak S. Prabhu,
2008,
HSCC.
Thomas A. Henzinger,
Guy Avni,
Guillermo Rodríguez-Navas,
2017,
TACAS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2008,
25 Years of Model Checking.
Thomas A. Henzinger,
Joseph Sifakis,
T. Henzinger,
2006,
FM.
Alberto L. Sangiovanni-Vincentelli,
Thomas A. Henzinger,
Christoph M. Kirsch,
2008,
2008 Design, Automation and Test in Europe.
Thomas A. Henzinger,
Christoph M. Kirsch,
Benjamin Horowitz,
2001,
OM '01.
Thomas A. Henzinger,
Serdar Tasiran,
Sriram K. Rajamani,
1998,
TOPL.
Thomas A. Henzinger,
T. Henzinger,
1998,
CONCUR.
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2015,
ArXiv.
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2015,
CAV.
Thomas A. Henzinger,
Arjun Radhakrishna,
Ashutosh Gupta,
2015,
POPL.
Leonid Ryzhyk,
Pavol Cerný,
Thomas A. Henzinger,
2014,
CAV.
Thomas A. Henzinger,
Rajeev Alur,
Orna Kupferman,
1998,
CONCUR.
Thomas A. Henzinger,
Luca de Alfaro,
Mariëlle Stoelinga,
2003,
EMSOFT.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jan Otop,
2017,
Inf. Comput..
Thomas A. Henzinger,
Udi Boker,
Jan Otop,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Thomas A. Henzinger,
Udi Boker,
T. Henzinger,
2014,
Log. Methods Comput. Sci..
Thomas A. Henzinger,
Jacques Duparc,
T. Henzinger,
2007,
CSL.
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2006,
TACAS.
T. Henzinger,
K. Chatterjee,
L. D. Alfaro,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rohit Singh,
2011,
TACAS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2008,
ILC.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Bettina Könighofer,
2009,
2009 Formal Methods in Computer-Aided Design.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Nir Piterman,
2008,
ArXiv.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Nir Piterman,
2008
.
Thomas A Henzinger,
Fabian Mühlböck,
T. Henzinger,
2021,
RV.
Thomas A. Henzinger,
Vasu Singh,
Raluca Halalai,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Thomas A. Henzinger,
Rupak Majumdar,
Ranjit Jhala,
2005,
ESEC/FSE-13.
Thomas A. Henzinger,
Zohar Manna,
Amir Pnueli,
1994,
Inf. Comput..
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2010
.
Thomas A. Henzinger,
Sergiy Bogomolov,
Christian Schilling,
2015,
CMSB.
T. Henzinger,
Christian Schilling,
Anna Lukina,
2020,
RV.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2012,
VMCAI.
Thomas A. Henzinger,
Dirk Beyer,
Grégory Théoduloz,
2006,
CAV.
Pavol Cerný,
Thomas A. Henzinger,
Arjun Radhakrishna,
2010,
Theor. Comput. Sci..
Thomas A. Henzinger,
Pei-Hsin Ho,
T. Henzinger,
1994,
Hybrid Systems.
Thomas A. Henzinger,
Jean-François Raskin,
Thomas Brihaye,
2007,
ICALP.
Thomas A. Henzinger,
Rajeev Alur,
Limor Fix,
1999,
Theor. Comput. Sci..
Thomas A. Henzinger,
Ashutosh Gupta,
Przemyslaw Daca,
2015,
VMCAI.
T. Henzinger,
K. Chatterjee,
Yashdeep Godhal,
2013,
International Journal on Software Tools for Technology Transfer.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2011,
TOCL.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Hugo Gimbert,
2010,
MFCS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Yashdeep Godhal,
2010,
ArXiv.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rupak Majumdar,
2008,
HSCC.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2006,
SODA '06.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Luca de Alfaro,
2005,
ICALP.
Alberto L. Sangiovanni-Vincentelli,
Thomas A. Henzinger,
Roberto Passerone,
2002,
IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002..
Thomas A. Henzinger,
Rupak Majumdar,
Christoph M. Kirsch,
2002,
EMSOFT.
Thomas A. Henzinger,
Orna Kupferman,
Freddy Y. C. Mang,
2002,
ICALP.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
T. Henzinger,
L. D. Alfaro,
Rupak MajumdarElectrical,
2001
.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2001
.
T. Henzinger,
Mathias Lechner,
Dorde Zikelic,
2020,
AAAI.
T. Henzinger,
K. Chatterjee,
D. Rus,
2022,
AAAI Conference on Artificial Intelligence.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Mathias Lechner,
2021,
NeurIPS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Mathias Lechner,
2021,
AAAI.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Florian Horn,
2011,
LATA.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jean-François Raskin,
2006
.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2003,
ICALP.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Thomas A. Henzinger,
Marcin Jurdzinski,
Orna Kupferman,
2002,
CSL.
Thomas A. Henzinger,
Peter W. Kopke,
T. Henzinger,
1997,
Theor. Comput. Sci..
Krishnendu Chatterjee,
Thomas A. Henzinger,
Andreas Pavlogiannis,
2013,
2013 Formal Methods in Computer-Aided Design.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Roderick Bloem,
2011,
2011 6th IEEE International Symposium on Industrial and Embedded Systems.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Roderick Bloem,
2011
.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2005,
Theor. Comput. Sci..
Thomas A. Henzinger,
Rupak Majumdar,
Vinayak S. Prabhu,
2005,
FORMATS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Dietmar Berwanger,
2009,
TACAS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Vinayak S. Prabhu,
2008,
FORMATS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rupak Majumdar,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Pavol Cerný,
Thomas A. Henzinger,
Arjun Radhakrishna,
2012,
EMSOFT '12.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Laurent Doyen,
2017,
Models, Algorithms, Logics and Tools.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rupak Majumdar,
2005,
CHARME.
H. Wong-Toi,
R. Alur,
T.A. Henzinger,
1997,
Proceedings of the 36th IEEE Conference on Decision and Control.
Thomas A. Henzinger,
Arjun Radhakrishna,
Udi Boker,
2014,
POPL.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Arjun Radhakrishna,
2010,
CAV.
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2006,
CONCUR.
Krishnendu Chatterjee,
Thomas A. Henzinger,
T. Henzinger,
2006,
STACS.
T. Henzinger,
V. Wolf,
M. Mateescu,
2010,
IET systems biology.
Robert S. Boyer,
J. Strother Moore,
J. S. Moore,
1985,
J. Autom. Reason..
Thomas A. Henzinger,
Rajeev Alur,
Tomás Feder,
1991,
JACM.
Thomas A. Henzinger,
Goran Frehse,
Mirco Giacobbe,
2018,
CAV.
Thomas A. Henzinger,
Ali Sezgin,
Ashutosh Gupta,
2012,
CAV.
Thomas A. Henzinger,
Sriram K. Rajamani,
Shaz Qadeer,
1999,
CAV.
Rachid Guerraoui,
Thomas A. Henzinger,
Vasu Singh,
2011,
Formal Methods Syst. Des..
Thomas A. Henzinger,
Vinayak S. Prabhu,
T. Henzinger,
2006,
FORMATS.
T. Henzinger,
L. Doyen,
M. Wulf,
2006,
CAV.
Thomas A. Henzinger,
Rupak Majumdar,
Luca de Alfaro,
2003,
CONCUR.
T. Henzinger,
L. D. Alfaro,
Marielle Stoelinga,
2002,
EMSOFT.
Thomas A. Henzinger,
Jean-François Raskin,
Franck Cassez,
2002,
HSCC.
Thomas A. Henzinger,
Luca de Alfaro,
T. Henzinger,
2001,
EMSOFT.
Thomas A. Henzinger,
Rajeev Alur,
T. Henzinger,
1997,
CONCUR.
T. Henzinger,
Pei-Hsin Ho,
H. Wong-Toi,
1997,
International Journal on Software Tools for Technology Transfer.
Thomas A. Henzinger,
Radha Jagadeesan,
Vineet Gupta,
1997,
HART.
Thomas A. Henzinger,
T. Henzinger,
1995,
ICALP.
Thomas A. Henzinger,
Rajeev Alur,
Costas Courcoubetis,
1993,
Formal Methods Syst. Des..
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2010,
FoSSaCS.
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,
Marcin Jurdzinski,
2003,
CSL.
T. Henzinger,
Pei-Hsin Ho,
1996
.
Thomas A. Henzinger,
T. Henzinger,
1992,
Inf. Process. Lett..
Thomas A. Henzinger,
Ezio Bartocci,
Yu Jiang,
2019,
FORMATS.
Thomas A. Henzinger,
Hui Kong,
Ezio Bartocci,
2018,
CAV.
Thomas A. Henzinger,
Yu Jiang,
Hui Kong,
2017,
HSCC.
T. Henzinger,
Christian Schilling,
Sergiy Bogomolov,
2016,
ArXiv.
Dejan Nickovic,
Thomas A. Henzinger,
Roberto Passerone,
2015
.
E. Clarke,
T. Henzinger,
H. Veith,
2018,
Handbook of Model Checking.
Pavol Cerný,
Krishnendu Chatterjee,
Thomas A. Henzinger,
2011,
2011 IEEE 24th Computer Security Foundations Symposium.
Joost-Pieter Katoen,
Thomas A. Henzinger,
Luca Aceto,
2016,
Bull. EATCS.
Thomas A. Henzinger,
Rajeev Alur,
T. Henzinger,
1998,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Thomas A. Henzinger,
Peter W. Kopke,
T. Henzinger,
1994,
FTRTFT.
R. Alur,
T. Henzinger,
R. Alur,
1998
.
Thomas A. Henzinger,
S. Shankar Sastry,
S. Sastry,
1998,
Lecture Notes in Computer Science.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2010,
2010 IEEE 3rd International Conference on Cloud Computing.
T. Henzinger,
Pei-Hsin Ho,
H. Wong-Toi,
2022
.
Thomas A. Henzinger,
Jan Kretínský,
Tatjana Petrov,
2015,
TACAS.
Thomas A. Henzinger,
Rajeev Alur,
Costas Courcoubetis,
1994,
CONCUR.
Thomas A. Henzinger,
Orna Kupferman,
Moshe Y. Vardi,
1996,
CONCUR.
Thomas A. Henzinger,
T. Henzinger,
2000,
SOEN.
Thomas A. Henzinger,
S. Shankar Sastry,
S. Sastry,
1998
.
Thomas A. Henzinger,
Jean-François Raskin,
T. Henzinger,
2000,
HSCC.
Thomas A. Henzinger,
Jasmin Fisher,
T. Henzinger,
2006,
Proceedings of the 2006 Winter Simulation Conference.
Edmund M. Clarke,
Jeannette M. Wing,
E. Clarke,
1996
.
Thomas A. Henzinger,
Sergiy Bogomolov,
Goran Frehse,
2017,
TACAS.
T. Henzinger,
R. Alur,
K. Larsen,
2010
.
Thomas A. Henzinger,
Orna Kupferman,
Sriram K. Rajamani,
1997,
Inf. Comput..
Pierre-Yves Schobbens,
Thomas A. Henzinger,
Jean-François Raskin,
1998,
CONCUR.
T. Henzinger,
D. Ničković,
Thomas Ferrère,
2018,
EMSOFT.
Thomas A. Henzinger,
Christoph M. Kirsch,
Wolfgang Pree,
2003
.
Thomas A. Henzinger,
Slobodan Matic,
T. Henzinger,
2008
.
T. Henzinger,
Mathias Lechner,
Mirco Giacobbe,
2020,
TACAS.
T. Henzinger,
Konstantin Kueffner,
Christian Schilling,
2023,
International Journal on Software Tools for Technology Transfer.
T. Henzinger,
Christian Schilling,
Anna Lukina,
2019,
ECAI.
Thomas A. Henzinger,
Christoph M. Kirsch,
Slobodan Matic,
2005,
ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems.
Ana Sokolova,
Thomas A. Henzinger,
Christoph M. Kirsch,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Thomas A. Henzinger,
Slobodan Matic,
T. Henzinger,
2005,
26th IEEE International Real-Time Systems Symposium (RTSS'05).
T. Henzinger,
C. Kirsch,
M. Sanvido,
2005,
International Conference on Virtual Execution Environments.
Thomas A. Henzinger,
Christoph M. Kirsch,
Slobodan Matic,
2003,
EMSOFT.
Thomas A. Henzinger,
Christoph M. Kirsch,
Wolfgang Pree,
2002,
EMSOFT.
Thomas A. Henzinger,
Christoph M. Kirsch,
Slobodan Matic,
2004
.
Alberto L. Sangiovanni-Vincentelli,
Thomas A. Henzinger,
Christoph M. Kirsch,
2012,
Sci. Comput. Program..
Thomas A. Henzinger,
Christoph M. Kirsch,
Slobodan Matic,
2005,
LCTES '05.
Thomas A. Henzinger,
Arkadeb Ghosal,
Marco A. A. Sanvido,
2004
.
Thomas A. Henzinger,
Christoph M. Kirsch,
Arkadeb Ghosal,
2004,
HSCC.
Alberto Sangiovanni-Vincentelli,
Christoph M. Kirsch,
Arkadeb Ghosal,
2006
.
Thomas A. Henzinger,
Sergiy Bogomolov,
Taylor T. Johnson,
2016,
HSCC.
T. Henzinger,
A. Nori,
S. Rajamani,
2014,
FOSE.
T. Henzinger,
O. Kupferman,
K. Chatterjee,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Thomas A Henzinger,
T. Henzinger,
2008,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Ramin M. Hasani,
T. Henzinger,
Alexander Amini,
2024,
2024 IEEE International Conference on Robotics and Automation (ICRA).
Thomas A. Henzinger,
Stefan Kowalewski,
Howard Wong-Toi,
1998,
FTRTFT.