| Publication | Date of Publication | Type |
|---|
Controlling stormwater detention ponds under partial observability
Journal of Logical and Algebraic Methods in Programming | 2024-10-08 | Paper |
Optimal control strategies for stormwater detention ponds
Nonlinear Analysis. Hybrid Systems | 2024-07-30 | Paper |
| An MM algorithm to estimate parameters in continuous-time Markov chains | 2024-05-29 | Paper |
| Deciding properties of regular real timed processes | 2024-04-29 | Paper |
| Model Checking Constrained Markov Reward Models with Uncertainties | 2024-03-14 | Paper |
| \(L^*\)-based learning of Markov decision processes | 2024-03-14 | Paper |
| Assume-guarantee reasoning for additive hybrid behaviour | 2024-02-28 | Paper |
Model verification through dependency graphs
Model Checking Software | 2024-02-23 | Paper |
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
IEEE Transactions on Automatic Control | 2024-01-26 | Paper |
| A modeling concept for formal verification of OS-based compositional software | 2023-11-24 | Paper |
Abstract Dependency Graphs and Their Application to Model Checking
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
Elimination of detached regions in dependency graph verification
Model Checking Software | 2023-10-16 | Paper |
Convex lattice equation systems
Lecture Notes in Computer Science | 2023-08-10 | Paper |
Simulation relations and applications in formal methods
Lecture Notes in Computer Science | 2023-08-10 | Paper |
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
On the Verification of Weighted Kripke Structures Under Uncertainty
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Monte Carlo tree search for priced timed automata
Quantitative Evaluation of Systems | 2023-06-02 | Paper |
Quantitative analysis of interval Markov chains
Model Checking, Synthesis, and Learning | 2023-05-26 | Paper |
Start pruning when time gets urgent: partial order reduction for timed systems
Computer Aided Verification | 2023-05-26 | Paper |
Time abstracted bisimulation: Implicit specifications and decidability
Lecture Notes in Computer Science | 2023-04-28 | Paper |
| scientific article; zbMATH DE number 7649917 (Why is no real title available?) | 2023-02-03 | Paper |
| Partial order reduction for reachability games | 2023-02-03 | Paper |
Monitoring timed properties (revisited)
(available as arXiv preprint) | 2023-01-18 | Paper |
Model-checking for real-time systems
Fundamentals of Computation Theory | 2022-12-09 | Paper |
| Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals | 2022-12-07 | Paper |
Synthesis for multi-weighted games with branching-time winning conditions
Application and Theory of Petri Nets and Concurrency | 2022-09-01 | Paper |
On-the-Fly Synthesis for Strictly Alternating Games
Application and Theory of Petri Nets and Concurrency | 2022-09-01 | Paper |
| Randomized refinement checking of timed I/O automata | 2022-09-01 | Paper |
| Complete axiomatization for the total variation distance of Markov chains | 2022-04-25 | Paper |
| Stubborn set reduction for timed reachability and safety games | 2022-03-24 | Paper |
| An integer static analysis for better extrapolation in Uppaal | 2022-03-24 | Paper |
| Lumpability for uncertain continuous-time Markov chains | 2022-03-24 | Paper |
| Verification of multiplayer stochastic games via abstract dependency graphs | 2022-03-23 | Paper |
| Average-energy games | 2021-12-03 | Paper |
Average-energy games
(available as arXiv preprint) | 2021-12-03 | Paper |
\(L^\ast\)-based learning of Markov decision processes (extended version)
Formal Aspects of Computing | 2021-09-14 | Paper |
| Optimal and robust controller synthesis. Using energy timed automata with uncertainty | 2021-05-04 | Paper |
Stubborn set reduction for two-player reachability games
(available as arXiv preprint) | 2021-03-26 | Paper |
| Stubborn set reduction for two-player reachability games | 2021-03-26 | Paper |
Computing probabilistic bisimilarity distances for probabilistic automata
(available as arXiv preprint) | 2021-03-26 | Paper |
| Computing probabilistic bisimilarity distances for probabilistic automata | 2021-03-26 | Paper |
| Distances for weighted transition systems: games and properties | 2021-03-10 | Paper |
Distances for weighted transition systems: games and properties
(available as arXiv preprint) | 2021-03-10 | Paper |
Optimal and robust controller synthesis using energy timed automata with uncertainty
Formal Aspects of Computing | 2021-03-04 | Paper |
| On the metric-based approximate minimization of Markov chains | 2020-05-27 | Paper |
A complete axiomatization of weighted branching bisimulation
Acta Informatica | 2020-05-26 | Paper |
| Time to learn -- learning timed automata from tests | 2020-05-05 | Paper |
| Parametric Verification of Weighted Systems | 2019-10-24 | Paper |
Model checking and synthesis for branching multi-weighted logics
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
The fork calculus
Automata, Languages and Programming | 2019-03-29 | Paper |
Automatic synthesis of real time systems
Automata, Languages and Programming | 2019-01-10 | Paper |
| Memory-efficient tactics for randomized LTL model checking | 2018-12-07 | Paper |
| Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations | 2018-12-06 | Paper |
Converging from branching to linear metrics on Markov chains
Mathematical Structures in Computer Science | 2018-12-04 | Paper |
scientific article; zbMATH DE number 6987096 (Why is no real title available?)
(available as arXiv preprint) | 2018-11-30 | Paper |
scientific article; zbMATH DE number 6987095 (Why is no real title available?)
(available as arXiv preprint) | 2018-11-30 | Paper |
On decidability of recursive weighted logics
Soft Computing | 2018-10-22 | Paper |
A distributed fixed-point algorithm for extended dependency graphs
Fundamenta Informaticae | 2018-10-02 | Paper |
On the metric-based approximate minimization of Markov chains
Journal of Logical and Algebraic Methods in Programming | 2018-10-01 | Paper |
On the metric-based approximate minimization of Markov chains
Journal of Logical and Algebraic Methods in Programming | 2018-10-01 | Paper |
| Extended dependency graphs and efficient distributed fixed-point computation | 2018-08-20 | Paper |
| A complete approximation theory for weighted transition systems | 2018-08-16 | Paper |
| Importance sampling for stochastic timed automata | 2018-08-16 | Paper |
| Distributed computation of fixed points on dependency graphs | 2018-08-16 | Paper |
Model Checking Real-Time Systems
Handbook of Model Checking | 2018-07-20 | Paper |
scientific article; zbMATH DE number 6905198 (Why is no real title available?)
(available as arXiv preprint) | 2018-07-18 | Paper |
Timed comparisons of semi-Markov processes
(available as arXiv preprint) | 2018-06-26 | Paper |
| Probabilistic \(\mu\)-calculus: decidability and complete axiomatization | 2018-04-19 | Paper |
Average-energy games
Acta Informatica | 2018-04-10 | Paper |
| Complete axiomatization for the bisimilarity distance on Markov chains | 2018-03-21 | Paper |
Distributed algorithms for time optimal reachability analysis
Lecture Notes in Computer Science | 2018-02-16 | Paper |
Modelling attack-defense trees using timed automata
Lecture Notes in Computer Science | 2018-02-16 | Paper |
Learning deterministic probabilistic automata from a model checking perspective
Machine Learning | 2018-01-12 | Paper |
| Refinement of trace abstraction for real-time programs | 2017-12-20 | Paper |
| Symbolic dependency graphs for \(\mathrm {PCTL}^{>}_{\leq}\) model-checking | 2017-12-01 | Paper |
| PTrie: data structure for compressing and storing sets via prefix sharing | 2017-11-03 | Paper |
| Polynomial time decidability of weighted synchronization under partial observability | 2017-09-12 | Paper |
On-the-fly computation of bisimilarity distances
(available as arXiv preprint) | 2017-07-13 | Paper |
Stone duality for Markov processes
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Timed I/O automata: a complete specification theory for real-time systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
Timed automata with observers under energy constraints
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
| Synchronizing words for weighted and timed automata | 2017-04-25 | Paper |
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Logical Methods in Computer Science | 2017-04-11 | Paper |
| A quantitative characterization of weighted Kripke structures in temporal logic | 2017-03-29 | Paper |
Alternation-free weighted mu-calculus: decidability and completeness
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
Model Checking Software | 2016-06-22 | Paper |
| Adequacy and complete axiomatization for timed modal logic | 2016-05-13 | Paper |
An automata-based approach to trace partitioned abstract interpretation
Semantics, Logics, and Calculi | 2016-03-23 | Paper |
Converging from Branching to Linear Metrics on Markov Chains
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
On time with minimal expected cost!
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Stuttering for abstract probabilistic automata
Logical Foundations of Computer Science | 2015-12-11 | Paper |
Decidability and expressiveness of recursive weighted logic
Lecture Notes in Computer Science | 2015-12-03 | Paper |
Concurrent weighted logic
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
Language emptiness of continuous-time parametric timed automata
Automata, Languages, and Programming | 2015-11-04 | Paper |
Safe and optimal adaptive cruise control
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Compositional metric reasoning with probabilistic process calculi
Lecture Notes in Computer Science | 2015-10-01 | Paper |
On the total variation distance of semi-Markov chains
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Model-based verification, optimization, synthesis and performance evaluation of real-time systems
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Verification and performance evaluation of timed game strategies
Lecture Notes in Computer Science | 2015-08-06 | Paper |
Refinement checking on parametric modal transition systems
Acta Informatica | 2015-04-16 | Paper |
Discount-optimal infinite runs in priced timed automata
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
A decidable recursive logic for weighted transition systems
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Synchronizing strategies under partial observability
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Refinement and difference for probabilistic automata
Logical Methods in Computer Science | 2014-09-05 | Paper |
Complete proof systems for weighted modal logic
Theoretical Computer Science | 2014-07-25 | Paper |
Parametric and quantitative extensions of modal transition systems
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
EXPTIME-complete decision problems for modal and mixed specifications
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
Acta Informatica | 2014-07-03 | Paper |
Weighted modal transition systems
Formal Methods in System Design | 2014-06-30 | Paper |
Bisimulation on Markov processes over arbitrary measurable spaces
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Stuttering for abstract probabilistic automata
The Journal of Logic and Algebraic Programming | 2014-02-25 | Paper |
Abstract probabilistic automata
Information and Computation | 2013-12-13 | Paper |
Robust synthesis for real-time systems
Theoretical Computer Science | 2013-12-10 | Paper |
| Synthesis of optimal strategies using \textsc{HyTech} | 2013-09-20 | Paper |
Computing behavioral distances, compositionally
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
Quantitative Modal Transition Systems
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Optimal bounds for multiweighted and parametrised energy games
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
On the relationship between LTL normal forms and Büchi automata
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Exact acceleration of real-time model checking
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
On-the-fly exact computation of bisimilarity distances
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Continuous Markovian logics -- axiomatization and quantified metatheory
Logical Methods in Computer Science | 2013-01-07 | Paper |
EXPTIME-completeness of thorough refinement on modal transition systems
Information and Computation | 2012-11-27 | Paper |
Multi-core Reachability for Timed Automata
Lecture Notes in Computer Science | 2012-11-21 | Paper |
Controllers with minimal observation power (application to timed systems)
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
A ``hybrid approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example
FM 2012: Formal Methods | 2012-11-08 | Paper |
| Priced timed automata: theory and tools | 2012-10-24 | Paper |
| A quantitative characterization of weighted Kripke structures in temporal logic | 2012-09-28 | Paper |
Taking it to the limit: approximate reasoning for Markov processes
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
| Continuous Markovian logic -- from complete axiomatization to the metric space of formulas | 2012-09-18 | Paper |
Extending modal transition systems with structured labels
MSCS. Mathematical Structures in Computer Science | 2012-09-06 | Paper |
Modal transition systems with weight intervals
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Consistency and refinement for interval Markov chains
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Reachability analysis for timed automata using max-plus algebra
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Dual-priced modal transition systems with time durations
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Monitor-based statistical model checking for weighted metric temporal logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Nash equilibria in concurrent priced games
Language and Automata Theory and Applications | 2012-06-08 | Paper |
New results on timed specifications
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Energy games in multiweighted automata
Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
Statistical Model Checking for Networks of Priced Timed Automata
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Robust specification of real time components
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Parametric modal transition systems
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Timed Automata Can Always Be Made Implementable
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Quantitative refinement for weighted modal transition systems
Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
Constraint Markov chains
Theoretical Computer Science | 2011-07-29 | Paper |
Metrics for weighted transition systems: axiomatization and complexity
Theoretical Computer Science | 2011-07-07 | Paper |
Modular Markovian Logic
Automata, Languages and Programming | 2011-07-07 | Paper |
Decision Problems for Interval Markov Chains
Language and Automata Theory and Applications | 2011-06-03 | Paper |
Scenario-based verification of real-time systems using UPPAAL
Formal Methods in System Design | 2011-03-31 | Paper |
Abstract probabilistic automata
Lecture Notes in Computer Science | 2011-02-15 | Paper |
Methodologies for specification of real-time systems using timed I/O automata
Formal Methods for Components and Objects | 2011-01-08 | Paper |
Quantitative analysis of weighted transition systems
The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
Symbolic and compositional reachability for timed automata
Lecture Notes in Computer Science | 2010-08-31 | Paper |
From timed automata to logic -- and back
Lecture Notes in Computer Science | 2010-06-17 | Paper |
Synthesizing distinguishing formulae for real time systems -extended abstract
Lecture Notes in Computer Science | 2010-06-17 | Paper |
To store or not to store.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Modal and mixed specifications: key decision problems and their complexities
Mathematical Structures in Computer Science | 2010-04-01 | Paper |
Compositional and quantitative model checking (extended abstract)
Perspectives of Systems Informatics | 2010-02-02 | Paper |
Verification, performance analysis and controller synthesis for real-time systems
Fundamentals of Software Engineering | 2010-01-28 | Paper |
Efficient on-the-fly algorithm for checking alternating timed simulation
Lecture Notes in Computer Science | 2009-12-01 | Paper |
On determinism in modal transition systems
Theoretical Computer Science | 2009-09-29 | Paper |
| 20 years of modal and mixed specifications. | 2009-09-19 | Paper |
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
Theoretical Aspects of Computing - ICTAC 2009 | 2009-08-20 | Paper |
Formal Approaches to Software Testing
Lecture Notes in Computer Science | 2009-06-04 | Paper |
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Infinite Runs in Weighted Timed Automata with Energy Constraints
Lecture Notes in Computer Science | 2008-12-02 | Paper |
On Modal Refinement and Consistency
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Model Checking One-clock Priced Timed Automata
Logical Methods in Computer Science | 2008-08-07 | Paper |
Model Checking Timed Automata with Priorities Using DBM Subtraction
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Automatic Abstraction Refinement for Timed Automata
Lecture Notes in Computer Science | 2008-07-03 | Paper |
Timed Control with Observation Based and Stuttering Invariant Strategies
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Almost Optimal Strategies in One Clock Priced Timed Games
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
Fast Directed Model Checking Via Russian Doll Abstraction
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Complexity of Decision Problems for Mixed and Modal Specifications
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Optimal infinite scheduling for multi-priced timed automata
Formal Methods in System Design | 2008-03-11 | Paper |
Optimal reachability for multi-priced timed automata
Theoretical Computer Science | 2008-03-05 | Paper |
| Reactive Systems | 2007-10-04 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Model-Checking One-Clock Priced Timed Automata
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Modal I/O Automata for Interface and Product Line Theories
Programming Languages and Systems | 2007-09-04 | Paper |
On using priced timed automata to achieve optimal scheduling
Formal Methods in System Design | 2006-11-17 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Formal Methods for the Design of Real-Time Systems
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Formal Approaches to Software Testing
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
| scientific article; zbMATH DE number 2102717 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2090703 (Why is no real title available?) | 2004-08-13 | Paper |
Compact data structures and state-space reduction for model-checking real-time systems
Real-Time Systems | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 2051828 (Why is no real title available?) | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 2051828 (Why is no real title available?) | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 1982208 (Why is no real title available?) | 2003-09-16 | Paper |
| scientific article; zbMATH DE number 1956585 (Why is no real title available?) | 2003-07-30 | Paper |
The power of reachability testing for timed automata
Theoretical Computer Science | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1884411 (Why is no real title available?) | 2003-03-18 | Paper |
Automated verification of an audio-control protocol using UPPAAL
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
| scientific article; zbMATH DE number 1759608 (Why is no real title available?) | 2002-11-28 | Paper |
Verification of hierarchical state/Event systems using reusability and compositionality
Formal Methods in System Design | 2002-09-18 | Paper |
| scientific article; zbMATH DE number 1796156 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1794367 (Why is no real title available?) | 2002-09-03 | Paper |
| scientific article; zbMATH DE number 1696448 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1696495 (Why is no real title available?) | 2002-06-13 | Paper |
| scientific article; zbMATH DE number 1701758 (Why is no real title available?) | 2002-02-05 | Paper |
Guided synthesis of control programs using UPPAAL
Nordic Journal of Computing | 2001-09-27 | Paper |
| scientific article; zbMATH DE number 1638655 (Why is no real title available?) | 2001-08-29 | Paper |
Verification of large state/event systems using compositionality and dependency analysis
Formal Methods in System Design | 2001-07-02 | Paper |
Context-dependent minimization of state/event systems
Proceedings of the Estonian Academy of Sciences. Physics, Mathematics | 2001-05-09 | Paper |
| Probabilistic extensions of process algebras. | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1400094 (Why is no real title available?) | 2000-02-06 | Paper |
| scientific article; zbMATH DE number 1069484 (Why is no real title available?) | 1997-10-01 | Paper |
Time-abstracted bisimulation: Implicit specifications and decidability
Information and Computation | 1997-08-11 | Paper |
Uppaal in a nutshell
International Journal on Software Tools for Technology Transfer. STTT | 1997-01-01 | Paper |
| scientific article; zbMATH DE number 751137 (Why is no real title available?) | 1995-05-04 | Paper |
Graphical versus logical specifications
Theoretical Computer Science | 1993-10-25 | Paper |
The expressive power of implicit specifications
Theoretical Computer Science | 1993-10-25 | Paper |
| scientific article; zbMATH DE number 176735 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177838 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 125881 (Why is no real title available?) | 1993-02-21 | Paper |
A compositional protocol verification using relativized bisimulation
Information and Computation | 1992-09-27 | Paper |
Compositionality Through an Operational Semantics of Contexts
Journal Of Logic And Computation | 1992-06-28 | Paper |
Partial specifications and compositional verification
Theoretical Computer Science | 1992-06-26 | Paper |
Bisimulation through probabilistic testing
Information and Computation | 1992-06-25 | Paper |
Using information systems to solve recursive domain equations
Information and Computation | 1991-01-01 | Paper |
Proof systems for satisfiability in Hennessy-Milner logic with recursion
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4118343 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4056971 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4060694 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4022620 (Why is no real title available?) | 1987-01-01 | Paper |
A context dependent equivalence between processes
Theoretical Computer Science | 1987-01-01 | Paper |
Recursively defined domains and their induction principles
Theoretical Computer Science | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3903949 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3938531 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3858394 (Why is no real title available?) | 1984-01-01 | Paper |
