Rupak Majumdar

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Lock allocation.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Path invariants.

[BibT_eX]

[DOI]

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

Tasks: language support for event-driven programming.

[BibT_eX]

[DOI]

Jeffrey Fischer

Todd D. Millstein

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

Game Relations and Metrics.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Ensuring consistency in long running transactions.

[BibT_eX]

[DOI]

Jeffrey Fischer

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Dynamic test input generation for database applications.

[BibT_eX]

[DOI]

Michael Emmi

Koushik Sen

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Hybrid Concolic Testing.

[BibT_eX]

[DOI]

Koushik Sen

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006

On the universal and existential fragments of the mu-calculus.

[BibT_eX]

[DOI]

Orna Kupferman

Theor. Comput. Sci., 2006

Markov Decision Processes with Multiple Objectives.

[BibT_eX]

[DOI]

Proceedings of the STACS 2006, 2006

Interpolation for data structures.

[BibT_eX]

[DOI]

Deepak Kapur

Calogero G. Zarba

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Bit level types for high level reasoning.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Structural Invariants.

[BibT_eX]

[DOI]

Ru-Gang Xu

Proceedings of the Static Analysis, 13th International Symposium, 2006

Compositional Quantitative Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Decision Problems for the Verification of Real-Time Software.

[BibT_eX]

[DOI]

Michael Emmi

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2005

A classification of symbolic transition systems.

[BibT_eX]

[DOI]

Jean-François Raskin

ACM Trans. Comput. Log., 2005

Model checking discounted temporal properties.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Counterexample-guided Planning.

[BibT_eX]

[DOI]

Proceedings of the UAI '05, 2005

The BLAST Software Verification System.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2005

Permissive interfaces.

[BibT_eX]

[DOI]

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

Joining dataflow with predicates.

[BibT_eX]

[DOI]

Jeffrey Fischer

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

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. on CAD of Integrated Circuits and Systems, 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]

Inf. Comput., 2004

The Blast Query Language for Software Verification..

[BibT_eX]

[DOI]

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

Abstractions from proofs.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 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]

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

Automatic Predicate Abstraction of C Programs.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 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]