Details
Title
MTC
Formal Name (French)
Laboratoire de modèles et théorie de calculs
Formal Name (English)
Models and Theory of Computation Laboratory
Lab Manager
Infoscience team
Group ID
U10969
Affiliated authors
Henzinger, Thomas
Mateescu, Maria-Emanuela-Canini
Petrov, Tatjana
Théoduloz, Grégory
Mateescu, Maria-Emanuela-Canini
Petrov, Tatjana
Théoduloz, Grégory
Institute
IINFCOM
Faculty
IC
Note
Members of MTC-unit
Linked resource
http://mtc.epfl.ch/
Publications
Combining model reductions
Completeness and Nondeterminism in Model Checking Transactional Memories
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
Expressiveness And Closure Properties For Quantitative Languages
Hybrid Numerical Solution of the Chemical Master Equation
Interpolation and Symbol Elimination
Jurdzinski-ing Rabin and Streett
Model checking transactional memories
Permissiveness in Transactional Memories
Strategy construction for parity games with imperfect information
See complete list of publications (80)
Completeness and Nondeterminism in Model Checking Transactional Memories
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
Expressiveness And Closure Properties For Quantitative Languages
Hybrid Numerical Solution of the Chemical Master Equation
Interpolation and Symbol Elimination
Jurdzinski-ing Rabin and Streett
Model checking transactional memories
Permissiveness in Transactional Memories
Strategy construction for parity games with imperfect information
See complete list of publications (80)
Record appears in
Authorities > Lab