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


Automated Tutoring System for Automata Theory (MSRESA)

2011-01-01 – 2024-12-31
Microsoft Research

Vigilant Algorithmic Monitoring of Software (VAMOS)

2022-01-01 – 2026-12-31
European Research Council

COMponent-Based Embedded Systems design Techniques (Combest)

2009-09-01 – 2011-03-31
European Commission

Design for Embedded Systems (ArtistDesign)

2009-09-01 – 2012-03-31
European Commission

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

2021-01-12 – 2021-05-31
Simons Institute for the Theory of Computing, University of California Berkeley

Formal methods for the design and analysis of complex systems

2014-01-01 – 2021-06-30
Austrian Science Fund

Formal Methods meets Algorithmic Game Theory

2018-02-01 – 2020-01-31
Austrian Science Fund

Interface Theory for Security and Privacy (SPyCoDe)

2023-01-01 – 2026-12-31
Austrian Science Fund

Moderne Concurrency Paradigms (Shine)

2015-03-01 – 2019-08-31
Austrian Science Fund

Quantitative Reactive Modeling (QUAREM)

2011-05-01 – 2016-04-30
European Research Council

Rigorous Systems Engineering (RiSE)

2011-03-01 – 2015-02-28
Austrian Science Fund

Search

Filter Publications

Display / Sort

Export / Embed