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. Fields of science natural sciencescomputer and information sciencessoftware Programme(s) FP7-IDEAS-ERC - Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Topic(s) ERC-AG-PE6 - ERC Advanced Grant - Computer science and informatics Call for proposal ERC-2010-AdG_20100224 See other projects for this call Funding Scheme ERC-AG - ERC Advanced Grant Coordinator INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA 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 Contact the organisation Opens in new window Website Opens in new window EU contribution No data Beneficiaries (1) Sort alphabetically Sort by EU Contribution Expand all Collapse all INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA Austria EU contribution € 2 326 101,00 Address Am campus 1 3400 Klosterneuburg 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 Contact the organisation Opens in new window Website Opens in new window Other funding No data
