IMT Institutional Repository: No conditions. Results ordered -Date Deposited.
http://eprints.imtlucca.it/
Fri, 29 Mar 2024 11:24:45 +0100Fri, 29 Mar 2024 11:24:45 +0100en Static analysis techniques for session-oriented calculi
http://eprints.imtlucca.it/2315/
Acciai, Lucia and Bodei, Chiara and Boreale, Michele and Bruni, Roberto and Torres Vieira, Hugo Static analysis techniques for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 214-231. ISBN 978-3-642-20400-5 (2011) Linear-Time and May-Testing in a Probabilistic Reactive Setting
http://eprints.imtlucca.it/420/
Acciai, Lucia and Boreale, Michele and De Nicola, Rocco Linear-Time and May-Testing in a Probabilistic Reactive Setting. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2011). Lecture Notes in Computer Science, 6722 . Springer, pp. 29-43. (2011) SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
http://eprints.imtlucca.it/413/
Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008)