Izak van Langevelde

According to our database, Izak van Langevelde authored at least 7 papers between 1992 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Compressed and Distributed File Formats for Labeled Transition Systems.

Stefan Blom, Izak van Langevelde, Bert Lisser

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

New developments around the mCRL tool set.

Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Founding FireWire Bridges through Promela Prototyping.

Izak van Langevelde, Judi Romijn, Nicolae Goga

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

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

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Correct Performance of Transaction Capabilities.

Thomas Arts, Izak van Langevelde

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000

On the Verification of Coordination.

Paul Dechering, Izak van Langevelde

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1992

Formal Specification of Compositional Architectures.

Izak van Langevelde, A. Philipsen, Jan Treur

Proceedings of the 10th European Conference on Artificial Intelligence, 1992