Corina S. Păsăreanu

From MaRDI portal
Person:934702

Available identifiers

zbMath Open pasareanu.corina-sMaRDI QIDQ934702

List of research outcomes





PublicationDate of PublicationType
Introduction to the special Section on FM 20212024-09-25Paper
DeepSafe: a data-driven approach for assessing robustness of neural networks2023-07-28Paper
Assume, Guarantee or Repair2022-10-13Paper
https://portal.mardi4nfdi.de/entity/Q49946942021-06-21Paper
Automated Circular Assume-Guarantee Reasoning2019-12-19Paper
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement2019-05-03Paper
Automated circular assume-guarantee reasoning2018-09-12Paper
Compositional Reasoning2018-07-20Paper
Learning Probabilistic Systems from Tree Samples2017-05-16Paper
Towards MC/DC Coverage of Properties Specification Patterns2016-12-21Paper
Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning2008-07-30Paper
Automated Assume-Guarantee Reasoning by Abstraction Refinement2008-07-15Paper
Predicate Abstraction with Under-approximation Refinement2007-10-11Paper
Model Checking Software2007-09-28Paper
Refining Interface Alphabets for Compositional Verification2007-09-03Paper
Model Checking Software2007-05-02Paper
Verifying time partitioning in the DEOS scheduling kernel2006-02-20Paper
Computer Aided Verification2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q44179362003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44179552003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44147302003-07-27Paper
https://portal.mardi4nfdi.de/entity/Q27695932002-02-05Paper

Research outcomes over time

This page was built for person: Corina S. Păsăreanu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:934702&oldid=10988957"
Powered by MediaWiki