Quantitative Evaluation of Systems

s of Keynote Talks

[1]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

[2]  Reza Pulungan,et al.  A construction and minimization service for continuous probability distributions , 2013, International Journal on Software Tools for Technology Transfer.

[3]  D. Vere-Jones.  Markov Chains , 1972, Nature.

[4]  Frédéric Kaplan.  Are gesture-based interfaces the future of human computer interaction? , 2009, ICMI-MLMI '09.

[5]  Sumit Kumar Jha,et al.  Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement , 2011, Theor. Comput. Sci..

[6]  Ulya Bayram,et al.  Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains , 2015, QEST.

[7]  Salvatore J. Bavuso,et al.  Dynamic fault-tree models for fault-tolerant computer systems , 1992 .

[8]  Vojtech Rehák,et al.  Dealing with Zero Density Using Piecewise Phase-Type Approximation , 2014, EPEW.

[9]  Christoph Lindemann.  An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models , 1993, Perform. Evaluation.

[10]  Miklós Telek,et al.  PhFit: A General Phase-Type Fitting Tool , 2002, Computer Performance Evaluation / TOOLS.

[11]  P. Buchholz.  Exact and ordinary lumpability in finite Markov chains , 1994, Journal of Applied Probability.

[12]  Carlo Fischione,et al.  Performance analysis and optimization of the joining protocol for a platoon of vehicles , 2012, 2012 5th International Symposium on Communications, Control and Signal Processing.

[13]  Christel Baier,et al.  Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..

[14]  Lijun Zhang,et al.  Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes , 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

[15]  Joost-Pieter Katoen,et al.  Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability , 2008, 2008 Real-Time Systems Symposium.

[16]  Axel Legay,et al.  Statistical Model Checking: An Overview , 2010, RV.

[17]  Reza Pulungan,et al.  Time-Dependent Analysis of Attacks , 2014, POST.

[18]  Thomas Hess,et al.  Drivers of SaaS-Adoption – An Empirical Study of Different Application Types , 2009, Bus. Inf. Syst. Eng..

[19]  Marcel F. Neuts,et al.  Matrix-geometric solutions in stochastic models - an algorithmic approach , 1982 .

[20]  Kossi Tiassou,et al.  Aircraft operational reliability - A Model-based approach and case studies , 2013 .

[21]  William H. Sanders,et al.  Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models , 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.

[22]  Roman Obermaisser.  Time-Triggered Communication , 2009, Networked Embedded Systems.

[23]  Christel Baier,et al.  Performance evaluation and model checking join forces , 2010, Commun. ACM.

[24]  Reza Pulungan,et al.  Acyclic Minimality by Construction---Almost , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

[25]  Helmut Veith,et al.  Verification across Intellectual Property Boundaries , 2007, TSEM.

[26]  Mariëlle Stoelinga,et al.  A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis , 2010, IEEE Transactions on Dependable and Secure Computing.

[27]  Krithi Ramamritham,et al.  Scheduling algorithms and operating systems support for real-time systems , 1994, Proc. IEEE.

[28]  Marta Z. Kwiatkowska,et al.  Verifying Quantitative Properties of Continuous Probabilistic Timed Automata , 2000, CONCUR.

[29]  Frédéric Lang,et al.  Smart Reduction , 2011, FASE.

[30]  U. Rieder,et al.  Markov Decision Processes , 2010 .