B. Aichernig
发表
Florian Lorber,
Amnon Rosenmann,
Dejan Nickovic,
2015,
FORMATS.
Florian Lorber,
Dejan Nickovic,
Bernhard K. Aichernig,
2013,
TAP@STAF.
B. Aichernig,
P. Salas,
2005
.
Bernhard K. Aichernig,
Willibald Krenn,
B. Aichernig,
2009,
Electron. Notes Theor. Comput. Sci..
Alexander K. Petrenko,
Bernhard K. Aichernig,
Tomasz Janowski,
2008
.
D. Ničković,
Florian Lorber,
B. Aichernig,
2013
.
Jifeng He,
B. Aichernig,
2005
.
B. Aichernig,
Martin Tappler,
Filip Cano C'ordoba,
2022,
IJCAI.
B. Aichernig,
Ingo Pill,
Martin Tappler,
2022,
2206.11708.
B. Aichernig,
1998
.
B. Aichernig,
A. Rossini,
2015
.
B. Aichernig,
Ingo Pill,
Martin Tappler,
2022,
ArXiv.
B. Aichernig,
Edi Muvskardin,
Andrea Pferscher,
2022,
Electronic Proceedings in Theoretical Computer Science.
B. Aichernig,
2008
.
B. Aichernig,
Martin Tappler,
2018,
Journal of Automated Reasoning.
Bernhard K. Aichernig,
Frank S. de Boer,
Marcello M. Bonsangue,
2010,
Lecture Notes in Computer Science.
B. Aichernig,
Andrea Pferscher,
2022,
ArXiv.
Florian Lorber,
Dejan Nickovic,
Bernhard K. Aichernig,
2017,
International Journal on Software Tools for Technology Transfer.
Florian Lorber,
Dejan Nickovic,
Bernhard K. Aichernig,
2015,
International Journal on Software Tools for Technology Transfer.
Bernhard K. Aichernig,
Andrea Pferscher,
B. Aichernig,
2020,
ICTSS.
Bernhard K. Aichernig,
B. Aichernig,
2012
.
Bernhard K. Aichernig,
Franz Wotawa,
Martin Weiglhofer,
2009,
Int. J. Softw. Informatics.
Bernhard K. Aichernig,
Martin Tappler,
Roderick Bloem,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Bernhard K. Aichernig,
B. Aichernig,
2001
.
D. Ničković,
Florian Lorber,
A. Rosenmann,
2015,
Real-Time Systems.
Bernhard K. Aichernig,
Franz Wotawa,
Harald Brandl,
2009,
MBT@ETAPS.
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
pdf
Bernhard K. Aichernig,
Franz Pernkopf,
Martin Horn,
2019,
ICTSS.
Bernhard K. Aichernig,
Mohammad Reza Mousavi,
Martin Tappler,
2018,
Machine Learning for Dynamic Software Analysis.
Bernhard K. Aichernig,
B. Aichernig,
2003,
Formal Aspects of Computing.
Bernhard K. Aichernig,
B. Aichernig,
1999,
SAFECOMP.
Bernhard K. Aichernig,
Jifeng He,
Jifeng He,
2005
.
Bernhard K. Aichernig,
B. Aichernig,
2002,
10th Anniversary Colloquium of UNU/IIST.
Bernhard K. Aichernig,
B. Aichernig,
2001,
J. Univers. Comput. Sci..
Farhad Arbab,
Bernhard K. Aichernig,
Frank S. de Boer,
2012,
Sci. Comput. Program..
R. Schlick,
Richard Schumi,
Cristinel Mateis,
2019,
Software Quality Journal.
Bernhard K. Aichernig,
Rudolf Schlatte,
Marcel Kyas,
2009
.
Bernhard K. Aichernig,
B. Aichernig,
1997
.
Bernhard K. Aichernig,
Martin Tappler,
B. Aichernig,
2017,
Formal Methods in System Design.
Bernhard K. Aichernig,
Martin Tappler,
B. Aichernig,
2017,
RV.
Bernhard K. Aichernig,
Franz Wotawa,
Christian Schwarzl,
2011,
ICTSS.
Bernhard K. Aichernig,
Rupert Schlick,
Willibald Krenn,
2009,
FMCO.
Kim G. Larsen,
Bernhard K. Aichernig,
Giovanni Bacci,
2019,
FM.
Bernhard K. Aichernig,
Martin Tappler,
Ingo Pill,
2021,
SEFM.
Bernhard K. Aichernig,
Martin Tappler,
B. Aichernig,
2018,
Journal of Automated Reasoning.
Bernhard K. Aichernig,
Martin Tappler,
B. Aichernig,
2017,
NFM.
T. Pock,
B. Aichernig,
Ingo Pill,
2023,
arXiv.org.
Bernhard K. Aichernig,
Rudolf Schlatte,
R. Schlatte,
2005
.
Bernhard K. Aichernig,
Martin Tappler,
Ingo Pill,
2022,
Innovations in Systems and Software Engineering.
Bernhard K. Aichernig,
Stefan Tiran,
Rupert Schlick,
2015,
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).
Bernhard K. Aichernig,
Willibald Krenn,
Elisabeth Jöbstl,
2009,
FMCO.
Farhad Arbab,
Bernhard K. Aichernig,
Frank S. de Boer,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Bernhard K. Aichernig,
Jifeng He,
Jifeng He,
2009,
Formal Aspects of Computing.
Bernhard K. Aichernig,
Martin Weiglhofer,
B. Aichernig,
2008,
UTP.
Bernhard K. Aichernig,
Jifeng He,
Zhiming Liu,
2005,
VSTTE.
Bernhard K. Aichernig,
Meng Sun,
B. Aichernig,
2003
.
Kim G. Larsen,
Florian Lorber,
Bernhard K. Aichernig,
2019,
FORMATS.
Stefan J. Galler,
B. Aichernig,
2014,
International Journal on Software Tools for Technology Transfer.
Bernhard K. Aichernig,
Stefan J. Galler,
B. Aichernig,
2014
.
Bernhard K. Aichernig,
Percy Antonio Pari Salas,
B. Aichernig,
2005,
Fifth International Conference on Quality Software (QSIC'05).
Bernhard K. Aichernig,
B. Aichernig,
2019,
UTP.
Bernhard K. Aichernig,
B. Aichernig,
2012,
SBLP.
Christel Baier,
Wang Yi,
Bernhard K. Aichernig,
2010,
TTSS.
Christel Baier,
Bernhard K. Aichernig,
Frank S. de Boer,
2009,
FMCO.
B. Aichernig,
Martin Tappler,
Bettina Könighofer,
2023,
ArXiv.
Bernhard K. Aichernig,
Martin Tappler,
Andrea Pferscher,
2020,
NFM.
Kim G. Larsen,
Florian Lorber,
Bernhard K. Aichernig,
2018,
ArXiv.
Bernhard K. Aichernig,
Christian Burghard,
Robert Korosec,
2019,
NFM.
Bernhard K. Aichernig,
Jifeng He,
B. Aichernig,
2007,
Refine@ICFEM.
B. Aichernig,
Martin Tappler,
Felix Wallner,
2023,
Formal Aspects of Computing.
Bernhard K. Aichernig,
Martin Tappler,
Felix Wallner,
2020,
TAP@STAF.
B. Meyer,
Wolfram Schulte,
Mario Ornaghi,
2008
.
Bernhard K. Aichernig,
Johann Hörl,
B. Aichernig,
1999,
World Congress on Formal Methods.
Florian Lorber,
Dejan Nickovic,
Bernhard K. Aichernig,
2013
.
Bernhard K. Aichernig,
Rupert Schlick,
Willibald Krenn,
2014,
TAP@STAF.
Bernhard K. Aichernig,
Elisabeth Jöbstl,
B. Aichernig,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Bernhard K. Aichernig,
Stefan Tiran,
Elisabeth Jöbstl,
2015,
Sci. Comput. Program..
Bernhard K. Aichernig,
Cristinel Mateis,
Rupert Schlick,
2019,
Software Quality Journal.
Bernhard K. Aichernig,
Richard Schumi,
Severin Kann,
2018,
SETTA.
Bernhard K. Aichernig,
Richard Schumi,
Richard Schumi,
2018,
QEST.
Bernhard K. Aichernig,
Rupert Schlick,
Willibald Krenn,
2017,
ICTSS.
Bernhard K. Aichernig,
Peter Gorm Larsen,
P. Larsen,
1997,
FME.
Bernhard K. Aichernig,
Richard Schumi,
Richard Schumi,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Bernhard K. Aichernig,
Franz Wotawa,
Mihai Nica,
2010,
2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
B. Aichernig,
Edi Muškardin,
Andrea Pferscher,
2023,
FMDT@FM.
T. Pock,
B. Aichernig,
Ingo Pill,
2023,
ArXiv.
Luís Soares Barbosa,
Jiyin He,
not Cwi,
2006,
Measurement and Modeling of Computer Systems.