QUAREM

Quantitative Reactive Modeling

Coordinatore	Institute of Science and Technology Austria    more Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie.
Nazionalità Coordinatore	Austria [AT]
Totale costo	2˙326˙101 €
EC contributo	2˙326˙101 €
Programma	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)
Code Call	ERC-2010-AdG_20100224
Funding Scheme	ERC-AG
Anno di inizio	2011
Periodo (anno-mese-giorno)	2011-05-01   -   2016-04-30

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	Institute of Science and Technology Austria  Organization address address: Am Campus 1 city: Klosterneuburg postcode: 3400 contact info Titolo: Ms. Nome: Carla Cognome: Mazuheli-Chibidziura Email: send email Telefono: +43 2243 9000 1038 Fax: +43 2243 9000 2000	AT (Klosterneuburg)	hostInstitution	2˙326˙101.00
2	Institute of Science and Technology Austria  Organization address address: Am Campus 1 city: Klosterneuburg postcode: 3400 contact info Titolo: Prof. Nome: Thomas A. Cognome: Henzinger Email: send email Telefono: +43 2243 9000 1038 Fax: +43 2243 9000 2000	AT (Klosterneuburg)	hostInstitution	2˙326˙101.00

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (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.'