Damien Zufferey
发表
Ruzica Piskac,
Thomas Wies,
Damien Zufferey,
2014,
CAV.
Damien Zufferey,
Marcus Pirron,
Phillip Stanley-Marbell,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Rupak Majumdar,
Thomas Wies,
Damien Zufferey,
2014,
FASE.
Thomas A. Henzinger,
Dirk Beyer,
Damien Zufferey,
2010,
FASE.
Rupak Majumdar,
Damien Zufferey,
Kaushik Mallik,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Rupak Majumdar,
Nobuko Yoshida,
Damien Zufferey,
2019,
European Conference on Object-Oriented Programming.
Thomas A. Henzinger,
Viktor Kuncak,
Rupak Majumdar,
2013
.
Damien Zufferey,
Josef Widder,
Cezara Drăgoi,
2020,
Proc. ACM Program. Lang..
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2011,
EuroSys '11.
Thomas Wies,
Damien Zufferey,
Eric Koskinen,
2013,
TACAS.
Ruzica Piskac,
Thomas Wies,
Damien Zufferey,
2014,
TACAS.
Esther Rodríguez-Villegas,
Stefano Bromuri,
Kostas Stathis,
2013,
J. Ambient Intell. Smart Environ..
Damien Zufferey,
Ethan K. Jackson,
Ankush Desai,
2013,
PLDI.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2010,
2010 IEEE 3rd International Conference on Cloud Computing.
Damien Zufferey,
Marcus Pirron,
2019,
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2012,
VMCAI.
Krishnendu Chatterjee,
Damien Zufferey,
Martin A Nowak,
2012,
Journal of theoretical biology.
Sicun Gao,
Damien Zufferey,
2016,
TACAS.
Ruzica Piskac,
Thomas Wies,
Damien Zufferey,
2013,
CAV.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2010,
EMSOFT '10.
Damien Zufferey,
Pawel Teisseyre,
Marta Slomka,
2019,
Pattern Recognit..
Swarat Chaudhuri,
Pavol Cerný,
Arjun Radhakrishna,
2010,
CAV.
Rupak Majumdar,
Damien Zufferey,
Marcus Pirron,
2019,
ArXiv.
Damien Zufferey,
Marcus Pirron,
Aman Mathur,
2020,
Comput. Graph. Forum.
Omar Abou Khaled,
Damien Zufferey,
Jean Hennebert,
2012,
2012 11th International Conference on Information Science, Signal Processing and their Applications (ISSPA).
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2010,
FoSSaCS.
Natalie D. Enright Jerger,
Lara Dolecek,
Babak Falsafi,
2018
.
Pavol Cerný,
Arjun Radhakrishna,
Bor-Yuh Evan Chang,
2017,
ArXiv.
Thomas A. Henzinger,
Damien Zufferey,
Cezara Dragoi,
2015,
SNAPL.
Rolf Ingold,
Stefano Bromuri,
Damien Zufferey,
2015,
Comput. Biol. Medicine.
Sriram K. Rajamani,
Damien Zufferey,
Ethan K. Jackson,
2013,
PLDI.
Pavol Cerný,
Arjun Radhakrishna,
Bor-Yuh Evan Chang,
2017,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Rupak Majumdar,
Thomas Wies,
Damien Zufferey,
2013,
ArXiv.
Rupak Majumdar,
Damien Zufferey,
Marcus Pirron,
2019,
ICCPS.
Rupak Majumdar,
Thomas Wies,
Damien Zufferey,
2013,
ArXiv.
Damien Zufferey,
Rainer Müller,
Ortwin Mailahn,
2018,
Onward!.
Rupak Majumdar,
Dirk Beyer,
Damien Zufferey,
2008,
CAV.
Rupak Majumdar,
Damien Zufferey,
Kaushik Mallik,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Thomas A. Henzinger,
Damien Zufferey,
Cezara Dragoi,
2016,
POPL.
Damien Zufferey,
Damien Zufferey,
2014,
IEEE Intell. Informatics Bull..
Thomas A. Henzinger,
Helmut Veith,
Damien Zufferey,
2014,
VMCAI.
Sicun Gao,
Soonho Kong,
Damien Zufferey,
2019,
NSV@CAV.
Thomas A. Henzinger,
Thomas Wies,
Damien Zufferey,
2011,
HotCloud.
Michael Schumacher,
Stefano Bromuri,
Damien Zufferey,
2015,
2015 9th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth).
Natalie D. Enright Jerger,
Lara Dolecek,
Babak Falsafi,
2018,
ArXiv.
Damien Zufferey,
Majid Zamani,
D. Zufferey,
2019,
NSV@CAV.
Stefano Bromuri,
Damien Zufferey,
Jean Hennebert,
2014,
J. Biomed. Informatics.
Rupak Majumdar,
Damien Zufferey,
Nobuko Yoshida,
2020,
Proc. ACM Program. Lang..
Damien Zufferey,
Aman Shankar Mathur,
2021
.
Rupak Majumdar,
Damien Zufferey,
Marcus Pirron,
2021,
FASE.
Rupak Majumdar,
Madhavan Mukund,
Damien Zufferey,
2021,
CONCUR.