2008 |
15 | EE | 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 | EE | 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 | EE | Bas Ploeger,
Lou J. Somers:
Analysis and verification of an automatic document feeder.
SAC 2007: 1499-1505 |
2006 |
10 | EE | 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 | EE | Andreas Wierda,
Eric Dortmans,
Lou J. Somers:
Using Version Information in Architectural Clustering - A Case Study.
CSMR 2006: 214-228 |
8 | EE | 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 | EE | Kees M. van Hee,
Natalia Sidorova,
Lou J. Somers,
Marc Voorhoeve:
Consistency in Model Integration.
Business Process Management 2004: 1-16 |
2003 |
6 | EE | Michel R. V. Chaudron,
Kees M. van Hee,
Lou J. Somers:
Use Cases as Workflows.
Business Process Management 2003: 88-103 |
2002 |
5 | EE | 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 |