Assertion Checking in J-Sim Simulation Models of Network Protocols.
Simul., 2010
Design, Realization and Evaluation of a Component-based, Compositional Network Simulation Environment.
Simul., 2009
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
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
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
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
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