- Multi-pushdown systems with budgets Parosh Aziz Abdulla Mohamed Faouzi Atig Othmane Rezine Jari Stenman Wed 27 November 2013
- The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman Wed 27 November 2013
- Formal Verification of Hybrid Systems Rajeev Alur Wed 27 November 2013
- Reasoning About Rings E. Allen Emerson Kedar S. Namjoshi Mon 25 November 2013
- Quotients homophones des groupes libres - Homophonic quotients of free groups Jean-François Mestre René Schoof Lawrence Washington Don Zagier Mon 25 November 2013
- An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis Javier Esparza Jens Knoop Mon 25 November 2013
- Solution of a Problem in Concurrent Programming Control E. W. Dijkstra Mon 25 November 2013
- The Algorithmics of Bisimilarity Luca Aceto Anna Ingolfsdottir Jiri Srba Sun 24 November 2013
- Reachability under Contextual Locking Remi Bonnet Rohit Chadha Mahesh Viswanathan P. Madhusudan Sun 24 November 2013
- Reasoning about Threads with Bounded Lock Chains Vineet Kahlon Sun 24 November 2013
- Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks Vineet Kahlon Sun 24 November 2013
- An Automata-Theoretic Approach for Model Checking Threads for LTL Properties Vineet Kahlon Aarti Gupta Sun 24 November 2013
- Simple Bisimilarity Minimization in O(M Log N) Time Antti Valmari Sat 23 November 2013
- Bisimilarity Minimization in O(m logn) Time Antti Valmari Sat 23 November 2013
- Bisimulations over DLTS in O(m.log n)-time Gérard Cece Sat 23 November 2013
- Three Simulation Algorithms for Labelled Transition Systems Gérard Cécé Sat 23 November 2013
- Complete Abstractions Everywhere Francesco Ranzato Sat 23 November 2013
- An Efficient Simulation Algorithm on Kripke Structures Francesco Ranzato Fri 22 November 2013
- A More Efficient Simulation Algorithm on Kripke Structures Francesco Ranzato Fri 22 November 2013
- Amir Pnueli and the Dawn of Hybrid Systems Oded Maler Sun 17 November 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
