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
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří Extended dependency graphs and efficient distributed fixed-point computation. (English) Zbl 1393.68098 van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 139-158 (2017). MSC: 68Q60 68Q85 68W15 PDFBibTeX XMLCite \textit{A. E. Dalsgaard} et al., Lect. Notes Comput. Sci. 10258, 139--158 (2017; Zbl 1393.68098) Full Text: DOI
Gadyatskaya, Olga; Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted Modelling attack-defense trees using timed automata. (English) Zbl 1433.68251 Fränzle, Martin (ed.) et al., Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24–26, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9884, 35-50 (2016). MSC: 68Q85 68M25 68Q45 68Q60 PDFBibTeX XMLCite \textit{O. Gadyatskaya} et al., Lect. Notes Comput. Sci. 9884, 35--50 (2016; Zbl 1433.68251) Full Text: DOI HAL
Olesen, Mads Christian; Hansen, René Rydhof; Larsen, Kim Guldstrand An automata-based approach to trace partitioned abstract interpretation. (English) Zbl 1474.68059 Probst, Christian W. (ed.) et al., Semantics, logics, and calculi. Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Cham: Springer. Lect. Notes Comput. Sci. 9560, 88-110 (2016). MSC: 68N30 68Q45 PDFBibTeX XMLCite \textit{M. C. Olesen} et al., Lect. Notes Comput. Sci. 9560, 88--110 (2016; Zbl 1474.68059) Full Text: DOI
Dalsgaard, Andreas E.; Laarman, Alfons; Larsen, Kim G.; Olesen, Mads Chr.; van de Pol, Jaco Multi-core reachability for timed automata. (English) Zbl 1374.68277 Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 91-106 (2012). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{A. E. Dalsgaard} et al., Lect. Notes Comput. Sci. 7595, 91--106 (2012; Zbl 1374.68277) Full Text: DOI