If you made any changes in Pure these will be visible here soon.

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 proceedingConference 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 journalArticle

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. Springer

Research output: Chapter in Book/Report/Conference proceedingConference 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 proceedingChapter

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. Springer

Research output: Chapter in Book/Report/Conference proceedingConference 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 scienceTalk at workshop, seminar or course

7th Workshop Computer Science Research Meets Business

Aichernig, B. (Speaker)
17 Nov 2016

Activity: Science to scienceInvited talk

Celebration Event for Frank de Boer's 60th Birthday

Aichernig, B. (Speaker)
3 Apr 2016

Activity: Science to scienceInvited talk

Programmkomitee FM 2015, Oslo (Norwegen) (External organisation)

Aichernig, B. (Member)
2 Jan 201526 Jun 2015

Activity: Membership in Programm Committee

Programmkomitee TAP 2015, Aquilla (Italien) (External organisation)

Aichernig, B. (Member)
23 Feb 201524 Jul 2015

Activity: Membership in Programm Committee

Projects 1995 2018

Formal Methods

Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

1/01/95 → …

Project: Research areaResearch Area

CRYSTAL - Critical Systems Engineering Factories

Lorber, F. L. & Aichernig, B.

1/05/1330/04/16

Project: Research project