2009 |
37 | EE | Sylvie Delaët,
Stéphane Devismes,
Mikhail Nesterenko,
Sébastien Tixeuil:
Snap-Stabilization in Message-Passing Systems.
ICDCN 2009: 281-286 |
36 | EE | Praveen Danturi,
Mikhail Nesterenko,
Sébastien Tixeuil:
Self-stabilizing philosophers with generic conflicts.
TAAS 4(1): (2009) |
2008 |
35 | EE | Thomas Clouser,
Mark Miyashita,
Mikhail Nesterenko:
Fast Geometric Routing with Concurrent Face Traversal.
OPODIS 2008: 346-362 |
34 | EE | Sylvie Delaët,
Stéphane Devismes,
Mikhail Nesterenko,
Sébastien Tixeuil:
Snap-stabilization in message-passing systems.
PODC 2008: 443 |
33 | EE | Thomas Clouser,
Mikhail Nesterenko,
Christian Scheideler:
Tiara: A Self-stabilizing Deterministic Skip List.
SSS 2008: 124-140 |
32 | EE | Adnan Vora,
Mikhail Nesterenko,
Sébastien Tixeuil,
Sylvie Delaët:
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks.
SSS 2008: 63-78 |
31 | EE | Najla Alam,
Thomas Clouser,
Richie Thomas,
Mikhail Nesterenko:
Emuli: model driven sensor stimuli for experimentation.
SenSys 2008: 423-424 |
30 | EE | Sylvie Delaët,
Stéphane Devismes,
Mikhail Nesterenko,
Sébastien Tixeuil:
Snap-Stabilization in Message-Passing Systems
CoRR abs/0802.1123: (2008) |
29 | EE | Mikhail Nesterenko,
Adnan Vora:
Void Traversal for Guaranteed Delivery in Geometric Routing
CoRR abs/0803.3632: (2008) |
28 | EE | Adnan Vora,
Mikhail Nesterenko,
Sébastien Tixeuil,
Sylvie Delaët:
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks
CoRR abs/0805.0087: (2008) |
2006 |
27 | EE | Raquel S. Whittlesey-Harris,
Mikhail Nesterenko:
Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station.
ICDCS Workshops 2006: 5 |
26 | EE | Emre Ertin,
Anish Arora,
Rajiv Ramnath,
Vinayak Naik,
Sandip Bapat,
Vinod Kulathumani,
Mukundan Sridharan,
Hongwei Zhang,
Hui Cao,
Mikhail Nesterenko:
Kansei: a testbed for sensing at scale.
IPSN 2006: 399-406 |
25 | EE | Mikhail Nesterenko,
Sébastien Tixeuil:
Discovering Network Topology in the Presence of Byzantine Faults.
SIROCCO 2006: 212-226 |
24 | EE | Stefan Pleisch,
Thomas Clouser,
Mikhail Nesterenko,
André Schiper:
DRIFT: Efficient Message Ordering in Ad Hoc Networks Using Virtual Flooding.
SRDS 2006: 119-131 |
23 | EE | Praveen Danturi,
Mikhail Nesterenko,
Sébastien Tixeuil:
Self-stabilizing Philosophers with Generic Conflicts.
SSS 2006: 214-230 |
22 | EE | Mikhail Nesterenko,
Sébastien Tixeuil:
Discovering Network Topology in the Presence of Byzantine Faults
CoRR abs/cs/0611116: (2006) |
21 | EE | Mark Miyashita,
Mikhail Nesterenko:
2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing
CoRR abs/cs/0611117: (2006) |
20 | EE | Anish Arora,
Emre Ertin,
Rajiv Ramnath,
Mikhail Nesterenko,
William Leal:
Kansei: A High-Fidelity Sensing Testbed.
IEEE Internet Computing 10(2): 35-47 (2006) |
19 | EE | Adnan Vora,
Mikhail Nesterenko:
Secure Location Verification Using Radio Broadcast.
IEEE Trans. Dependable Sec. Comput. 3(4): 377-385 (2006) |
2005 |
18 | EE | Anish Arora,
Rajiv Ramnath,
Prasun Sinha,
Emre Ertin,
Sandip Bapat,
Vinayak Naik,
Vinod Kulathumani,
Hongwei Zhang,
Mukundan Sridharan,
Santosh Kumar,
Hui Cao,
Nick Seddon,
Chris Anderson,
Ted Herman,
Chen Zhang,
Nishank Trivedi,
Mohamed G. Gouda,
Young-ri Choi,
Mikhail Nesterenko,
Romil Shah,
Sandeep S. Kulkarni,
Mahesh Aramugam,
Limin Wang,
David E. Culler,
Prabal Dutta,
Cory Sharp,
Gilman Tolle,
Mike Grimmer,
Bill Ferriera,
Ken Parker:
Project ExScal (Short Abstract).
DCOSS 2005: 393-394 |
17 | | Mark Miyashita,
Mikhail Nesterenko,
Romil Shah,
Adnan Vora:
Visualizing Wireless Sensor Networks: An Experience Report.
ICWN 2005: 412-419 |
16 | EE | Anish Arora,
Rajiv Ramnath,
Emre Ertin,
Prasun Sinha,
Sandip Bapat,
Vinayak Naik,
Vinod Kulathumani,
Hongwei Zhang,
Hui Cao,
Mukundan Sridharan,
Santosh Kumar,
Nick Seddon,
Chris Anderson,
Ted Herman,
Nishank Trivedi,
Chen Zhang,
Mikhail Nesterenko,
Romil Shah,
Sandeep S. Kulkarni,
Mahesh Aramugam,
Limin Wang,
Mohamed G. Gouda,
Young-ri Choi,
David E. Culler,
Prabal Dutta,
Cory Sharp,
Gilman Tolle,
Mike Grimmer,
Bill Ferriera,
Ken Parker:
ExScal: Elements of an Extreme Scale Wireless Sensor Network.
RTCSA 2005: 102-108 |
15 | EE | Sindhu Karthikeyan,
Mikhail Nesterenko:
RFID security without extensive cryptography.
SASN 2005: 63-67 |
14 | EE | Anish Arora,
Mikhail Nesterenko:
Unifying stabilization and termination in message-passing systems.
Distributed Computing 17(3): 279-290 (2005) |
2004 |
13 | EE | Adnan Vora,
Mikhail Nesterenko:
Secure Location Verification Using Radio Broadcast.
OPODIS 2004: 369-383 |
12 | EE | Anish Arora,
Prabal Dutta,
Sandip Bapat,
Vinod Kulathumani,
Hongwei Zhang,
Vinayak Naik,
Vineet Mittal,
Hui Cao,
Murat Demirbas,
Mohamed G. Gouda,
Young-ri Choi,
Ted Herman,
Sandeep S. Kulkarni,
Umamaheswaran Arumugam,
Mikhail Nesterenko,
Adnan Vora,
Mark Miyashita:
A line in the sand: a wireless sensor network for target detection, classification, and tracking.
Computer Networks 46(5): 605-634 (2004) |
2002 |
11 | EE | Mikhail Nesterenko,
Anish Arora:
Dining Philosophers that Tolerate Malicious Crashes.
ICDCS 2002: 191-198 |
10 | EE | Mikhail Nesterenko,
Anish Arora:
Tolerance to Unbounded Byzantine Faults.
SRDS 2002: 22- |
9 | EE | Mikhail Nesterenko,
Masaaki Mizuno:
A Quorum-Based Self-Stabilizing Distributed Mutual Exclusion Algorithm.
J. Parallel Distrib. Comput. 62(2): 284-305 (2002) |
8 | EE | Mikhail Nesterenko,
Anish Arora:
Stabilization-Preserving Atomicity Refinement.
J. Parallel Distrib. Comput. 62(5): 766-791 (2002) |
7 | EE | Rodney R. Howell,
Mikhail Nesterenko,
Masaaki Mizuno:
Finite-State Self-Stabilizing Protocols in Message-Passing Systems.
J. Parallel Distrib. Comput. 62(5): 792-817 (2002) |
2001 |
6 | EE | Anish Arora,
Mikhail Nesterenko:
Unifying Stabilization and Termination in Message-Passing Systems.
ICDCS 2001: 99-106 |
1999 |
5 | EE | Mikhail Nesterenko,
Anish Arora:
Stabilization-Preserving Atomicity Refinement.
DISC 1999: 254-268 |
4 | | Rodney R. Howell,
Mikhail Nesterenko,
Masaaki Mizuno:
Finite-state self-stabilizing protocols in message-passing systems.
WSS 1999: 62-69 |
1998 |
3 | EE | Masaaki Mizuno,
Mikhail Nesterenko:
A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments.
Inf. Process. Lett. 66(6): 285-290 (1998) |
1997 |
2 | | Hirotsugu Kakugawa,
Masaaki Mizuno,
Mikhail Nesterenko:
Development of self-stabilizing distributed algorithms using transformation: case studies.
WSS 1997: 16-30 |
1996 |
1 | | Masaaki Mizuno,
Mikhail Nesterenko,
Hirotsugu Kakugawa:
Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms.
ICDCS 1996: 708-716 |