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

    9220 Aalborg Ø

    Denmark

20032019
If you made any changes in Pure these will be visible here soon.

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 7 Similar Profiles
Petri nets Engineering & Materials Science
Model checking Engineering & Materials Science
Transition Systems Mathematics
Petri Nets Mathematics
Computability and decidability Engineering & Materials Science
Network protocols Engineering & Materials Science
Timed Automata Mathematics
Arc of a curve Mathematics

Network Dive into details by clicking on the dots.

Projects 2008 2016

Adaptive systems
Model checking
Health care
Automation
Communication
Computer science
Formal verification

Research Output 2003 2019

Partial order reduction for reachability games

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 140. 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Petri nets

Presentation of the 9th Edition of the Model Checking Contest

Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Physica-Verlag, p. 50-68 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11429 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Model checking
Data storage equipment
Bronze
Program processors
Silver

Stubborn versus structural reductions for Petri nets

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

Research output: Contribution to journalJournal articleResearchpeer-review

Petri nets
Petri Nets
State Space
Partial Order
Arc of a curve

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, In : Fundamenta Informaticae. 161, 4, p. 351-381

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (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. (eds.). Springer, p. 173-189 17 p. (Lecture Notes in Computer Science, Vol. 11024).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Hybrid systems
Extrapolation
Statistical methods
Differential equations
Sensors