Research Output per year
Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 10 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 1997 2018
Automata Learning for Symbolic Execution
Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J. 2018 FMCAD'18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Efficient Active Automata Learning via Mutation Testing
Aichernig, B. & Tappler, M. 25 Oct 2018 In : Journal of Automated Reasoning. p. 1 - 32 32 p.Research output: Contribution to journal › Article
How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols
Aichernig, B. K. & Schumi, R. A. 2018 Quantitative Evaluation of Systems - 15th International Conference, QEST 2018. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Model Learning and Model-Based Testing
Aichernig, B., Mostowski, W., Mousavi, M. R., Tappler, M. & Taromirad, M. 20 Jul 2018 Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Bennaceur, A., Hähnle, R. & Meinke, K. (eds.). Cham: Springer Nature, p. 74 - 100 27 p. (Lecture Notes in Computer Science; vol. 11026)Research output: Chapter in Book/Report/Conference proceeding › Chapter
Special section of Tests and Proofs 2016
Aichernig, B. K., Furia, C. A., Gaudel, M. C. & Hierons, R. 1 Nov 2018 In : Formal aspects of computing. 30, 6, p. 627-628 2 p.Research output: Contribution to journal › Editorial
Activities 1996 2018
Smart Black-box Testing
Aichernig, B. (Keynote speaker)Activity: Science to science › Invited talk at conference or symposium
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Aichernig, B. (Speaker)Activity: Science to science › Talk at workshop, seminar or course
Model-based Mutation Testing - The Science of Killing Bugs in a Black Box
Aichernig, B. (Speaker)Activity: Science to science › Invited talk at conference or symposium
Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing
Aichernig, B. (Speaker)Activity: Science to science › Invited talk at conference or symposium
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Aichernig, B. (Speaker)Activity: Science to science › Invited talk
Projects 1995 2019
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., Gentili, F., Bösch, W., Baunach, M. C., Schrank, T., Bakr, M. S. A., Tappler, M., Luppi, A., Malenko, M. & Rotulo, M.
1/01/16 → 31/03/19
Project: Research project
Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area › Research Area
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