Rupak Majumdar

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Path slicing.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Quantifying Similarities Between Timed Systems.

[BibT_eX]

[DOI]

Vinayak S. Prabhu

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Checking Memory Safety with Blast.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Code aware resource management.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

Verifying Quantitative Properties Using Bound Functions.

[BibT_eX]

[DOI]

Arindam Chakrabarti

Krishnendu Chatterjee

Orna Kupferman

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Fair watermarking using combinatorial isolation lemmas.

[BibT_eX]

[DOI]

Jennifer L. Wong

Miodrag Potkonjak

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

Quantitative solution of omega-regular games.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2004

Stack size analysis for interrupt-driven programs.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Inf. Comput., 2004

The Blast Query Language for Software Verification..

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 11th International Symposium, 2004

Race checking by context inference.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

Invited talk: the blast query language for software verification.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

An Eclipse Plug-in for Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

Generating Tests from Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

On Nash Equilibria in Stochastic Games.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Marcin Jurdzinski

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

On the Universal and Existential Fragments of the µ-Calculus.

[BibT_eX]

[DOI]

Orna Kupferman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Software Verification with BLAST.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2003

Counterexample-Guided Control.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Discounting the Future in Systems Theory.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

The Element of Surprise in Timed Games.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

Thread-Modular Abstraction Refinement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Extreme Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification: Theory and Practice, 2003

2002

Lazy abstraction.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Time-Safety Checking for Embedded Programs.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Second International Conference, 2002

Temporal-Safety Proofs for Systems Code.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

From Verification to Control: Dynamic Programs for Omega-Regular Objectives.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Watermarking of SAT using Combinatorial Isolation Lemmas.

[BibT_eX]

[DOI]

Jennifer L. Wong

Proceedings of the 38th Design Automation Conference, 2001

Symbolic Algorithms for Infinite-State Games.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

Symbolic Model Checking for Rectangular Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

A Classification of Symbolic Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the STACS 2000, 2000

Abstract Interpretation of Game Properties.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 7th International Symposium, 2000

Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999

Rectangular Hybrid Games.

[BibT_eX]

[DOI]

Benjamin Horowitz

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1996

Design of Controllers for Linear Hybrid Systems.

[BibT_eX]

[DOI]