×

Found 5 Documents (Results 1–5)

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI HAL

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software