Rupak Majumdar
According to our database1,
Rupak Majumdar
authored at least 269 papers
between 1996 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
On csauthors.net:
Bibliography
2018
Symbolic Model Checking in Non-Boolean Domains.
Proceedings of the Handbook of Model Checking., 2018
Why is random testing effective for partition tolerance bugs?
PACMPL, 2018
Verification of Immediate Observation Population Protocols.
CoRR, 2018
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility.
CoRR, 2018
Lazy Abstraction-Based Control for Reachability.
CoRR, 2018
Lazy Abstraction-Based Control for Safety Specifications.
CoRR, 2018
Precise but Natural Specification for Robot Tasks.
CoRR, 2018
Reachability analysis of reversal-bounded automata on series-parallel graphs.
Acta Inf., 2018
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018
Parameter optimization in control software using statistical fault localization techniques.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Verification of Immediate Observation Population Protocols.
Proceedings of the 29th International Conference on Concurrency Theory, 2018
DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems.
Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility.
Proceedings of the Automated Technology for Verification and Analysis, 2018
Concentration of Measure for Chance-Constrained Optimization.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
Antlab: A Multi-Robot Task Server.
ACM Trans. Embedded Comput. Syst., 2017
Testing Cyber-Physical Systems through Bayesian Optimization.
ACM Trans. Embedded Comput. Syst., 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
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).
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
Compositional construction of finite state abstractions for stochastic control systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Compositional abstractions of interconnected discrete-time stochastic control systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 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