 | 2008 |
| 15 |  | Georgeta Igna,
Venkatesh Kannan,
Yang Yang,
Twan Basten,
Marc Geilen,
Frits W. Vaandrager,
Marc Voorhoeve,
Sebastian de Smet,
Lou J. Somers:
Formal Modeling and Scheduling of Datapaths of Digital Document Printers.
FORMATS 2008: 170-187 |
| 2007 |
| 14 |  | Andreas Wierda,
Eric Dortmans,
Lou J. Somers:
Detecting Patterns in Object-Oriented Source Code - A Case Study.
ICSOFT (SE) 2007: 13-24 |
| 13 |  | Ivo Raedts,
Marija Petkovic,
Yaroslav S. Usenko,
Jan Martijn E. M. van der Werf,
Jan Friso Groote,
Lou J. Somers:
Transformation of BPMN Models for Behaviour Analysis.
MSVVEIS 2007: 126-137 |
| 12 |  | Ivo Raedts,
Marija Petkovic,
Alexander Serebrenik,
Jan Martijn E. M. van der Werf,
Lou J. Somers,
Maarten Boote:
A software framework for automated verification.
SAC 2007: 1031-1032 |
| 11 |  | Bas Ploeger,
Lou J. Somers:
Analysis and verification of an automatic document feeder.
SAC 2007: 1499-1505 |
| 2006 |
| 10 |  | Kees M. van Hee,
Olivia Oanea,
Reinier Post,
Lou J. Somers,
Jan Martijn E. M. van der Werf:
Yasper: a tool for workflow modeling and analysis.
ACSD 2006: 279-282 |
| 9 |  | Andreas Wierda,
Eric Dortmans,
Lou J. Somers:
Using Version Information in Architectural Clustering - A Case Study.
CSMR 2006: 214-228 |
| 8 |  | Kees M. van Hee,
Natalia Sidorova,
Lou J. Somers,
Marc Voorhoeve:
Consistency in model integration.
Data Knowl. Eng. 56(1): 4-22 (2006) |
| 2004 |
| 7 |  | Kees M. van Hee,
Natalia Sidorova,
Lou J. Somers,
Marc Voorhoeve:
Consistency in Model Integration.
Business Process Management 2004: 1-16 |
| 2003 |
| 6 |  | Michel R. V. Chaudron,
Kees M. van Hee,
Lou J. Somers:
Use Cases as Workflows.
Business Process Management 2003: 88-103 |
| 2002 |
| 5 |  | L. A. J. Dohmen,
Lou J. Somers:
Experiences and Lessons Learned Using UML-RT to Develop Embedded Printer Software.
PROFES 2002: 475-484 |
| 2000 |
| 4 |  | M. F. Teulings,
Lou J. Somers,
Piet van der Vlist:
Simulation of a multi-modal supply chain.
ESM 2000: 416-419 |
| 1995 |
| 3 |  | R. R. Paulussen,
Lou J. Somers:
Simulation of Distributed Simulation with Timed Colored Petri Nets.
EUROSIM 1995: 547-552 |
| 1991 |
| 2 |  | Kees M. van Hee,
Lou J. Somers,
Marc Voorhoeve:
Z and High Level Petri Nets.
VDM Europe (1) 1991: 204-219 |
| 1 |  | Kees M. van Hee,
Lou J. Somers,
Marc Voorhoeve:
The EXSPECT Tool.
VDM Europe (1) 1991: 683-684 |