De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François Robust safety of timed automata. (English) Zbl 1165.68392 Form. Methods Syst. Des. 33, No. 1-3, 45-84 (2008). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. De Wulf} et al., Form. Methods Syst. Des. 33, No. 1--3, 45--84 (2008; Zbl 1165.68392) Full Text: DOI
De Wulf, M.; Doyen, L.; Maquet, N.; Raskin, J.-F. Antichains: Alternative algorithms for LTL satisfiability and model-checking. (English) Zbl 1134.68404 Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). Lecture Notes in Computer Science 4963, 63-77 (2008). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{M. De Wulf} et al., Lect. Notes Comput. Sci. 4963, 63--77 (2008; Zbl 1134.68404) Full Text: DOI
De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F. Antichains: a new algorithm for checking universality of finite automata. (English) Zbl 1188.68171 Ball, Thomas (ed.) et al., Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37406-X/pbk). Lecture Notes in Computer Science 4144, 17-30 (2006). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. De Wulf} et al., Lect. Notes Comput. Sci. 4144, 17--30 (2006; Zbl 1188.68171) Full Text: DOI
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François A lattice theory for solving games of imperfect information. (English) Zbl 1178.93072 Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 153-168 (2006). MSC: 93C30 68Q45 91A05 91A10 PDF BibTeX XML Cite \textit{M. De Wulf} et al., Lect. Notes Comput. Sci. 3927, 153--168 (2006; Zbl 1178.93072) Full Text: DOI
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François Systematic implementation of real-time models. (English) Zbl 1120.68413 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 139-156 (2005). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. De Wulf} et al., Lect. Notes Comput. Sci. 3582, 139--156 (2005; Zbl 1120.68413) Full Text: DOI
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François Almost ASAP semantics: from timed models to timed implementations. (English) Zbl 1101.68670 Formal Asp. Comput. 17, No. 3, 319-341 (2005). MSC: 68Q55 PDF BibTeX XML Cite \textit{M. De Wulf} et al., Formal Asp. Comput. 17, No. 3, 319--341 (2005; Zbl 1101.68670) Full Text: DOI
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François Robustness and implementability of timed automata. (English) Zbl 1109.68504 Lakhnech, Yassine (ed.) et al., Formal techniques, modelling and analysis of timed and fault-tolerant systems. Joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004, Grenoble, France, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23167-6/pbk). Lecture Notes in Computer Science 3253, 118-133 (2004). MSC: 68Q45 68Q60 68Q55 PDF BibTeX XML Cite \textit{M. De Wulf} et al., Lect. Notes Comput. Sci. 3253, 118--133 (2004; Zbl 1109.68504) Full Text: DOI