Michael Emmi
发表
Constantin Enea,
Siddharth Krishna,
Michael Emmi,
2019,
ESOP.
Rupak Majumdar,
Roman Manevich,
Michael Emmi,
2010,
PLDI '10.
Corina S. Pasareanu,
Dimitra Giannakopoulou,
Michael Emmi,
2008,
FM.
Shaobo He,
Michael Emmi,
Gabriela F. Cretu-Ciocarlie,
2019,
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST).
Zvonimir Rakamaric,
Michael Emmi,
Z. Rakamaric,
2014,
CAV.
Rupak Majumdar,
Michael Emmi,
2006,
HSCC.
Serdar Tasiran,
Michael Emmi,
Burcu Kulahcioglu Ozkan,
2014,
SPIN.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2017,
CAV.
Akash Lal,
Michael Emmi,
Shaz Qadeer,
2012,
SIGSOFT FSE.
Serdar Tasiran,
Michael Emmi,
Burcu Kulahcioglu Ozkan,
2015,
CAV.
Constantin Enea,
Michael Emmi,
2017,
ArXiv.
Serdar Tasiran,
Daniel Schwartz-Narbonne,
Byron Cook,
2018,
VSTTE.
Zvonimir Rakamaric,
Michael Emmi,
Shaz Qadeer,
2011,
POPL '11.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
Akash Lal,
2012,
CAV.
Ahmed Bouajjani,
Gennaro Parlato,
Michael Emmi,
2011,
SAS.
Prashant Anantharaman,
Tancrède Lepoint,
Liwei Song,
2020,
Modeling and Design of Secure Internet of Things.
Rupak Majumdar,
Michael Emmi,
2010
.
Constantin Enea,
Michael Emmi,
Jad Hamza,
2015,
PLDI.
Ahmed Bouajjani,
Michael Emmi,
M. Emmi,
2012,
International Journal on Software Tools for Technology Transfer.
Rupak Majumdar,
Ranjit Jhala,
Michael Emmi,
2007
.
Gilles Barthe,
Manuel Barbosa,
François Dupressoir,
2016,
USENIX Security Symposium.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
POPL.
Constantin Enea,
Michael Emmi,
2018,
Proc. ACM Program. Lang..
Ahmed Bouajjani,
Michael Emmi,
M. Emmi,
2012,
POPL '12.
Jonathan Whitaker,
Zvonimir Rakamaric,
Shaobo He,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Rupak Majumdar,
Ranjit Jhala,
Michael Emmi,
2007
.
Eddie Kohler,
Rupak Majumdar,
Ranjit Jhala,
2009,
TACAS.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2013,
ESOP.
Serdar Tasiran,
Constantin Enea,
Ahmed Bouajjani,
2017,
ESOP.
Akash Lal,
Michael Emmi,
2012,
SAS.
Ahmed Bouajjani,
Michael Emmi,
2012,
TACAS.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
ICALP.
Juan Chen,
Chris Hawblitzel,
Michael Emmi,
2008,
PLDI '08.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
ICALP.
Constantin Enea,
Michael Emmi,
M. Emmi,
2019,
Proc. ACM Program. Lang..
Rupak Majumdar,
Ranjit Jhala,
Michael Emmi,
2007,
POPL '07.
Constantin Enea,
Michael Emmi,
Sidi Mohamed Beillahi,
2020,
PLDI.
James Michaelis,
Jemin George,
Michael Emmi,
2019,
MILCOM 2019 - 2019 IEEE Military Communications Conference (MILCOM).
Zvonimir Rakamaric,
Akash Lal,
Michael Emmi,
2015,
TACAS.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
FSTTCS.
Rupak Majumdar,
Fernando Rosa-Velardo,
Pierre Ganty,
2015,
ESOP.
Constantin Enea,
Michael Emmi,
M. Emmi,
2019,
CAV.
Constantin Enea,
Michael Emmi,
Ranadeep Biswas,
2019,
CAV.
Alice Wang,
Petros Faloutsos,
Michael Emmi,
2007,
Sandbox '07.
Constantin Enea,
Michael Emmi,
2018,
CAV.
Rupak Majumdar,
Koushik Sen,
Michael Emmi,
2007,
ISSTA '07.
Rupak Majumdar,
Michael Emmi,
2007,
VMCAI.
Constantin Enea,
Michael Emmi,
M. Emmi,
2016,
POPL.
Martin Schäf,
Ranjit Jhala,
Willem Visser,
2021,
ESEC/SIGSOFT FSE.
Michael Emmi,
M. Emmi,
2010
.