|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Kai Lampka, Markus Siegle |
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.  |
VALUETOOLS  |
2006 |
DBLP DOI BibTeX RDF |
performance evaluation tool, symbolic data structure, Markov chain, discrete event systems, numerical solution |
| 2 | P. Nagabhushan, S. A. Angadi, Basavaraj S. Anami |
Symbolic Data Structure for Postal Address Representation and Address Validation Through Symbolic Knowledge Base. |
PReMI |
2005 |
DBLP DOI BibTeX RDF |
Postal Address validation, Symbolic object, knowledge base, Frames |
| 1 | Ishtiaque Hussain, Christoph Csallner |
Dynamic symbolic data structure repair. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
data structure invariants, data structure repair, dynamic symbolic execution |
| 1 | Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle |
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
MTBDD, elimination of immediate transitions, stochastic process algebra |
| 1 | Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin |
Testing Distributed Systems Through Symbolic Model Checking. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
global property, model checking of traces, trace checking, testing, asynchronous distributed systems |
| 1 | Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
Symbolic Archive Representation for a Fast Nondominance Test. |
EMO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kuntz, Markus Siegle, Edith Werner |
Symbolic Performance and Dependability Evaluation with the Tool CASPA. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")