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.
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
Statistical Model Checking of Response Times for Different System Deployments
Aichernig, B. K., Kann, S. & Schumi, R. A. 2018 Dependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Model checking
Load testing
Testing
Hardware
Statistical Models
Activities 1996 2016
1st Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'16), Part of CPS Week
Aichernig, B. (Keynote speaker)11 Apr 2016
Activity: Science to science › Talk at workshop, seminar or course
7th Workshop Computer Science Research Meets Business
Aichernig, B. (Speaker)17 Nov 2016
Activity: Science to science › Invited talk
Celebration Event for Frank de Boer's 60th Birthday
Aichernig, B. (Speaker)3 Apr 2016
Activity: Science to science › Invited talk
Programmkomitee FM 2015, Oslo (Norwegen) (External organisation)
Aichernig, B. (Member)2 Jan 2015 → 26 Jun 2015
Activity: Membership in Programm Committee
Programmkomitee TAP 2015, Aquilla (Italien) (External organisation)
Aichernig, B. (Member)23 Feb 2015 → 24 Jul 2015
Activity: Membership in Programm Committee
Projects 1995 2018
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/12/18
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