Bernhard Aichernig

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

1995 …2022
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Bernhard Aichernig is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 7 Similar Profiles
Testing Engineering & Materials Science
Model checking Engineering & Materials Science
Web services Engineering & Materials Science
Business Rules Mathematics
Timed Automata Mathematics
Hybrid systems Engineering & Materials Science
Network protocols Engineering & Materials Science
Load testing Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 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. (eds.). Cham: Springer, p. 651 - 669 19 p. (Lecture Notes in Computer Science; vol. 11800).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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. (eds.). Cham: Springer International Publishing AG , p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 11812).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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 p.

Research output: Contribution to journalArticleResearchpeer-review

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, p. 216 - 235 20 p. (Lecture Notes in Computer Science; vol. 11750).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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. (eds.). IEEE CS, p. 130 - 138 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Testing

Activities 1996 2018

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

Bernhard Aichernig (Speaker)
10 Sep 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

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

Bernhard Aichernig (Speaker)
5 Jun 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Smart Black-box Testing

Bernhard Aichernig (Keynote speaker)
7 Dec 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

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

Bernhard Aichernig (Speaker)
11 Jun 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

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

Bernhard Aichernig (Speaker)
11 Sep 2018

Activity: Talk or presentationInvited talkScience to science

Projects 1995 2022