Search results for "I/O automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski	Timed I/O automata: a complete specification theory for real-time systems.	HSCC	2010	DBLP DOI BibTeX RDF	specification theory, timed i/o automata, real-time, interfaces, refinement
2	Sergio Giro, Pedro R. D'Argenio	On the verification of probabilistic I/O automata with unspecified rates.	SAC	2009	DBLP DOI BibTeX RDF	distributed systems, model checking, probabilistic automata
2	Marina Gelastou, Chryssis Georgiou, Anna Philippou	On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.	NCA	2008	DBLP DOI BibTeX RDF	Usability, Formal Methods, Applicability, Process Algebra, Distributed Protocols, I/O Automata
2	Sayan Mitra, Nancy A. Lynch	Trace-Based Semantics for Probabilistic Timed I/O Automata.	HSCC	2007	DBLP DOI BibTeX RDF
2	Saayan Mitra, Ratnesh Kumar, Samik Basu	Automated Choreographer Synthesis for Web Services Composition Using I/O Automata.	ICWS	2007	DBLP DOI BibTeX RDF
2	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	Modal I/O Automata for Interface and Product Line Theories.	ESOP	2007	DBLP DOI BibTeX RDF
2	Frank Terpstra, Zhiming Zhao, Wico Mulder, Pieter W. Adriaans	Towards a Formal Foundation for Aggregating Scientific Workflows.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	formalism, I/O Automata, workflow design
2	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka	Probabilistic I/O Automata: Theories of Two Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations
2	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
2	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
2	Biniam Gebremichael, Frits W. Vaandrager	Specifying Urgency in Timed I/O Automata.	SEFM	2005	DBLP DOI BibTeX RDF
2	Yanjun Wen, Ji Wang, Zhi-Chang Qi	Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.	ICFEM	2004	DBLP DOI BibTeX RDF
2	Dilsun Kirli Kaynar, Nancy A. Lynch	Decomposing Verification of Timed I/O Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
2	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
2	Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang	Modeling and Verifying a Lego Car Using Hybrid I/O Automata.	QSIC	2003	DBLP DOI BibTeX RDF
2	Dean Kuo, Doug Palmer	Automated Analysis of Java Message Service Providers.	Middleware	2001	DBLP DOI BibTeX RDF	Automated component testing, performance analysis, formal model, JMS, I/O Automata
2	Bernd Grobauer, Olaf Müller	From I/O Automata to Timed I/O Automata.	TPHOLs	1999	DBLP BibTeX RDF
2	Olaf Müller	I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle.	TPHOLs	1998	DBLP DOI BibTeX RDF
2	Olaf Müller, Tobias Nipkow	Traces of I/O-Automata in Isabelle/HOLCF.	TAPSOFT	1997	DBLP DOI BibTeX RDF
2	Stefan Dziembowski, Marcin Jurdzinski, Igor Walukiewicz	How Much Memory is Needed to Win Infinite Games?	LICS	1997	DBLP DOI BibTeX RDF	finitely coloured graphs, size of memory, latest appearance record, winning strategies, polynomial-size blowup, data structure, graph colouring, reactive programs, I/O automata, infinite games, two-player games, upper and lower bounds
2	Dean Kuo	Model and Verification of a Data Manager Based on ARIES.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	I/O automata, ARIES, system failures
2	Jyhjong Lin, David Chenho Kung, Pei Hsia	Top-down development of real-time software specification. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
2	Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar	Specifying fault tolerance in mission critical systems. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
2	Henri B. Weinberg, Nancy A. Lynch	Correctness of vehicle control systems-a case study. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	vehicle control systems correctness, vehicle deceleration manoeuvres, automated transportation systems, hybrid I/O automata, hybrid input output automata, invariant assertions, simulation mappings, differential calculus, real time systems, case study, vehicles, correctness verification
2	Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark	Composition and Behaviors of Probabilistic I/O Automata.	CONCUR	1994	DBLP DOI BibTeX RDF
2	Nick Reingold, Da-Wei Wang, Lenore D. Zuck	Games I/O Automata Play (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
2	Bengt Jonsson	A Hierarchy of Compositional Models of I/O-Automata (Extended Abstract).	MFCS	1990	DBLP DOI BibTeX RDF
1	Samir Chouali, Hassan Mountassir, Sebti Mouelhi	An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car.	Electr. Notes Theor. Comput. Sci.	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	Fides Aarts, Frits W. Vaandrager	Learning I/O Automata.	CONCUR	2010	DBLP DOI BibTeX RDF
1	Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu	Modeling and simulation of cardiac tissue using hybrid I/O automata.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Tatjana Kapus	Using Mobile TLA as a Logic for Dynamic I/O Automata.	IEICE Transactions	2009	DBLP BibTeX RDF
1	Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski	Methodologies for Specification of Real-Time Systems Using Timed I/O Automata.	FMCO	2009	DBLP DOI BibTeX RDF
1	Saayan Mitra, Ratnesh Kumar, Samik Basu	A Framework for Optimal Decentralized Service-Choreography.	ICWS	2009	DBLP DOI BibTeX RDF
1	Simon Doherty, Mark Moir	Nonblocking Algorithms and Backward Simulation.	DISC	2009	DBLP DOI BibTeX RDF
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	Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka	Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave	Towards compositional synthesis of evolving systems.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	behavioural design patterns, feature-based development, synthesis, pipelines, I/O automata
1	Saayan Mitra, Ratnesh Kumar, Samik Basu	Optimum Decentralized Choreography for Web Services Composition.	IEEE SCC	2008	DBLP DOI BibTeX RDF	web services, choreography, decentralization, i/o automata
1	K. Mani Chandy, Sayan Mitra, Concetta Pilotto	Convergence Verification: From Shared Memory to Partially Synchronous Systems.	FORMATS	2008	DBLP DOI BibTeX RDF
1	Murat Demirbas, Anish Arora	An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks.	SSS	2008	DBLP DOI 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	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger	A formal treatment of an abstract channel implementation using java sockets and TCP.	PODC	2007	DBLP DOI BibTeX RDF	TCP and java sockets, dynamic participation, asynchronous communication, I/O automata
1	Maria Castillo, Federico Fariña, Alberto Córdoba, Jesús E. Villadangos	A Modified O(n) Leader Election Algorithm for Complete Networks.	PDP	2007	DBLP DOI BibTeX RDF	distributed algorithms, leader election, I/O automata, complete networks
1	Karl Krukow, Mogens Nielsen	Trust structures.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Trust structures, Denotational and operational semantics, Trust management, I/O automata, Foundations
1	Saayan Mitra, Samik Basu, Ratnesh Kumar	Local and On-the-fly Choreography-based Web Service Composition.	Web Intelligence	2007	DBLP DOI BibTeX RDF
1	Rolf Hennicker, Alexander Knapp	Activity-Driven Synthesis of State Machines.	FASE	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	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	DISC 20th Anniversary: Invited Talk My Early Days in Distributed Computing Theory: 1979-1982.	DISC	2007	DBLP DOI BibTeX RDF
1	Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	The Theory of Timed I/O Automata		2006	DOI RDF
1	Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova	Component-interaction automata as a verification-oriented component-based system specification.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	Component-based specification languages, component-interaction automata, team automata, verification, ADLs, I/O automata, interface automata, component interaction
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	Maurice H. ter Beek, Jetty Kleijn	Modularity for teams of I/O automata.	Inf. Process. Lett.	2005	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	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	Jesús E. Villadangos, Alberto Córdoba, Federico Fariña, Manuel Prieto	Efficient Leader Election in Complete Networks.	PDP	2005	DBLP DOI BibTeX RDF	distributed algorithms, leader election, I/O automata, complete networks
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	Carlo Blundo, Stelvio Cimato, Roberto De Prisco, Anna Lisa Ferrara	Modeling A Certified Email Protocol using I/O Automata.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Switched Probabilistic I/O Automata.	ICTAC	2004	DBLP DOI BibTeX RDF
1	Machiel van der Bijl, Fabien Peureux	I/O-automata Based Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
1	Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai	Compiling IOA without Global Synchronization.	NCA	2004	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Hybrid I/O automata.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
1	Eugene W. Stark	On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation.	Journal of Automata, Languages and Combinatorics	2003	DBLP BibTeX RDF
1	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka	A Process-Algebraic Language for Probabilistic I/O Automata.	CONCUR	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	Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene	Proving Invariants of I/O Automata with TAME.	Autom. Softw. Eng.	2002	DBLP DOI BibTeX RDF
1	Mark A. Smith, K. K. Ramakrishnan	Formal specification and verification of safety and performance of TCP selective acknowledgement.	IEEE/ACM Trans. Netw.	2002	DBLP BibTeX RDF	TCP SACK, formal verification, congestion control, TCP/IP, TCP performance, I/O automata
1	Makoto Yamada, Takanori Mori, Atsushi Fukada, Akio Nakata, Teruo Higashino	A Method for Functional Testing of Media Synchronization Protocols.	ICOIN	2002	DBLP DOI BibTeX RDF
1	Sanjay Kumar Madria, S. N. Maheshwari, B. Chandra	Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata.	Data Knowl. Eng.	2001	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Hybrid I/O Automata Revisited.	HSCC	2001	DBLP DOI BibTeX RDF
1	Elizabeth Borowsky, Eli Gafni, Nancy A. Lynch, Sergio Rajsbaum	The BG distributed simulation algorithm.	Distributed Computing	2001	DBLP DOI BibTeX RDF	Simulation, Fault-tolerance, Distributed computing, Consensus, Set-agreement
1	David P. L. Simons, Mariëlle Stoelinga	Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k.	STTT	2001	DBLP DOI BibTeX RDF	Leader election algorithms, Model checking, Timed automata, Communication protocol, IEEE 1394
1	Eugene W. Stark	Compositional Performance Analysis Using Probabilistic I/O Automata.	CONCUR	2000	DBLP DOI BibTeX RDF
1	Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene	Using TAME to prove invariants of automata models: Two case studies.	FMSP	2000	DBLP DOI BibTeX RDF	software requirements analysis, Software engineering, verification, formal methods, theorem proving
1	Burkhard Englert, Alexander A. Shvartsman	Graceful Quorum Reconfiguration in a Robust Emulation of Shared Memory.	ICDCS	2000	DBLP DOI BibTeX RDF
1	Anna Pogosyants, Roberto Segala, Nancy A. Lynch	Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study.	Distributed Computing	2000	DBLP DOI BibTeX RDF	Randomized consensus, Verification, Performance analysis, Probabilistic automata
1	Carolos Livadas, John Lygeros, Nancy A. Lynch	High-Level Modeling and Analysis of TCAS. (PDF / PS)	IEEE Real-Time Systems Symposium	1999	DBLP DOI BibTeX RDF	hybrid I/O automaton, TCAS, formal verification, hybrid system, safety-critical
1	Mariëlle Stoelinga, Frits W. Vaandrager	Root Contention in IEEE 1394.	ARTS	1999	DBLP DOI BibTeX RDF
1	Jason Hickey, Nancy A. Lynch, Robbert van Renesse	Specifications and Proofs for Ensemble Layers.	TACAS	1999	DBLP DOI BibTeX RDF
1	Eugene W. Stark, Scott A. Smolka	Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata.	LICS	1998	DBLP DOI BibTeX RDF
1	Roger Khazan, Alan Fekete, Nancy A. Lynch	Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service.	DISC	1998	DBLP DOI BibTeX RDF
1	Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark	Composition and Behaviors of Probabilistic I/O Automata.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
1	Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch	Revisiting the Paxos Algorithm.	WDAG	1997	DBLP DOI BibTeX RDF	I/O automata models, fault-tolerance, formal verification, distributed consensus, partially synchronous systems
1	Bard Bloom, Allan Cheng, Ashvin Dsouza	Using a Protean Language to Enhance Expressiveness in Specification.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	model checking, verification, Formal methods, specification, process algebra, structured operational semantics
1	Anna Pogosyants, Roberto Segala, Nancy A. Lynch	Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study.	WDAG	1997	DBLP DOI BibTeX RDF
1	Judi Romijn, Frits W. Vaandrager	A Note on Fairness in I/O Automata.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
1	Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, S. S. Ravi, Richard Edwin Stearns	I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract).	PODC	1996	DBLP DOI BibTeX RDF
1	Amit Anil Nanavati	A simple self-stabilizing reset protocol.	SAC	1996	DBLP DOI BibTeX RDF	distributed algorithms, graph algorithms, self-stabilization, network protocols, I/O automata
1	Soma Chaudhuri, Paul Reiners	Understanding the Set Consensus Partial Order Using the Borowsky-Gafni Simulation (Extended Abstract).	WDAG	1996	DBLP DOI BibTeX RDF
1	Olaf Müller, Tobias Nipkow	Combining Model Checking and Deduction for I/O-Automata.	TACAS	1995	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg	Hybrid I/O Automata.	Hybrid Systems	1995	DBLP DOI BibTeX RDF
1	Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs	Modelling Asynchrony with a Synchronous Model.	CAV	1995	DBLP DOI BibTeX RDF
1	Frits W. Vaandrager	Verification of a Distributed Summation Algorithm.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Judi Romijn	Tackling the RPC-Memory Specification Problem with I/O Automata.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
1	Kenneth J. Goldman, Nancy A. Lynch	Quorum Consensus in Nested Transaction Systems.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	hierarchical proofs, concurrency control, data replication, I/O automata, nested transactions, quorum consensus
1	Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants	Computer-Assisted Simulation Proofs.	CAV	1993	DBLP DOI BibTeX RDF
1	Roberto Segala	Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
1	Dean Kuo	Model and Verification of a Data Manager Based on ARIES.	ICDT	1992	DBLP DOI BibTeX RDF
1	Rainer Gawlick, Nancy A. Lynch, Nir Shavit	Concurrent Timestamping Made Simple.	ISTCS	1992	DBLP DOI BibTeX RDF