Skip to main content
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Content archived on 2024-05-30

Quantitative Reactive Modeling

Objective

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.

Call for proposal

ERC-2010-AdG_20100224
See other projects for this call

Host institution

INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
EU contribution
€ 2 326 101,00
Address
Am Campus 1
3400 Klosterneuburg
Austria

See on map

Region
Ostösterreich Niederösterreich Wiener Umland/Nordteil
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Carla Mazuheli-Chibidziura (Ms.)
Principal investigator
Thomas A. Henzinger (Prof.)
Links
Total cost
No data

Beneficiaries (1)