Regular Tree Relations by Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann and Thomas Sternagel Dec 15
Inference of Extended Finite State Machines by Michael Foster, Achim D. Brucker, Ramsay G. Taylor and John Derrick Sep 07
A Formal Model of Extended Finite State Machines by Michael Foster, Achim D. Brucker, Ramsay G. Taylor and John Derrick Sep 07
An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation by Salomon Sickert May 08
Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations by Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider and Dmitriy Traytel Apr 09
Communicating Concurrent Kleene Algebra for Distributed Systems Specification by Maxime Buyse and Jason Jaskolka Aug 06
Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic by Joshua Schneider and Dmitriy Traytel Jul 04
A Compositional and Unified Translation of LTL into ω-Automata by Benedikt Seidl and Salomon Sickert Apr 16
Universal Turing Machine by Jian Xu, Xingyuan Zhang, Christian Urban and Sebastiaan J. C. Joosten Feb 08
Upper Bounding Diameters of State Spaces of Factored Transition Systems by Friedrich Kurz and Mohammad Abdulaziz Oct 12
POSIX Lexing with Derivatives of Regular Expressions by Fahad Ausaf, Roy Dyckhoff and Christian Urban May 24
Kleene Algebras with Domain by Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth and Tjark Weber Apr 12
Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata by Salomon Sickert Sep 04
Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions by Dmitriy Traytel and Tobias Nipkow Jun 12
Converting Linear-Time Temporal Logic to Generalized Büchi Automata by Alexander Schimpf and Peter Lammich May 28
A Fully Verified Executable LTL Model Checker by Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf and Jan-Georg Smaus May 28
Unified Decision Procedures for Regular Expression Equivalence by Tobias Nipkow and Dmitriy Traytel Jan 30
Kleene Algebra with Tests and Demonic Refinement Algebras by Alasdair Armstrong, Victor B. F. Gomes and Georg Struth Jan 23
The Myhill-Nerode Theorem Based on Regular Expressions by Chunhan Wu, Xingyuan Zhang and Christian Urban Aug 26