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
Testing
Engineering & Materials Science
Model checking
Engineering & Materials Science
Web services
Engineering & Materials Science
Business Rules
Mathematics
Timed Automata
Mathematics
Network protocols
Engineering & Materials Science
Load testing
Engineering & Materials Science
Web Services
Mathematics
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
Testing
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
Open Access
Testing
Costs
Experiments
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 checking
Network protocols
Testing
Chemical analysis
Internet of things
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
Testing
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)7 Dec 2018
Activity: Science to science › Invited talk at conference or symposium
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Aichernig, B. (Speaker)10 Sep 2018
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)11 Jun 2018
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)5 Jun 2018
Activity: Science to science › Invited talk at conference or symposium
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Aichernig, B. (Speaker)11 Sep 2018
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