Automata Learning for Symbolic Execution

Bernhard Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter

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

3 Ergebnisse

Abgeschlossen
Enable-S3 - Europäische Initiative zur Validierung von hochautomatisierten und sicheren Systeme
Bloem, R., Horn, M., Wotawa, F., Bösch, W. & Eichberger, A.
1/05/16 → 30/04/19
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
EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.
Bloem, R. & Könighofer, R.
1/03/15 → 28/02/18
Projekt: Forschungsprojekt