Bernhard Aichernig

Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

19952020

Research activity per year

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

Fingerprint

Dive into the research topics where Bernhard Aichernig is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 21 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
  • A Formal Modeling Approach for Portable Low-Level OS Functionality

    Martins Gomes, R., Aichernig, B. & Baunach, M. C., 8 Sep 2020, Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Springer International, p. 155-174 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning

    Aichernig, B., Tappler, M. & Wallner, F., 20 Jul 2020, Tests and Proofs - 14th International Conference, TAP 2020, held as part of STAF 2020, Proceedings. Ahrendt, W. & Wehrheim, H. (eds.). p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12165 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • From Passive to Active: Learning Timed Automata Efficiently

    Aichernig, B., Pferscher, A. & Tappler, M., 10 Aug 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, Vol. 12229. p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT

    Aichernig, B. & Burghard, C., 2 Dec 2020, Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings. Casola, V., De Benedictis, A. & Rak, M. (eds.). p. 35-51 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12543 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • L*-Based Learning of Markov Decision Processes (Extended Version)

    Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., 2020, (Accepted/In press) In : Formal aspects of computing.

    Research output: Contribution to journalArticle

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