Colloquium

2012▪ 
Model Checking Mean Field Models
▪ 
Using Communication Technologies in Smart Energy Technology and Systems (SETS)
▪ 
Difficulties in Modeling SCADA Traffic: A Comparative Analysis
▪ 
Analysis of Markovian Models of Chemical Reaction Networks
▪ 
The Effects of DDoS Attacks on Flow Monitoring Applications

2010▪ 
Cyberwar: Stuxnet, Wikileaks & Pakistan
▪ 
Design and Evaluation of an Adaptive and Energy-Efficient MAC Protocol for Wireless Sensor Networks
▪ 
IETF Standards for the Internet of Things
▪ 
A Cross-layer Design of an Anycast-based Routing Protocol for Real-time Indoor Localization of Emergency Responders
▪ 
Traffic analyses and QoS in IP networks
▪ 
Evaluating Repair Strategies for a Water-Treatment Facility using Arcade
▪ 
Epigenetically-induced heritable variation in Arabidopsis
▪ 
Behavioral and Syntactic Device Fingerprinting
▪ 
Aspects of Carrier Aggregation in LTE-Advanced
▪ 
A geocast solution to support CACC merging
▪ 
Adaptive Resource Control in Multi-hop Ad-Hoc Networks
▪ 
Clean up your House First: A Proposal to Detect Bots On Your Own Domain Using Netflow

2008▪ 
A Versatile and Accurate Bottleneck Analysis Tool for Multi-Hop IEEE 802.11e Ad Hoc Network
▪ 
Visualizing SNMP Management Traffic in a Web-based Tool
▪ 
Performance comparison of EUL scheduling schemes with interference factors
▪ 
Dealing with large state spaces
▪ 
Characterization of IP Flows Eligible for Lambda-Connections in Optical Networks
▪ 
What battery model to use
▪ 
Privacy in telecommunications
▪ 
Architectural Dependability Evaluation with Arcade
▪ 
Spam: Bad neighbourhoods
▪ 
Providing over-the-horizon awareness to Driver Support
▪ 
Anomaly characterization in flow-based traffic time series
▪ 
A Control-Theoretic Modeling Approach for Service Differentiation inMulti-hop Ad-hoc Networks
▪ 
KPN: Broadband, VOIP and Fiber
▪ 
Mean-field Analysis for the Evaluation of Gossip Protocol

2011▪ 
High-Speed Traffic Capture and Analysis Using Open-Source Software and Commodity Hardware
▪ 
Using flow-level time series towards estimation of bandwidth needs
▪ 
Modeling of Critical Infrastructures with Hybrid Stochastic Models
▪ 
Improving Response Deliverability in DNSSEC
▪ 
On Using Mashups for Composing Management Applications
▪ 
Flow-Based Analysis: Through Quicksand into the Quicksand
▪ 
Reliable In-network Aggregation for Vehicular Networks
▪ 
A drunkard's walk on the real line
▪ 
Modeling piggybacking on beacons in VANETs
▪ 
Vehicular Networking Hits the Road
▪ 
"Anonymous" X PayPal: A closer look into LOIC and the attackers' traces
▪ 
Extending DNS to Support Geocasting Towards VANETs
▪ 
From raw data to graphs: a gnuplot alternative
▪ 
Large scale analysis of Peer-to-Peer Botnets
▪ 
Introduction to rare-event simulation
▪ 
Finding and Analyzing Evil Cities on the Internet

2009▪ 
Automated Planning with Continuous Processes
▪ 
Performance analysis of differentiated resource-sharing in a wireless ad-hoc network 
▪ 
Traffic labeling for Flow-based Intrusion Detection
▪ 
Network lifetime in ad-hoc and sensor networks
▪ 
4G Wireless Technologies
▪ 
Where to publish?
▪ 
Towards an Over-the-horizon Awareness to Driver Support Systems in Highway Real-World Scenarios
▪ 
Vechicular ad-hoc networks: beaconing and emergency messages propagation
▪ 
Quality of Service in IP networks
▪ 
A Hidden Markov Model approach to synthetic trace generation
▪ 
Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples
▪ 
LTL Model Checking of Time-Inhomogeneous Markov Chains

2007▪ 
Analyzing survivability in a Power over Ethernet system
▪ 
Effect of Mobility on Local Service Discovery in Ad-Hoc Networks
▪ 
An initial architecture for the self-management of lambda-connections in optical networks
▪ 
How to get your paper accepted
▪ 
Changes in the Web from 2000 to 2007
▪ 
Network data analysis for intrusion detection