Florian Lorber

  • Selma Lagerløfs Vej 300, 1-2-34

    9220 Aalborg Ø

    Denmark

20172019

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 5 Similar Profiles

Network Dive into details by clicking on the dots.

Research Output

  • 7 Article in proceeding
  • 1 Conference article in Journal

Safe and Time-Optimal Control for Railway Games

Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (eds.). Springer, p. 106-122 17 p. (Lecture Notes in Computer Science, Vol. 11495).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 4 Citations (Scopus)

    Time to Learn - Learning Timed Automata from Tests

    Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., Aug 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (eds.). Heidelberg: Springer, p. 216-235 20 p. (Lecture Notes in Computer Science, Vol. 11750).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 4 Citations (Scopus)

    20 Years of Real Real Time Model Validation

    Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

    Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 5 Citations (Scopus)

    Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

    Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 Sep 2018, In : Electronic Proceedings in Theoretical Computer Science. 277, p. 147-160 14 p.

    Research output: Contribution to journalConference article in JournalResearchpeer-review

    Open Access
    File
  • 169 Downloads (Pure)