Bernd Finkbeiner

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

BOCoSy: Small but Powerful Symbolic Output-Feedback Control.

[BibT_eX]

[DOI]

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Synthesizing Dominant Strategies for Liveness.

[BibT_eX]

[DOI]

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Temporal Stream Logic modulo Theories.

[BibT_eX]

[DOI]

Philippe Heim

Proceedings of the Foundations of Software Science and Computation Structures, 2022

Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.

[BibT_eX]

[DOI]

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

Prophecy Variables for Hyperproperty Verification.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Information Flow Guided Synthesis.

[BibT_eX]

[DOI]

Niklas Metzger

Yoram Moses

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Explaining Hyperproperty Violations.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Software Verification of Hyperproperties Beyond k-Safety.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Temporal Causality in Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Introduction to the special issue of the 19th International Conference on Runtime Verification.

[BibT_eX]

[DOI]

Leonardo Mariani

Int. J. Softw. Tools Technol. Transf., 2021

Model Checking Algorithms for Hyperproperties.

[BibT_eX]

[DOI]

CoRR, 2021

Compositional Synthesis of Modular Systems (Full Version).

[BibT_eX]

[DOI]

CoRR, 2021

Specification Decomposition for Reactive Synthesis (Full Version).

[BibT_eX]

[DOI]

Gideon Geier

CoRR, 2021

Model Checking Algorithms for Hyperproperties (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

RTLola on Board: Testing Real Driving Emissions on your Phone.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Monitoring with Verified Guarantees.

[BibT_eX]

[DOI]

Johann C. Dauer

Sebastian Schirmer

Proceedings of the Runtime Verification - 21st International Conference, 2021

Neural Circuit Synthesis from Specification Patterns.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Teaching Temporal Logics to Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.

[BibT_eX]

[DOI]

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

A Temporal Logic for Strategic Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

A Temporal Logic for Asynchronous Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Causality-Based Game Solving.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Runtime Enforcement of Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Efficient monitoring of hyperproperties using prefix trees.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

Model Checking Branching Properties on Petri Nets with Transits (Full Version).

[BibT_eX]

[DOI]

CoRR, 2020

Dependency-based Compositional Synthesis (Full Version).

[BibT_eX]

[DOI]

CoRR, 2020

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version).

[BibT_eX]

[DOI]

CoRR, 2020

Teaching Temporal Logics to Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Synthesis from hyperproperties.

[BibT_eX]

[DOI]

Acta Informatica, 2020

How to Win First-Order Safety Games.

[BibT_eX]

[DOI]

Helmut Seidl

Christian Müller

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Verified Rust Monitors for Lola Specifications.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

Automatic Optimizations for Stream-Based Monitoring Languages.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

Controller Synthesis for Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

Realizing ømega-regular Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Dependency-Based Compositional Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

Model Checking Branching Properties on Petri Nets with Transits.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

Probabilistic Hyperproperties of Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

Explainable Reactive Synthesis.

[BibT_eX]

[DOI]

Tom Baumeister

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

FPGA Stream-Monitoring of Real-time Properties.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Monitoring hyperproperties.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Model Checking Data Flows in Concurrent Network Updates (Full Version).

[BibT_eX]

[DOI]

CoRR, 2019

Translating Asynchronous Games for Distributed Synthesis (Full Version).

[BibT_eX]

[DOI]

CoRR, 2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

[BibT_eX]

[DOI]

CoRR, 2019

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃*∀* Fragment.

[BibT_eX]

[DOI]

Tobias Hans

CoRR, 2019

The Hierarchy of Hyperlogics.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Synthesizing functional reactive programs.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Canonical Representations of k-Safety Hyperproperties.

[BibT_eX]

[DOI]

Lennart Haas

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

Translating Asynchronous Games for Distributed Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Temporal Stream Logic: Synthesis Beyond the Bools.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Synthesizing Approximate Implementations for Unrealizable Specifications.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Verifying Hyperliveness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Model Checking Data Flows in Concurrent Network Updates.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2019

Approximate Automata for Omega-Regular Languages.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2019

Program Repair for Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Reactive Synthesis: Towards Output-Sensitive Algorithms.

[BibT_eX]

[DOI]

CoRR, 2018

Preface for the special issue for ATVA 2015.

[BibT_eX]

[DOI]

Geguang Pu

Lijun Zhang

Acta Informatica, 2018

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

The Complexity of Monitoring Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

Model Checking Quantitative Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Synthesizing Reactive Systems from Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Bounded Synthesis of Reactive Programs.

[BibT_eX]

[DOI]

Carsten Gerstacker

Proceedings of the Automated Technology for Verification and Analysis, 2018

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment.

[BibT_eX]

[DOI]

Tobias Hans

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Reactive Synthesis: Towards Output-Sensitive Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2017

Temporal Hyperproperties.

[BibT_eX]

[DOI]

Bull. EATCS, 2017

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Symbolic vs. Bounded Synthesis for Petri Games.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Real-time Stream-based Monitoring.

[BibT_eX]

[DOI]

CoRR, 2017

Causality-based Model Checking.

[BibT_eX]

[DOI]

Andrey Kupriyanov

Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

Encodings of Bounded Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

The First-Order Logic of Hyperproperties.

[BibT_eX]

[DOI]

Martin Zimmermann

Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

Stream Runtime Monitoring on UAS.

[BibT_eX]

[DOI]

Florian-Michael Adolf

Proceedings of the Runtime Verification - 17th International Conference, 2017

Synthesis in Distributed Environments.

[BibT_eX]

[DOI]

Paul Gölz

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Symmetric Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2017

Vehicle Platooning Simulations with Functional Reactive Programming.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017

Verifying Security Policies in Multi-agent Workflows with Loops.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.

[BibT_eX]

[DOI]

Marvin Stenger

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

BoSy: An Experimentation Framework for Bounded Synthesis.

[BibT_eX]

[DOI]

Peter Faymonville

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

The Density of Linear-Time Properties.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Synthesis of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2016

What You Really Need To Know About Your Neighbor.

[BibT_eX]

[DOI]

Werner Damm

Astrid Rakow

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.

[BibT_eX]

[DOI]

Acta Informatica, 2016

A Stream-Based Specification Language for Network Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 16th International Conference, 2016

Runtime Verification for HyperLTL.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 16th International Conference, 2016

Facets of Software Doping.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Verifying hyperproperties of hardware systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Deciding Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Bounded Cycle Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Synthesizing Skeletons for Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2016

Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.

[BibT_eX]

[DOI]

Helmut Seidl

Christian Müller

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Detecting Unrealizability of Distributed Fault-tolerant Systems.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

Algorithms for Model Checking HyperLTL and HyperCTL ^*.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Adam: Causality-Based Synthesis of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Bounded Synthesis for Petri Games.

[BibT_eX]

[DOI]

Proceedings of the Correct System Design, 2015

2014

The linear-hyper-branching spectrum of temporal logics.

[BibT_eX]

[DOI]

it Inf. Technol., 2014

Petri Games: Synthesis of Distributed Systems with Causal Memory.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Monitoring Parametric Temporal Logic.

[BibT_eX]

[DOI]

Peter Faymonville

Doron A. Peled

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Detecting Unrealizable Specifications of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Fast DQBF Refutation.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Temporal Logics for Hyperproperties.

[BibT_eX]

[DOI]

Michael R. Clarkson

Masoud Koleini

Kristopher K. Micinski

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Counting Models of Linear-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2014

Automatic Compositional Synthesis of Distributed Systems.

[BibT_eX]

[DOI]

Werner Damm

Proceedings of the FM 2014: Formal Methods, 2014

Causal Termination of Multi-threaded Programs.

[BibT_eX]

[DOI]

Andrey Kupriyanov

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Bounded synthesis.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2013

Lossy Channel Games under Incomplete Information

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

A Temporal Logic for Hyperproperties.

[BibT_eX]

[DOI]

CoRR, 2013

Causality-Based Verification of Multi-threaded Programs.

[BibT_eX]

[DOI]

Andrey Kupriyanov

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Relational abstract interpretation for the verification of 2-hypersafety properties.

[BibT_eX]

[DOI]

Máté Kovács

Helmut Seidl

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Transforming Undecidable Synthesis Problems into Decidable Problems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Verification and Program Transformation, 2013

2012

Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Lazy Synthesis.

[BibT_eX]

[DOI]

Swen Jacobs

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Model Checking Information Flow in Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Template-Based Controller Synthesis for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.

[BibT_eX]

[DOI]

Proceedings of the Infotech@Aerospace 2012, 2012

Monitoring Temporal Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

The Complexity of Bounded Synthesis for Timed Control with Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Counterexample-Guided Synthesis of Observation Predicates.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Reactive Safety

[BibT_eX]

[DOI]

Proceedings of Second International Symposium on Games, 2011

Monitoring Realizability.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Does It Pay to Extend the Perimeter of a World Model?

[BibT_eX]

[DOI]

Werner Damm

Proceedings of the FM 2011: Formal Methods, 2011

Weak Kripke Structures and LTL.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Synthesising certificates in networks of timed automata.

[BibT_eX]

[DOI]

IET Softw., 2010

Preface.

[BibT_eX]

[DOI]

Yuri Gurevich

Alexander K. Petrenko

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

On the Virtue of Patience: Minimizing Büchi Automata.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2010

Model Checking the FlexRay Physical Layer Protocol.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Coordination Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

Directed model checking with distance-preserving abstractions.

[BibT_eX]

[DOI]

Klaus Dräger

Andreas Podelski

Int. J. Softw. Tools Technol. Transf., 2009

Monitor Circuits for LTL with Bounded and Unbounded Future.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 9th International Workshop, 2009

LTL Path Checking Is Efficiently Parallelizable.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Synthesis of Fault-Tolerant Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Slicing Abstractions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

RESY: Requirement Synthesis for Compositional Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Synthesizing Certificates in Networks of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Abstraction Refinement for Games with Incomplete Information.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Subsequence Invariants.

[BibT_eX]

[DOI]

Klaus Dräger

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Semi-automatic Distributed Synthesis.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2007

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.

[BibT_eX]

[DOI]

Sebastian Kupferschmid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

07011 Abstracts Collection -- Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

07011 Executive Summary -- Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 02.01. - 06.01.2007, 2007

Distributed Synthesis for Alternating-Time Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Synthesis of Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Automatic Synthesis of Assumptions for Compositional Model Checking.

[BibT_eX]

[DOI]

Matthias Brill

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

Preface.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Runtime Verification, 2005

LOLA: Runtime Monitoring of Synchronous Systems.

[BibT_eX]

[DOI]

Ben D'Angelo

Sriram Sankaranarayanan

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Uniform Distributed Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2002

Verification algorithms based on alternating automata.

[BibT_eX]

[DOI]

PhD thesis, 2002

Collecting Statistics over Runtime Executions.

[BibT_eX]

[DOI]

Sriram Sankaranarayanan

Henny Sipma

Proceedings of the Runtime Verification 2002, 2002

2001

Checking Finite Traces using Alternating Automata.

[BibT_eX]

[DOI]

Henny Sipma

Proceedings of the Workshop on Runtime Verification, 2001

Language Containment Checking with Nondeterministic BDDs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2000

The 'Cash-Point' Service: A Verification Case Study Using STeP.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

1998

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop Tool Support for System Specification, 1998

1997

Abstraction and Modular Verification of Infinite-State Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Deductive Verification of Modular Systems.

[BibT_eX]

[DOI]