Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James Model checking real-time systems. (English) Zbl 1392.68235 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1001-1046 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., in: Handbook of model checking. Cham: Springer. 1001--1046 (2018; Zbl 1392.68235) Full Text: DOI HAL
Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James Timed temporal logics. (English) Zbl 1431.03032 Aceto, Luca (ed.) et al., Models, algorithms, logics and tools. Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10460, 211-230 (2017). MSC: 03B44 03D05 68Q60 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 10460, 211--230 (2017; Zbl 1431.03032) Full Text: DOI HAL
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James On termination and invariance for faulty channel machines. (English) Zbl 1259.68142 Formal Asp. Comput. 24, No. 4-6, 595-607 (2012). MSC: 68Q85 03B70 68Q17 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Formal Asp. Comput. 24, No. 4--6, 595--607 (2012; Zbl 1259.68142) Full Text: DOI
Hunter, Paul; Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James Computing rational radical sums in uniform \(\mathrm{TC}^0\). (English) Zbl 1245.68238 Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 308-316, electronic only (2010). MSC: 68U05 68Q25 PDFBibTeX XMLCite \textit{P. Hunter} et al., LIPIcs -- Leibniz Int. Proc. Inform. 8, 308--316 (2010; Zbl 1245.68238) Full Text: DOI Link
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James On termination for faulty channel machines. (English) Zbl 1259.68120 Albers, Susanne (ed.) et al., STACS 2008. 25th international symposium on theoretical aspects of computer science, Bordeaux, France, February 21–23, 2008. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-06-4). LIPIcs – Leibniz International Proceedings in Informatics 1, 121-132, electronic only (2008). MSC: 68Q60 03B44 68Q25 PDFBibTeX XMLCite \textit{P. Bouyer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 1, 121--132 (2008; Zbl 1259.68120) Full Text: DOI arXiv Link
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James On expressiveness and complexity in real-time model checking. (English) Zbl 1155.68426 Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 124-135 (2008). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 5126, 124--135 (2008; Zbl 1155.68426) Full Text: DOI