A Framework for Contract-Based Composition of CPS Analyses
20080501 software verification_sharygina_lecture02
Efficient Filtering in Pub-Sub Systems using BDD
Contract-Based Integration of Cyber-Physical Analyses (Poster)
Framework for Inter-Model Analysis of Cyber-Physical Systems
Verification of Evolving Software Natasha Sharygina Joint work with Sagar Chaki and Nishant Sinha Carnegie Mellon University.
© 2011 Carnegie Mellon University Time Bounded Analysis of Real-Time Systems Arie Gurfinkel, Sagar Chaki, and Ofer Strichman Software Engineering Institute.
© 2013 Carnegie Mellon University Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel 1 joint work with Sagar Chaki 1, Ofer Strichman.
Towards High-Assurance Hypervisors
Model Checking with Proofs and Counterexamples
Automatic Abstraction in SMT-Based Unbounded Software Model Checking