Romijn, Judi (ed.); Smith, Graeme (ed.); van de Pol, Jaco (ed.) Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, November 29, 2005. (English) Zbl 1276.68029 Electronic Notes in Theoretical Computer Science 191. Amsterdam: Elsevier. 113 p., electronic only (2007). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{J. Romijn} (ed.) et al., Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, November 29, 2005. Amsterdam: Elsevier (2007; Zbl 1276.68029) Full Text: Link
Romijn, Judi; Wesselink, Wieger; Mooij, Arjan Assertion-based proof checking of Chang-Roberts leader election in PVS. (English) Zbl 1141.68487 Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 347-361 (2007). MSC: 68Q60 68T15 PDF BibTeX XML Cite \textit{J. Romijn} et al., Lect. Notes Comput. Sci. 4762, 347--361 (2007; Zbl 1141.68487) Full Text: DOI
Mooij, Arjan; Romijn, Judi; Wesselink, Wieger Realizability criteria for compositional MSC. (English) Zbl 1236.68049 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). Lecture Notes in Computer Science 4019, 248-262 (2006). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Mooij} et al., Lect. Notes Comput. Sci. 4019, 248--262 (2006; Zbl 1236.68049) Full Text: DOI
Romijn, Judi (ed.); Smith, Graeme (ed.); van de Pol, Jaco (ed.) Integrated formal methods. 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 – December 2, 2005. Proceedings. (English) Zbl 1122.68011 Lecture Notes in Computer Science 3771. Berlin: Springer (ISBN 978-3-540-30492-0/pbk). xi, 407 p. (2005). MSC: 68-06 68Q60 00B25 PDF BibTeX XML Cite \textit{J. Romijn} (ed.) et al., Integrated formal methods. 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 -- December 2, 2005. Proceedings. Berlin: Springer (2005; Zbl 1122.68011) Full Text: DOI
Mooij, Arjan J.; Goga, Nicolae; Romijn, Judi M. T. Non-local choice and beyond: intricacies of MSC choice nodes. (English) Zbl 1236.68185 Cerioli, Maura (ed.), Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25420-X/pbk). Lecture Notes in Computer Science 3442, 273-288 (2005). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. J. Mooij} et al., Lect. Notes Comput. Sci. 3442, 273--288 (2005; Zbl 1236.68185) Full Text: DOI
Romijn, Judi False loop detection in the IEEE 1394 tree identify phase. (English) Zbl 1029.68020 Formal Asp. Comput. 14, No. 3, 319-327 (2002). MSC: 68M12 68Q60 PDF BibTeX XML Cite \textit{J. Romijn}, Formal Asp. Comput. 14, No. 3, 319--327 (2002; Zbl 1029.68020) Full Text: DOI
Maharaj, Savi; Romijn, Judi; Shankland, Carron IEEE 1394 tree identify protocol: Introduction to the case study. (English) Zbl 1029.68018 Formal Asp. Comput. 14, No. 3, 200-214 (2002). MSC: 68M12 PDF BibTeX XML Cite \textit{S. Maharaj} et al., Formal Asp. Comput. 14, No. 3, 200--214 (2002; Zbl 1029.68018) Full Text: DOI
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits Linear parametric model checking of timed automata. (English) Zbl 1008.68069 J. Log. Algebr. Program. 52-53, 183-220 (2002). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{T. Hune} et al., J. Log. Algebr. Program. 52--53, 183--220 (2002; Zbl 1008.68069) Full Text: DOI
Romijn, Judi A timed verification of the IEEE 1394 Leader election protocol. (English) Zbl 0989.68095 Form. Methods Syst. Des. 19, No. 2, 165-194 (2001). MSC: 68Q60 68M12 PDF BibTeX XML Cite \textit{J. Romijn}, Form. Methods Syst. Des. 19, No. 2, 165--194 (2001; Zbl 0989.68095) Full Text: DOI
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits Linear parametric model checking of timed automata. (English) Zbl 0978.68094 Margaria, Tiziana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 7th international conference, TACAS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2031, 189-203 (2001). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{T. Hune} et al., Lect. Notes Comput. Sci. 2031, 189--203 (2001; Zbl 0978.68094) Full Text: Link
Romijn, Judi; Vaandrager, Frits A note on fairness in I/O automata. (English) Zbl 0875.68651 Inf. Process. Lett. 59, No. 5, 245-250 (1996). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Romijn} and \textit{F. Vaandrager}, Inf. Process. Lett. 59, No. 5, 245--250 (1996; Zbl 0875.68651) Full Text: DOI