Florian Lorber

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

    9220 Aalborg Ø

    Danmark

20172019

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 5 Lignende profiler

Netværk

Klik på punkterne for at se detaljerne.
  • 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. (red.). Springer, s. 106-122 17 s. (Lecture Notes in Computer Science, Bind 11495).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    5 Citationer (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. (red.). Heidelberg: Springer, s. 216-235 20 s. (Lecture Notes in Computer Science, Bind 11750).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    5 Citationer (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, Bind 10951. s. 22--36 (Lecture Notes in Computer Science, Bind 10951).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • 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, s. 212-229 (Lecture Notes in Computer Science, Bind 11247).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    5 Citationer (Scopus)
  • Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

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

    Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

    Åben adgang
    Fil
    177 Downloads (Pure)
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.