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