Strictness of the Collapsible Pushdown Graph Hierarchy Alexander Kartzow (joint work with Pawel Parys) Universit¨ at Leipzig

Source URL: www.kartzow.de

First-order Model Checking on Generalisations of Pushdown Graphs Alexander Kartzow Universit¨ at Leipzig

Source URL: www.kartzow.de

Computing rewards in probabilistic pushdown systems Javier Esparza Software Reliability and Security Group University of Stuttgart

Source URL: www7.in.tum.de

First-Order Model Checking on Generalisations of Pushdown Graphs

Source URL: www.kartzow.de

Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, and Petey Aldous University of Utah

Source URL: shuying.me

Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

Source URL: homepages.inf.ed.ac.uk

FO Model Checking on Nested Pushdown Trees Alexander Kartzow TU Darmstadt, Fachbereich Mathematik, Schlossgartenstr. 7, 64289 Darmstadt Abstract. Nested Pushdown Trees are unfoldings of pushdown graphs with an additional

Source URL: www.kartzow.de

A Lower Bound for FO Model Checking on Nested Pushdown Trees Alexander Kartzow | Uni Leipzig March 20, 2012

Source URL: www.kartzow.de

FO Model Checking on Nested Pushdown Trees and more: on Collapsible Pushdown Graphs June 26, 2009 | Alexander Kartzow | TU Darmstadt | AG Logik | 1 Nested Trees

Source URL: www.kartzow.de

The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD

Source URL: langsec.org

• Computability theory
• Models of computation
• Turing machine
• Theory of computation
• Turing completeness
• Halting problem
• Universal Turing machine
• Parsing
• Deterministic pushdown automaton
• Theoretical computer science
• Computer science
• Applied mathematics