Skip to main content
European Commission logo print header

Quantitative Reactive Modeling

Obiettivo

The project aims to build and evaluate a theory of quantitative fitness measures for reactive models. Such a theory must strive to obtain quantitative generalizations of the paradigms that have been success stories in qualitative reactive modeling, such as compositionality, property-preserving abstraction, model checking, and synthesis. The theory will be evaluated not only in the context of hardware and software engineering, but also in the context of systems biology. In particular, we hope to use the quantitative reactive models and fitness measures developed in this project for testing hypotheses about the mechanisms behind data from biological experiments.

Invito a presentare proposte

ERC-2010-AdG_20100224
Vedi altri progetti per questo bando

Meccanismo di finanziamento

ERC-AG - ERC Advanced Grant
æ

Coordinatore

INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
Indirizzo
Am campus 1
3400 Klosterneuburg
Austria

Mostra sulla mappa

Regione
Ostösterreich Niederösterreich Wiener Umland/Nordteil
Tipo di attività
Higher or Secondary Education Establishments
Contatto amministrativo
Carla Mazuheli-Chibidziura (Ms.)
Ricercatore principale
Thomas A. Henzinger (Prof.)
Collegamenti
Contributo UE
Nessun dato

Beneficiari (1)