Research Output per year
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 proceeding › Conference contribution › Research › peer-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 journal › Article › Research › peer-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 proceeding › Conference contribution › Research › peer-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 proceeding › Conference contribution › Research › peer-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-795Research output: Contribution to journal › Article › Research › peer-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 presentation › Talk at conference or symposium › Science to science
Programming Behavioral Test Models for SMT Solving in Scala
Bernhard Aichernig (Speaker)22 Apr 2019
Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Bernhard Aichernig (Speaker)8 Oct 2019
Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
Smart Black-box Testing
Bernhard Aichernig (Keynote speaker)7 Dec 2018
Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
Model-based Mutation Testing - The Science of Killing Bugs in a Black Box
Bernhard Aichernig (Speaker)11 Jun 2018
Activity: Talk or presentation › Invited talk at conference or symposium › Science 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
Dependable Internet of Things
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, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project
TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems
1/11/14 → 31/10/17
Project: Research project
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Project: Research project
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Project: Research project