| Publication | Date of Publication | Type |
|---|
What good are digital clocks?
Automata, Languages and Programming | 2019-12-04 | Paper |
Temporal logic and fair discrete systems
Handbook of Model Checking | 2018-07-20 | Paper |
On the synthesis of discrete controllers for timed systems
STACS 95 | 2017-12-04 | Paper |
Formalization of properties of recursively defined functions
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 | 2014-03-14 | Paper |
Reduced functional consistency of uninterpreted functions
| 2013-09-26 | Paper |
Synthesis of Reactive(1) designs
Journal of Computer and System Sciences | 2012-08-17 | Paper |
Verification of multi-linked heaps
Journal of Computer and System Sciences | 2012-08-17 | Paper |
\textit{Once} and \textit{for all}
Journal of Computer and System Sciences | 2012-08-17 | Paper |
Effective synthesis of asynchronous systems from GR(1) specifications
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Low dimensional hybrid systems -- decidable, undecidable, don't know
Information and Computation | 2012-05-24 | Paper |
Verification of procedural programs
| 2011-07-06 | Paper |
Revisiting Synthesis of GR(1) Specifications
Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
Temporal verification of reactive systems: response
Time for Verification | 2010-09-07 | Paper |
Towards Component Based Design of Hybrid Systems: Safety and Stability
Time for Verification | 2010-09-07 | Paper |
Bridging the gap between fair simulation and trace inclusion.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
\textsc{tlpvs}: A \textsc{pvs}-based \textsc{ltl} verification system
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Proving the refuted: symbolic model checkers as proof generators
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Understanding UML: a formal semantics of concurrency and communication in real-time UML.
Lecture Notes in Computer Science | 2010-02-09 | Paper |
The ROBDD size of simple CNF formulas
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2009-05-15 | Paper |
Liveness by Invisible Invariants
Lecture Notes in Computer Science | 2009-03-11 | Paper |
A Sound and Complete Deductive System for CTL* Verification
Logic Journal of the IGPL | 2009-01-21 | Paper |
Discriminative Model Checking
Computer Aided Verification | 2008-07-15 | Paper |
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
Computer Aided Verification | 2008-07-15 | Paper |
From MITL to Timed Automata
Lecture Notes in Computer Science | 2008-07-08 | Paper |
All You Need Is Compassion
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Shape Analysis of Single-Parent Heaps
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
Pillars of Computer Science | 2008-03-25 | Paper |
Verification and synthesis of reactive programs
| 2008-03-06 | Paper |
On Synthesizing Controllers from Bounded-Response Properties
Computer Aided Verification | 2007-11-29 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Invisible Safety of Distributed Protocols
Automata, Languages and Programming | 2007-09-11 | Paper |
“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
MODULAR RANKING ABSTRACTION
International Journal of Foundations of Computer Science | 2007-03-13 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Model checking with strong fairness
Formal Methods in System Design | 2006-09-28 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Translation and run-time validation of loop transformations
Formal Methods in System Design | 2006-01-23 | Paper |
Computer Aided Verification
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 |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Bridging the gap between fair simulation and trace inclusion
Information and Computation | 2005-08-05 | Paper |
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming | 2005-05-12 | Paper |
A compositional approach to CTL\(^*\) verification
Theoretical Computer Science | 2005-04-06 | Paper |
Model checking and abstraction to the aid of parameterized systems (a survey)
Computer Languages, Systems \& Structures | 2004-11-18 | Paper |
scientific article; zbMATH DE number 2102726 (Why is no real title available?)
| 2004-09-24 | Paper |
scientific article; zbMATH DE number 2086517 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2080213 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2081102 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2081113 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2081115 (Why is no real title available?)
| 2004-08-04 | Paper |
Propositional temporal logics: decidability and completeness
Logic Journal of the IGPL | 2004-01-28 | Paper |
scientific article; zbMATH DE number 2017337 (Why is no real title available?)
| 2003-12-14 | Paper |
scientific article; zbMATH DE number 1979562 (Why is no real title available?)
| 2003-09-14 | Paper |
scientific article; zbMATH DE number 1956507 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1953016 (Why is no real title available?)
| 2003-07-25 | Paper |
scientific article; zbMATH DE number 1950545 (Why is no real title available?)
| 2003-07-17 | Paper |
The code validation tool (CVT). Automatic verification of a compilation process
International Journal on Software Tools for Technology Transfer. STTT | 2003-07-15 | Paper |
Complete Proof System for QPTL
Journal Of Logic And Computation | 2003-06-21 | Paper |
scientific article; zbMATH DE number 1927557 (Why is no real title available?)
| 2003-06-12 | Paper |
scientific article; zbMATH DE number 1927551 (Why is no real title available?)
| 2003-06-12 | Paper |
scientific article; zbMATH DE number 1903348 (Why is no real title available?)
| 2003-05-01 | Paper |
Erratum: ``Verification by augmented finitary abstraction
Information and Computation | 2003-01-14 | Paper |
The small model property: How small can it be?
Information and Computation | 2003-01-14 | Paper |
Verification by augmented finitary abstraction
Information and Computation | 2003-01-14 | Paper |
Decidable integration graphs.
Information and Computation | 2003-01-14 | Paper |
TimeC: A time constraint language for ILP processor compilation
Constraints | 2002-09-18 | Paper |
scientific article; zbMATH DE number 1796136 (Why is no real title available?)
| 2002-09-04 | Paper |
Symmetric and economical solutions to the mutual exclusion problem in a distributed system
Theoretical Computer Science | 2002-05-13 | Paper |
Verification by augmented abstraction: The automata-theoretic view
Journal of Computer and System Sciences | 2002-04-28 | Paper |
scientific article; zbMATH DE number 1701752 (Why is no real title available?)
| 2002-02-05 | Paper |
Taming the infinite: Verification of infinite-state reactive systems by finitary means
| 2002-01-30 | Paper |
scientific article; zbMATH DE number 1670786 (Why is no real title available?)
| 2001-12-17 | Paper |
scientific article; zbMATH DE number 1629969 (Why is no real title available?)
| 2001-11-04 | Paper |
Symbolic model checking with rich assertional languages
Theoretical Computer Science | 2001-08-20 | Paper |
Verification of clocked and hybrid systems
Acta Informatica | 2000-11-22 | Paper |
scientific article; zbMATH DE number 1424032 (Why is no real title available?)
| 2000-09-26 | Paper |
scientific article; zbMATH DE number 1479642 (Why is no real title available?)
| 2000-07-20 | Paper |
Control and data abstraction: The cornerstones of practical formal verification
International Journal on Software Tools for Technology Transfer. STTT | 2000-01-01 | Paper |
scientific article; zbMATH DE number 1303061 (Why is no real title available?)
| 1999-12-02 | Paper |
scientific article; zbMATH DE number 1304998 (Why is no real title available?)
| 1999-09-23 | Paper |
scientific article; zbMATH DE number 1318522 (Why is no real title available?)
| 1999-08-08 | Paper |
scientific article; zbMATH DE number 1304992 (Why is no real title available?)
| 1999-06-17 | Paper |
Reachability analysis of dynamical systems having piecewise-constant derivatives
Theoretical Computer Science | 1997-09-29 | Paper |
scientific article; zbMATH DE number 868107 (Why is no real title available?)
| 1996-04-21 | Paper |
On the learnability of infinitary regular sets
Information and Computation | 1995-07-10 | Paper |
Proving partial order properties
Theoretical Computer Science | 1995-01-08 | Paper |
Temporal proof methodologies for timed transition systems
Information and Computation | 1994-10-12 | Paper |
Models for reactivity
Acta Informatica | 1994-05-10 | Paper |
Probabilistic verification
Information and Computation | 1993-06-29 | Paper |
scientific article; zbMATH DE number 176123 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 177840 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 52331 (Why is no real title available?)
| 1992-09-18 | Paper |
Completing the temporal picture
Theoretical Computer Science | 1992-06-25 | Paper |
scientific article; zbMATH DE number 4124989 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4119617 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4153903 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4128370 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4085004 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4041239 (Why is no real title available?)
| 1987-01-01 | Paper |
Verification of multiprocess probabilistic protocols
Distributed Computing | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3982506 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3956416 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3926220 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3930354 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3940713 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3919813 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3924108 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3881859 (Why is no real title available?)
| 1984-01-01 | Paper |
A linear-history semantics for languages for distributed programming
Theoretical Computer Science | 1984-01-01 | Paper |
Verification of Probabilistic Programs
SIAM Journal on Computing | 1984-01-01 | Paper |
Fair termination revisited - with delay
Theoretical Computer Science | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3862425 (Why is no real title available?)
| 1984-01-01 | Paper |
Adequate proof principles for invariance and liveness properties of concurrent programs
Science of Computer Programming | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3839297 (Why is no real title available?)
| 1983-01-01 | Paper |
Compilation of Nonprocedural Specifications into Computer Programs
IEEE Transactions on Software Engineering | 1983-01-01 | Paper |
The temporal logic of branching time
Acta Informatica | 1983-01-01 | Paper |
Propositional dynamic logic of nonregular programs
Journal of Computer and System Sciences | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3800906 (Why is no real title available?)
| 1983-01-01 | Paper |
Termination of Probabilistic Concurrent Program
ACM Transactions on Programming Languages and Systems | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3755842 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3772937 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3846836 (Why is no real title available?)
| 1982-01-01 | Paper |
Deterministic propositional dynamic logic: finite models, complexity, and completeness
Journal of Computer and System Sciences | 1982-01-01 | Paper |
Automatic Programming of Finite State Linear Programs
SIAM Journal on Computing | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3737002 (Why is no real title available?)
| 1981-01-01 | Paper |
The temporal semantics of concurrent programs
Theoretical Computer Science | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3735115 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3729438 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3628347 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3624762 (Why is no real title available?)
| 1979-01-01 | Paper |
A proof method for cyclic programs
Acta Informatica | 1978-01-01 | Paper |
Backtracking in recursive computations
Acta Informatica | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3567988 (Why is no real title available?)
| 1977-01-01 | Paper |
A direct algorithm for checking equivalence of LL(k) grammars
Theoretical Computer Science | 1977-01-01 | Paper |
Axiomatic approach to total correctness of programs
Acta Informatica | 1974-01-01 | Paper |
Decidable Properties of Monadic Functional Schemas
Journal of the ACM | 1973-01-01 | Paper |
Permutation Graphs and Transitive Graphs
Journal of the ACM | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3480117 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3400666 (Why is no real title available?)
| 1971-01-01 | Paper |
Transitive Orientation of Graphs and Identification of Permutation Graphs
Canadian Journal of Mathematics | 1971-01-01 | Paper |
Marked directed graphs
Journal of Computer and System Sciences | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3308132 (Why is no real title available?)
| 1970-01-01 | Paper |
Formalization of Properties of Functional Programs
Journal of the ACM | 1970-01-01 | Paper |
Free tidal oscillations in rotating flat basins of the form of rectangles and of sectors of circles
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences | 1968-01-01 | Paper |
Tides in oceans of the form of a cross
Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences | 1968-01-01 | Paper |
