Bernhard Aichernig

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

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

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Bernhard Aichernig aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 7 Ähnliche Profile
Testing Ingenieurwesen & Materialwissenschaft
Model checking Ingenieurwesen & Materialwissenschaft
Web services Ingenieurwesen & Materialwissenschaft
Business Rules Mathematik
Timed Automata Mathematik
Hybrid systems Ingenieurwesen & Materialwissenschaft
Network protocols Ingenieurwesen & Materialwissenschaft
Load testing Ingenieurwesen & Materialwissenschaft

Netzwerk Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.

Forschungsoutput 1997 2019

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Aichernig, B., 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (Hrsg.). Springer, Band 11885. S. 22-38 ( Lecture Notes in Computer Science; Band 11885).

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

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M., 2019, in : Journal of Automated Reasoning. 63, 4, S. 1103-1134 32 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access
Testing
Costs
Experiments

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., 2019, Formal Methods - The Next 30 Years . ter Beek, M. H., McIver, A. & Oliveria, J. N. (Hrsg.). Cham: Springer, S. 651 - 669 19 S. (Lecture Notes in Computer Science; Band 11800).

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

Learning algorithms
Sampling
Formal languages
Model structures
Testing

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning

Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (Hrsg.). Cham: Springer International Publishing AG , S. 3-21 19 S. (Lecture Notes in Computer Science; Band 11812).

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

Hybrid systems
Learning systems
Testing
Recurrent neural networks

Learning and statistical model checking of system response times

Aichernig, B., Bauerstätter, P., Jöbstl, E., Kann, S., Korosec, R., Krenn, W., Mateis, C., Schlick, R. & Schumi, R. A., 2019, in : Software quality journal. 27, 2, S. 757-795

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access

Aktivitäten 1996 2019

Predicting and Testing Latencies with Deep Learning: an IoT Case Study

Bernhard Aichernig (Redner/in)
10 Okt 2019

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Programming Behavioral Test Models for SMT Solving in Scala

Bernhard Aichernig (Redner/in)
22 Apr 2019

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Bernhard Aichernig (Redner/in)
8 Okt 2019

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

Smart Black-box Testing

Bernhard Aichernig (Keynote speaker)
7 Dez 2018

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

Model-based Mutation Testing - The Science of Killing Bugs in a Black Box

Bernhard Aichernig (Redner/in)
11 Jun 2018

Aktivität: Vortrag oder PräsentationInvited talk bei Konferenz oder FachtagungScience to science

Preise

Best Paper Award: The 31st IFIP International Conference on Testing Software and Systems

Bernhard Aichernig (Empfänger/-in), Roderick Bloem (Empfänger/-in), Masoud Ebrahimi (Empfänger/-in), Martin Horn (Empfänger/-in), Franz Pernkopf (Empfänger/-in), Wolfgang Roth (Empfänger/-in), Astrid Rupp (Empfänger/-in), Martin Tappler (Empfänger/-in) & Markus Tranninger (Empfänger/-in), Okt 2019

Auszeichnung: Preise / Medaillen / Ehrungen

Projekte 1995 2022