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

    9220 Aalborg Ø

    Danmark

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

  • 6 Lignende profiler
Petri nets Teknik og materialevidenskab
Model checking Teknik og materialevidenskab
Transition Systems Matematik
Computability and decidability Teknik og materialevidenskab
Petri Nets Matematik
Network protocols Teknik og materialevidenskab
Timed Automata Matematik
Arc of a curve Matematik

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

Projekter 2008 2016

CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

Larsen, K. G., Skou, A., David, A. & Srba, J.

FP7 STREP

01/04/201331/03/2016

Projekter: ProjektForskning

Adaptive systems
Model checking
Health care
Automation
Communication

MT-LAB: MT-LAB A VKR Foundation Center of Excellence

Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.

VKR Centre of Excellence

01/10/200801/10/2013

Projekter: ProjektForskning

Computer science
Formal verification

Publikationer 2003 2019

Stubborn versus structural reductions for Petri nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, I : Journal of Logical and Algebraic Methods in Programming. 102, s. 46-63 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, I : Fundamenta Informaticae. 161, 4, s. 351-381

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2 Citationer (Scopus)

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

Ivanov, D., Larsen, K. G., Schupp, S. & Srba, J., 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (red.). Springer, s. 173-189 17 s. (Lecture Notes in Computer Science, Bind 11024).

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

Hybrid systems
Extrapolation
Statistical methods
Differential equations
Sensors
3 Citationer (Scopus)

Discrete and Continuous Strategies for Timed-Arc Petri Net Games

Jensen, P. G., Larsen, K. G. & Srba, J., 2018, I : International Journal on Software Tools for Technology Transfer. 20, 5, s. 529–546 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Petri nets
Controllers
1 Citation (Scopus)

MCC’2017: The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 jan. 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (red.). Springer, s. 181-209 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

edition
Spain
evaluation
software