|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 2 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer |
A linear process-algebraic format with data for probabilistic automata.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga |
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation |
MBT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Timmer, Ed Brinksma, Mariëlle Stoelinga |
Model-Based Testing. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol |
Confluence Reduction for Probabilistic Systems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Timmer |
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
SCOOP, probabilistic process algebra, data-dependent probabilistic choice, symbolic optimisations, state space reduction, linearisation |
| 1 | Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol |
Confluence Reduction for Probabilistic Systems (extended version) |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer |
A Linear Process-Algebraic Format for Probabilistic Systems with Data. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
probabilistic process algebra, data-dependent probabilistic choice, symbolic transformations, linearisation |
| 1 | Jaco van de Pol, Mark Timmer |
State Space Reduction of Linear Processes Using Control Flow Reconstruction. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariëlle Stoelinga, Mark Timmer |
Interpreting a Successful Testing Process: Risk and Actual Coverage. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Timmer, Pieter-Tjerk de Boer, Aiko Pras |
How to Identify the Speed Limiting Factor of a TCP Flow. |
E2EMON |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")