Lex Heerink

According to our database, Lex Heerink authored at least 8 papers between 1995 and 2008.

Collaborative distances:

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

2008

Reusable Model Transformation Patterns.

Maria-Eugenia Iacob, Maarten W. A. Steen, Lex Heerink

Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2004

Enhancing discovery with liveness [network device disappearance detection protocol].

Maarten Bodlaender, Jarno Guidi, Lex Heerink

Proceedings of the 1st IEEE Consumer Communications and Networking Conference, 2004

2000

Formal Test Automation: The Conference Protocol with PHACT.

Lex Heerink, Jan Feenstra, Jan Tretmans

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

1999

Formal Test Automation: A Simple Experiment.

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

1998

Ins and Outs in Refusal Testing.

Lex Heerink

PhD thesis, 1998

Factorized Test Generation for Multi-Input/Output Transition Systems.

Ed Brinksma, Lex Heerink, Jan Tretmans

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

1997

Refusal Testing for Classes of Transition Systems with Inputs and Outputs.

Lex Heerink, Jan Tretmans

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1995

Validation in context.

Lex Heerink, Ed Brinksma

Proceedings of the Protocol Specification, 1995