Contact
People
 |
 |
|
| 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 2009 Vorlesung Diskrete Wahrscheinlichkeitstheorie |
| 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 |
Stefan Kiefer Michael Luttenberger Dejvuth Suwimonteerabuth Christian Kern Andreas Gaiser |
| 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 |
| Past post-docs |
Tomas Brazdil Keijo Heljanko Barbara König Antonin Kucera Dirk Nowotka Monika Maidl |
| Some talks and courses |
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 |
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 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 |
| Personal | Some movies I like |