|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 10 keywords
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
87 | V. Natarajan 0001, Rance Cleaveland |
Predictability of real-time systems: a process-algebraic approach. |
RTSS |
1996 |
DBLP DOI BibTeX RDF |
real time systems predictability, testing-based semantic preorder, process description language, TPL, activity-completion times, semantic preorder, must-preorder, optimality, process algebra, process algebra, variability, timing behavior |
66 | Cosimo Laneve, Luca Padovani |
The Must Preorder Revisited. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Diego Latella, Mieke Massink |
On testing and conformance relations for UML statechart diagrams behaviours. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory |
54 | Ugo de'Liguoro, Adolfo Piperno |
Must Preorder in Non-Deterministic Untyped Lambda-Calculus. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
52 | Roberto Segala |
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
28 | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang |
Characterising Testing Preorders for Finite Probabilistic Processes. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Luis Fernando Llana Díaz, Manuel Núñez 0001 |
Testing Semantics for Unbounded Nondeterminism. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics |
26 | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
Basic Observables for Processes. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Bikram Sengupta, Rance Cleaveland |
Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts. |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Bikram Sengupta, Rance Cleaveland |
Triggered message sequence charts. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
refinement orderings, scenario-based requirements, message sequence charts |
14 | Rance Cleaveland, Gerald Lüttgen |
A Semantic Theory for Heterogeneous System Design. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|