Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




11 Grants


Quantitative Reactive Modeling (QUAREM)

2011-05-01 – 2016-04-30
EC/FP7

COMponent-Based Embedded Systems design Techniques (Combest)

2009-09-01 – 2011-03-31
EC/FP7

Design for Embedded Systems (ArtistDesign)

2009-09-01 – 2012-03-31
EC/FP7

Rigorous Systems Engineering (RISE)

2011-03-01 – 2015-02-28
FWF

The Wittgenstein Prize

2014-01-01 – 2020-12-31
FWF

Moderne Concurrency Paradigms (SHINE)

2015-03-01 – 2019-08-31
FWF

Automated Tutoring System for Automata Theory

2011-01-01 – 2021-12-31
Microsoft

Formal Methods meets Algorithmic Game Theory

2018-02-01 – 2020-01-31
FWF

Interface Theory for Security and Privacy (SPyCoDe)

2023-01-01 – 2026-12-31
FWF

Vigilant Algorithmic Monitoring of Software (VAMOS)

2022-01-01 – 2026-12-31
EC/H2020

Design of Autonomous Cyber-Physical System with Learning and Complex Problem-Solving Capacities

2021-01-12 – 2021-05-31
Simons_Foundation

Search

Filter Publications

Display / Sort

Export / Embed