Daniel Schwartz-Narbonne
发表
Thomas Wies,
Andreas Holzer,
Georg Weissenbacher,
2016,
FM.
Serdar Tasiran,
Daniel Schwartz-Narbonne,
Byron Cook,
2018,
VSTTE.
Sharad Malik,
Georg Weissenbacher,
Daniel Schwartz-Narbonne,
2012,
ATVA.
Feng Liu,
Sharad Malik,
David I. August,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Thomas Wies,
Martin Schäf,
Daniel Schwartz-Narbonne,
2013,
ESEC/FSE 2013.
Dan Grossman,
Serdar Tasiran,
Daniel Schwartz-Narbonne,
2017,
Proc. ACM Program. Lang..
Sharad Malik,
Daniel Schwartz-Narbonne,
Muralidhar Talupur,
2012,
SPIN.
Daniel Schwartz-Narbonne,
Sharad Malik,
Yogesh S. Mahajan,
2009,
CODES+ISSS '09.
Thomas Wies,
Philipp Rümmer,
Martin Schäf,
2015,
NFM.
Feng Liu,
Sharad Malik,
David I. August,
2012,
CAV.
Thomas Wies,
Martin Schäf,
Daniel Schwartz-Narbonne,
2014,
2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation.
Sharad Malik,
Daniel Schwartz-Narbonne,
Divjyot Sethi,
2012,
DAC Design Automation Conference 2012.
Thomas Wies,
Martin Schäf,
Daniel Schwartz-Narbonne,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Sharad Malik,
Daniel Schwartz-Narbonne,
S. Malik,
2013
.
Thomas Wies,
Philipp Rümmer,
Martin Schäf,
2015
.
Serdar Tasiran,
Mark R. Tuttle,
Daniel Schwartz-Narbonne,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
David I. August,
Feng Liu,
Daniel Schwartz-Narbonne,
2012
.
Ashish Tiwari,
Thomas Wies,
Philipp Rümmer,
2015
.