Search results for "Nancy A. Lynch"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Seth Gilbert, Nancy A. Lynch	Perspectives on the CAP Theorem.	IEEE Computer	2012	DBLP DOI BibTeX RDF
1	Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum	The impossibility of boosting distributed service resilience.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Calvin C. Newport, Nancy A. Lynch	Modeling radio networks.	Distributed Computing	2011	DBLP DOI BibTeX RDF
1	Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport	The abstract MAC layer.	Distributed Computing	2011	DBLP DOI BibTeX RDF
1	Jiang Wu, Nancy D. Griffeth, Calvin C. Newport, Nancy A. Lynch	Engineering the Virtual Node Layer for Reactive MANET Routing.	NCA	2011	DBLP DOI BibTeX RDF
1	Mohsen Ghaffari, Nancy A. Lynch, Srikanth Sastry	Leader Election Using Loneliness Detection.	DISC	2011	DBLP DOI BibTeX RDF
1	Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport	Structuring unreliable radio networks.	PODC	2011	DBLP DOI BibTeX RDF
1	Tsvetomira Radeva, Nancy A. Lynch	Partial reversal acyclicity.	PODC	2011	DBLP DOI BibTeX RDF
1	Majid Khabbazian, Fabian Kuhn, Nancy A. Lynch, Muriel Médard, Ali ParandehGheibi	MAC design for analog network coding.	FOMC	2011	DBLP DOI BibTeX RDF
1	Mikhail Volkov, Alejandro Cornejo, Nancy A. Lynch, Daniela Rus	Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration.	PRIMA	2011	DBLP DOI BibTeX RDF
1	Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman	Rambo: a robust, reconfigurable atomic memory service for dynamic networks.	Distributed Computing	2010	DBLP DOI BibTeX RDF
1	Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	The Theory of Timed I/O Automata, Second Edition		2010	DOI RDF
1	Alejandro Cornejo, Nancy A. Lynch	Reliably Detecting Connectivity Using Local Graph Traits.	OPODIS	2010	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Alexander A. Shvartsman (eds.)	Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings	DISC	2010	DBLP DOI BibTeX RDF
1	Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport, Rotem Oshman, Andréa W. Richa	Broadcasting in unreliable radio networks.	PODC	2010	DBLP DOI BibTeX RDF
1	Majid Khabbazian, Fabian Kuhn, Dariusz R. Kowalski, Nancy A. Lynch	Decomposing broadcast algorithms using abstract MAC layers.	DIALM-PODC	2010	DBLP DOI BibTeX RDF
1	Shinya Umeno, Nancy A. Lynch	Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Fabian Kuhn, Nancy A. Lynch, Rotem Oshman	Distributed computation in dynamic networks.	STOC	2010	DBLP DOI BibTeX RDF	distributed algorithms, dynamic networks
1	Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte	Self-stabilizing robot formations over unreliable networks.	TAAS	2009	DBLP DOI BibTeX RDF	cooperative mobile robotics, replicated state machines, Formal methods, distributed algorithms, self-stabilization, pattern formation
1	Rachid Guerraoui, Maurice Herlihy, Petr Kuznetsov, Nancy A. Lynch, Calvin C. Newport	On the weakest failure detector ever.	Distributed Computing	2009	DBLP DOI BibTeX RDF
1	Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber	Automated implementation of complex distributed algorithms specified in the IOA language.	STTT	2009	DBLP DOI BibTeX RDF	Input/Output automata, Verifiable distributed code, IOA Toolkit, Formal methods, Automated code generator
1	Calvin C. Newport, Nancy A. Lynch	Modeling Radio Networks.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Jiang Wu, Nancy D. Griffeth, Nancy A. Lynch, Calvin C. Newport, Ralph E. Droms	Simulating Fixed Virtual Nodes for Adapting Wireline Protocols to MANET.	NCA	2009	DBLP DOI BibTeX RDF	virtual node, MANET, address allocation
1	Alejandro Cornejo, Fabian Kuhn, Ruy Ley-Wild, Nancy A. Lynch	Keeping Mobile Robot Swarms Connected.	DISC	2009	DBLP DOI BibTeX RDF
1	Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport	The Abstract MAC Layer.	DISC	2009	DBLP DOI BibTeX RDF
1	Alejandro Cornejo, Nancy A. Lynch	Brief announcement: minimum spanning trees and cone-based topology control.	PODC	2009	DBLP DOI BibTeX RDF	topology control, minimum spanning trees
1	Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport	Brief announcement: hardness of broadcasting in wireless networks with unreliable communication.	PODC	2009	DBLP DOI BibTeX RDF	lower bounds, broadcast
1	Sayan Mitra, Daniel Liberzon, Nancy A. Lynch	Verifying average dwell time of hybrid systems.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	optimization-based verification, Hybrid systems, simulation relation
1	Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno	Specifying and proving properties of timed I/O automata using Tempo.	Design Autom. for Emb. Sys.	2008	DBLP DOI BibTeX RDF
1	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira	Modeling Computational Security in Long-Lived Systems, Version 2.	IACR Cryptology ePrint Archive	2008	DBLP BibTeX RDF
1	Rachid Guerraoui, Nancy A. Lynch	A general characterization of indulgence.	TAAS	2008	DBLP DOI BibTeX RDF	Process failures, scheduling failures, agreement
1	Gregory Chockler, Murat Demirbas, Seth Gilbert, Nancy A. Lynch, Calvin C. Newport, Tina Nolte	Consensus and collision detectors in radio networks.	Distributed Computing	2008	DBLP DOI BibTeX RDF	Collision detectors, Fault-tolerance, Wireless ad hoc networks, Consensus
1	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala	Analyzing Security Protocols Using Time-Bounded Task-PIOAs.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Time-bounded task-PIOAs, Probabilistic input/output automata, Security protocols, Oblivious transfer
1	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira	Modeling Computational Security in Long-Lived Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Alejandro Cornejo, Nancy A. Lynch	Connectivity Service for Mobile Ad-Hoc Networks.	SASO Workshops	2008	DBLP DOI BibTeX RDF
1	Gregory Chockler, Seth Gilbert, Nancy A. Lynch	Virtual infrastructure for collision-prone wireless networks.	PODC	2008	DBLP DOI BibTeX RDF
1	Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte	Self-stabilizing Mobile Robot Formations with Virtual Nodes.	SSS	2008	DBLP DOI BibTeX RDF
1	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira	Modeling Computational Security in Long-Lived Systems.	IACR Cryptology ePrint Archive	2007	DBLP BibTeX RDF
1	Ran Canetti, Ling Cheung, Nancy A. Lynch, Olivier Pereira	On the Role of Scheduling in Simulation-Based Security.	IACR Cryptology ePrint Archive	2007	DBLP BibTeX RDF
1	Sayan Mitra, Nancy A. Lynch	Proving Approximate Implementations for Probabilistic I/O Automata.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Observing Branching Structure through Probabilistic Contexts.	SIAM J. Comput.	2007	DBLP DOI BibTeX RDF
1	Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy A. Lynch	The DHCP Failover Protocol: A Formal Perspective.	FORTE	2007	DBLP DOI BibTeX RDF
1	Nancy A. Lynch	DISC 20th Anniversary: Invited Talk My Early Days in Distributed Computing Theory: 1979-1982.	DISC	2007	DBLP DOI BibTeX RDF
1	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira	Compositional Security for Task-PIOAs.	CSF	2007	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy A. Lynch, Calvin C. Newport	On the weakest failure detector ever.	PODC	2007	DBLP DOI BibTeX RDF	wait-free impossibilities, weakest failure detector ever, failure detectors, set-agreement
1	Sayan Mitra, Nancy A. Lynch	Trace-Based Semantics for Probabilistic Timed I/O Automata.	HSCC	2007	DBLP DOI BibTeX RDF
1	Shinya Umeno, Nancy A. Lynch	Safety Verification of an Aircraft Landing Protocol: A Refinement Approach.	HSCC	2007	DBLP DOI BibTeX RDF
1	Tina Nolte, Nancy A. Lynch	A Virtual Node-Based Tracking Algorithm for Mobile Networks.	ICDCS	2007	DBLP DOI BibTeX RDF	Virtual nodes, Technical areas: Algorithms and theory, Wireless and mobile computing, Sensor networks and ubiquitous computing, sensor networks, tracking, distributed data structures, hierarchical partitioning
1	Tina Nolte, Nancy A. Lynch	Self-stabilization and Virtual Node Layer Emulations.	SSS	2007	DBLP DOI BibTeX RDF	virtual stationary automata, virtual node layer, abstraction layer emulation, TIOA, mobile ad-hoc networking, self-stabilization, geocast
1	Nancy A. Lynch	Distributed computing theory: algorithms, impossibility results, models, and proofs.	STOC	2007	DBLP DOI BibTeX RDF	distributed computing theory
1	Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Switched PIOA: Parallel composition via distributed scheduling.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Constantinos Djouvas, Nancy D. Griffeth, Nancy A. Lynch	Testing Self-Similar Networks.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Rui Fan, Nancy A. Lynch	Gradient clock synchronization.	Distributed Computing	2006	DBLP DOI BibTeX RDF	Ad-hoc networks, Lower bounds, Clock synchronization, Indistinguishability
1	Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	The Theory of Timed I/O Automata		2006	DOI RDF
1	Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno	Specifying and proving properties of timed I/O automata in the TIOA toolkit.	MEMOCODE	2006	DBLP DOI BibTeX RDF
1	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala	Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.	DISC	2006	DBLP DOI BibTeX RDF
1	Shinya Umeno, Nancy A. Lynch	Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study.	FM	2006	DBLP DOI BibTeX RDF
1	Rui Fan, Nancy A. Lynch	An Omega (n log n) lower bound on the cost of mutual exclusion.	PODC	2006	DBLP DOI BibTeX RDF	lower bound techniques, information theory, time complexity, mutual exclusion
1	Sayan Mitra, Nancy A. Lynch, Daniel Liberzon	Verifying Average Dwell Time by Solving Optimization Problems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Nancy A. Lynch	A General Characterization of Indulgence.	SSS	2006	DBLP DOI BibTeX RDF
1	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala	Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol.	IACR Cryptology ePrint Archive	2005	DBLP BibTeX RDF
1	Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch	GeoQuorums: implementing atomic memory in mobile ad hoc networks.	Distributed Computing	2005	DBLP DOI BibTeX RDF	Dynamic distributed algorithms, Fault-tolerance, Ad hoc networks, Mobile networks, Location-aware
1	Gregory Chockler, Murat Demirbas, Seth Gilbert, Nancy A. Lynch, Calvin C. Newport, Tina Nolte	Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
1	Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language.	ISCA PDCS	2005	DBLP BibTeX RDF
1	Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra	Translating Timed I/O Automata Specifications for Theorem Proving in PVS.	FORMATS	2005	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy A. Lynch, Tina Nolte	Timed Virtual Stationary Automata for Mobile Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	location-aware distributed computing, fault tolerance/availability, Ad-hoc networks, mobile computing, virtual machine, state replication, virtual infrastructure
1	Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber	Proving Atomicity: An Assertional Approach.	DISC	2005	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Limor Lahiani, Seth Gilbert, Nancy A. Lynch, Tina Nolte	Brief announcement: virtual stationary automata for mobile networks.	PODC	2005	DBLP DOI BibTeX RDF	ad-hoc networks, mobile computing, self-stabilization, state replication, virtual infrastructure
1	Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum	The Impossibility of Boosting Distributed Service Resilience.	ICDCS	2005	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina Nolte	Self-stabilizing Mobile Node Location Management and Message Routing.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
1	Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch	Using simulated execution in verifying distributed algorithms.	STTT	2004	DBLP DOI BibTeX RDF	Invariant detection, Static analysis, Theorem proving, Dynamic analysis
1	Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Switched Probabilistic I/O Automata.	ICTAC	2004	DBLP DOI BibTeX RDF
1	Dilsun Kirli Kaynar, Nancy A. Lynch	Decomposing Verification of Timed I/O Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
1	Rui Fan, Indraneel Chakraborty, Nancy A. Lynch	Clock Synchronization for Wireless Networks.	OPODIS	2004	DBLP DOI BibTeX RDF
1	Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch	A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	Sensor networks, tracking, self-stabilization, distributed data structures, fault-containment
1	Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai	Compiling IOA without Global Synchronization.	NCA	2004	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch	Virtual Mobile Nodes for Mobile Ad Hoc Networks.	DISC	2004	DBLP DOI BibTeX RDF
1	Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch	Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks.	PODC	2004	DBLP DOI BibTeX RDF	sensor networks, tracking, self-stabilization, distributed data structures, fault-containment
1	Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch	Brief announcement: virtual mobile nodes for mobile ad hoc networks.	PODC	2004	DBLP DOI BibTeX RDF	dynamic distributed algorithms, fault-tolerance
1	Rui Fan, Nancy A. Lynch	Gradient clock synchronization.	PODC	2004	DBLP DOI BibTeX RDF	ad hoc networks, lower bounds, clock synchronization, local algorithms
1	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Hybrid I/O automata.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
1	Nancy A. Lynch	Some perspectives on PODC.	Distributed Computing	2003	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Compositionality for Probabilistic Automata.	CONCUR	2003	DBLP DOI BibTeX RDF
1	Nancy A. Lynch	Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ...	CONCUR	2003	DBLP DOI BibTeX RDF
1	Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman	RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks.	DSN	2003	DBLP DOI BibTeX RDF
1	Rui Fan, Nancy A. Lynch	Efficient Replication of Large Data Objects.	DISC	2003	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch	GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks.	DISC	2003	DBLP DOI BibTeX RDF
1	Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems.	RTSS	2003	DBLP DOI BibTeX RDF
1	Rui Fan, Nancy A. Lynch	Brief announcement: efficient replication of large data objects.	PODC	2003	DBLP DOI BibTeX RDF
1	Nancy A. Lynch	Working with mike on distributed computing theory, 1978--1992.	PODC	2003	DBLP DOI BibTeX RDF
1	Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron	Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata.	HSCC	2003	DBLP DOI BibTeX RDF
1	Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch	Using Simulated Execution in Verifying Distributed Algorithms.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Alexander A. Shvartsman	Communication and Data Sharing for Dynamic Distributed Systems.	Future Directions in Distributed Computing	2003	DBLP DOI BibTeX RDF
1	Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman	An inheritance-based technique for building simulation proofs incrementally.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Inheritance by specialization and subclassing for extension, incremental proof techniques, proof reuse, simulation proofs, refinements
1	Seth Gilbert, Nancy A. Lynch	Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services.	SIGACT News	2002	DBLP DOI BibTeX RDF
1	Carolos Livadas, Nancy A. Lynch	A Formal Venture into Reliable Multicast Territory.	FORTE	2002	DBLP DOI BibTeX RDF
1	Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch	Mechanical Translation of I/O Automaton Specifications into First-Order Logic.	FORTE	2002	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Dahlia Malkhi, David Ratajczak	Atomic Data Access in Distributed Hash Tables.	IPTPS	2002	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Alexander A. Shvartsman	RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks.	DISC	2002	DBLP DOI BibTeX RDF
1	Ziv Bar-Joseph, Idit Keidar, Nancy A. Lynch	Early-Delivery Dynamic Atomic Broadcast.	DISC	2002	DBLP DOI BibTeX RDF

Publications of "Nancy A. Lynch" ( http://dblp.L3S.de/Authors/Nancy_A._Lynch )