C. Păsăreanu
发表
Corina S. Pasareanu,
Dimitra Giannakopoulou,
Jamieson M. Cobleigh,
2003,
TACAS.
Gary T. Leavens,
Xuan-Bach D. Le,
C. Pasareanu,
2020
.
Matthew B. Dwyer,
Corina S. Pasareanu,
John Hatcliff,
2013,
The Essence of Computation.
D. Giannakopoulou,
E. Denney,
C. Păsăreanu,
2009
.
Lawrence Z. Markosian,
Corina S. Pasareanu,
Willem Visser,
2008
.
Matthew B. Dwyer,
W. Visser,
C. Păsăreanu,
2003,
International Journal on Software Tools for Technology Transfer.
Matthew B. Dwyer,
Corina S. Pasareanu,
Willem Visser,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Matthew B. Dwyer,
Corina S. Pasareanu,
Willem Visser,
2001,
TACAS.
Corina S. Pasareanu,
C. Pasareanu,
B. Dwyer,
1998
.
Sarfraz Khurshid,
Corina S. Pasareanu,
Willem Visser,
2004,
ISSTA '04.
Corina S. Pasareanu,
Kasper Søe Luckow,
Rody Kersten,
2017,
CCS.
C. Pasareanu,
O. Grumberg,
Sarai Sheinvald,
2022,
International Journal on Software Tools for Technology Transfer.
Orna Grumberg,
Corina S. Pasareanu,
Sarai Sheinvald,
2020,
TACAS.
Orna Grumberg,
Corina S. Pasareanu,
Sharon Shoham,
2016,
CAV.
Orna Grumberg,
Corina S. Pasareanu,
Sharon Shoham,
2015,
Formal Aspects of Computing.
Rishabh Singh,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2010,
CAV.
Howard Barringer,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2008,
Formal Methods Syst. Des..
Corina S. Pasareanu,
Dimitra Giannakopoulou,
Mihaela Gheorghiu Bobaru,
2007,
TACAS.
Howard Barringer,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2005,
Automated Software Engineering.
Howard Barringer,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2002,
Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Corina S. Pasareanu,
Guy Katz,
Divya Gopinath,
2017,
ArXiv.
W. Visser,
C. Pasareanu,
J. Penix,
2005,
Formal Methods Syst. Des..
Matthew B. Dwyer,
Robby,
J. Corbett,
2000,
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Corina S. Pasareanu,
Willem Visser,
Jaco Geldenhuys,
2014,
Software Engineering & Management.
D. Gopinath,
Youcheng Sun,
Muhammad Usman,
2022,
NSV/FoMLAS@CAV.
Corina S. Pasareanu,
Guy Katz,
Haoze Wu,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Corina S. Pasareanu,
Matthew Staats,
C. Pasareanu,
2010,
ISSTA '10.
Michael R. Lowry,
Corina S. Pasareanu,
David H. Bushnell,
2008,
ISSTA '08.
Limin Jia,
Corina S. Pasareanu,
Arthur Azevedo de Amorim,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Corina S. Pasareanu,
Dimitra Giannakopoulou,
C. Pasareanu,
2009,
FASE.
Sarfraz Khurshid,
Corina S. Pasareanu,
Willem Visser,
2003,
TACAS.
Rody Kersten,
Kasper Luckow,
Corina Pasareanu,
2020,
Softw. Test. Verification Reliab..
Corina S. Pasareanu,
Yannic Noller,
Rody Kersten,
2018,
ISSTA.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2012,
NASA Formal Methods.
Tara Estlin,
Reid Simmons,
Ari K. Jónsson,
2006
.
N. Matni,
C. Pasareanu,
Hamed Hassani,
2022,
2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML).
Ravi Mangal,
R. Calinescu,
Misael Alpizar Santana,
2022,
ArXiv.
Hong Jin Kang,
C. Pasareanu,
Chaiyong Ragkhitwetsagul,
2022,
ArXiv.
Corina S. Pasareanu,
Guy Katz,
Divya Gopinath,
2018,
ATVA.
Corina S. Pasareanu,
Willem Visser,
Aymeric Fromherz,
2019,
TACAS.
Corina S. Pasareanu,
Aymeric Fromherz,
Kasper Søe Luckow,
2017,
SOEN.
T. Bultan,
Quoc-Sang Phan,
Lucas Bang,
2016,
SIGSOFT FSE.
Corina S. Pasareanu,
Pasquale Malacaria,
Quoc-Sang Phan,
2015,
SOEN.
Corina S. Pasareanu,
Willem Visser,
Antonio Filieri,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Corina S. Pasareanu,
Willem Visser,
Jaco Geldenhuys,
2013,
Automated Software Engineering.
Corina S. Pasareanu,
Willem Visser,
Neha Rungta,
2011,
ISSTA '11.
Corina S. Pasareanu,
Yannic Noller,
Shirin Nilizadeh,
2018,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Corina S. Păsăreanu,
C. Pasareanu,
C. Păsăreanu,
2020,
Symbolic Execution and Quantitative Reasoning.
Ravi Mangal,
D. Gopinath,
Huafeng Yu,
2023,
ArXiv.
Ravi Mangal,
D. Gopinath,
Huafeng Yu,
2023,
CAV.
Ismet Burak Kadron,
D. Gopinath,
Huafeng Yu,
2021,
VSTTE.
Ravi Mangal,
C. Pasareanu,
Matt Fredrikson,
2022,
ICLR.
Sergiy Bogomolov,
Radu Grosu,
Andreas Podelski,
2014,
Haifa Verification Conference.
Corina S. Pasareanu,
Willem Visser,
W. Visser,
2017,
SAICSIT '17.
Marcelo d'Amorim,
Corina S. Pasareanu,
Antonio Filieri,
2015,
ESEC/SIGSOFT FSE.
Marcelo F. Frias,
Corina S. Pasareanu,
Willem Visser,
2015,
SPIN.
Matthew B. Dwyer,
Mitchell J. Gerrard,
Corina S. Pasareanu,
2015,
GTTSE.
Guowei Yang,
Corina S. Pasareanu,
Antonio Filieri,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Marcelo d'Amorim,
Corina S. Pasareanu,
Willem Visser,
2014,
PLDI.
C. Pasareanu,
S. Seshia,
D. Gopinath,
2019,
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Radu Calinescu,
Corina S. Pasareanu,
Clark Barrett,
2021,
SAFECOMP.