Projekte pro Jahr
Suchergebnisse
-
AIDOaRT - KI-unterstützte Automatisierung für effiziente DevOps, ein modellbasiertes Framework für kontinuierliche Entwicklung zur Laufzeit in CPSs
1/04/21 → 30/09/24
Projekt: Forschungsprojekt
-
-
LearnTwins - Lernende Digitale Zwillinge zur Validierung und Verifizierung von abhängigen Cyber-Physikalischen Systemen
1/12/20 → 30/11/23
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
-
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Projekt: Forschungsprojekt
-
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: Forschungsprojekt
-
TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Jöbstl, E. & Aichernig, B.
1/03/11 → 28/02/14
Projekt: Forschungsprojekt
-
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: Forschungsprojekt
-
Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet