- Data Communicating Processes with Unreliable Channels Parosh Aziz Abdulla C. Aiswarya Mohamed Faouzi Atig Mon 12 March 2018
- Backward Coverability with Pruning for Lossy Channel Systems Thomas Geffroy Jérôme Leroux Grégoire Sutre Wed 06 September 2017
- On Verifying Fair Lossy Channel Systems Benoît Masson Ph. Schnoebelen Fri 17 January 2014
- Timed Lossy Channel Systems Parosh Aziz Abdulla Mohamed Faouzi Atig Jonathan Cederberg Fri 03 January 2014
- Lossy Channel Games under Incomplete Information Rayna Dimitrova Bernd Finkbeiner Fri 27 December 2013
- Verifying Lossy Channel Systems Has Nonprimitive Recursive Complexity Ph. Schnoebelen Tue 03 December 2013
- Unidirectional channel systems can be tested Petr Jančar Prateek Karandikar Philippe Schnoebelen Wed 13 November 2013
- Decidability of simulation and bisimulation between lossy channel systems and finite state systems Parosh Aziz Abdulla Mats Kindahl Mon 04 November 2013
- Non-primitive recursive decidability of products of modal logics with expanding domains D. Gabelaia A. Kurucz F. Wolter M. Zakharyaschev Wed 30 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 omega-regular post embedding problem P. Chambart Ph. Schnoebelen Wed 02 October 2013
- The Power of Priority Channel Systems Christoph Haase Sylvain Schmitz Philippe Schnoebelen Fri 31 May 2013
- Model checking lossy vector addition systems Ahmed Bouajjani Richard Mayr Wed 27 March 2013
- On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems Christel Baier Nathalie Bertrand Philippe Schnoebelen Tue 26 March 2013
- Verifying nondeterministic probabilistic channel systems against (ømega)-regular linear-time properties Christel Baier Nathalie Bertrand Philippe Schnoebelen Tue 26 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
- Decidability of the termination problem for completely specified protocols Alain Finkel Sat 29 December 2012
- Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS G. Geeraerts J.-F. Raskin L. Van Begin Sat 29 December 2012
- On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels Parosh Aziz Abdulla Ahmed Bouajjani Bengt Jonsson Sat 29 December 2012
- Model checking of systems with many identical timed processes Parosh Aziz Abdulla Bengt Jonsson Wed 05 December 2012
- Undecidable verification problems for programs with unreliable channels Parosh Aziz Abdulla Bengt Jonsson Thu 22 November 2012
- Using Forward Reachability Analysis for Verification of Lossy Channel Systems Parosh Aziz Abdulla Aurore Collomb-Annichini Ahmed Bouajjani Bengt Jonsson Thu 01 November 2012
- Better is Better than Well: On Efficient Verification of Infinite-State Systems Parosh Aziz Abdulla Aletta Nylén Thu 20 September 2012
- Unreliable Channels Are Easier to Verify Than Perfect Channels Gerard Cece Alain Finkel S. Purushothaman Iyer Wed 04 July 2012
- Verifying Programs with Unreliable Channels Parosh Aziz Abdulla Bengt Jonsson Wed 04 July 2012
- Model Checking Lossy Channels Systems Is Probably Decidable Nathalie Bertrand Philippe Schnoebelen Sun 22 April 2012
- Stochastic Games on Lossy Channels with Finite Memory Players Lorenzo Clemente Richard Mayr Sat 21 April 2012
- Analysis of Communicating Automata Anca Muscholl Wed 21 March 2012
- Du Problème de sous-mot de Post et de la complexité des canaux non fiables Pierre Chambart Wed 21 March 2012
- Lossy Counter Machines Decidability Cheat Sheet Philippe Schnoebelen Tue 20 March 2012
- Mixing Lossy and Perfect Fifo Channels Pierre Chambart Philippe Schnoebelen Tue 20 March 2012
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems Pierre Chambart Philippe Schnoebelen Tue 20 March 2012
Library Size: 13G (33 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
