Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties

Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer

Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie (7050)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

1 Laufend
3 Abgeschlossen

4 Ergebnisse

Laufend
FATE - Fehlergesteuerte Analyse und Prüfung für Robustheit und Stabilität der Konstruktion
Bloem, R.
1/11/22 → 31/10/25
Projekt: Forschungsprojekt
Abgeschlossen
EU - FOCETA - Grundlagen für kontinierliches Engineering von vertraunswertiger Autonomie
Bloem, R.
1/10/20 → 30/09/23
Projekt: Forschungsprojekt
ADVANCED - Adaptive Verifikation und Anomalieerkennung für komplexe Designs
Bloem, R.
1/11/19 → 31/10/22
Projekt: Forschungsprojekt
Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Forschungsprojekt