- Saturation algorithms for model-checking pushdown systems Arnaud Carayol Matthew Hague Mon 02 February 2015
- Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation John P. Gallagher Mads Rosendahl Wed 12 March 2014
- Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains Dejvuth Suwimonteerabuth Stefan Schwoon Javier Esparza Wed 12 June 2013
- Analysing mu-calculus properties of pushdown systems Matthew Hague C.-H. Luke Ong Wed 12 June 2013
- Model-Checking LTL with Regular Valuations for Pushdown Systems Javier Esparza Antonín Kucera Stefan Schwoon Thu 11 April 2013
- An efficient automata approach to some problems on context-free grammars Ahmed Bouajjani Javier Esparza Alain Finkel Oded Maler Peter Rossmanith Bernard Willems Pierre Wolper Tue 12 March 2013
- Symbolic Strategy Synthesis for Games on Pushdown Graphs Thierry Cachat Tue 12 March 2013
- Games on Pushdown Graphs and Extensions Thierry Cachat Thu 31 January 2013
- Reachability analysis of multithreaded software with asynchronous communication Ahmed Bouajjani Javier Esparza Stefan Schwoon Jan Strejček Tue 27 November 2012
- Regular symbolic analysis of dynamic networks of pushdown systems Ahmed Bouajjani Markus Muller-Olm Tayssir Touili Tue 27 November 2012
- Reachability Analysis of Process Rewrite Systems Ahmed Bouajjani Tayssir Touili Tue 27 November 2012
- Global Reachability in Bounded Phase Multi-stack Pushdown Systems Anil Seth Sun 25 November 2012
- Games on Higher Order Multi-stack Pushdown Systems Anil Seth Tue 20 November 2012
- Winning Regions of Pushdown Parity Games: A Saturation Method Matthew Hague C. -H. Ong Thu 05 July 2012
- A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract) Alain Finkel Bernard Willems Pierre Wolper Wed 04 July 2012
- A Saturation Method for Collapsible Pushdown Systems Chris Broadbent Arnaud Carayol Matthew Hague Olivier Serre Tue 03 July 2012
- Saturation Methods for Global Model-Checking Pushdown Systems Matthew Hague Thu 08 March 2012
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems Matthew Hague C.-H. Luke Ong Thu 08 March 2012
- A saturation method for the modal mu-calculus over pushdown systems M. Hague C.-H.L. Ong Thu 08 March 2012
- An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems Anil Seth Tue 06 March 2012
- Symbolic backwards-reachability analysis for higher-order pushdown systems Matthew Hague C.-H. Luke Ong Tue 06 March 2012
- Symbolic Reachability Analysis of Higher-Order Context-Free Processes Ahmed Bouajjani Antoine Meyer Tue 06 March 2012
- Winning Regions of Higher-Order Pushdown Games A. Carayol M. Hague A. Meyer C.-H.L. Ong O. Serre Tue 06 March 2012
- Efficient Algorithms for Model Checking Pushdown Systems Javier Esparza David Hansel Peter Rossmanith Stefan Schwoon Tue 06 March 2012
Library Size: 13G (24 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
