| Publication | Date of Publication | Type |
|---|
| Alternating-time temporal logic | 2026-05-21 | Paper |
| Alternating-time temporal logic | 2025-03-19 | Paper |
Chordal sparsity for SDP-based neural network verification
Automatica | 2024-02-20 | Paper |
| Policy synthesis and reinforcement learning for discounted LTL | 2024-02-01 | Paper |
A framework for transforming specifications in reinforcement learning
Lecture Notes in Computer Science | 2023-08-10 | Paper |
Static detection of uncoalesced accesses in GPU programs
Formal Methods in System Design | 2023-06-29 | Paper |
Verifying abstractions of timed systems
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Modularity for timed and hybrid systems
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
| Specification-Guided Learning of Nash Equilibria with High Social Welfare | 2022-12-07 | Paper |
Colored nested words
Formal Methods in System Design | 2022-06-27 | Paper |
| Verisig 2.0: verification of neural network controllers using Taylor model preconditioning | 2022-03-25 | Paper |
Case study
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Space-efficient query evaluation over probabilistic event streams
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Fast timing-based algorithms
Distributed Computing | 2020-12-02 | Paper |
Scaling enumerative program synthesis via divide and conquer
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Automata-based stream processing | 2020-05-27 | Paper |
Derivatives of quantitative regular expressions
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Streamable regular transductions
Theoretical Computer Science | 2020-01-22 | Paper |
Verisig
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Pattern-based refinement of assume-guarantee specifications in reactive synthesis
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
Compositional synthesis of reactive controllers for multi-agent systems
Computer Aided Verification | 2019-05-03 | Paper |
Model checking procedural programs
Handbook of Model Checking | 2018-07-20 | Paper |
Compositional and symbolic synthesis of reactive controllers for multi-agent systems
Information and Computation | 2018-06-14 | Paper |
Streaming tree transducers
Journal of the ACM | 2018-05-17 | Paper |
Regular combinators for string transformations
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Regular combinators for string transformations
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Contention---free complexity of shared memory algorithms
Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
Compositional Modeling and Analysis of Multi-Hop Control Networks
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
A fixpoint calculus for local and global program flows
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
| Hedging bets in Markov decision processes | 2017-07-19 | Paper |
Synthesis of interface specifications for Java classes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Deterministic generators and games for LTL fragments
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Regular functions and cost register automata (invited paper)
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
From monadic second-order definable string transformations to transducers
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Compositional synthesis with parametric reactive controllers
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Optimal scheduling for constant-rate multi-mode systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Regular transformations of infinite strings
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Safe schedulability of bounded-rate multi-mode systems
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
DReX: a declarative language for efficiently evaluating regular string transformations
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Time-adaptive algorithms for synchronization
Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94 | 2016-09-01 | Paper |
Undecidability of partial order logics
Information Processing Letters | 2016-06-16 | Paper |
Regular Programming for Quantitative Properties of Data Streams
Programming Languages and Systems | 2016-04-26 | Paper |
Colored Nested Words
Language and Automata Theory and Applications | 2016-04-13 | Paper |
Alternating-time temporal logic
Journal of the ACM | 2015-12-07 | Paper |
Adding nesting structure to words
Journal of the ACM | 2015-11-11 | Paper |
Algorithmic analysis of array-accessing programs
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
The benefits of relaxing punctuality
Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 | 2015-06-19 | Paper |
Parametric real-time reasoning
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 | 2015-05-07 | Paper |
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Streaming transducers for algorithmic verification of single-pass list-processing programs
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Symbolic computational techniques for solving games | 2013-08-30 | Paper |
Decision problems for additive regular functions
Automata, Languages, and Programming | 2013-08-07 | Paper |
On the complexity of shortest path problems on discounted cost graphs
Language and Automata Theory and Applications | 2013-03-18 | Paper |
Streaming tree transducers
Lecture Notes in Computer Science | 2012-11-01 | Paper |
| Expressiveness of streaming string transducers | 2012-08-29 | Paper |
Nondeterministic Streaming String Transducers
Automata, Languages and Programming | 2011-07-07 | Paper |
Visibly pushdown languages
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing | 2010-08-15 | Paper |
Verification and Integration of Real-Time Control Software
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems | 2010-06-02 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Playing games with boxes and diamonds.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
CONCUR 2003 - Concurrency Theory
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Formal analysis of hierarchical state machines
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Temporal reasoning for procedural programs
Lecture Notes in Computer Science | 2010-01-14 | Paper |
Algorithmic Analysis of Array-Accessing Programs
Computer Science Logic | 2009-11-12 | Paper |
Specification and Analysis of Network Resource Requirements of Control Systems
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
First-Order and Temporal Logics for Nested Words
Logical Methods in Computer Science | 2009-04-29 | Paper |
On Omega-Languages Defined by Mean-Payoff Conditions
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Adding Nesting Structure to Words
Developments in Language Theory | 2009-03-26 | Paper |
Symbolic Analysis for GSMP Models with One Stateful Clock
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Automata Based Interfaces for Control and Scheduling
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Marrying Words and Trees
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Parametric temporal logic for “model measuring”
ACM Transactions on Computational Logic | 2008-12-21 | Paper |
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Automatic symbolic compositional verification by learning assumptions
Formal Methods in System Design | 2008-07-30 | Paper |
Model Checking: From Tools to Theory
25 Years of Model Checking | 2008-07-15 | Paper |
Ranking Automata and Games for Prioritized Requirements
Computer Aided Verification | 2008-07-15 | Paper |
Marrying Words and Trees
Computer Science – Theory and Applications | 2008-06-03 | Paper |
Branching Pushdown Tree Automata
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
| scientific article; zbMATH DE number 5245252 (Why is no real title available?) | 2008-03-06 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Preserving Secrecy Under Refinement
Automata, Languages and Programming | 2007-09-11 | Paper |
Languages of Nested Trees
Computer Aided Verification | 2007-09-05 | Paper |
Model Checking on Trees with Path Equivalences
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Dispatch sequences for embedded control models
Journal of Computer and System Sciences | 2007-01-09 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Formal Methods for the Design of Real-Time Systems
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Modular strategies for recursive game graphs
Theoretical Computer Science | 2006-04-28 | Paper |
Compositional modeling and refinement for hierarchical hybrid systems
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Counterexample-guided predicate abstraction of hybrid systems
Theoretical Computer Science | 2006-04-28 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2209335 (Why is no real title available?) | 2005-09-28 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Deciding global partial-order properties
Formal Methods in System Design | 2005-05-17 | Paper |
Realizability and verification of MSC graphs
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2102690 (Why is no real title available?) | 2004-09-24 | Paper |
Polyhedral flows in hybrid automata
Formal Methods in System Design | 2004-09-09 | Paper |
Optimal paths in weighted timed automata
Theoretical Computer Science | 2004-08-10 | Paper |
| scientific article; zbMATH DE number 2085314 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1956593 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1956618 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1956582 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1955876 (Why is no real title available?) | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1903363 (Why is no real title available?) | 2003-05-01 | Paper |
Model-checking of correctness conditions for concurrent objects
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1852148 (Why is no real title available?) | 2003-01-09 | Paper |
| scientific article; zbMATH DE number 1759602 (Why is no real title available?) | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1444338 (Why is no real title available?) | 2002-09-08 | Paper |
| scientific article; zbMATH DE number 1796135 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1796132 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1794359 (Why is no real title available?) | 2002-09-03 | Paper |
| scientific article; zbMATH DE number 1794358 (Why is no real title available?) | 2002-09-03 | Paper |
| scientific article; zbMATH DE number 1794360 (Why is no real title available?) | 2002-09-03 | Paper |
| scientific article; zbMATH DE number 1754635 (Why is no real title available?) | 2002-06-12 | Paper |
| scientific article; zbMATH DE number 1263212 (Why is no real title available?) | 2002-01-29 | Paper |
| scientific article; zbMATH DE number 1256652 (Why is no real title available?) | 2002-01-17 | Paper |
| scientific article; zbMATH DE number 1670783 (Why is no real title available?) | 2001-11-11 | Paper |
Partial-order reduction in symbolic state-space exploration
Formal Methods in System Design | 2001-09-09 | Paper |
| scientific article; zbMATH DE number 1507209 (Why is no real title available?) | 2000-09-14 | Paper |
Timing verification by successive approximation
Information and Computation | 2000-07-04 | Paper |
| scientific article; zbMATH DE number 1405643 (Why is no real title available?) | 2000-04-25 | Paper |
| scientific article; zbMATH DE number 1361119 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1303058 (Why is no real title available?) | 1999-08-16 | Paper |
Event-clock automata: a determinizable class of timed automata
Theoretical Computer Science | 1999-01-12 | Paper |
The benefits of relaxing punctuality
Journal of the ACM | 1998-01-19 | Paper |
The benefits of relaxing punctuality
Journal of the ACM | 1998-01-19 | Paper |
Time-Adaptive Algorithms for Synchronization
SIAM Journal on Computing | 1997-05-26 | Paper |
The algorithmic analysis of hybrid systems
Theoretical Computer Science | 1997-02-28 | Paper |
Real-time system = discrete system + clock variables
International Journal on Software Tools for Technology Transfer. STTT | 1997-01-01 | Paper |
Contention-free complexity of shared memory algorithms
Information and Computation | 1996-12-12 | Paper |
A really temporal logic
Journal of the ACM | 1995-03-08 | Paper |
A theory of timed automata
Theoretical Computer Science | 1994-05-05 | Paper |
Model-checking in dense real-time
Information and Computation | 1993-12-06 | Paper |
Real-time logics: Complexity and expressiveness
Information and Computation | 1993-12-06 | Paper |
| scientific article; zbMATH DE number 177824 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176728 (Why is no real title available?) | 1993-05-18 | Paper |
