Martin Leucker

Martin Sachenbacher

Lars Bernd Vosteen

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Games, 2022

Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions.

[BibT_eX]

[DOI]

IEEE Access, 2022

Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2022

TeSSLa - An Ecosystem for Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Anticipatory Recurrent Monitoring with Uncertainty and Assumptions.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Runtime Verification of AUTOSAR Timing Extensions.

[BibT_eX]

[DOI]

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

X-by-Construction Meets Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Aggregate Update Problem for Multi-clocked Dataflow Languages.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

A Survey of Model Learning Techniques for Recurrent Neural Networks.

[BibT_eX]

[DOI]

Daniel Neider

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions.

[BibT_eX]

[DOI]

Hannes Kallwies

Proceedings of the Automated Technology for Verification and Analysis, 2022

Regulatorische Anforderungen an Lösungen der künstlichen Intelligenz im Gesundheitswesen.

[BibT_eX]

[DOI]

Proceedings of the Künstliche Intelligenz im Gesundheitswesen: Entwicklungen, 2022

2021

Preface.

[BibT_eX]

[DOI]

Christian Colombo

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

Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Technical Challenges and Solutions.

[BibT_eX]

[DOI]

CoRR, 2021

Timed Dyadic Deontic Logic.

[BibT_eX]

[DOI]

Karam Younes Kharraz

Gerardo Schneider

Proceedings of the Legal Knowledge and Information Systems, 2021

Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Grammatical Inference, 2021

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Runtime verification of real-time event streams under non-synchronized arrival.

[BibT_eX]

[DOI]

Softw. Qual. J., 2020

Erratum to "Frequency Linear-time Temporal Logic".

[BibT_eX]

[DOI]

CoRR, 2020

Property-Directed Verification of Recurrent Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Real-time MTL with durations as SMT with applications to schedulability analysis.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Formal Verification of Neural Networks?

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019

Preface to special issue: ICTAC 2015.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.

[BibT_eX]

[DOI]

CoRR, 2019

Runtime Verification for Timed Event Streams with Partial Information.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 19th International Conference, 2019

Test und Fehlersuche in komplexen Autonomen Systemen.

[BibT_eX]

[DOI]

Proceedings of the Echtzeit 2019 - Autonome Systeme, 2019

2018

TeSSLa: Temporal Stream-Based Specification Language.

[BibT_eX]

[DOI]

Lukas Convent

Sebastian Hungerecker

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

TeSSLa: runtime verification of non-synchronized real-time streams.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

COST Action IC1402 Runtime Verification Beyond Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 18th International Conference, 2018

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions.

[BibT_eX]

[DOI]

Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Online analysis of debug trace data for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface.

[BibT_eX]

[DOI]

BMC Bioinform., 2017

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

COEMS - open traces from the industry.

[BibT_eX]

[DOI]

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Model-Checking Counting Temporal Logics on Flat Structures.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Monitoring modulo theories.

[BibT_eX]

[DOI]

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

Runtime Verification for Linear-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

Counterexample guided abstraction refinement of product-line behavioural models.

[BibT_eX]

[DOI]

Maxime Cordy

Patrick Heymans

Axel Legay

Pierre-Yves Schobbens

Bruno Dawagne

Proceedings of the Software Engineering 2016, 2016

On Combinations of Static and Dynamic Analysis - Panel Introduction.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Runtime Verification for Interconnected Medical Devices.

[BibT_eX]

[DOI]

Malte Schmitz

Danilo à Tellinghusen

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

2015

Static analysis meets runtime verification (NII Shonan Meeting 2015-5).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2015

Secured SOA for the Safe Interconnection of Medical Devices (Position Paper).

[BibT_eX]

[DOI]

Malte Schmitz

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Development of Device-and Service-Profiles for a Safe and Secure Interconnection of Medical Devices in the Integrated Open OR.

[BibT_eX]

[DOI]

Alexander Mildner

Armin Janß

Jasmin Dell'Anna-Pudlik

Paul Merz

Klaus Radermacher

Proceedings of the Risk Assessment and Risk-Driven Testing - Third International Workshop, 2015

Abstract Routing Models and Abstractions in the Context of Vehicle Routing.

[BibT_eX]

[DOI]

René Schönfelder

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A New Refinement Strategy for CEGAR-Based Industrial Model Checking.

[BibT_eX]

[DOI]

Grigory Markin

Martin R. Neuhäußer

Proceedings of the Hardware and Software: Verification and Testing, 2015

Workshop Energieinformatik.

[BibT_eX]

Martin Sachenbacher

René Schönfelder

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

2014

Topology, monitorable properties and runtime verification.

[BibT_eX]

[DOI]

Volker Diekert

Theor. Comput. Sci., 2014

A Robust Class of Data Languages and an Application to Learning.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2014

Guest editors' preface to special issue on interval temporal logics.

[BibT_eX]

[DOI]

Ben C. Moszkowski

Dimitar P. Guelev

Ann. Math. Artif. Intell., 2014

OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices.

[BibT_eX]

[DOI]

Franziska Kühn

Alexander Mildner

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Challenges for the Dynamic Interconnection of Medical Devices.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Efficient Profile Routing for Electric Vehicles.

[BibT_eX]

[DOI]

René Schönfelder

Sebastian Walther

Proceedings of the Internet of Vehicles - Technologies and Services, 2014

Ordered Navigation on Multi-attributed Data Words.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Learning Transparent Data Automata.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Runtime verification for multicore SoC with high-quality trace data.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2013

Runtime verification and reflection for wireless sensor networks.

[BibT_eX]

[DOI]

Stefan Fischer

Proceedings of the 4th International Workshop on Software Engineering for Sensor Network Applications, 2013

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 4th International Conference, 2013

jUnitRV-Adding Runtime Verification to jUnit.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

OR.NET: Safe Interconnection of Medical Devices - (Position Paper).

[BibT_eX]

[DOI]

Franziska Kühn

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

A Fresh Approach to Learning Register Automata.

[BibT_eX]

[DOI]

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

2012

Three-valued abstraction for probabilistic systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Anticipatory active monitoring for safety- and security-critical software.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2012

Frequency Linear-time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Sliding between Model Checking and Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

Runtime Verification with Predictive Semantics.

[BibT_eX]

[DOI]

Xian Zhang

Wei Dong

Proceedings of the NASA Formal Methods, 2012

Approaches for Mastering Change.

[BibT_eX]

[DOI]

Ina Schaefer

Malte Lochau

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

A Formal Approach to Software Product Families.

[BibT_eX]

[DOI]

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

Learning Minimal Deterministic Automata from Inexperienced Teachers.

[BibT_eX]

[DOI]

Daniel Neider

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

2011

Runtime Verification for LTL and TLTL.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2011

Learning Workflow Petri Nets.

[BibT_eX]

[DOI]

Javier Esparza

Maximilian Schlund

Fundam. Informaticae, 2011

Security Goals Assurance Based on Software Active Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011).

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

Teaching Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

The Theory and Practice of SALT.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

An event pattern language for runtime monitoring based on AOP.

[BibT_eX]

[DOI]

Xian Zhang

Wei Dong

Proceedings of the 6th International Conference for Internet Technology and Secured Transactions, 2011

Efficient Energy-Optimal Routing for Electric Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Learning Communicating Automata from MSCs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Learning of event-recording automata.

[BibT_eX]

[DOI]

Bengt Jonsson

Theor. Comput. Sci., 2010

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.

[BibT_eX]

[DOI]

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

Comparing LTL Semantics for Runtime Verification.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

SMA - The Smyle Modeling Approach.

[BibT_eX]

[DOI]

Comput. Informatics, 2010

Regular Linear Temporal Logic with Past.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

Regular Linear-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the TIME 2010, 2010

The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles.

[BibT_eX]

[DOI]

Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010

10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11., 2010

libalf: The Automata Learning Framework.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Klassifikationsbäume in Echtzeit.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2009

A brief account of runtime verification.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Äquivalenzklassen mit Zeit und Zuständen.

[BibT_eX]

Proceedings of the Informatiktage 2009, 2009

Angluin-Style Learning of NFA.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Don't Know for Multi-valued Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Checking and Enforcing Safety: Runtime Verification and Runtime Reflection.

[BibT_eX]

[DOI]

ERCIM News, 2008

Calculating and Modeling Common Parts of Software Product Lines.

[BibT_eX]

[DOI]

Alexander Gruler

Kathrin Danielle Scheidemann

Proceedings of the Software Product Lines, 12th International Conference, 2008

Lightweight Verification 2008.

[BibT_eX]

[DOI]

Helmut Seidl

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

Modeling and Model Checking Software Product Lines.

[BibT_eX]

[DOI]

Alexander Gruler

Kathrin Danielle Scheidemann

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

08332 Executive Summary - Distributed Verification and Grid Computing.

[BibT_eX]

[DOI]

Henri E. Bal

Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

08332 Abstracts Collection - Distributed Verification and Grid Computing.

[BibT_eX]

[DOI]

Henri E. Bal

Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

Abstraction for Stochastic Systems by Erlang's Method of Stages.

[BibT_eX]

[DOI]

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

Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.

[BibT_eX]

[DOI]

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

Impartial Anticipation in Runtime-Verification.

[BibT_eX]

[DOI]

Wei Dong

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

When not losing is better than winning: Abstraction and refinement for the full mu-calculus.

[BibT_eX]

[DOI]

Inf. Comput., 2007

Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning.

[BibT_eX]

[DOI]

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

The Good, the Bad, and the Ugly, But How Ugly Is Ugly?

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 7th International Workshop, 2007

Regular Linear Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007

The LearnLib in FMICS-jETI.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Parallel Model Checking and the FMICS-jETI Platform.

[BibT_eX]

[DOI]

Jiri Barnat

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Three-Valued Abstraction for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Message-passing automata are expressively equivalent to EMSO logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Foreword.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2006

Don't Know in Probabilistic Systems.

[BibT_eX]

[DOI]

Harald Fecher

Verena Wolf

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Learning Finite-State Machines from Inexperienced Teachers.

[BibT_eX]

[DOI]

Proceedings of the Grammatical Inference: Algorithms and Applications, 2006

SALT - Structured Assertion Language for Temporal Logic.

[BibT_eX]

[DOI]

Jonathan Streit

Proceedings of the Formal Methods and Software Engineering, 2006

Monitoring of Real-Time Properties.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Learning Meets Verification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Inferring Network Invariants Automatically.

[BibT_eX]

[DOI]

Nir Piterman

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Model-based runtime analysis of distributed reactive systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005

Functional programming languages for verification tools: a comparison of Standard ML and Haskell.

[BibT_eX]

[DOI]

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

Preface.

[BibT_eX]

[DOI]

Jaco van de Pol

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

Don't Know in the µ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2005

A Hierarchy of Implementable MSC Languages.

[BibT_eX]

[DOI]

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

On the Correspondence Between Conformance Testing and Regular Inference.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus.

[BibT_eX]

[DOI]

Fredrik Holmén

Marcus Lindström

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Inference of Timed Transition Systems.

[BibT_eX]

[DOI]

Bengt Jonsson

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Preface.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Verifying Qualitative Properties of Probabilistic Programs.

[BibT_eX]

[DOI]

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Controller Synthesis for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Model-Based Testing - A Glossary.

[BibT_eX]

[DOI]

Alexander Pretschner

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

Parallel Model Checking for LTL, CTL*, and Lµ2.

[BibT_eX]

[DOI]

Rafal Somla

Michael Weber

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

Network Invariants for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of INFINITY 2003, 2003

Insights to Angluin's Learning.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Software Verification and Validation, 2003

Deciding LTL over Mazurkiewicz traces.

[BibT_eX]

Data Knowl. Eng., 2003

Model Checking Probabilistic Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 2003

2002

Logics for Mazurkiewicz traces.

[BibT_eX]

[DOI]

PhD thesis, 2002

Local Parallel Model Checking for the Alternation-Free µ-Calculus.

[BibT_eX]

[DOI]

Michael Weber

Proceedings of the Model Checking of Software, 2002

Extending Compositional Message Sequence Graphs.

[BibT_eX]

[DOI]

Philipp Lucas

Proceedings of the Logic for Programming, 2002

Dynamic Message Sequence Charts.

[BibT_eX]

[DOI]

P. Madhusudan

Supratik Mukhopadhyay

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

Generalised Regular MSC Languages.

[BibT_eX]

[DOI]

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

2001

Modelling, Specifying, and Verifying Message Passing Systems.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Parallel Model Checking for the Alternation Free µ-Calculus.

[BibT_eX]

[DOI]

Michael Weber

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

Prefix-Recognizable Graphs and Monadic Logic.

[BibT_eX]

[DOI]

Proceedings of the Automata, 2001

Truth/SLC - A Parallel Verification Platform for Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Rewriting Logic as a Framework for Generic Verification Tools.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

On Model Checking Synchronised Hardware Circuits.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 2000

1999

Rapid Prototyping of Specification Language Implementations.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata.

[BibT_eX]

[DOI]