Rupak Majumdar

According to our database1, Rupak Majumdar
  • authored at least 249 papers between 1996 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Model checking parameterized asynchronous shared-memory systems.
Formal Methods in System Design, 2017

Quantifying conformance using the Skorokhod metric.
Formal Methods in System Design, 2017

Introduction to the special issue on runtime verification.
Formal Methods in System Design, 2017

Dynamic hierarchical reactive controller synthesis.
Discrete Event Dynamic Systems, 2017

Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111).
Dagstuhl Reports, 2017

Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).
CoRR, 2017

Parameter Optimization in Control Software using Statistical Fault Localization Techniques.
CoRR, 2017

Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems.
CoRR, 2017

Compositional Construction of Finite State Abstractions for Stochastic Control Systems.
CoRR, 2017

Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
CoRR, 2017

Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances.
CoRR, 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
CoRR, 2017

Dynamic Bayesian networks for formal verification of structured stochastic processes.
Acta Inf., 2017

Verification of population protocols.
Acta Inf., 2017

Approximate counting in SMT and value estimation for probabilistic programs.
Acta Inf., 2017

Fair Termination for Parameterized Probabilistic Concurrent Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Thread modularity at many levels: a pearl in compositional verification.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Programming by Composing Filters.
Proceedings of the LPAR-21, 2017

Controller Synthesis for Reward Collecting Markov Processes in Continuous Space.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Deferrability Analysis for JavaScript.
Proceedings of the Hardware and Software: Verification and Testing, 2017

FAR-Cubicle - A new reachability algorithm for Cubicle.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Synthesis of Solutions for Shaded Area Geometry Problems.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications.
Proceedings of the 2017 American Control Conference, 2017

Synthesis of Problems for Shaded Area Geometry Reasoning.
Proceedings of the Artificial Intelligence in Education - 18th International Conference, 2017

2016
Parameterized Verification of Asynchronous Shared-Memory Systems.
J. ACM, 2016

Computing Distances between Reach Flowpipes.
CoRR, 2016

Compositional Synthesis of Finite State Abstractions.
CoRR, 2016

Hitting Families of Schedules for Asynchronous Programs.
CoRR, 2016

Safety Verification of Continuous-Space Pure Jump Markov Processes.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Robots at the Edge of the Cloud.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Partial Order Reduction for Event-Driven Multi-threaded Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Probabilistic CTL*: The Deductive Way.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

LLSPLAT: Improving Concolic Testing by Bounded Model Checking.
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Computing Distances between Reach Flowpipes.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Model Checking Population Protocols.
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Hitting Families of Schedules for Asynchronous Programs.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Symbolic Model Checking for Factored Probabilistic Models.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.
CoRR, 2015

Dynamic Hierarchical Reactive Controller Synthesis.
CoRR, 2015

A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.
CoRR, 2015

Model Checking Parameterized Asynchronous Shared-Memory Systems.
CoRR, 2015

Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs.
Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Quantifying Conformance using the Skorokhod Metric (full version).
CoRR, 2015

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System.
CoRR, 2015

Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Dynamic scheduling for networked control systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Computing the Skorokhod distance between polygonal traces.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Analysis of Asynchronous Programs with Event-Based Synchronization.
Proceedings of the Programming Languages and Systems, 2015

Asynchronous Liquid Separation Types.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Rely/Guarantee Reasoning for Asynchronous Programs.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Verification of Population Protocols.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Bbs: A Phase-Bounded Model Checker for Asynchronous Programs.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Model Checking Parameterized Asynchronous Shared-Memory Systems.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Quantifying Conformance Using the Skorokhod Metric.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Foundations of Infinite-State Verification.
Proceedings of the Software Systems Safety, 2014

Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.
IEEE Trans. Automat. Contr., 2014

Towards Robustness for Cyber-Physical Systems.
IEEE Trans. Automat. Contr., 2014

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122).
Dagstuhl Reports, 2014

Computing the Skorokhod Distance between Polygonal Traces (Full Paper).
CoRR, 2014

Unary Pushdown Automata and Straight-Line Programs.
CoRR, 2014

Approximate Counting in SMT and Value Estimation for Probabilistic Programs.
CoRR, 2014

Race detection for Android applications.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Unary Pushdown Automata and Straight-Line Programs.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Edit distance for timed automata.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Kuai: A model checker for software-defined networks.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

Dynamic Package Interfaces.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Deductive control synthesis for alternating-time logics.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Bounds on Mobility.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Regression Test Selection for Distributed Software Histories.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

An SMT-Based Approach to Coverability Analysis.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Synthesis of Geometry Proof Problems.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
A theory of robust omega-regular software synthesis.
ACM Trans. Embedded Comput. Syst., 2013

From tests to proofs.
STTT, 2013

Backstepping controller synthesis and characterizations of incremental stability.
Systems & Control Letters, 2013

The Complexity of Coverage.
Int. J. Found. Comput. Sci., 2013

Code aware resource management.
Formal Methods in System Design, 2013

Parameterized Verification of Asynchronous Shared-Memory Systems
CoRR, 2013

Symbolic control of stochastic systems via approximately bisimilar finite abstractions
CoRR, 2013

Incremental, Inductive Coverability
CoRR, 2013

Dynamic Package Interfaces - Extended Version.
CoRR, 2013

A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages.
CoRR, 2013

A Theory of Partitioned Global Address Spaces.
CoRR, 2013

A Uniformization Theorem for Nested Word to Word Transductions.
Proceedings of the Implementation and Application of Automata, 2013

Model Checking Database Applications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Static Provenance Verification for Message Passing Programs.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Provenance Verification.
Proceedings of the Reachability Problems - 7th International Workshop, 2013

MrCrypt: static analysis for secure cloud computations.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

A Theory of Partitioned Global Address Spaces.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

Synthesis of fixed-point programs.
Proceedings of the International Conference on Embedded Software, 2013

Supervisor synthesis for controller upgrades.
Proceedings of the Design, Automation and Test in Europe, 2013

Expand, Enlarge, and Check for Branching Vector Addition Systems.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

A Theory of Name Boundedness.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Bisimilar finite abstractions of stochastic control systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Compositional equivalence checking for models and code of control systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

The first workshop on language support for privacy-enhancing technologies (PETShop'13).
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Incremental, Inductive Coverability.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Parameterized Verification of Asynchronous Shared-Memory Systems.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Lecture Notes on Software Model Checking.
Proceedings of the Software Safety and Security - Tools for Analysis and Verification, 2012

Algorithmic verification of asynchronous programs.
ACM Trans. Program. Lang. Syst., 2012

Discounting and Averaging in Games across Time scales.
Int. J. Found. Comput. Sci., 2012

Bounded underapproximations.
Formal Methods in System Design, 2012

Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461).
Dagstuhl Reports, 2012

Counterexample-guided Planning
CoRR, 2012

Synthesis of Minimal Error Control Software
CoRR, 2012

Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games
CoRR, 2012

A Perfect Model for Bounded Verification
CoRR, 2012

The Marriage of Exploration and Deduction.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Efficient May Happen in Parallel Analysis for Async-Finish Parallelism.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Engage: a deployment management system.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

CLSE: Closed-Loop Symbolic Execution.
Proceedings of the NASA Formal Methods, 2012

A Perfect Model for Bounded Verification.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Language-Theoretic Abstraction Refinement.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Scalable testing of file system checkers.
Proceedings of the European Conference on Computer Systems, 2012

Input-output robustness for discrete systems.
Proceedings of the 12th International Conference on Embedded Software, 2012

Trigger memoization in self-triggered control.
Proceedings of the 12th International Conference on Embedded Software, 2012

Synthesis of minimal-error control software.
Proceedings of the 12th International Conference on Embedded Software, 2012

Approximately Bisimilar Symbolic Models for Digital Control Systems.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
VCG with Communities on Random Ad Hoc Networks.
IJDSN, 2011

A theory of robust software synthesis
CoRR, 2011

Coordinate-invariant incremental Lyapunov functions
CoRR, 2011

Cause clue clauses: error localization using maximum satisfiability.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Pessoa 2.0: a controller synthesis tool for cyber-physical systems.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Robust discrete synthesis against unspecified disturbances.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Minimum Attention Controller Synthesis for Omega-Regular Objectives.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

End-to-End Guarantees in Embedded Control Systems - (Abstract).
Proceedings of the Perspectives of Systems Informatics, 2011

Performance-aware scheduler synthesis for control systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

A Lyapunov approach in incremental stability.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Bug-Assist: Assisting Fault Localization in ANSI-C Programs.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

HMC: Verifying Functional Programs Using Abstract Interpreters.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis.
ACM Trans. Design Autom. Electr. Syst., 2010

Cause Clue Clauses: Error Localization using Maximum Satisfiability
CoRR, 2010

Algorithmic Verification of Asynchronous Programs
CoRR, 2010

Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
CoRR, 2010

Discounting in Games across Time Scales
Proceedings of the Proceedings First Symposium on Games, 2010

Refinement type inference via abstract interpretation
CoRR, 2010

Algorithms for Game Metrics (Full Version)
Logical Methods in Computer Science, 2010

Paul Ammann and Jeff OffuttIntroduction to Software Testing. Cambridge University Press(2008). ISBN: 978-0-521-88038-1, 322 pp. Hardcover.
Comput. J., 2010

Shape Analysis with Reference Set Relations.
Proceedings of the Verification, 2010

Parameterized verification of transactional memories.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Systematic testing for control applications.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

On power and fault-tolerance optimization in FPGA physical synthesis.
Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

Automatic verification of control system implementations.
Proceedings of the 10th International conference on Embedded software, 2010

RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications.
Proceedings of the Design, Automation and Test in Europe, 2010

Rewiring for robustness.
Proceedings of the 47th Design Automation Conference, 2010

Bounded Underapproximations.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Fault-tolerant resynthesis with dual-output LUTs.
Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

2009
Software model checking.
ACM Comput. Surv., 2009

From Tests to Proofs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Verifying Reference Counting Implementations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Symbolic Robustness Analysis.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Verifying liveness for asynchronous programs.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Simultaneous test pattern compaction, ordering and X-filling for testing power reduction.
Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

Team Incentives in BitTorrent Systems.
Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

IPR: In-Place Reconfiguration for FPGA fault tolerance.
Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

Analyzing Real-Time Event-Driven Programs.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Fine-Grained Access Control with Object-Sensitive Roles.
Proceedings of the ECOOP 2009, 2009

Reducing Test Inputs Using Information Partitions.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2008

Game Refinement Relations and Metrics.
Logical Methods in Computer Science, 2008

Stochastic limit-average games are in EXPTIME.
Int. J. Game Theory, 2008

Parikh-Equivalent Bounded Underapproximations
CoRR, 2008

Game Refinement Relations and Metrics
CoRR, 2008

Stochastic Limit-Average Games are in EXPTIME
CoRR, 2008

The Complexity of Coverage
CoRR, 2008

Frugal Routing on Wireless Ad-Hoc Networks.
Proceedings of the Algorithmic Game Theory, First International Symposium, 2008

Proving non-termination.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

The Consistency of Web Conversations.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Testing for buffer overflows with length abstraction.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

A Theory of Role Composition.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Robust FPGA resynthesis based on fault-tolerant Boolean matching.
Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

Controller Synthesis with Budget Constraints.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Algorithms for Game Metrics.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

FPGA area reduction by multi-output function based sequential resynthesis.
Proceedings of the 45th Design Automation Conference, 2008

CSIsat: Interpolation for LA+EUF.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

The Complexity of Coverage.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007
The software model checker Blast.
STTT, 2007

Verifying Compensating Transactions.
Proceedings of the Verification, 2007

Invariant Synthesis for Combined Theories.
Proceedings of the Verification, 2007

State of the Union: Type Inference Via Craig Interpolation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Directed test generation using symbolic grammars.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Directed test generation using symbolic grammars.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Interprocedural analysis of asynchronous programs.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

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

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

Tasks: language support for event-driven programming.
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Game Relations and Metrics.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Directed test generation using symbolic grammars.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Ensuring consistency in long running transactions.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Dynamic test input generation for database applications.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Hybrid Concolic Testing.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006
On the universal and existential fragments of the mu-calculus.
Theor. Comput. Sci., 2006

Markov Decision Processes with Multiple Objectives.
Proceedings of the STACS 2006, 2006

Interpolation for data structures.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Bit level types for high level reasoning.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Structural Invariants.
Proceedings of the Static Analysis, 13th International Symposium, 2006

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

Decision Problems for the Verification of Real-Time Software.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2005
A classification of symbolic transition systems.
ACM Trans. Comput. Log., 2005

Model checking discounted temporal properties.
Theor. Comput. Sci., 2005

Counterexample-guided Planning.
Proceedings of the UAI '05, 2005

The BLAST Software Verification System.
Proceedings of the Model Checking Software, 2005

Permissive interfaces.
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.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

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

Quantifying Similarities Between Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Checking Memory Safety with Blast.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Code aware resource management.
Proceedings of the EMSOFT 2005, 2005

Verifying Quantitative Properties Using Bound Functions.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004
Fair watermarking using combinatorial isolation lemmas.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2004

Quantitative solution of omega-regular games.
J. Comput. Syst. Sci., 2004

Stack size analysis for interrupt-driven programs.
Inf. Comput., 2004

Model Checking Discounted Temporal Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

The Blast Query Language for Software Verification..
Proceedings of the Static Analysis, 11th International Symposium, 2004

Invited talk: the blast query language for software verification.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Abstractions from proofs.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Race checking by context inference.
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

Invited talk: the blast query language for software verification.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

An Eclipse Plug-in for Model Checking.
Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

Generating Tests from Counterexamples.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

On Nash Equilibria in Stochastic Games.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003
On the Universal and Existential Fragments of the µ-Calculus.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Software Verification with BLAST.
Proceedings of the Model Checking Software, 2003

Stack Size Analysis for Interrupt-Driven Programs.
Proceedings of the Static Analysis, 10th International Symposium, 2003

Counterexample-Guided Control.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Discounting the Future in Systems Theory.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

The Element of Surprise in Timed Games.
Proceedings of the CONCUR 2003, 2003

Thread-Modular Abstraction Refinement.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Extreme Model Checking.
Proceedings of the Verification: Theory and Practice, 2003

2002
Lazy abstraction.
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.
Proceedings of the Embedded Software, Second International Conference, 2002

Temporal-Safety Proofs for Systems Code.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
A Classification of Symbolic Transition Systems
CoRR, 2001

Quantitative solution of omega-regular games.
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001

Automatic Predicate Abstraction of C Programs.
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.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Watermarking of SAT using Combinatorial Isolation Lemmas.
Proceedings of the 38th Design Automation Conference, 2001

Symbolic Algorithms for Infinite-State Games.
Proceedings of the CONCUR 2001, 2001

2000
Symbolic Model Checking for Rectangular Hybrid Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

A Classification of Symbolic Transition Systems.
Proceedings of the STACS 2000, 2000

Abstract Interpretation of Game Properties.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999
Rectangular Hybrid Games.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1996
Design of Controllers for Linear Hybrid Systems.
Proceedings of the Concurrency and Parallelism, 1996


  Loading...