Florian Lorber

From MaRDI portal
Person:1699227

Available identifiers

zbMath Open lorber.florianMaRDI QIDQ1699227

List of research outcomes





PublicationDate of PublicationType
A modeling concept for formal verification of OS-based compositional software2023-11-24Paper
https://portal.mardi4nfdi.de/entity/Q33848872021-12-17Paper
Conformance checking of real-time models. Symbolic execution vs. bounded model checking2021-05-20Paper
Time to learn -- learning timed automata from tests2020-05-05Paper
Bounded determinization of timed automata with silent transitions2018-02-19Paper
Bounded Determinization of Timed Automata with Silent Transitions2015-09-14Paper

Research outcomes over time

This page was built for person: Florian Lorber

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1699227&oldid=6411260"
Powered by MediaWiki