|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 193 occurrences of 142 keywords
|
|
|
Results
Found 648 publication records. Showing 648 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mihalis Yannakakis, Kousha Etessami |
Checking LTL Properties of Recursive Markov Chains. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michele Curti, Davide Prandi, Linda Brodo |
Formal Executable Descriptions of Biological Systems. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Harrison, Harf Zatschler |
Sojourn Time Distributions in Modulated G-Queues with Batch Processing. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vinh Vi Lam, Peter Buchholz 0001, William H. Sanders |
A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Simona Bernardi 0001, Javier Campos |
On Performance Bounds for Interval Time Petri Nets. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | |
1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands |
QEST |
2004 |
DBLP BibTeX RDF |
|
1 | Alma Riska, Erik Riedel, Sami Iren |
Adaptive Disk Scheduling for Overload Management. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Bucci, Luigi Sassoli, Enrico Vicario |
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Guido Juckeland, Michael Kluge, Wolfgang E. Nagel, Stefan Pflüger |
Performance Analysis with BenchIT: Portable, Flexible, Easy to Use. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchholz 0001, William H. Sanders |
Approximate Computation of Transient Results for Large Markov Chains. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Sproston, Susanna Donatelli |
Backward Stochastic Bisimulation in CSL Model Checking. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko |
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel A. Menascé, Vasudeva Akula |
Improving the Performance of Online Auction Sites through Closing Time Rescheduling. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Thomasian, Chunqi Han, Gang Fu, Chang Liu |
A Performance Evaluation Tool for RAID Disk Arrays. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Armin Heindl, Qi Zhang 0012, Evgenia Smirni |
ETAQA Truncation Models for the MAP/MAP/1 Departure Process. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux |
Extended SWN Solvers in GreatSPN. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Marcus Größer, Frank Ciesinski |
Partial Order Reduction for Probabilistic Systems. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Marco Bernardo 0001 |
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrew S. Miner, Shuxing Cheng |
Improving Efficiency of Implicit Markov Chain State Classification. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Liljenstam, David M. Nicol |
Comparing Passive and Active Worm Defenses. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Aad P. A. van Moorsel, Katinka Wolter |
Analysis and Algorithms for Restart. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Avallone, S. Guadagno, Donato Emma, Antonio Pescapè, Giorgio Ventre |
D-ITG Distributed Internet Traffic Generator. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Marzolla, Simonetta Balsamo |
UML-PSI: The UML Performance Simulator. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders |
The Möbius Modeling Environment: Recent Developments. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Markus Arns, Markus Fischer, Carsten Tepper, Markus Völker |
Visualization of Analysis Results in the ProC/B Toolset. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
PRISM 2.0: A Tool for Probabilistic Model Checking. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy T. Bradley, William J. Knottenbelt |
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Connie U. Smith, Catalina M. Lladó |
Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | José Incera, Gerardo Rubino |
Bit-Level and Packet-Level, or Pollaczec-Khintchine Formulae Revisited. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | David N. Jansen, Holger Hermanns |
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giancarlo Ruffo, Rossano Schifanella, Matteo Sereno, Roberto Politi |
WALTy: A tool for Evaluating Web Application Performance. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Koushik Sen, Mahesh Viswanathan 0001, Gul Agha |
Learning Continuous Time Markov Chains from Sample Executions. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Cortellessa, Michele Gentile, Marco Pizzuti |
XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Trading Memory for Randomness. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi |
Modeling and Evaluation with Object Stochastic Activity Networks. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Horváth 0002, Sándor Rácz, Árpád Tari, Miklós Telek |
Evaluation of Reward Analysis Methods with MRMSolve 2.0. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
Randomization, Numerical analysis, Markov reward models |
1 | Michele Colajanni |
Emerging Internet-Based Services: New Frontiers for Performance Models and Applications. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Tuffin |
On Numerical Problems in Simulations of Highly Reliable Markovian Systems. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez |
On Observability in Timed Continuous Petri Net Systems. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden |
Approximate Reasoning for Real-Time Probabilistic Processes. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Peter Niebert |
Partial Order Reduction on Concurrent Probabilistic Programs. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gerardo Rubino, Martín Varela Irisa |
A New Approach for the Prediction of End-to-End Performance of Multimedia Streams. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ger Koole |
Performance Analysis and Optimization in Customer Contact Centers. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Ciardo, Andrew S. Miner |
SMART: The Stochastic Model checking Analyzer for Reliability and Timing. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrew S. Miner |
Saturation for a General Class of Models. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Augusto Parma, Roberto Segala |
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ming-Ying Chung, Gianfranco Ciardo |
Saturation NOW. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Markey, Philippe Schnoebelen |
TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #648 of 648 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7] |
|