André Engels

According to our database, André Engels authored at least 4 papers between 1997 and 2002.

Collaborative distances:

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

2002

A hierarchy of communication models for Message Sequence Charts.

André Engels, Sjouke Mauw, Michel A. Reniers

Sci. Comput. Program., 2002

2000

Design Decisions on Data and Guards in MSC2000.

André Engels

Proceedings of the SAM 2000, 2000

1999

MSC and data: dynamic variables.

André Engels, Loe M. G. Feijs, Sjouke Mauw

Proceedings of the SDL '99 The Next Millennium, 1999

1997

Test Generation for Intelligent Networks Using Model Checking.

André Engels, Loe M. G. Feijs, Sjouke Mauw

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997