DACS projects

Running Projects

Name Project	Start	End	Sponsor
COST WiNeMO - Wireless Networking for Moving Objects	Jan-2010	May-2014	European Commission
COST TMA: Traffic Measurements and Analysis	Mar-2008	Mar-2012	European Commission
UniverSelf: Autonomic Management for the Future Internet	Sep-2010	Aug-2013	European Commission
Rocks: Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems	Apr-2009	Mar-2012	NWO - DFG
Dependability Analysis of Fluid Critical Infrastructures using Stochastic Hybrid Models	Mar-2011	Mar-2015	NWO-VENI
McStores: Model Checking Stochastic Systems using Rare Event Simulation	Jun-2009	Jun-2013	NWO - Vrije competition
MATMaM: Mean-Field Approximation Techniques for Markov Models	Apr-2010	Apr-2014	NWO - Vrije competition
TENETS: Towards efficient simulation of non-Markovian queueing networks	Jun-2012	Jun-2016	NWO - Vrije competition
SOWICI: Smart Optical-Wireless In-Home Communication Infrastructure	Jun-2011	Jun-2016	NWO - STW – ICT Regie
Walnut: Wireless Ad-hoc Links using robust Noise-based Ultra-wideband Transmission	Jun-2011	Jun-2015	NWO – STW - OTP
Allegio: Composable Embedded Systems for Healthcare	Sep-2011	Sep-2016	SENTER - COMMIT
Sequal: Service Optimization and Quality	Oct-2008	Oct-2012	SENTER - IOP Gencom
MIDAS	Apr-2010	Apr-2014	ECP-EPN
NGENMon: Next Generation Ethernet Network Monitoring	Jan-2010	Dec-2012	SURFnet – Gigaport 3
CAD: Cyber Attack Detector	Jul-2011	Dec-2012	TNO

Concluded Projects

Name Project	Start	End	Sponsor
Emanics: Management Solutions for Next Generation Networks	Jan-2006	May-2010	European Commission
E-NEXT: Network of Excellence Emerging Network Technologies	Jan-2004	Jul-2006	European Commission
Seacorn: Simulation of Enhanced UMTS Access and Core Networks	Mar-2002	Mar-2004	European Commission
Casimir: QoS for Metropolitan Ethernet Networks	Jan-2006	Jan-2009	NWO
EQUIP: Enabling Quality of Service in IP-Based Communication Networks	Aug-2001	Jan-2006	NWO
MC=MC: Model-Checking of Infinite-State Markov Chains	Aug-2004	Aug-2008	NWO
MOQS: Modeling and Analysis of QoS of Component-Based Designs	Sep-2005	Dec-2008	NWO
VeriGEM: A Verification Grid for Enhanced Model Checking	Dec-2005	Dec-2008	NWO
Voss: Validation of Stochastic Systems	Mar-2001	Jan-2004	NWO
Voss-2: Validation of Stochastic Systems II	Jan-2005	Jan-2008	NWO
FLAMINGO: Flexible Multi-wavelength Optical LAN	Mar-1998	Mar-2003	NWO - STW
Bluetooth Networking	Apr-1999	Dec-2003	SENTER - BSIK
Freeband/Awareness: context AWARE mobile NEtworks and ServiceS	Jan-2004	Jan-2009	SENTER - BSIK
Freeband/PNP2008: Development of a user centric ambient communication environment	Jan-2004	Jan-2009	SENTER - BSIK
SPITS: Strategic Platform for Intelligent Traffic Systems	Jul-2009	Jun-2011	SENTER - HTT
Connect & Drive	Oct-2008	Oct-2010	SENTER - HTAS
FSAN: Full-service Access Network using Multimode Fibre	Mar-2004	Mar-2008	SENTER - IOP
PN@H: Quality of Service for Personal Networks at Home	Sep-2003	Sep-2007	SENTER - IOP
Q-Wing: Quality of Service in the Wireless Internet Next Generation	Jan-2099	Dec-2003	SENTER - IOP
GEODES	Oct-2009	Oct-2010	SENTER - ITEA
NSIS: Next Steps in Signaling	Jun-2006	Jun-2007	Ericsson
Optische Netwerken	Sep-1999	Sep-2003	PTT-Research ITB
Gigaport: Research on Networks	Jan-2005	Dec-2007	SURFNET
Fish and Chips	Jan-2007	Jan-2008	Telematica Instituut
E-Quality: Expertise Centre on Performance and Quality of Service in ICT	Dec-2005	Aug-2010	TNO-ICT
GCDC: Grand Corporate Driving Challenge	May-2010	May-2011	Various

Completed Projects (others)

▪ Bluetooth Networking

▪ Research with OPNET

▪ Validation of Stochastic Systems