- Context-Free Timed Formalisms: Robust Automata and Linear Temporal Logics Laura Bozzelli Aniello Murano Adriano Peron Sun 27 December 2020
- The modal mu-calculus alternation hierarchy is strict Julian Bradfield Tue 11 August 2020
- An automata-theoretic approach to constraint LTL Stéphane Demri Deepak D'Souza Mon 16 September 2019
- From Real-time Logic to Timed Automata Thomas Ferrère Oded Maler Dejan Ničković Amir Pnueli Sat 17 August 2019
- Jerzy Łoś Positional Calculus and the Origin of Temporal Logic Marcin Tkaczyk Tomasz Jarmużek Sat 13 April 2019
- The Logic of Event Clocks: Decidability, Complexity and Expressiveness Jean-François Raskin Pierre-Yves Schobbens Fri 01 June 2018
- Past Pushdown Timed Automata and Safety Verification Zhe Dang Tevfik Bultan Oscar H. Ibarra Richard A. Kemmerer Wed 29 October 2014
- Defining Fairness in Reactive and Concurrent Systems Hagen Vølzer Daniele Varacca Mon 24 February 2014
- Logical specifications of infinite computations Wolfgang Thomas Helmut Lescow Mon 13 January 2014
- Efficient Regular Linear Temporal Logic Using Dualization and Stratification Cesar Sánchez Julín Samborski-Forlese Mon 28 October 2013
- On the Verification Problem of Nonregular Properties for Nonregular Processes Ahmed Bouajjani Rachid Echahed Peter Habermehl Mon 22 July 2013
- Relating word and tree automata O. Kupferman S. Safra M. Y. Vardi Fri 12 July 2013
- Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic Edmund M. Clarke E. Allen Emerson Wed 30 January 2013
- The Temporal Semantics of Concurrent Programs Amir Pnueli Sat 05 January 2013
- Analysis of recursive state machines Rajeev Alur Michael Benedikt Kousha Etessami Patrice Godefroid Thomas Reps Mihalis Yannakakis Tue 10 July 2012
- Is the interesting part of process logic uninteresting: a translation from PL to PDL R. Sherman A. Pnueli D. Harel Wed 11 April 2012
- On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata Heikki Tauriainen Sat 07 April 2012
- Fast LTL to Buchi Automata Translation Paul Gastin Denis Oddoux Sat 07 April 2012
- An automata-theoretic approach to linear temporal logic Moshe Vardi Thu 05 April 2012
- Alternating automata and program verification Moshe Y. Vardi Thu 05 April 2012
- Reasoning about infinite computations Moshe Y. Vardi Pierre Wolper Wed 04 April 2012
- Branching vs. Linear Time: Final Showdown Moshe Y. Vardi Wed 04 April 2012
- Safraless decision procedures O. Kupferman M.Y. Vardi Wed 04 April 2012
- Synthesis of Succinct Systems John Fearnley Doron Peled Sven Schewe Tue 03 April 2012
- Model Checking Infinite-State Systems: Generic and Specific Approaches Anthony Widjaja Lin Tue 03 April 2012
- Constructing Buchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Buchi Automata Carsten Fritz Mon 02 April 2012
- LTL to Buchi Automata Translation: Fast and More Deterministic Tomáš Babiak Mojmír Křetínský Vojtěch Řehák Jan Strejček Mon 02 April 2012
- Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata Sebastian Preugschat Thomas Wilke Mon 02 April 2012
Library Size: 13G (28 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
