Abstract is missing.
- Hybrid Limits of Continuous Time Markov ChainsLuca Bortolussi. 3-12 [doi]
- Fluid Limits Applied to Peer to Peer Network AnalysisLaura Aspirot, Ernesto Mordecki, Gerardo Rubino. 13-20 [doi]
- Fluid Analysis of Queueing in Two-Stage Random EnvironmentsGiuliano Casale, Mirco Tribastone. 21-30 [doi]
- Temperature-aware Real-Time Scheduling - Extended AbstractLothar Thiele. 33-34 [doi]
- A Tool for Scalable Profiling and Tracing of Java and Native Code InteractionsParijat Dube, Seetharami Seelam, Yanbin Liu, Megumi Ito, Thomas Ling, Michel Hack, Liana Fong, Graeme Johnson, Michael Dawson, Li Zhang 0002, Yuqing Gao. 37-46 [doi]
- A Hybrid Approach for Large Cache Performance StudiesDavid Daly, Parijat Dube, Kaoutar El Maghraoui, Dan E. Poff, Li Zhang 0002. 47-56 [doi]
- Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid SystemsSadegh Esmaeil Zadeh Soudjani, Alessandro Abate. 59-68 [doi]
- Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid SystemsErnst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang 0001. 69-78 [doi]
- Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid AutomataJeremy Sproston. 79-88 [doi]
- MARCIE - Model Checking and Reachability Analysis Done EffiCIEntlyMartin Schwarick, Monika Heiner, Christian Rohr. 91-100 [doi]
- Probe Automata for Passage Time SpecificationElvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis. 101-110 [doi]
- Learning Probabilistic Automata for Model CheckingHua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen. 111-120 [doi]
- Model Checking MDPs with a Unique Compact Invariant Set of DistributionsRohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, Youngmin Kwon. 121-130 [doi]
- Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed TimersAndrás Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario. 131-140 [doi]
- COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic LogicPaolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. 143-144 [doi]
- A Tool: Quantitative Analyser for ProgramsChunyan Mu, David Clark. 145-146 [doi]
- GPA - A Tool for Fluid Scalability Analysis of Massively Parallel SystemsAnton Stefanek, Richard A. Hayden, Jeremy T. Bradley. 147-148 [doi]
- SCOOP: A Tool for SymboliC Optimisations of Probabilistic ProcessesMark Timmer. 149-150 [doi]
- APAC: A Tool for Reasoning about Abstract Probabilistic AutomataBenoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. 151-152 [doi]
- Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian ModelsLaura Carnevali, Lorenzo Ridi, Enrico Vicario. 153-154 [doi]
- SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading StrategiesPolyvios Tsirimpas, William J. Knottenbelt. 155-156 [doi]
- Quantifying Information Flow Using Min-EntropyGeoffrey Smith. 159-167 [doi]
- Controlling Modelling ArtifactsMichael J. A. Smith, Flemming Nielson, Hanne Riis Nielson. 171-180 [doi]
- Forecasting Run-Times of Secure Two-Party ComputationAxel Schröpfer, Florian Kerschbaum. 181-190 [doi]
- Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke. 191-200 [doi]
- Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional FairnessHenri Hansen, Marta Z. Kwiatkowska, Hongyang Qu. 203-212 [doi]
- Composition and Equivalence of Markovian and Non-Markovian ModelsPeter Buchholz, Miklós Telek. 213-222 [doi]
- Compositional Abstractions for Long-Run Properties of Stochastic SystemsMichael J. A. Smith. 223-232 [doi]
- The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human SystemsDouglas Eskins, William H. Sanders. 233-242 [doi]
- A Modeling Framework for Gossip-based Information SpreadRena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen. 245-254 [doi]
- Quantitative Evaluation of BFT ProtocolsRaluca Halalai, Thomas A. Henzinger, Vasu Singh. 255-264 [doi]
- Performance Comparison of Aggressive Push and Traditional Pull Strategies in Large Distributed SystemsBenny Van Houdt. 265-274 [doi]