The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for TIOA with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999-2008 (16) 2013-2016 (2)
Publication types (Num. hits)
article(4) inproceedings(14)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 38 occurrences of 23 keywords

Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
186Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno Specifying and proving properties of timed I/O automata in the TIOA toolkit. Search on Bibsonomy MEMOCODE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
84Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek Timed Wp-Method: Testing Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, Testing, specification, implementation, fault coverage, timed automaton
73Abdeslam En-Nouaary A scalable method for testing real-time systems. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF TIOA, Real-time systems, Testing, Formal methods
73Tina Nolte, Nancy A. Lynch Self-stabilization and Virtual Node Layer Emulations. Search on Bibsonomy SSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF virtual stationary automata, virtual node layer, abstraction layer emulation, TIOA, mobile ad-hoc networking, self-stabilization, geocast
63Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra Translating Timed I/O Automata Specifications for Theorem Proving in PVS. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. Search on Bibsonomy RTSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Abdeslam En-Nouaary, Abdelwahab Hamou-Lhadj A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Timed Input Output Automata, Real-Time Systems, Testing, Formal Methods, Test Coverage
42Abdeslam En-Nouaary, Rachida Dssouli A Guided Method for Testing Timed Input Output Automata. Search on Bibsonomy TestCom The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Timed Input Output Automata, Real-Time Systems, Testing, Test Purposes
40Yusuf Bora Kartal, Ece Guran Schmidt, Klaus Werner Schmidt Modeling Distributed Real-Time Systems in TIOA and UPPAAL. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2016 DBLP  BibTeX  RDF
40Stefan Neumann 0002, Holger Giese Scalable real-time compatibility for embedded components using language-progressive TIOA. Search on Bibsonomy ISORC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
31Zhiliang Wang, Xia Yin, Chuanming Jing A formal method to real-time protocol interoperability testing. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF real-time testing, timed input output automata (TIOA), test generation, interoperability testing, protocol testing
21Shinya Umeno, Nancy A. Lynch Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. Search on Bibsonomy HSCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Abbas Tarhini, Hacène Fouchal Conformance Testing of Real-Time Component Based Systems. Search on Bibsonomy ISSADS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Abbas Tarhini, Antoine Rollet, Hacène Fouchal A pragmatic approach for testing robustness on real-time component based systems. Search on Bibsonomy AICCSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Hacène Fouchal, Antoine Rollet, Abbas Tarhini Robustness of Composed Timed Systems. Search on Bibsonomy SOFSEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Real-Time System, Testing, Robustness, Timed Automata, Component based System
21Biniam Gebremichael, Frits W. Vaandrager Specifying Urgency in Timed I/O Automata. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Hacène Fouchal, Eric Petitjean, Sébastien Salva Testing timed systems with timed purposes. Search on Bibsonomy RTCSA The full citation details ... 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
21Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli Fault Coverage in Testing Real-Time Systems. Search on Bibsonomy RTCSA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Real-Time Systems, Testing, Specification, Implementation, Timed Automata, Fault Coverage
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license