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.
- 9 Ähnliche Profile
Testing
Ingenieurwesen & Materialwissenschaft
Model checking
Ingenieurwesen & Materialwissenschaft
Web services
Ingenieurwesen & Materialwissenschaft
Business Rules
Mathematik
Timed Automata
Mathematik
Network protocols
Ingenieurwesen & Materialwissenschaft
Load testing
Ingenieurwesen & Materialwissenschaft
Web Services
Mathematik
Netzwerk
Kürzliche externe Kooperation auf Landesebene. Details anzeigen, indem Sie auf die Punkte klicken.
Forschungsoutput 1997 2019
Probabilistic black-box reachability checking (extended version)
Aichernig, B. & Tappler, M., 2019, in : Formal methods in system design. 33 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Forschung › Begutachtung
Open Access
Time to Learn - Learning Timed Automata from Tests
Tappler, M., Aichernig, B., Larsen, K. G. & Lorber, F., 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer, S. 216 - 235 20 S. (Lecture Notes in Computer Science; Band 11750).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
Automata Learning for Symbolic Execution
Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (Hrsg.). IEEE CS, S. 130 - 138 9 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
Testing
Efficient Active Automata Learning via Mutation Testing
Aichernig, B. & Tappler, M., 25 Okt 2018, in : Journal of Automated Reasoning. S. 1 - 32 32 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Forschung › Begutachtung
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. SpringerPublikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Forschung › Begutachtung
Model checking
Network protocols
Testing
Chemical analysis
Internet of things
Aktivitäten 1996 2018
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Redner/in)10 Sep 2018
Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Redner/in)5 Jun 2018
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
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Redner/in)11 Sep 2018
Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science
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