Projekte pro Jahr
Suchergebnisse
-
Laufend
-
AIDOaRT - KI-unterstützte Automatisierung für effiziente DevOps, ein modellbasiertes Framework für kontinuierliche Entwicklung zur Laufzeit in CPSs
1/04/21 → 31/03/24
Projekt: Foschungsprojekt
-
LearnTwins - Lernende Digitale Zwillinge zur Validierung und Verifizierung von abhängigen Cyber-Physikalischen Systemen
1/12/20 → 30/11/23
Projekt: Foschungsprojekt
-
Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet
-
Abgeschlossen
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: Foschungsprojekt
-
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Projekt: Foschungsprojekt
-
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Projekt: Foschungsprojekt
-
TRUFAL - [Original in Englisch: Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation]
Jöbstl, E. & Aichernig, B.
1/03/11 → 30/06/14
Projekt: Foschungsprojekt
-
EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H., Krenn, W. K. & Aichernig, B.
1/01/08 → 31/12/10
Projekt: Foschungsprojekt