Publikationer pr. år
Publikationer pr. år
- 3 resultater
Søgeresultater
-
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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil8 Citationer (Scopus)58 Downloads (Pure) -
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, s. 143-163 (Lecture Notes in Computer Science, Bind 10877).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
15 Citationer (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, s. 527-546 (Lecture Notes in Computer Science, Bind 10981).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil6 Citationer (Scopus)219 Downloads (Pure)