Search results for: Corina S. Păsăreanu
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 325-342
Formal Aspects of Computing > 2018 > 30 > 5 > 571-595
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Synthesis and Adaptation > 94-108
Lecture Notes in Computer Science > Computer Aided Verification > Abstraction and Refinement > 52-66
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Testing and Verification > 553-568
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Learning Techniques for Software Verification and Validation > 640-642
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Static Analysis > 134-138
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Assume-Guarantee Reasoning > 292-307
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Modules and Compositional Verification > 331-346
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Connector Synthesis > 191-216
Lecture Notes in Computer Science > Model Checking Software > Abstraction and Symbolic Methods > 164-181
Lecture Notes in Computer Science > Model Checking Software > Advanced Handling of Data Aspects > 163-181