2008 | ||
---|---|---|
9 | EE | Michel dos Santos Soares, Jos L. M. Vrancken: Model-Driven User Requirements Specification using SysML. JSW 3(6): 57-68 (2008) |
8 | EE | Michel dos Santos Soares, Stéphane Julia, Jos L. M. Vrancken: Real-time scheduling of batch systems using Petri nets and linear logic. Journal of Systems and Software 81(11): 1983-1996 (2008) |
2007 | ||
7 | EE | Michel dos Santos Soares, Jos L. M. Vrancken: Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic. ICNSC 2007: 169-174 |
6 | EE | Michel dos Santos Soares, Jos L. M. Vrancken: Requirements specification and modeling through SysML. SMC 2007: 1735-1740 |
5 | EE | Jos L. M. Vrancken, Michel dos Santos Soares: Multi-level control of networks: the case of road traffic control. SMC 2007: 1741-1745 |
2004 | ||
4 | EE | Jos L. M. Vrancken, Wim G. Vree: Balancing in organizations: applying complex adaptive systems' patterns to organizational architecture. SMC (1) 2004: 271-275 |
1997 | ||
3 | EE | Jos L. M. Vrancken: The Algebra of Communicating Processes With Empty Process. Theor. Comput. Sci. 177(2): 287-328 (1997) |
1988 | ||
2 | Jos L. M. Vrancken: Parallel Object-Oriented Term Rewriting. ADT 1988 | |
1987 | ||
1 | Jos L. M. Vrancken: The Algebraic Specification of Semi-Computable Data Types. ADT 1987: 249-259 |
1 | Stéphane Julia | [8] |
2 | Michel dos Santos Soares | [5] [6] [7] [8] [9] |
3 | Wim G. Vree | [4] |