Cristian Cadar
发表
Junfeng Yang,
Dawson R. Engler,
Cristian Cadar,
2006,
2006 IEEE Symposium on Security and Privacy (S&P'06).
Dawson R. Engler,
Cristian Cadar,
Daniel Dunbar,
2008,
OSDI.
M. Castro,
Jean-Phillipe Martin,
Manuel Costa,
2008
.
Cristian Cadar,
A. Andronidis,
2022,
2201.04048.
Cristian Cadar,
Paul Dan Marinescu,
Cristian Cadar,
2013,
ESEC/FSE 2013.
Koushik Sen,
Cristian Cadar,
Koushik Sen,
2013,
CACM.
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2006,
CCS 2006.
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2006,
CCS '06.
Cristian Cadar,
Cristian Cadar,
2004
.
Frank Busse,
Cristian Cadar,
Martin Nowack,
2020
.
Cristian Cadar,
Cristian Cadar,
2013
.
Daniel M. Roy,
M. Rinard,
Cristian Cadar,
2003
.
Robert Craven,
Francesca Toni,
Cristian Cadar,
2012,
KR.
Martin Nowack,
Cristian Cadar,
Cristian Cadar,
2019
.
Cristian Cadar,
Daniel Schemmel,
Martin Nowack,
2022,
Dagstuhl Artifacts Ser..
Pritam M. Gharat,
Cristian Cadar,
A. Donaldson,
2022,
ISSTA.
Lin Tan,
Edmund Wong,
Thibaud Lutellier,
2018,
Empirical Software Engineering.
Daniel M. Roy,
Martin C. Rinard,
Cristian Cadar,
2004,
OSDI.
Miguel Castro,
Costin Raiciu,
Periklis Akritidis,
2008,
2008 IEEE Symposium on Security and Privacy (sp 2008).
Cristian Cadar,
Hristina Palikareva,
Tomasz Kuchta,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Cristian Cadar,
Petr Hosek,
Cristian Cadar,
2015,
ASPLOS.
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2008,
TSEC.
Xiangyu Zhang,
Cristian Cadar,
Andrea Mattavelli,
2017,
ISSTA.
Cristian Cadar,
Cristian Cadar,
2015,
ESEC/SIGSOFT FSE.
Noam Rinetzky,
Cristian Cadar,
Andrea Mattavelli,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Cristian Cadar,
Hristina Palikareva,
Cristian Cadar,
2013,
SMT.
Dawson R. Engler,
Cristian Cadar,
D. Engler,
2005,
SPIN.
Dawson R. Engler,
Cristian Cadar,
Peter Boonstoppel,
2008,
TACAS.
Susan Eisenbach,
Cristian Cadar,
Tristan Oliver Richard Allwood,
2011,
ISSTA '11.
Daniel M. Roy,
Martin C. Rinard,
Cristian Cadar,
2004,
20th Annual Computer Security Applications Conference.
Cristian Cadar,
Cristian Cadar,
2004
.
Daniel M. Roy,
M. Rinard,
Cristian Cadar,
2003
.
Peter R. Pietzuch,
JaeSeung Song,
Cristian Cadar,
2014,
IEEE Transactions on Software Engineering.
Sarfraz Khurshid,
Koushik Sen,
Nikolai Tillmann,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Abhik Roychoudhury,
Cristian Cadar,
Marcel Boehme,
2020,
IEEE Software.
Cristian Cadar,
Qiyi Tang,
Michaël Marcozzi,
2019,
Proc. ACM Program. Lang..
Cristian Cadar,
Paul Dan Marinescu,
Cristian Cadar,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Martin C. Rinard,
Huu Hai Nguyen,
Cristian Cadar,
2005,
OOPSLA '05.
Frank Busse,
Cristian Cadar,
Martin Nowack,
2020,
ISSTA.
Cristian Cadar,
A. Donaldson,
Karine Even-Mendoza,
2023,
ISSTA.
Cristian Cadar,
A. Donaldson,
Karine Even-Mendoza,
2022,
Empirical Software Engineering.
Alastair F. Donaldson,
Cristian Cadar,
Michaël Marcozzi,
2019,
ArXiv.
Cristian Cadar,
Timotej Kapus,
Cristian Cadar,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Alastair F. Donaldson,
Cristian Cadar,
Cristian Cadar,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Cristian Cadar,
A. Andronidis,
2022,
ISSTA.
Alastair F. Donaldson,
Cristian Cadar,
Karine Even-Mendoza,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Cristian Cadar,
Luís Pina,
A. Andronidis,
2022,
Int. J. Softw. Tools Technol. Transf..
Alastair F. Donaldson,
Cristian Cadar,
Daniel Liew,
2019,
ESEC/SIGSOFT FSE.
Cristian Cadar,
Timotej Kapus,
Cristian Cadar,
2019,
ESEC/SIGSOFT FSE.
Cristian Cadar,
Luís Pina,
Anastasios Andronidis,
2017,
USENIX Annual Technical Conference.
D. Engler,
Cristian Cadar,
Daniel Dunbar,
2008,
OSDI.
Frédéric Dadeau,
Cristian Cadar,
Cristian Cadar,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Martin Rinard,
Daniel M. Roy,
Brian Demsky,
2003
.
Klaus Wehrle,
Oscar Soria Dustmann,
Cristian Cadar,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Alastair F. Donaldson,
Cristian Cadar,
Daniel Liew,
2016,
2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Klaus Wehrle,
Daniel Schemmel,
Alastair F. Donaldson,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
D. Engler,
Cristian Cadar,
Daniel Dunbar,
2008,
OSDI.
Cristian Cadar,
A. Donaldson,
Bachir Bendrissou,
2023,
FUZZING.
Paul H. J. Kelly,
Peter Collingbourne,
Cristian Cadar,
2011,
Haifa Verification Conference.
Paul H. J. Kelly,
Peter Collingbourne,
Cristian Cadar,
2011,
EuroSys '11.
Cristian Cadar,
Petr Hosek,
Cristian Cadar,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Noam Rinetzky,
Shachar Itzhaky,
Cristian Cadar,
2019,
PLDI.