- M. Nesterenko, S. Tixeuil "Ideal Stabilization",
technical report No 00394118, INRIA, June 2009.
- R. Nor, M. Nesterenko, P. Lavrentyev "Oxybuoy: Constructing a
Real-Time Inexpensive Hypoxia Monitoring Platform", International Workshop on Advanced
Sensor Integration Technoloy (ASIT), to appear
technical report TR-KSU-CS-2009-01, Kent State University, May 2009.
- T. Clouser, M. Nesterenko, C. Scheideler "Tiara: A Self-Stabilizing
Deterministic Skip List",
- journal version submitted to the Journal of Theoretical Computer Science, changes since conf. version
- conference version 10th International
Symposium on Stabilization, Safety, and Security of Distributed
Systems (SSS'08), LNCS vol. 5340, pp. 124-140, Detroit, MI, November 2008.
presentation
- technical report TR-KSU-CS-2008-04,
Kent State University, July 2008.
- T. Clouser, M. Miyashita, M. Nesterenko
"Fast Geometric Routing with Concurrent Face Traversal"
12th International Conference on Principles of Distributed Systems
(OPODIS 2008), pp. 346-362, Luxor, Egypt, December 2008,
presentation
- P. Danturi, M. Nesterenko, S. Tixeuil,
"Self-Stabilizing Philosophers with Generic Conflicts"
- journal version, to appear in
ACM Transactions on Autonomous and Adaptive Systems
changes since conf. version
- conference version,
8th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS 2006),
LNCS Volume 4280, pp. 213-230, Dallas, TX, November 2006,
presentation
- technical report TR-KSU-CS-2005-05
- A. Vora, M. Nesterenko, Sébastien Tixeuil, S. Delaët
"Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks"
- N. Alam, T. Clouser, R. Thomas and M. Nesterenko
"Poster Abstract:
Emuli - Model Driven Sensor Stimuli for Experimentation",
6th ACM Conference on Embedded Networked Sensor Systems (SenSys),
pp. 423-424, Raleigh, NC, November 2008.
poster
- S. Delaet, S. Devismes, M. Nesterenko and S. Tixeuil
"Snap-Stabilization in Message-Passing Systems"
- (brief announcement)
27th ACM Symposium on Principles of
Distributed Computing (PODC),
p. 443, Toronto, Canada, August 2008.
- "Stabilisation instanée dans les systèmes
à passage
de messages",
to appear at Algotel 2009.
- T. Clouser, M. Nesterenko, A. Vora "Void Traversal
for Efficient Non-Planar Geometric Routing"
submitted to Wireless Networks
changes since conf. version
- M. Nesterenko, S. Tixeuil "Discovering
Network Topology in the Presence of Byzantine Faults"
- S.Dolev, M. Kopeetsky, T. Clouser, M. Nesterenko
"Low Overheard RFID Security"
in "RFID Handbook: Applications, Technology, Security, and Privacy",
S.A.Ahson, M.Ilyas, Eds. CRC Press, March 2008.
- M. Nesterenko, A. Schiper
"On Properties of the Group Membership
Problem", technical report TR-KSU-CS-2007-01, Kent State University
- S. Pleisch, T. Clouser, M. Nesterenko, A. Schiper
"DRIFT:
Efficient message ordering in ad hoc networks using virtual
flooding", 25th IEEE Symposium on Reliable Distributed
Systems (SRDS 2006), pp. 119-131, Leeds, UK, October 2006,
technical report LSR-REPORT-2006-002, EPFL, Switzerland
presentation
- R.S. Whittlesey-Harris, M. Nesterenko
"Fault-Tolerance Verification of the Fluids and Combustion Facility of
the International Space Station"
The Fifth International Workshop on Assurance in Distributed
Systems and
Networks (ADSN 2006), pp. 5-14, Lisbon, Portugal, July 2006,
presentation
extended version is in technical report
TR-KSU-CS-2005-02,
- M. Miyashita, M. Nesterenko, R.D. Shah and A. Vora "Visualizing Wireless Sensor Networks: An Experience
Report", The 2005 International Conference on
Wireless Networks (ICWN-05), pp. 412-419, Las Vegas, NV, June 2005.
- A. Vora, M. Nesterenko "Secure Location Verification Using Radio
Broadcast"
- journal version
IEEE Transactions on Dependable and Secure
Computing, 3(4), pp. 377-385, November 2006 ,
changes since conf. version
- conference version
8th International Conference on Principles of Distributed Systems
(OPODIS 2004), pp. 259-269, Grenoble, France, December 2004,
also published as LNCS vol. 3544, pp.369-383,
slides
- techreport TR-KSU-CS-2004-01
- D. Watson, M. Nesterenko
"MULE: Hybrid Simulator for Testing and Debugging
Wireless Sensor Networks"
Second International Workshop on Sensor and Actor Network
Protocols and Applications, pp. 67-71, Boston,
Massachusetts, August 2004,
also available as techreport TR-KSU-CS-2004-02
- A. Arora, P. Dutta, S. Bapat, V. Kulathumani, H. Zhang, V. Naik,
V. Mittal, H. Cao, M. Demirbas, M. Gouda, Y-R. Choi, T. Herman,
S. S. Kulkarni, U. Arumugam, M. Nesterenko, A. Vora and
M. Miyashita, "A Line in the sand: A
wireless sensor network for target detection, classification, and
tracking", Computer Networks (Elsevier)
46(5):605-634, December 5, 2004
- M. Nesterenko, A. Arora
"Local Tolerance to Unbounded Byzantine Faults"
21st IEEE Symposium on Reliable
Distributed Systems, pp. 22-29, Suita, Japan, October 2002,
presentation
- M. Nesterenko, A. Arora "Dining Philosophers
that Tolerate Malicious Crashes" 22nd International Conference on
Distributed Computing Systems pp. 191-198, Vienna, Austria, July 2002
- M. Nesterenko, A. Arora "Self-Stabilizing
Routing in Wireless Embedded Systems"
SRDS 2001 Workshop on Reliability in Embedded Systems
pp. 16-22, New Orleans, Louisiana, October 2001
- A. Arora, M. Nesterenko "Unifying
Stabilization and Termination in Message-Passing Systems",
- journal version
Distributed Computing 17(3), March 2005, pp. 279-290
- conference version
21st International Conference on Distributed
Computing Systems pp. 99-106, Mesa, Arizona, April 2001
- M. Nesterenko, M. Mizuno "A Quorum-Based
Self-Stabilizing Distributed Mutual-Exclusion
Algorithm", Journal of Parallel and
Distributed Computing 62(2), February 2002, pp. 284-305
- M. Nesterenko, A. Arora "Stabilization-Preserving
Atomicity Refinement",
- journal version
Journal of Parallel and Distributed Computing 62(5)
May 2002, pp. 766-799
- conference version 13th International Symposium on Distributed
Computing, pages 254-268,
Bratislava, Slovak Republic, September 1999
- R.R. Howell, M. Nesterenko, M. Mizuno "Finite-State
Self-Stabilizing Protocols in Message-Passing Systems",
- journal version
Journal of Parallel and Distributed Computing 62(5)
May 2002, pp. 792-817
- conference version, Forth
Workshop on Self-Stabilizing Systems,
pages 62-69, Austin, USA, June 1999
- M. Mizuno, M. Nesterenko, "A Transformation of
Self-Stabilizing Serial Model Programs for Asynchronous Parallel
Computing Environments", Information Processing Letters 66(6), pp.
285-290, 30 June 1998
- H. Kakugawa, M. Mizuno, M. Nesterenko "Development of
Self-Stabilizing Distributed Algorithms
using Transformation: Case Studies"
Third Workshop on Self-Stabilizing Systems, pages 16-30,
Santa Barbara, USA, August 1997, presentation
- M. Mizuno, M. Nesterenko, H. Kakugawa
"Lock Based Self-Stabilizing
Distributed Mutual Exclusion Algorithms", 16th International
Conference on Distributed Computing Systems , pages 708-716, Hong
Kong, May 1996