Reports
Below is an overview of reports that are a result of ESI research.
- ESI Symposium Proceedings 2012; Roland Mathijssen (ed.); ESI Report No. 2012–1
(6.8MB) - ESI Symposium Proceedings 2010; Roland Mathijssen (ed.); ESI Report No. 2010–1 (9.7MB)
- ESI Symposium Proceedings 2009; Roland Mathijssen (ed.); ESI Report No. 2009–1 (11.7MB)
- ESI Symposium Proceedings 2008; Roland Mathijssen (ed.); ESI Report No. 2008–3 (4.2MB)
- Tilt-tray Sorters modelled with UPPAAL; Roelof Hamberg; 2008; ESI Report No. 2008–2 (1.8MB)
- An Assessment of Research Topics for Future Consumer Smart Environments as Identified in GENESYS;
M. Borth & S. van Loo; 2009; ESI report, ESI – Nokia Confidential - Dependability for High-Tech Systems: an Industry-as-Laboratory Approach;
Ed Brinksma & Jozef Hooman; 2008; ESI Report No. 2008-1 (230kB)