- Backward Coverability with Pruning for Lossy Channel Systems Thomas Geffroy Jérôme Leroux Grégoire Sutre Wed 06 September 2017
- A Short Visit to the STS Hierarchy Nathalie Bertrand Ph. Schnoebelen Wed 30 October 2013
- Decidability results for well-structured transition systems with auxiliary storage R. Chadha M. Viswanathan Fri 18 October 2013
- On termination and invariance for faulty channel machines Patricia Bouyer Nicolas Markey Jo el Ouaknine Philippe Schnoebelen James Worrell Thu 17 October 2013
- The power of well-structured systems Sylvain Schmitz Philippe Schnoebelen Thu 10 October 2013
- Monotonic and Downward Closed Games Parosh Aziz Abdulla Ahmed Bouajjani Julien D'orso Wed 27 March 2013
- Petri Games are Monotonic but Difficult to Decide Jean-François Raskin Mathias Samuelides Laurent Van Begin Wed 27 March 2013
- Deciding Monotonic Games ParoshAziz Abdulla Ahmed Bouajjani Julien d'Orso Wed 27 March 2013
- Computable fixpoints in well-structured symbolic model checking Nathalie Bertrand Philippe Schnoebelen Thu 21 March 2013
- Solving stochastic Buchi games on infinite arenas with a finite attractor Nathalie Bertrand Philippe Schnoebelen Thu 21 March 2013
- General decidability theorems for infinite-state systems P. A. Abdulla K. Cerans B. Jonsson Yih-Kuen Tsay Sat 29 December 2012
- Fundamental Structures in Well-Structured Infinite Transition Systems Alain Finkel Ph. Schnoebelen Sat 29 December 2012
- On the coverability and reachability languages of monotonic extensions of Petri nets Giorgio Delzanno Fernando Rosa-Velardo Sat 29 December 2012
- Reduction and covering of infinite reachability trees Alain Finkel Sat 29 December 2012
- Ensuring completeness of symbolic verification methods for infinite-state systems Parosh Aziz Abdulla Bengt Jonsson Sat 29 December 2012
- Decidability of the termination problem for completely specified protocols Alain Finkel Sat 29 December 2012
- On Model Checking for Non-Deterministic Infinite-State Systems E. A. Emerson K. S. Namjoshi Tue 18 December 2012
- On the Verification of Broadcast Protocols Javier Esparza Alain Finkel Richard Mayr Tue 18 December 2012
- Model Checking -Calculus in Well-Structured Transition Systems E. V. Kouzmin N. V. Shilov V. A. Sokolov Sat 01 December 2012
- Algorithmic Analysis of Programs with Well Quasi-ordered Domains Parosh Aziz Abdulla Karlis Cerans Bengt Jonsson Yih-Kuen Tsay Sat 01 December 2012
- Well-structured transition systems everywhere A. Finkel Ph. Schnoebelen Tue 27 November 2012
- A generalization of the procedure of Karp and Miller to well structured transition systems A. Finkel Mon 08 October 2012
- Comparing the Expressive Power of Well-Structured Transition Systems Parosh Aziz Abdulla Giorgio Delzanno Laurent Van Begin Sun 10 June 2012
- A classification of the expressive power of well-structured transition systems Parosh Aziz Abdulla Giorgio Delzanno Laurent Van Begin Sun 10 June 2012
Library Size: 13G (24 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
