| 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 |
Winter 2009/2010 Vorlesung Diskrete Strukturen Vorlesung Automata Theory and Formal Languages
|
| 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 |
| Publications in computer science |
My book on free-choice Petri nets with Jörg Desel My book on unfoldings (a partial-order model-checking technique) with Keijo Heljanko Papers online (plain list) Papers online (detailed list including bibtex info) Papers at DBLP Papers at Google Scholar Database of the Chair (with search by year, type, or author) |
| 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 |
Andreas Gaiser Christian Kern Jan Kretinsky |
| Past students |
Stefan Kiefer Michael Luttenberger Richard Mayr Stephan Melzer Stefan Römer Christine Röckl Leonor Prensa-Nieto Claus Schröter Stefan Schwoon Alin Stefanescu Dejvuth Suwimonteerabuth |
| Current post-docs |
Jörg Kreiker (born Bauer) Michael Luttenberger |
| Past post-docs |
Tomas Brazdil Keijo Heljanko Barbara König Antonin Kucera Monika Maidl Dirk Nowotka Stefan Schwoon |
| Some talks and courses |
Stochastic Process Creation (talk at MFCS '09)
[pdf] A computer science look at stochastic branching processes (talk at Workshop on Perspectives in Concurrency Theory, December 08) [pdf] Solving Monotone Polynomial Equations (talk at TCS '08) [pdf] Newtonian Program Analysis (talk at ICALP '08) [pdf] SDSIrep: A Reputation System based on SDSI (talk at several places) [pdf] 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 Theoretical Computer Science IFIP Working Group 2.2 Formal Description of Programming Concepts |
| Recent and upcoming events |
CAV 2010. 22nd International Conference on Computer Aided Verification LICS 2010. 25th Annual IEEE Symposium on Logic in Computer Science TACAS 2010. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems VMCAI 2010. Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation FICS 2009 6th Workshop on Fixed Points in Computer Science. Satellite Workshop of CSL 2009 INFINITY 2009 11th International Workshop on Verification of Infinite-State Systems. Satellite Workshop of CONCUR 2009 Marktoberdorf Summer School 2009. Logics and Languages for Reliability and Security RO'09. LIX Colloquium Reachability Problems'09 MFCS 2009. 34th International Symposium on Mathematical Foundations of Computer Science |
| Personal | Some movies I like |