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

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Aichernig, B., 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Springer, Vol. 11885. p. 22-38 ( Lecture Notes in Computer Science; vol. 11885).

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

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M., 2019, In : Journal of Automated Reasoning. 63, 4, p. 1103-1134 32 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Testing
Costs
Experiments

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

Learning and statistical model checking of system response times

Aichernig, B., Bauerstätter, P., Jöbstl, E., Kann, S., Korosec, R., Krenn, W., Mateis, C., Schlick, R. & Schumi, R. A., 2019, In : Software quality journal. 27, 2, p. 757-795

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Activities 1996 2019

Predicting and Testing Latencies with Deep Learning: an IoT Case Study

Bernhard Aichernig (Speaker)
10 Oct 2019

Activity: Talk or presentationTalk at conference or symposiumScience to science

Programming Behavioral Test Models for SMT Solving in Scala

Bernhard Aichernig (Speaker)
22 Apr 2019

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

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Bernhard Aichernig (Speaker)
8 Oct 2019

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

Prizes

Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems

Bernhard Aichernig (Recipient), Roderick Bloem (Recipient), Masoud Ebrahimi (Recipient), Martin Horn (Recipient), Franz Pernkopf (Recipient), Wolfgang Roth (Recipient), Astrid Rupp (Recipient), Martin Tappler (Recipient) & Markus Tranninger (Recipient), Oct 2019

Prize: Prizes / Medals / Awards

Projects 1995 2022