2010
Assertion Checking in J-Sim Simulation Models of Network Protocols.
Simul., 2010

2009
Design, Realization and Evaluation of a Component-based, Compositional Network Simulation Environment.
Simul., 2009

2008
Verification of Simulation Models of Network Protocols Using State Space Exploration
PhD thesis, 2008

Incremental state-space exploration for programs with dynamically allocated data.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Almost Peer-to-Peer Clock Synchronization.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006
J-Sim: a simulation and emulation environment for wireless sensor networks.
IEEE Wirel. Commun., 2006

Optimized Execution of Deterministic Blocks in Java PathFinder.
Proceedings of the Formal Methods and Software Engineering, 2006

2005
Towards Composable and Extensible Network Simulation.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.
Proceedings of the Formal Methods and Software Engineering, 2005

J-Sim: A Simulation Environment for Wireless Sensor Networks.
Proceedings of the Proceedings 38th Annual Simulation Symposium (ANSS-38 2005), 2005

2004
Check and simulate: a case for incorporating model checking in network simulation.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

VRing: A Case for Building Application-Layer Multicast Rings (Rather Than Trees).
Proceedings of the 12th International Workshop on Modeling, 2004

On the reliability of ODMRP in mobile ad hoc networks.
Proceedings of the 23rd IEEE International Performance Computing and Communications Conference, 2004

ReMHoc: a reliable multicast protocol for wireless mobile multihop ad hoc networks.
Proceedings of the 1st IEEE Consumer Communications and Networking Conference, 2004