Formal Specification of Compositional Architectures. - Izak van Langevelde; A. Philipsen; Jan Treur (ECAI, 1992)

On the Verification of Coordination. - Paul Dechering; Izak van Langevelde (COORDINATION, 2000)

Correct Performance of Transaction Capabilities. - Thomas Arts; Izak van Langevelde (ACSD, 2001)

µCRL: A Toolset for Analysing Algebraic Specifications. - Stefan Blom; Wan J. Fokkink; Jan Friso Groote; Izak van Langevelde; Bert Lisser; Jaco van de Pol (CAV, 2001)

Founding FireWire Bridges through Promela Prototyping. - Izak van Langevelde; Judi Romijn; Nicolae Goga (IPDPS, 2003)

New developments around the mCRL tool set. - Stefan Blom; Jan Friso Groote; Izak van Langevelde; Bert Lisser; Jaco van de Pol (FMICS, 2003)

Compressed and Distributed File Formats for Labeled Transition Systems. - Stefan Blom; Izak van Langevelde; Bert Lisser (PDMC@CAV, 2003)