| Javier Esparza | ||
|
Professor Chair for Foundations of Software Reliability and Theoretical Computer Science Faculty of Computer Science Technische Universität München |
|
| Coordinates |
Office: 03.11.054 (third floor, block 11), Mathematics and Computer Science Building,
[How to find it],
E-mail: esparza AT in DOT tum DOT de Snail: Institut für Informatik, Technische Universität München, Boltzmannstr. 3, 85748 München, Germany Phone: +49 (89) 289 17204 Fax: +49 (89) 289 17207 Assistant: Erika Leber, +49 (89) 289 17234 |
| About me |
Short biography Curriculum vitae (PDF) |
| Teaching |
Summer 2008 Vorlesung Diskrete Wahrscheinlichkeitstheorie Perlen der Informatik
|
| Interests (no order) |
Algorithms and tools for the design and verification of
reactive and distributed systems Verification of systems with infinitely many states Software Model Checking Program analysis Formal models for distributed systems: Petri nets and process algebras Logic and automata theory Analysis of probabilistic systems Applications of linear and constraint programming to verification problems Semantics of parallel programming languages Analysis and synthesis of asynchronous circuits |
| CS publications |
New book : Unfoldings -- a Partial Order Approach to Model Checking Publications by year (including bibtex info) Papers at the DBLP database Papers at Google Scholar Database of the Chair for Fundamentals of Software Reliability (where you can also search my publication list in more flexible ways) |
| Other publications |
Physics (just two papers) Computer Science in Medicine (old papers) |
| Software |
PEP: Programming Environment Based on Petri Nets The Model-Checking Kit: An Integrated Platform of Model Checking Tools Moped: A Model Checker for Pushdown Systems jMoped: A Test Environment for Java Programs |
| Current students |
Stefan Kiefer Michael Luttenberger Dejvuth Suwimonteerabuth |
| Past students |
Richard Mayr Stephan Melzer Stefan Römer Christine Röckl Leonor Prensa-Nieto Stefan Schwoon Claus Schröter Alin Stefanescu |
| Current post-docs |
Stefan Schwoon Jörg Bauer Tomas Brazdil |
| Past post-docs |
Keijo Heljanko Barbara König Antonin Kucera Dirk Nowotka Monika Maidl |
| Some talks and courses |
Beyond Big-Oh Analysis in Automata Theory (talk at GAMES '07)
[pdf] Computation of certificate chains with alternating pushdown systems (talk at ATVA '06) [pdf] Rewriting models of boolean programs (talk at RTA '06) [pdf] Computing rewards in probabilistic pushdown systems (talk at PAuL '06) [pdf] Verification of Infinite-state Systems (course at the Marktoberdorf Summer School on Logical Aspects of Secure Computer Systems, 2005) [pdf] Verifying Probabilistic Procedural Programs (talk at FSTTCS '04) [pdf] An Automata-Theoretic Approach to Software Model Checking (talk at POPL '04) [pdf] Logic in Automatic Verification (talk at LMPS '03) [pdf] A False History of True Concurrency (talk at LMPS '03) [pdf] Some Applications of Petri Nets to the Analysis of Parameterised Systems (talk at WISP '03) [pdf] Control-flow in Software Model Checking (talk at AVIS '03) [compressed postscript] Model checking infinite state systems (course at SMC-02, Bertinoro) [pdf] Model checking finite and infinite state systems (course at the Second School on Computational Logic, Maratea) [pdf] Verifying broadcast protocols (talk at VCL '00) [compressed postcript] Verification with unfoldings (talk at CONCUR '99) [compressed postcript] Grammars as processes (talk at ETAPS '99) [compressed postcript] |
| Some memberships and professional activities |
Logical Methods in Computer Science Revista Matematica Complutense Theoretical Computer Science IFIP Working Group 2.2 Formal Description of Programming Concepts |
| Recent and upcoming events |
FOSSACS 2009. 12th International Conference on Foundations of Software Science and Computation Structures VMCAI 2009. Tenth International Conference on Verification, Model Checking, and Abstract Interpretation INFINITY 2008 10th International Workshop on Verification of Infinite-State Systems. Satellite Workshop of CONCUR 2008 2nd Workshop on Reachability Problems. PNGT 2008 3rd Workshop on Petri Nets and Graph Transformations TCS 2008. 5th IFIP International Conference on Theoretical Computer Science SAS 2008. 15th International Static Analysis Symposium ICALP 2008. 35th International Colloquium on Automata, Languages and Programming |
