Visibly pushdown languages (2004)

by Rajeev Alur , Viraj Kumar , P. Madhusudan , Mahesh Viswanathan
Citations:132 - 15 self

Active Bibliography

74 Adding nesting structure to words – Rajeev Alur, P. Madhusudan - 2006
ACKNOWLEDGMENTS – Akash Lal
Intraprocedural Analysis and the Verification of Concurrent Programs – Akash Lal - 2009
54 A Temporal Logic of Nested Calls and Returns – Rajeev Alur, Kousha Etessami, P. Madhusudan - 2004
8 Global model-checking of infinite-state systems – Nir Piterman, Moshe Y. Vardi - 2004
3 Verification of Probabilistic Recursive Sequential Programs – Tomas Brazdil - 2007
42 Model Checking of Unrestricted Hierarchical State Machines – Michael Benedikt, Patrice Godefroid, Thomas Reps - 2001
35 History effects and verification – Christian Skalka, Scott Smith - 2004
3 A type and effect system for flexible abstract interpretation of Java – Christian Skalka, Scott Smith, David Van Horn - 2005
17 On generalized authorization problems – S. Schwoon, S. Jha, T. Reps, S. Stubblebine - 2003
33 Extended weighted pushdown systems – Akash Lal, Thomas Reps, Gogul Balakrishnan - 2005
106 Weighted pushdown systems and their application to interprocedural dataflow analysis – Thomas Reps, Stefan Schwoon, Somesh Jha - 2003
23 From Verification to Control: Dynamic Programs for Omega-regular Objectives – Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar - 2001
11 Automata-theoretic Decision of Timed Games – Marco Faella , Salvatore La Torre , Aniello Murano - 2013
14 On-the-fly Reachability and Cycle Detection for Recursive State Machines – Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan - 2005
2 Model Checking for Database Theoreticians – Moshe Y. Vardi - 2005
4 Methods for the transformation of ω-automata: Complexity and connection to second-order logic – Christof Löding - 1998
77 Model checking of hierarchical state machines – Rajeev Alur
2 Micro-macro stack systems: A new frontier of decidability for sequential systems – Nir Piterman - 2003