- From Real-time Logic to Timed Automata Thomas Ferrère Oded Maler Dejan Ničković Amir Pnueli Sat 17 August 2019
- Formal Verification of Smart Contracts: Short Paper Karthikeyan Bhargavan Antoine Delignat-Lavaud Cédric Fournet Anitha Gollamudi Georges Gonthier Nadim Kobeissi Natalia Kulatova Aseem Rastogi Thomas Sibut-Pinote Nikhil Swamy Santiago Zanella-Béguelin Sun 22 April 2018
- The Complexity of Coverability in nu-Petri Nets Ranko Lazić Sylvain Schmitz Mon 07 March 2016
- The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets Serge Haddad Sylvain Schmitz Philippe Schnoebelen Mon 24 August 2015
- Reduction of Stochastic Parity to Stochastic Mean-payoff Games Krishnendu Chatterjee Thomas A. Henzinger Mon 10 February 2014
- Modeling and Verification of Time Dependent Systems Using Time Petri Nets Bernard Berthomieu Michel Diaz Thu 16 January 2014
- Efficient Regular Linear Temporal Logic Using Dualization and Stratification Cesar Sánchez Julín Samborski-Forlese Mon 28 October 2013
- Relating word and tree automata O. Kupferman S. Safra M. Y. Vardi Fri 12 July 2013
- Proving the Correctness of Multiprocess Programs L. Lamport Fri 07 December 2012
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
