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

    9220 Aalborg Ø

    Danmark

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

  • 8 Lignende profiler
Controllers Teknik og materialevidenskab
Heating Teknik og materialevidenskab
Conformance Testing Matematik
Formal Verification Matematik
Telecommunication traffic Teknik og materialevidenskab
Formal methods Teknik og materialevidenskab
Radar Teknik og materialevidenskab
Certification Matematik

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

Publikationer 2016 2018

  • 5 Konferenceartikel i proceeding
  • 1 Tidsskriftartikel

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2018, (Accepteret/In press) Essays on the Occasion of Bernhard Steffen's 60th Birthday. Springer, (Lecture Notes in Computer Science).

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

2 Citationer (Scopus)
90 Downloads (Pure)

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 jul. 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, s. 527-546 (Lecture Notes in Computer Science, Bind 10981).

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

Åben adgang
Fil

Uppaal Stratego for Intelligent Traffic Lights

Eriksen, A. B., Huang, C., Kildebogaard, J., Lahrmann, H. S., Larsen, K. G., Muniz, M. & Taankvist, J. H., 2017, 12th ITS European Congress: Strasbourg, France, 19-22 June 2017. ERTICO - ITS Europe, 10 s. SP0878

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

Telecommunication traffic
Controllers
Radar
Cruise control
Information use
20 Citationer (Scopus)

Online and Compositional Learning of Controllers with Application to Floor Heating

Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, s. 244-259 15 s. (Lecture Notes in Computer Science, Bind 9636).

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

Heating
Controllers
Analog to digital conversion
Concrete construction
Learning systems
5 Citationer (Scopus)

Ready for testing: ensuring conformance to industrial standards through formal verification

Feo-Arenis, S., Westphal, B., Dietsch, D., Muñiz, M., Andisha, S. & Podelski, A., 2016, I : Formal Aspects of Computing. 28, 3, s. 499-527 29 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Conformance Testing
Formal Verification
Formal methods
Certification
Formal Methods