Frederik Meyer Bønneland

Research output

Research output per year 2018 2018 2019 2021 2021

• 4 Article in proceeding
• 2 Journal article
• 1 PhD thesis

Research output per year

Research output per year

Search results

• 2018

  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 proceeding › Article in proceeding › Research › peer-review

  • Model Checking 100%
  • State Space 66%
  • Partial Order Reduction 66%
  • Algorithms 33%
  • Atomic Proposition 33%
  15 Citations (Scopus)

• 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 proceeding › Article in proceeding › Research › peer-review

  Open Access

  File
  6 Citations (Scopus)

  219 Downloads (Pure)
• 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, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  Open Access

  File

  • Partial Order Reduction 100%
  • State Space 33%
  • Transition System 33%
  • Concurrent System 33%
  • Model Checking 33%
  8 Citations (Scopus)

  56 Downloads (Pure)

• Stubborn versus structural reductions for Petri nets

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

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

  • Reduction 100%
  • Annuals 100%
  • State 75%
  • Order 50%
  • Inhibitor 25%
  14 Citations (Scopus)

  73 Downloads (Pure)
• 2021

  Stubborn Set Reduction for Timed Reachability and Safety Games

  Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, Vol. 12860. p. 32-49 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Partial Order Reduction 100%
  • State Space 50%
  • Reactive System 50%
  • Transition System 50%
  • Synthesis Problem 50%
  1 Citation (Scopus)

• Stubborn Set Reduction for Two-Player Reachability Games

  Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 1 Mar 2021, In: Logical Methods in Computer Science. 17, 1

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access
  5 Citations (Scopus)

• Time For Stubborn Game Reductions

  Bønneland, F. M., 2021, Aalborg Universitetsforlag. 165 p.

  Research output: PhD thesis

  Open Access

  File
  153 Downloads (Pure)