Bernhard Aichernig

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

19952020

Publikationen pro Jahr

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint

Ergründen Sie die Forschungsthemen, in denen Bernhard Aichernig aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
  • 22 Ähnliche Profile

Netzwerk

Jüngste externe Zusammenarbeit auf Länderebene Erkunden Sie die Details, indem Sie auf die Punkte klicken.
  • 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. (Hrsg.). Springer International, S. 155-174 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12310 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

  • 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. (Hrsg.). S. 3-22 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12165 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

  • 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. (Hrsg.). Springer, Band 12229. S. 1-19 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12229 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

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

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

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

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

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

    Publikation: Beitrag in einer FachzeitschriftArtikel

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.