Research Output per year
Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
Petri nets
Engineering & Materials Science
Model checking
Engineering & Materials Science
Controllers
Engineering & Materials Science
Hybrid systems
Engineering & Materials Science
Temporal logic
Engineering & Materials Science
Query languages
Engineering & Materials Science
edition
Social Sciences
Scalability
Engineering & Materials Science
Network
Dive into details by clicking on the dots.
Research Output 2014 2018
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-381Research output: Contribution to journal › Journal article › Research › peer-review
1
Citation
(Scopus)
Discrete and Continuous Strategies for Timed-Arc Petri Net Games
Jensen, P. G., Larsen, K. G. & Srba, J., 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 529–546 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
Petri nets
Controllers
Efficient Analysis and Synthesis of Complex Quantitative Systems
Jensen, P. G., 2018, Aalborg Universitetsforlag. 227 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).Research output: Book/Report › Ph.D. thesis › Research
Open Access
File
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU
Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 Feb 2018, 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE, p. 11-19 9 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access
File
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. (eds.). Springer, p. 181-209 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
edition
Spain
evaluation
software