Foto af Anders Mariegaard
  • Selma Lagerløfs Vej 300, 1-2-48

    9220 Aalborg Ø

    Danmark

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

  • 10 Lignende profiler
Model checking Teknik og materialevidenskab
Linear equations Teknik og materialevidenskab
Costs Teknik og materialevidenskab
Linear systems Teknik og materialevidenskab
Mathematical operators Teknik og materialevidenskab
Semantics Teknik og materialevidenskab
Specifications Teknik og materialevidenskab

Publikationer 2015 2019

  • 4 Konferenceartikel i proceeding
  • 1 Konferenceartikel i tidsskrift
1 Citation (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Mariegaard, A., Larsen, K. G. & Jensen, M. C., 2019, NASA Formal Methods. Springer, Bind 11460. s. 298-315 18 s. (Lecture Notes in Computer Science).

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

Model checking

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

Agesen, M. K., Enevoldsen, S., Le Guilly, T., Mariegaard, A., Olsen, P. & Skou, A. J., 19 aug. 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, s. 603-622 (Lecture Notes in Computer Science, Bind 10460).

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

2 Citationer (Scopus)

Symbolic Dependency Graphs for PCTL Model-Checking

Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Bind 10419. s. 153-169 17 s. (Lecture Notes in Computer Science, Bind 10419).

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

Model checking
Costs
Specifications
1 Citation (Scopus)

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

Foshammer, L., Larsen, K. G. & Mariegaard, A., 2016, Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting'16/SynCoP'16). s. 63-75 13 s. (Electronic Proceedings in Theoretical Computer Science).

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

Åben adgang
25 Downloads (Pure)

Parametric Verification of Weighted Systems

Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 2015, I : Open Access Series in Informatics. 44, s. 77-90

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Model checking
Linear equations
Linear systems
Mathematical operators
Semantics