Bernhard Aichernig

Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

1995 …2022
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Bernhard Aichernig aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 7 Ähnliche Profile
Testing Ingenieurwesen & Materialwissenschaft
Model checking Ingenieurwesen & Materialwissenschaft
Web services Ingenieurwesen & Materialwissenschaft
Business Rules Mathematik
Timed Automata Mathematik
Hybrid systems Ingenieurwesen & Materialwissenschaft
Network protocols Ingenieurwesen & Materialwissenschaft
Load testing Ingenieurwesen & Materialwissenschaft

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Forschungsoutput 1997 2019

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., 2019, Formal Methods - The Next 30 Years . ter Beek, M. H., McIver, A. & Oliveria, J. N. (Hrsg.). Cham: Springer, S. 651 - 669 19 S. (Lecture Notes in Computer Science; Band 11800).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Learning algorithms
Sampling
Formal languages
Model structures
Testing

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning

Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (Hrsg.). Cham: Springer International Publishing AG , S. 3-21 19 S. (Lecture Notes in Computer Science; Band 11812).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Hybrid systems
Learning systems
Testing
Recurrent neural networks

Probabilistic black-box reachability checking (extended version)

Aichernig, B. & Tappler, M., 2019, in : Formal methods in system design. 33 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B., Larsen, K. G. & Lorber, F., 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer, S. 216 - 235 20 S. (Lecture Notes in Computer Science; Band 11750).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (Hrsg.). IEEE CS, S. 130 - 138 9 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Testing

Aktivitäten 1996 2018

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Redner/in)
10 Sep 2018

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Redner/in)
5 Jun 2018

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

Smart Black-box Testing

Bernhard Aichernig (Keynote speaker)
7 Dez 2018

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

Model-based Mutation Testing - The Science of Killing Bugs in a Black Box

Bernhard Aichernig (Redner/in)
11 Jun 2018

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Redner/in)
11 Sep 2018

Aktivität: Vortrag oder PräsentationGastvortragScience to science

Projekte 1995 2022