|
|
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 |
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 |
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|