- Beyond ømega-regular languages: ømegaT-regular expressions and their automata and logic counterparts David Barozzini David de Frutos-Escrig Dario Della Monica Angelo Montanari Pietro Sala Thu 06 May 2021
- Relating Reachability Problems in Timed and Counter Automata Christoph Haase Joel Ouaknine James Worrell Tue 12 May 2020
- Trace inclusion for one-counter nets revisited Piotr Hofman Patrick Totzke Tue 03 March 2020
- Presburger Counter Machines Jérôme Leroux Mon 19 November 2012
- Automatic verification of recursive procedures with one integer parameter Ahmed Bouajjani Peter Habermehl Richard Mayr Mon 24 September 2012
- Analysis of recursively parallel programs Ahmed Bouajjani Michael Emmi Thu 20 September 2012
- On the Complexity of Model Checking Counter Automata Christoph Haase Wed 11 July 2012
- Efficient verification of parallel real-time systems Tomohiro Yoneda Atsufumi Shibayama Bernd-Holger Schlingloff Edmund M. Clarke Sat 07 July 2012
- Model Checking Vector Addition Systems with one zero-test Rémi Bonnet Alain Finkel Jérôme Leroux Marc Zeitoun Thu 05 July 2012
- The reachability problem for vector addition system with one zero-test Rémi Bonnet Thu 05 July 2012
- Reachability in Petri Nets with Inhibitor Arcs Klaus Reinhardt Thu 05 July 2012
- Model Checking Vector Addition Systems with one zero-test Rémi Bonnet Alain Finkel Jérôme Leroux Marc Zeitoun Fri 08 June 2012
Library Size: 13G (12 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
