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.
- 7 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 › Research › peer-review
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 › Research › peer-review
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 › Research › peer-review
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 › Research › peer-review
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 › Research › peer-review
Activities 1996 2018
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)11 Sep 2018
Activity: Talk or presentation › Invited talk › Science to science
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)10 Sep 2018
Activity: Talk or presentation › Talk at workshop, seminar or course › 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
Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)5 Jun 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
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
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