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

    9220 Aalborg Ø

    Denmark

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

Research Output 2014 2019

  • 13 Article in proceeding
  • 3 Journal article
  • 1 Ph.D. thesis
  • 1 Book chapter
2019

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

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-381

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (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 journalJournal articleResearchpeer-review

Petri nets
Controllers
158 Downloads (Pure)

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/ReportPh.D. thesisResearch

Open Access
File
1 Citation (Scopus)
161 Downloads (Pure)

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 proceedingArticle in proceedingResearchpeer-review

Open Access
File
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. (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 proceedingBook chapterResearchpeer-review

edition
Spain
evaluation
software
2 Citations (Scopus)

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 8 Mar 2018, PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7: Springer Publishing Company, p. 143-163 (Lecture Notes in Computer Science, Vol. 10877).

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

Model checking
Petri nets
Explosions
2 Citations (Scopus)
96 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, p. 527-546 (Lecture Notes in Computer Science, Vol. 10981).

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

Open Access
File
2017

Practical controller synthesis for MTL0,∞

Li, G., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 13 Jul 2017, SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 102-111 10 p.

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

Temporal logic
Controllers
Model checking
Scalability
6 Citations (Scopus)

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

Jensen, P. G., Larsen, K. G. & Srba, J., 2017, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Springer, Vol. 10580. p. 248-265 18 p. (Lecture Notes in Computer Science).

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

4 Citations (Scopus)

Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

Hansen, R. R., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 2017, Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, p. 75-90 (Lecture Notes in Computer Science).

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

Open Access
3 Citations (Scopus)

Refinement of Trace Abstraction for Real-Time Programs

Cassez, F., Jensen, P. G. & Larsen, K. G., 7 Sep 2017, Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, p. 42-58 (Lecture Notes in Computer Science, Vol. 10506).

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

3 Citations (Scopus)

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

Cassez, F., Gonzalez de Aledo, P. & Jensen, P. G., 2017, Models, Algorithms, Logics and Tools. Springer, (Lecture Notes in Computer Science, Vol. 10460).

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

2016
5 Citations (Scopus)

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

Jensen, P. G., Larsen, K. G. & Srba, J., 8 Apr 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, p. 129-146 (Lecture Notes in Computer Science, Vol. 9641).

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

Petri nets
Controllers
2015
296 Downloads (Pure)

Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

Bogomolov, S., Greitschus, M., Jensen, P. G., Larsen, K. G., Mikučionis, M., Strump, T. & Tripakis, S., 2015, 11th International Modelica Conference Proceedings. Linköping University Electronic Press, p. 159-169 17. (Linköping Electronic Conference Proceedings; No. 118).

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

Open Access
File
Hybrid systems
Model checking
Engines
Heating
Composite materials
45 Citations (Scopus)

Uppaal Stratego

David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Baier, C. & Tinelli, C. (eds.). London, UK: Springer, p. 206-211 6 p. (Lecture Notes in Computer Science; No. 9035).

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

Query languages
Model checking
2014
7 Citations (Scopus)

Memory Efficient Data Structures for Explicit Verification of Timed Systems

Taankvist, J. H., Srba, J., Larsen, K. G., Sørensen, M. G. & Jensen, P. G., 2014, NASA Formal Methods. Badger, J. M. & Rozier, K. Y. (eds.). Springer Publishing Company, Vol. 8430. p. 307-312 6 p. (Lecture Notes in Computer Science).

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

27 Citations (Scopus)

On Time with Minimal Expected Cost!

David, A., Jensen, P. G., Larsen, K. G., Legay, A., Lime, D., Sørensen, M. G. & Taankvist, J. H., 2014, Automated Technology for Verification and Analysis. Cassez, F. & Raskin, J-F. (eds.). Springer Publishing Company, Vol. 8837. p. 129-145 16 p. (Lecture Notes in Computer Science).

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