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.

Konstantin Kueffner

Stefanie Muroya Lei

Ana Oliveira da Costa

Mahyar Karimi

K. S. Thejaswini

Emily Yu

N. Ege Saraç

Marek Chalupa

Thomas Henzinger

Roopsha Samanta

Damien Zufferey

Jan Kretinsky

Przemyslaw Daca

Anna Lukina

Jakob Ruess

Udi Boker

Mirco Giacobbe

Ali Sezgin

Duc Hiep Chu

Bernhard Kragl

Thomas Wies

Kaushik Mallik

Cezara Dragoi

Jessica Davies

Guy Avni

Fabian Mühlböck

Sergiy Bogomolov

Hui Kong

Mathias Lechner

Arjun Radhakrishna

Luka Zeleznik

Adrian Elgyütt

Samuel Pastva

Dejan Nickovic

Thorsten Tarrach

Miriam García Soto

Christian Schilling

Anmol Tomar

Singh, Anmol

Abhinav Verma

Andrey Kupriyanov

Joost Katoen

Tatjana Petrov

Thomas Ferrère

Pavol Cerny

Oliveira da Costa, Ana

Nicolas Mazzocchi

Halalai, Raluca

Ashutosh Gupta

Vasu Singh

Jan Otop



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

Wittgenstein Award – Thomas Henzinger

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