Corina S. Pasareanu

发表

Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi, 2016, ICTAC.
Colin Blundell, Corina S. Pasareanu, Dimitra Giannakopoulou, 2008, IET Softw..
Corina S. Pasareanu, Aymeric Fromherz, Kasper Søe Luckow, 2017, SOEN.
Corina S. Pasareanu, Yannic Noller, Rody Kersten, 2018, ISSTA.
Corina S. Pasareanu, Antonio Filieri, Mateus Borges, 2017, NFM.
Corina S. Pasareanu, Dimitra Giannakopoulou, Michael Emmi, 2008, FM.
Tim Menzies, Johann Schumann, Corina S. Pasareanu, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2007, Future of Software Engineering (FOSE '07).
Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys, 2014, Software Engineering & Management.
Sarfraz Khurshid, Guowei Yang, Corina S. Pasareanu, 2013, 2013 35th International Conference on Software Engineering (ICSE).
Michael Huth, Matthew B. Dwyer, Corina S. Pasareanu, 1999, SPIN.
Corina S. Pasareanu, Misty Davies, Vishwanath Raman, 2012, VSTTE.
Corina S. Pasareanu, Pasquale Malacaria, Kasper Søe Luckow, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopoulou, 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Corina S. Pasareanu, Willem Visser, W. Visser, 2009, International Journal on Software Tools for Technology Transfer.
Edmund M. Clarke, Corina S. Pasareanu, S. Chaki, 2013 .
Ankur Taly, Corina S. Pasareanu, Hayes Converse, 2019, ArXiv.
Corina S. Pasareanu, Huafeng Yu, Divya Gopinath, 2018, ArXiv.
Corina S. Pasareanu, 2013, Engineering Dependable Software Systems.
Gabor Karsai, Tevfik Bultan, Corina S. Pasareanu, 2020 .
Corina S. Pasareanu, Willem Visser, Aymeric Fromherz, 2019, TACAS.
Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2005 .
Corina S. Pasareanu, Willem Visser, Antonio Filieri, 2014, Software Engineering.
Corina S. Pasareanu, Gwen Salaün, 2012, Lecture Notes in Computer Science.
Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser, 2014, PLDI.
Corina S. Pasareanu, David Bushnell, Alwyn Goodloe, 2009 .
Guowei Yang, Corina S. Pasareanu, Antonio Filieri, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
James C. Corbett, Matthew B. Dwyer, Corina S. Pasareanu, 2000, ICSE.
Corina S. Pasareanu, Han Zhang, Jiaoyang Li, 2019 .
Corina S. Pasareanu, Kasper Søe Luckow, 2016, 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Daniel Kroening, Corina S. Pasareanu, 2015, Lecture Notes in Computer Science.
Corina S. Pasareanu, Pasquale Malacaria, Quoc-Sang Phan, 2015, SOEN.
Corina S. Pasareanu, Pasquale Malacaria, Quoc-Sang Phan, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Corina S. Pasareanu, Manuela L. Bujorianu, Michael Fisher, 1997 .
Marcelo d'Amorim, Corina S. Pasareanu, Pasquale Malacaria, 2014, SPIN.
Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu, 2008, SIGSOFT '08/FSE-16.
Tevfik Bultan, Corina S. Pasareanu, Pasquale Malacaria, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Corina S. Pasareanu, Dimitra Giannakopoulou, 2008, Formal Methods Syst. Des..
Corina S. Pasareanu, Neha Rungta, C. Pasareanu, 2010, ASE.
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2014 .
Corina S. Pasareanu, Willem Visser, Radek Pelánek, 2005, CAV 2005.
Kedar S. Namjoshi, Corina S. Pasareanu, Dimitra Giannakopoulou, 2018, Handbook of Model Checking.
Corina S. Pasareanu, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser, 2018, ISSTA.
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2014, ASE.
Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, 2011, 2011 22nd IEEE International Symposium on Rapid System Prototyping.
Sarfraz Khurshid, Guowei Yang, Corina S. Pasareanu, 2012, ISSTA 2012.
Ewen Denney, Corina S. Pasareanu, Dimitra Giannakopoulou, 2009 .
Corina S. Pasareanu, Willem Visser, W. Visser, 2017, SAICSIT '17.
Corina S. Pasareanu, Willem Visser, Radek Pelánek, 2006, ISSTA '06.
Edmund M. Clarke, Corina S. Pasareanu, Anvesh Komuravelli, 2012, CAV.
Corina S. Pasareanu, Daniel Balasubramanian, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Lawrence Z. Markosian, Corina S. Pasareanu, Willem Visser, 2008 .
Corina S. Pasareanu, Willem Visser, Kasper Søe Luckow, 2018, SEFM.
Corina S. Pasareanu, Dimitra Giannakopoulou, 2013, Festschrift for Dave Schmidt.
Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald, 2020, TACAS.
Matthew B. Dwyer, Corina S. Pasareanu, John Hatcliff, 2013, The Essence of Computation.
Marcelo F. Frias, Corina S. Pasareanu, Willem Visser, 2015, SPIN.
Matthew B. Dwyer, Corina S. Pasareanu, C. Pasareanu, 1998, SIGSOFT '98/FSE-6.
Corina S. Pasareanu, Willem Visser, Radek Pelánek, 2005, ASE.
Corina S. Pasareanu, Willem Visser, Radek Pelánek, 2007, Log. Methods Comput. Sci..
Matthew B. Dwyer, Corina S. Pasareanu, C. Pasareanu, 1998, Generic Programming.
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopoulou, 2008, Formal Methods Syst. Des..
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser, 2003, TACAS.
Sarfraz Khurshid, Guowei Yang, Corina S. Pasareanu, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
Corina S. Pasareanu, Dimitra Giannakopoulou, C. Pasareanu, 2006, SPIN.
Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2004 .
Corina S. Pasareanu, Simone Hanazumi, Ana Cristina Vieira de Melo, 2015, SOEN.
Colin Blundell, Corina S. Pasareanu, Dimitra Giannakopoulou, 2006, SAVCBS '05.
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopoulou, 2005, Automated Software Engineering.
Michael R. Lowry, Cyrille Artho, Grigore Rosu, 2003, Abstract State Machines.
Corina S. Pasareanu, Pasquale Malacaria, Quoc-Sang Phan, 2012, SOEN.
Corina S. Pasareanu, Mihaela Gheorghiu Bobaru, 2012, ISoLA.
Sarfraz Khurshid, Kaiyuan Wang, Corina S. Pasareanu, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Corina S. Pasareanu, Artem Khyzha, Pavel Parízek, 2012, SOEN.
Gabor Karsai, Sandeep Neema, Johann Schumann, 2009, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.
Corina S. Pasareanu, 2010, International Journal on Software Tools for Technology Transfer.
Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, 2012, NASA Formal Methods.
Corina S. Pasareanu, Willem Visser, Saswat Anand, 2008, International Journal on Software Tools for Technology Transfer.
Corina S. Pasareanu, Thomas Wahl, Jaideep Ramachandran, 2015, SOEN.
Tevfik Bultan, Corina S. Pasareanu, Abdulbaki Aydin, 2016, SIGSOFT FSE.
Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser, 2004, ISSTA '04.
Corina S. Pasareanu, Willem Visser, Antonio Filieri, 2013, 2013 35th International Conference on Software Engineering (ICSE).
Kathryn T. Stolee, Corina S. Pasareanu, Andrew Hill, 2018, ICSE.
Sarfraz Khurshid, Koushik Sen, Nikolai Tillmann, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Corina S. Pasareanu, Dimitra Giannakopoulou, 2005, SPIN.
Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys, 2013, Automated Software Engineering.
Sarfraz Khurshid, Guowei Yang, Corina S. Pasareanu, 2018, NFM.
Corina S. Pasareanu, Bryan Parno, Matt Fredrikson, 2020, ICLR.
Howard Barringer, Corina S. Pasareanu, Dimitra Giannakopolou, 2003 .
Sarfraz Khurshid, Corina S. Pasareanu, Rui Qiu, 2016, ATVA.
Sam Malek, Corina S. Pasareanu, Naeem Esfahani, 2012, ACM SIGSOFT Softw. Eng. Notes.
Orna Grumberg, Corina S. Pasareanu, Sharon Shoham, 2015, FM.
Corina S. Pasareanu, Robert Morris, Sven Koenig, 2016, AAAI Workshop: Planning for Hybrid Systems.
Corina S. Pasareanu, Guy Katz, Haoze Wu, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).
Ewen Denney, Corina S. Pasareanu, Dimitra Giannakopoulou, 2010, Innovations in Systems and Software Engineering.
Corina S. Pasareanu, Kasper Søe Luckow, Rody Kersten, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Corina S. Pasareanu, Dimitra Giannakopoulou, C. Pasareanu, 2009, FASE.
Carlos Canal, Corina S. Pasareanu, 2010, Electron. Notes Theor. Comput. Sci..
Tim Menzies, Corina S. Pasareanu, 2015, Automated Software Engineering.
Sarfraz Khurshid, Kaiyuan Wang, Corina S. Pasareanu, 2018, ArXiv.
Sarfraz Khurshid, Cyrille Artho, Corina S. Pasareanu, 2007 .
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2001, TACAS.
Corina S. Pasareanu, Dimitra Giannakopoulou, Jamieson M. Cobleigh, 2004, Proceedings. 26th International Conference on Software Engineering.
Michael R. Lowry, Corina S. Pasareanu, David H. Bushnell, 2008, ISSTA '08.
Corina S. Pasareanu, Yannic Noller, Shirin Nilizadeh, 2018, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Corina S. Pasareanu, Yannic Noller, Rody Kersten, 2018, International Symposium on Software Testing and Analysis.
Corina S. Pasareanu, Kasper Søe Luckow, Rody Kersten, 2017, CCS.
Marcelo d'Amorim, Corina S. Pasareanu, Mateus Borges, 2011, NASA Formal Methods.
Corina S. Pasareanu, Dimitra Giannakopoulou, C. Pasareanu, 2010, IET Softw..
Rishabh Singh, Corina S. Pasareanu, Dimitra Giannakopoulou, 2010, CAV.
Marcelo d'Amorim, Corina S. Pasareanu, Mateus Borges, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Corina S. Pasareanu, Willem Visser, Neha Rungta, 2011, ISSTA '11.
Edmund M. Clarke, Corina S. Pasareanu, Anvesh Komuravelli, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Corina S. Pasareanu, Matthew Staats, C. Pasareanu, 2010, ISSTA '10.
Corina S. Pasareanu, David H. Bushnell, David Bushnell, 2008 .
Matthew B. Dwyer, Corina S. Pasareanu, Willem Visser, 2003, International Journal on Software Tools for Technology Transfer.
Sergiy Bogomolov, Radu Grosu, Andreas Podelski, 2014, Haifa Verification Conference.
Corina S. Pasareanu, Willem Visser, Radek Pelánek, 2005, CAV.
Corina S. Pasareanu, Willem Visser, Saswat Anand, 2007, TACAS.
Matthew B. Dwyer, Corina S. Pasareanu, 2001 .
Bent Thomsen, Corina S. Pasareanu, Kasper Søe Luckow, 2015, EURASIP J. Embed. Syst..
George S. Avrunin, James C. Corbett, Matthew B. Dwyer, 1999 .
Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, 2007, TACAS.
Tevfik Bultan, Tegan Brennan, Seemanta Saha, 2018, ISSTA.
Corina S. Pasareanu, Gwen Salaün, 2014, Sci. Comput. Program..
Corina S. Pasareanu, Dimitra Giannakopoulou, Jamieson M. Cobleigh, 2003, TACAS.
Michael R. Lowry, Sarfraz Khurshid, Koushik Sen, 2005, Theor. Comput. Sci..
Corina S. Pasareanu, Dimitra Giannakopoulou, Domenico Bianculli, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Corina S. Pasareanu, Willem Visser, 2007, Haifa Verification Conference.
Marcelo d'Amorim, Corina S. Pasareanu, Antonio Filieri, 2015, ESEC/SIGSOFT FSE.
Corina S. Pasareanu, Dimitra Giannakopoulou, 2011, SFM.
Corina S. Pasareanu, Guy Katz, Divya Gopinath, 2018, ATVA.
Matthew B. Dwyer, Mitchell J. Gerrard, Corina S. Pasareanu, 2015, GTTSE.
John Penix, Corina S. Pasareanu, Seungjoon Park, 2005, Formal Methods Syst. Des..
Michael R. Lowry, Doron Drusinsky, Corina S. Pasareanu, 2013, Formal Methods Syst. Des..
Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, 2013, TACAS.
Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, 2008, CAV.
Corina S. Pasareanu, 2014, WODA+PERTEA 2014.
Limin Jia, Corina S. Pasareanu, Arthur Azevedo de Amorim, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).
Corina S. Pasareanu, Robert Morris, Heron Yang, 2018, ISSTA/ECOOP Workshops.
Corina S. Pasareanu, Willem Visser, Saswat Anand, 2006, SPIN.
Dirk Beyer, Bernhard Steffen, Corina S. Pasareanu, 2014, International Journal on Software Tools for Technology Transfer.
Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, 2011, ISSTA '11.
Orna Grumberg, Corina S. Pasareanu, Sharon Shoham, 2015, Formal Aspects of Computing.
Corina S. Pasareanu, Kasper Søe Luckow, C. Pasareanu, 2014, SOEN.
Tim Menzies, Corina S. Pasareanu, C. Pasareanu, 2015, International Conference on Automated Software Engineering.
Corina S. Pasareanu, Pavel Parízek, Jakub Daniel, 2014, SOEN.
Sarfraz Khurshid, Guowei Yang, Corina S. Pasareanu, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Matthew B. Dwyer, Corina S. Pasareanu, Oksana Tkachuk, 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Gary T. Leavens, Corina S. Pasareanu, Amirfarhad Nilizadeh, 2021, TAP@STAF.
Corina S. Pasareanu, Arthur Azevedo de Amorim, Zichao Zhang, 2021, International Workshop on Formal Aspects of Component Software.
Corina S. Pasareanu, Divya Gopinath, Muhammad Usman, 2021, FMAS.
Corina S. Pasareanu, Bryan Parno, Matt Fredrikson, 2021, ArXiv.
Radu Calinescu, Corina S. Pasareanu, Clark Barrett, 2021, SAFECOMP.
Gary T. Leavens, Corina S. Pasareanu, David R. Cok, 2021, 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST).
Corina S. Pasareanu, Limin Jia, Ruben Martins, 2021, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Corina S. Pasareanu, C. Pasareanu, B. Dwyer, 1998 .
Corina S. Pasareanu, Dimitra Giannakopoulou, Laura Brandan Briones, 2004 .