Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi & Roberto Vigo (2015):
A calculus for attribute-based communication.
In: Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini & Jiman Hong: Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015.
ACM,
pp. 1840–1845,
doi:10.1145/2695664.2695668.
Available at http://dl.acm.org/citation.cfm?id=2695664.
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli & Giuliana Franceschinis (2011):
Probe Automata for Passage Time Specification.
In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011.
IEEE Computer Society,
pp. 101–110,
doi:10.1109/QEST.2011.20.
Available at http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6041098.
Elvio Gilberto Amparore & Susanna Donatelli (2010):
Model checking CSL^\voidb@x TALaTeX Error: Bad math environment delimiterSee the LaTeX manual or LaTeX Companion for explanation.Your command was ignored.Type I <command> <return> to replace it with another command,or <return> to continue without it. with Deterministic and Stochastic Petri Nets.
In: Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010.
IEEE Computer Society,
pp. 605–614,
doi:10.1109/DSN.2010.5544425.
Available at http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5532324.
A. Argent-Katwala, J.T. Bradley & N.J. Dingle (2004):
Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models.
In: Proceedings of the Fourth International Workshop on Software and Performance.
ACM Press,
Redwood Shores, California, USA,
pp. 49–58,
doi:10.1145/974044.974051.
Søren Asmussen, Olle Nerman & Marita Olsson (1996):
Fitting Phase-Type Distributions via the EM Algorithm.
Scandinavian Journal of Statistics 23(4),
pp. 419–441.
Available at http://www.jstor.org/stable/4616418.
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti & Mieke Massink (2015):
CARMA: Collective Adaptive Resource-sharing Markovian Agents.
In: Nathalie Bertrand & Mirco Tribastone: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015.,
EPTCS 194,
pp. 16–31,
doi:10.4204/EPTCS.194.2.
Allan Clark & Stephen Gilmore (2008):
State-aware performance analysis with eXtended Stochastic Probes.
In: Nigel Thomas & Carlos Juiz: Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008),
LNCS 5261.
Springer,
Palma de Mallorca, Spain,
pp. 125–140,
doi:10.1007/978-3-540-87412-6_10.
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi & Andrea Vandin (2015):
The SCEL Language: Design, Implementation, Verification.
In: Martin Wirsing, Matthias M. Hölzl, Nora Koch & Philip Mayer: Software Engineering for Collective Autonomic Systems - The ASCENS Approach,
Lecture Notes in Computer Science 8998.
Springer,
pp. 3–71,
doi:10.1007/978-3-319-16310-9_1.
J. Hillston (1996):
A Compositional Approach to Performance Modelling.
Cambridge University Press,
doi:10.1017/CBO9780511569951.
Philipp Reinecke, Tilman Krauß & Katinka Wolter (2013):
Phase-Type Fitting Using HyperStar.
In: Maria Simonetta Balsamo, William J. Knottenbelt & Andrea Marin: Computer Performance Engineering - 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings,
Lecture Notes in Computer Science 8168.
Springer,
pp. 164–175,
doi:10.1007/978-3-642-40725-3_13.