Florian Lorber
发表
Florian Lorber,
Bernhard K. Aichernig,
Martin Tappler,
2016,
Theory and Practice of Formal Methods.
Florian Lorber,
2015,
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).
Kim G. Larsen,
Florian Lorber,
Bernhard K. Aichernig,
2018,
ArXiv.
Kim G. Larsen,
Florian Lorber,
Jirí Srba,
2019,
RSSRail.
Florian Lorber,
Dejan Nickovic,
Bernhard K. Aichernig,
2015,
International Journal on Software Tools for Technology Transfer.
Florian Lorber,
Bernhard K. Aichernig,
Stefan Tiran,
2014,
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
Florian Lorber,
Amnon Rosenmann,
Dejan Nickovic,
2015,
FORMATS.
Kim G. Larsen,
Florian Lorber,
Bernhard K. Aichernig,
2019,
FORMATS.
Kim G. Larsen,
Brian Nielsen,
Florian Lorber,
2018,
ISoLA.
Florian Lorber,
Bernhard K. Aichernig,
Klaus Hörmaier,
2014,
SAFECOMP.
Kim G. Larsen,
Brian Nielsen,
Florian Lorber,
2018,
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Florian Lorber,
Bernhard K. Aichernig,
2015,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Kim G. Larsen,
Florian Lorber,
Peter Gjøl Jensen,
2020,
ArXiv.
Kim G. Larsen,
Brian Nielsen,
Florian Lorber,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Florian Lorber,
Bernhard K. Aichernig,
2015
.
Florian Lorber,
Ulrik Nyman,
Christian Ovesen,
2018,
GandALF.
Florian Lorber,
Dejan Nickovic,
Bernhard K. Aichernig,
2013,
TAP@STAF.
Florian Lorber,
Dejan Nickovic,
Bernhard K. Aichernig,
2013
.
Florian Lorber,
Bernhard K. Aichernig,
Stefan Tiran,
2012,
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Florian Lorber,
Nils Jansen,
Bettina Könighofer,
2020,
ISoLA.
Florian Lorber,
Eric Knauss,
Matthias Tichy,
2017,
MODELSWARD.
Florian Lorber,
Bernhard K. Aichernig,
2016,
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).
Kim G. Larsen,
Brian Nielsen,
Florian Lorber,
2018,
FM.
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1
pdf
Florian Lorber,
César Sánchez,
Cyrille Artho,
2019,
ArXiv.
Florian Lorber,
Dejan Nickovic,
Bernhard K. Aichernig,
2017,
International Journal on Software Tools for Technology Transfer.
Florian Lorber,
Dejan Nickovic,
Bernhard K. Aichernig,
2014,
2014 14th International Conference on Quality Software.