Forschungsoutput pro Jahr
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/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
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 Fachzeitschrift › Artikel › Forschung › Begutachtung
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/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
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/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
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-795Publikation: Beitrag in einer Fachzeitschrift › Artikel › Forschung › Begutachtung
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äsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
Programming Behavioral Test Models for SMT Solving in Scala
Bernhard Aichernig (Redner/in)22 Apr 2019
Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Bernhard Aichernig (Redner/in)8 Okt 2019
Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
Smart Black-box Testing
Bernhard Aichernig (Keynote speaker)7 Dez 2018
Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science 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äsentation › Invited talk bei Konferenz oder Fachtagung › Science 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
Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Foschungsprojekt
Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Projekt: Foschungsprojekt
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Projekt: Foschungsprojekt