Bilgram, Alexander; Jensen, Peter G.; Pedersen, Thomas; Srba, Jiří; Taankvist, Peter H. Methods for efficient unfolding of colored Petri nets. (English) Zbl 07770062 Fundam. Inform. 189, No. 3-4, 297-320 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{A. Bilgram} et al., Fundam. Inform. 189, No. 3--4, 297--320 (2022; Zbl 07770062) Full Text: DOI
Jensen, Peter Gjøl; Kiviriga, Andrej; Guldstrand Larsen, Kim; Nyman, Ulrik; Mijačika, Adriana; Høiriis Mortensen, Jeppe Monte Carlo tree search for priced timed automata. (English) Zbl 1522.68273 Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 381-398 (2022). MSC: 68Q45 68T20 90B35 PDFBibTeX XMLCite \textit{P. G. Jensen} et al., Lect. Notes Comput. Sci. 13479, 381--398 (2022; Zbl 1522.68273) Full Text: DOI
Jensen, Peter Gjøl; Srba, Jiří; Ulrik, Nikolaj Jensen; Virenfeldt, Simon Mejlby Automata-driven partial order reduction and guided search for LTL model checking. (English) Zbl 1498.68160 Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 151-173 (2022). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{P. G. Jensen} et al., Lect. Notes Comput. Sci. 13182, 151--173 (2022; Zbl 1498.68160) Full Text: DOI
Bilgram, Alexander; Jensen, Peter G.; Pedersen, Thomas; Srba, Jiří; Taankvist, Peter H. Improvements in unfolding of colored Petri nets. (English) Zbl 07670973 Bell, Paul C. (ed.) et al., Reachability problems. 15th international conference, RP 2021, Liverpool, UK, October 25–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13035, 69-84 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Bilgram} et al., Lect. Notes Comput. Sci. 13035, 69--84 (2021; Zbl 07670973) Full Text: DOI arXiv
Jensen, Peter Gjøl; Schmid, Stefan; Konggaard Schou, Morten; Srba, Jiří; Vanerio, Juan; van Duijn, Ingo Faster pushdown reachability analysis with applications in network verification. (English) Zbl 1497.68308 Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 170-186 (2021). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. G. Jensen} et al., Lect. Notes Comput. Sci. 12971, 170--186 (2021; Zbl 1497.68308) Full Text: DOI
Bønneland, Frederik M.; Jensen, Peter G.; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří Stubborn set reduction for timed reachability and safety games. (English) Zbl 07497999 Dima, Catalin (ed.) et al., Formal modeling and analysis of timed systems. 19th international conference, FORMATS 2021, Paris, France, August 24–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12860, 32-49 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. M. Bønneland} et al., Lect. Notes Comput. Sci. 12860, 32--49 (2021; Zbl 07497999) Full Text: DOI
Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří Automatic synthesis of transiently correct network updates via Petri games. (English) Zbl 1489.68157 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 118-137 (2021). MSC: 68Q85 68M10 68Q60 68R10 91A80 PDFBibTeX XMLCite \textit{M. Didriksen} et al., Lect. Notes Comput. Sci. 12734, 118--137 (2021; Zbl 1489.68157) Full Text: DOI
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand, Larsen Kim Verification and parameter synthesis for real-time programs using refinement of trace abstraction. (English) Zbl 1478.68053 Fundam. Inform. 178, No. 1-2, 31-57 (2021). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{F. Cassez} et al., Fundam. Inform. 178, No. 1--2, 31--57 (2021; Zbl 1478.68053) Full Text: DOI arXiv
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří Stubborn set reduction for two-player reachability games. (English) Zbl 1501.68002 Log. Methods Comput. Sci. 17, No. 1, Paper No. 21, 26 p. (2021). Reviewer: Marco Benini (Como) MSC: 68Q85 68Q60 91A80 PDFBibTeX XMLCite \textit{F. M. Bønneland} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 21, 26 p. (2021; Zbl 1501.68002) Full Text: arXiv Link
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim G.; Muñiz, Marco; Srba, Jiří Partial order reduction for reachability games. (English) Zbl 07649931 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 23, 15 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. M. Bønneland} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 23, 15 p. (2019; Zbl 07649931) Full Text: DOI
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří Stubborn versus structural reductions for Petri nets. (English) Zbl 1407.68330 J. Log. Algebr. Methods Program. 102, 46-63 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. M. Bønneland} et al., J. Log. Algebr. Methods Program. 102, 46--63 (2019; Zbl 1407.68330) Full Text: DOI
Bønneland, Frederik M.; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří Start pruning when time gets urgent: partial order reduction for timed systems. (English) Zbl 1511.68180 Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 527-546 (2018). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{F. M. Bønneland} et al., Lect. Notes Comput. Sci. 10981, 527--546 (2018; Zbl 1511.68180) Full Text: DOI
Bønneland, Frederik; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří Simplification of CTL formulae for efficient model checking of Petri nets. (English) Zbl 1427.68161 Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 143-163 (2018). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{F. Bønneland} et al., Lect. Notes Comput. Sci. 10877, 143--163 (2018; Zbl 1427.68161) Full Text: DOI
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří A distributed fixed-point algorithm for extended dependency graphs. (English) Zbl 1396.68070 Fundam. Inform. 161, No. 4, 351-381 (2018). MSC: 68Q60 68Q85 68W15 PDFBibTeX XMLCite \textit{A. E. Dalsgaard} et al., Fundam. Inform. 161, No. 4, 351--381 (2018; Zbl 1396.68070) Full Text: DOI
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand Larsen, Kim Refinement of trace abstraction for real-time programs. (English) Zbl 1478.68052 Hague, Matthew (ed.) et al., Reachability problems. 11th international workshop, RP 2017, London, UK, September 7–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10506, 42-58 (2017). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{F. Cassez} et al., Lect. Notes Comput. Sci. 10506, 42--58 (2017; Zbl 1478.68052) Full Text: DOI
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří PTrie: data structure for compressing and storing sets via prefix sharing. (English) Zbl 1444.68063 Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 248-265 (2017). MSC: 68P05 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. G. Jensen} et al., Lect. Notes Comput. Sci. 10580, 248--265 (2017; Zbl 1444.68063) Full Text: DOI
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří Real-time strategy synthesis for timed-arc Petri net games via discretization. (English) Zbl 1354.68196 Bošnački, Dragan (ed.) et al., Model checking software. 23rd international symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-32581-1/pbk; 978-3-319-32582-8/ebook). Lecture Notes in Computer Science 9641, 129-146 (2016). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{P. G. Jensen} et al., Lect. Notes Comput. Sci. 9641, 129--146 (2016; Zbl 1354.68196) Full Text: DOI
David, Alexandre; Jensen, Peter G.; Guldstrand Larsen, Kim; Legay, Axel; Lime, Didier; Sørensen, Mathias Grund; Taankvist, Jakob H. On time with minimal expected cost! (English) Zbl 1448.68294 Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 129-145 (2014). MSC: 68Q60 68Q45 68T05 90B35 90C40 91A80 PDFBibTeX XMLCite \textit{A. David} et al., Lect. Notes Comput. Sci. 8837, 129--145 (2014; Zbl 1448.68294) Full Text: DOI
Jeske, Daniel R.; Xu, Huaying Karen; Blessinger, Todd; Jensen, Peter; Trumble, John Testing for the equality of EC50 values in the presence of unequal slopes with application to toxicity of selenium types. (English) Zbl 1306.62233 J. Agric. Biol. Environ. Stat. 14, No. 4, 469-483 (2009). MSC: 62P10 PDFBibTeX XMLCite \textit{D. R. Jeske} et al., J. Agric. Biol. Environ. Stat. 14, No. 4, 469--483 (2009; Zbl 1306.62233) Full Text: DOI