Search results for "TIOA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
186	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
84	Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek	Timed Wp-Method: Testing Real-Time Systems.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	real-time systems, Testing, specification, implementation, fault coverage, timed automaton
73	Abdeslam En-Nouaary	A scalable method for testing real-time systems.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	TIOA, Real-time systems, Testing, Formal methods
73	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
63	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
63	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
42	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
42	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
40	Yusuf Bora Kartal, Ece Guran Schmidt, Klaus Werner Schmidt	Modeling Distributed Real-Time Systems in TIOA and UPPAAL.	ACM Trans. Embed. Comput. Syst.	2016	DBLP BibTeX RDF
40	Stefan Neumann 0002, Holger Giese	Scalable real-time compatibility for embedded components using language-progressive TIOA.	ISORC	2013	DBLP DOI BibTeX RDF
31	Zhiliang Wang, Xia Yin, Chuanming Jing	A formal method to real-time protocol interoperability testing.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	real-time testing, timed input output automata (TIOA), test generation, interoperability testing, protocol testing
21	Shinya Umeno, Nancy A. Lynch	Safety Verification of an Aircraft Landing Protocol: A Refinement Approach.	HSCC	2007	DBLP DOI BibTeX RDF
21	Abbas Tarhini, Hacène Fouchal	Conformance Testing of Real-Time Component Based Systems.	ISSADS	2005	DBLP DOI BibTeX RDF
21	Abbas Tarhini, Antoine Rollet, Hacène Fouchal	A pragmatic approach for testing robustness on real-time component based systems.	AICCSA	2005	DBLP DOI BibTeX RDF
21	Hacène Fouchal, Antoine Rollet, Abbas Tarhini	Robustness of Composed Timed Systems.	SOFSEM	2005	DBLP DOI BibTeX RDF	Real-Time System, Testing, Robustness, Timed Automata, Component based System
21	Biniam Gebremichael, Frits W. Vaandrager	Specifying Urgency in Timed I/O Automata.	SEFM	2005	DBLP DOI BibTeX RDF
21	Hacène Fouchal, Eric Petitjean, Sébastien Salva	Testing timed systems with timed purposes.	RTCSA	2000	DBLP DOI BibTeX RDF	timed systems testing, timed purposes, timed counterpart, timed input/output automaton, canonical tester, protocols, conformance testing, time constraints, labeled transition system, automata theory
21	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Fault Coverage in Testing Real-Time Systems.	RTCSA	1999	DBLP DOI BibTeX RDF	Real-Time Systems, Testing, Specification, Implementation, Timed Automata, Fault Coverage