Search results for "input output automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Abdeslam En-Nouaary, Abdelwahab Hamou-Lhadj	A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Timed Input Output Automata, Real-Time Systems, Testing, Formal Methods, Test Coverage
3	Abdeslam En-Nouaary, Rachida Dssouli	A Guided Method for Testing Timed Input Output Automata.	TestCom	2003	DBLP DOI BibTeX RDF	Timed Input Output Automata, Real-Time Systems, Testing, Test Purposes
2	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
2	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Systems Specified as Partial Order Input/Output Automata.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
2	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger	An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets.	NCA	2008	DBLP DOI BibTeX RDF	Java sockets, dynamic participation, input/output automata, Asynchronous communication
2	Zhiliang Wang, Xia Yin, Chuanming Jing	A formal method to real-time protocol interoperability testing.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	real-time testing, timed input output automata (TIOA), test generation, interoperability testing, protocol testing
2	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
2	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
2	José Ramón González de Mendívil, Federico Fariña, José Ramón Garitagoitia, Carlos F. Alastruey, José M. Bernabéu-Aubán	A Distributed Deadlock Resolution Algorithm for the AND Model.	IEEE Trans. Parallel Distrib. Syst.	1999	DBLP DOI BibTeX RDF	Deadlock detection/resolution, AND model, hierarchical correctness proofs, input/output automata model, distributed systems
2	José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia	Correctness of a distributed deadlock resolution algorithm for the single request model.	PDP	1995	DBLP DOI BibTeX RDF	distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification
1	Tatjana Kapus	Closing a System in the Dynamic Input/Output Automata Model.	Comput. J.	2011	DBLP DOI BibTeX RDF
1	Konstantinos Koutroumpas, John Lygeros	Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication.	HSCC	2010	DBLP DOI BibTeX RDF	hybrid input output automata, sthochastic hybrid systems, verfication, systems biology
1	Sayan Mitra, Shivakumar Sastry	Hybrid Input Output Automata for composable conveyor systems.	CASE	2009	DBLP DOI BibTeX RDF
1	James H. Hill, Aniruddha S. Gokhale	Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Michael Brough, Bakhadyr Khoussainov, Peter Nelson	Sequential Automatic Algebras.	CiE	2008	DBLP DOI BibTeX RDF
1	Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto	Relationship of Three Cryptographic Channels in the UC Framework.	ProvSec	2008	DBLP DOI BibTeX RDF	Secure Channel (SC), Two-Anonymous Channel (2AC), Direction-Indeterminable Channel (DIC), Universal Composability (UC), Probabilistic Input/Output Automaton (PIOA)
1	Sayan Mitra, K. Mani Chandy	A Formalized Theory for Verifying Stability and Convergence of Automata in PVS.	TPHOLs	2008	DBLP DOI BibTeX RDF
1	Abdeslam En-Nouaary	A scalable method for testing real-time systems.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	TIOA, Real-time systems, Testing, Formal methods
1	Abdeslam En-Nouaary	Test selection criteria for real-time systems modeled as timed input-output automata.	IJWIS	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	James J. Nutaro, Phani Teja Kuruganti, Mallikarjun Shankar	Seamless Simulation of Hybrid Systems with Discrete Event Software Packages.	Annual Simulation Symposium	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	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	Interface Input/Output Automata.	FM	2006	DBLP DOI BibTeX RDF
1	Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir	Formal Verification of a Lazy Concurrent List-Based Set Algorithm.	CAV	2006	DBLP DOI BibTeX RDF
1	Alexandre Petrenko	Why Automata Models Are Sexy for Testers? (Invited Talk).	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
1	Bassel Daou, Gregor von Bochmann	Generalizing the Submodule Construction Techniques for Extended State Machine Models.	FORTE	2006	DBLP DOI BibTeX RDF
1	Bassel Daou, Gregor von Bochmann	Submodule Construction for Extended State Machine Models.	FORTE	2005	DBLP DOI BibTeX RDF
1	Peter M. Musial, Alexander A. Shvartsman	Implementing a Reconfigurable Atomic Memory Service for Dynamic Networks.	IPDPS	2004	DBLP DOI BibTeX RDF
1	M. Cecilia Bastarrica, Sergio F. Ochoa, Pedro O. Rossel	Integrated Notation for Software Architecture Specifications.	SCCC	2004	DBLP DOI BibTeX RDF	software architecture, Architecture definition languages
1	K. Gopinath, Anil K. Pugalia, K. V. M. Naidu	Formal Proof of Impossibility of Reliability in Crashing Protocols.	IWDC	2004	DBLP DOI BibTeX RDF
1	Nancy A. Lynch	Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ...	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	Norbert Giambiasi, Jean-Luc Paillet, Frédéric Châne	Simulation and verification II: from timed automata to DEVS models.	Winter Simulation Conference	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	Alexandre Petrenko, Nina Yevtushenko, Jiale Huo	Testing Transition Systems with Input and Output Testers.	TestCom	2003	DBLP DOI BibTeX RDF	input/output transition system, test generation, fault model, conformance testing
1	David von Oheimb, Volkmar Lotz	Formal Security Analysis with Interacting State Machines.	ESORICS	2002	DBLP DOI BibTeX RDF
1	David von Oheimb	Interacting State Machines: A Stateful Approach to Proving Security.	FASec	2002	DBLP DOI BibTeX RDF
1	Gregor von Bochmann	Submodule Construction for Specifications with Input Assumptions and Output Guarantees.	FORTE	2002	DBLP DOI BibTeX RDF
1	Paul C. Attie, Nancy A. Lynch	Dynamic Input/Output Automata: A Formal Model for Dynamic Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
1	Paul C. Attie, Nancy A. Lynch	Dynamic input/output automata, a formal model for dynamic systems.	PODC	2001	DBLP DOI BibTeX RDF
1	Vlad Rusu, Lydie du Bousquet, Thierry Jéron	An Approach to Symbolic Test Generation.	IFM	2000	DBLP DOI BibTeX RDF
1	Q. M. Tan, Alexandre Petrenko	Test Generation for Specifications Modeled by Input/Output Automata.	IWTCS	1998	DBLP BibTeX RDF
1	Alan Fekete, M. Frans Kaashoek, Nancy A. Lynch	Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication.	J. ACM	1998	DBLP DOI BibTeX RDF	Orca programming language, input/output automata, ordered multicast, formal methods, distributed shared memory, replicated data
1	Henrik Ejersbo Jensen, Nancy A. Lynch	A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction.	TACAS	1998	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Rocco De Nicola, Roberto Segala	A Process Algebraic View of Input/Output Automata.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl	On the Correctness of Orphan Management Algorithms.	J. ACM	1992	DBLP DOI BibTeX RDF	avalon, camelot, input-output automata, recovery, serializability, atomic actions, Argus
1	Frits W. Vaandrager	On the Relationship Between Process Algebra and Input/Output Automata	LICS	1991	DBLP DOI BibTeX RDF
1	Michael Merritt, Francesmary Modugno, Marc R. Tuttle	Time-Constrained Automata (Extended Abstract)	CONCUR	1991	DBLP DOI BibTeX RDF
1	Eugene W. Stark	On the Relations Computable by a Class of Concurrent Automata.	POPL	1990	DBLP DOI BibTeX RDF
1	Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark	Stability and Sequentiality in Dataflow Networks.	ICALP	1990	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Eugene W. Stark	A Proof of the Kahn Principle for Input/Output Automata	Inf. Comput.	1989	DBLP DOI BibTeX RDF
1	Eugene W. Stark	Concurrent Transition System Semantics of Process Networks.	POPL	1987	DBLP DOI BibTeX RDF