Project Details
Person
Professor Dr. Javier Esparza
Address
Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Theoretische Informatik
Boltzmannstraße 3
85748 Garching
-
As Applicant
-
Current projects
-
Group-by Objectives in Probabilistic Verification (Research Grants)
-
-
Completed projects
-
Algorithms for Software Model Checking (Research Grants) to 3/2007
-
A Scalable Saturation Approach to Higher-Order Verification (Research Grants)
-
Negotiations: A Model for Tractable Concurrency. (Research Grants)
-
-
Current projects
-
As Participating Researcher
-
Current projects
-
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Research Training Groups)
-
-
Completed projects
-
GRK 1480: Programme and Model Analysis (Research Training Groups)
-
-
Current projects
-
As Project Head
-
Completed projects
-
Formale Methoden für die Modellierung und Analyse von mobilen kontextbezogenen Systemen (Collaborative Research Centres)
-
-
Completed projects
-
As Co-Investigator
-
Completed projects
-
Verified Model Checkers (Research Grants)
-
-
Completed projects
