Christian Kroiß. A Statistical Model Checker for Situation Calculus Based Multi-Agent Models (Extended Abstract). In 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), pages 1567–1568, 2014.
Christian Kroiß. Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models. In 8th International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2014), pages 151–160, 2014. (doi:10.1007/978-3-319-07650-8_16)
Christian Kroiß and Tomás Bures. Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems. In Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014), 2014.
Petr Libic, Lubomír Bulej, Vojtech Horky, and Petr T r uma. On the Limits of Modeling Generational Garbage Collector Performance. In Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering, pages 15–26. ACM, March 2014. (doi:10.1145/2568088.2568097)
Diego Latella, Michele Loreti, and Mieke Massink. On-the-fly Fast Mean-Field Model-Checking. In Martin Abadi and Alberto Lluch-Lafuente, editors, Trustworthy Global Computing, 4th Inter- national Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, volume 8358 of LNCS, page 297–314. Springer, 2014.
Diego Latella, Michele Loreti, and Mieke Massink. On-the-fly Probabilistic Model Checking. In Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, and Hugo Torres Vieira, editors, Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014, volume 166 of EPTCS, pages 45 – 59. EPTCS, 2014. (doi:10.4204/EPTCS.166.6)
Diego Latella, Michele Loreti, Mieke Massink, and Valerio Senni. Stochastically timed predicate-based communication primitives for autonomic computing. In N. Bertrand and L. Bortolussi, editors, Proceedings of 12th Quantitative Aspects of Programming Languages and Systems (QAPL), volume 154 of Electronic Proceedings in Theoretical Computer Science, pages 1–16. Open Publishing Association, 2014. (doi:10.4204/EPTCS.154.1)
Diego Latella, Michele Loreti, Mieke Massink, and Valerio Senni. On STOCS: a Stochastic extension of SCEL. Technical Report 11, ASCENS, February 2014.
Michele Loreti, Andrea Margheri, Rosario Pugliese, and Francesco Tiezzi. On Programming and Policing Autonomic Computing Systems. In Tiziana Margaria and Berhard Steffen, editors, Proc. of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Rigorous Engineering of Autonomic Ensembles track, volume 8802 of LNCS, pages 164–183. Springer, 2014. (doi:10.1007/978-3-662-45234-9_12)
Lenz Belzner, Rocco De Nicola, Andrea Vandin, and Martin Wirsing. Reasoning (on) Service Component Ensembles in Rewriting Logic. In Shusaku Iida, José Meseguer, and Kazuhiro Ogata, editors, Specification, Algebra, and Software: A Festschrift Symposium inHonor of Kokichi Futatsugi (SAS 2014), volume 8373 of Lecture Notes in Computer Science, pages 188 – 211. Springer, 2014. (doi:10.1007/978-3-642-54624-2_10)