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

    9220 Aalborg Ø

    Danmark

20172021

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.
  • 1 Lignende profiler

Netværk

Klik på punkterne for at se detaljerne.
  • Message from the A-MOST 2021 Workshop Chairs

    Lefticaru, R., Lorber, F. & Türker, U. C., apr. 2021, I: Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021. s. XVII 9440141.

    Publikation: Bidrag til tidsskriftLederForskningpeer review

  • Conformance Testing in UPPAAL: A diabolic approach

    Njor, E. J., Lorber, F., Schmidt, N. I. & Petersen, S. R., okt. 2020, Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020. IEEE, s. 35-42 8 s. 9156025

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

  • Shield Synthesis for Reinforcement Learning

    Könighofer, B., Lorber, F., Jansen, N. & Bloem, R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer Science+Business Media, s. 290-306 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12476 LNCS).

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

    7 Citationer (Scopus)
  • 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

    9 Citationer (Scopus)