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

    9220 Aalborg Ø

    Danmark

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

    9220 Aalborg Ø

    Danmark

20172018
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.

  • 7 Lignende profiler
Real time systems Teknik og materialevidenskab
Model checking Teknik og materialevidenskab
Testing Teknik og materialevidenskab
Specifications Teknik og materialevidenskab
Industry Teknik og materialevidenskab
Alarm systems Teknik og materialevidenskab
Gears Teknik og materialevidenskab

Netværk Klik på punkterne for at se detaljerne.

Publikationer 2017 2018

  • 5 Konferenceartikel i proceeding
  • 1 Konferenceartikel i tidsskrift

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

3 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

Industry
100 Downloads (Pure)

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
Real time systems
Model checking
Testing
1 Citation (Scopus)

Model-Based Mutation Testing of Real-Time Systems via Model Checking

Lorber, F., Larsen, K. G. & Nielsen, B., apr. 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 59-68

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

Model checking
Real time systems
Testing
Specifications
Gears
5 Citationer (Scopus)

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

Liebel, G., Anjorin, A., Knauss, E., Lorber, F. & Tichy, M., 2017, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Hammoudi, S. & Selic, B. (red.). Portugal: SCITEPRESS Digital Library, Bind 1. s. 427-434

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