XXL
Advanced Tools and Techniques for the Specification and Verification of Systems with Elevated Granularity

 

 


CNR-RSTL project
FM&&T group  CNR-ISTI
2008-2010
Pisa, IT
  June 20th, 2011.

Project Coordinator
Contact
  •   M.Massink AT isti.cnr.it

Publications

2008
  • M. Massink, D. Latella, M.H. ter Beek, M. Harrison, and M. Loreti. A Fluid Flow Approach to Usability Analysis of Multi-user Systems. In Engineering Interactive Systems 2008 - Proceedings of the 2nd Conference on Human-Centered Software Engineering (HCSE'08), Pisa, Italy (P. Forbrig and F. Paternò, eds.), Lecture Notes in Computer  Science 5247, Springer-Verlag, Berlin, 2008, 166 - 180.
  • Tommaso Bolognesi. Planar Trinet Dynamics with Two Rewrite Rules, Complex Systems, Volume 18, Issue 1, Complex Systems Publications, Inc., 2008, pp. 1 - 41.
2009
  • M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni. Assisting the Design of a Groupware System - Model Checking Usability Aspects of thinkteam. In The Journal of Logic and Algebraic Programming 78, 4 (2009), 191 - 232.
  • Harrison, M. D., Massink, M. and Latella, D. Engineering Human Flows in Smart Environments – Extended Version. CNR-ISTI Technical Report 2009-TR-014. Conference version submitted.
  • Harrison, M. D., Massink, M. and Latella, D. Engineering Crowd Interaction with Smart Environments. In: EICS 2009 - ACM SIGCHI Symposium on Engineering Interactive Computing Systems (Carnegie Mellon University, Pittsburgh, USA, 14-17 luglio 2009). Proceedings, pp. 117 - 122. ACM, 2009.
  • M.H. ter Beek, G.P. Faconti, M. Massink, P. Palanque and M. Winckler. Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach. In: INTERACT 2009 - Human-Computer Interaction. 12th IFIP TC 13 International Conference (Uppsala, Sweden, 24-28 August 2009). Proceedings, vol. I pp. 494 - 509. (Lecture Notes in Computer Science, vol. 5726). Springer, 2009.
  • T. Bolognesi. A pseudo-random network mobile automaton with linear growth. Information Processing Letters Volume 109, Issue 13, 15 June 2009, Pages 668-674, doi:10.1016/j.ipl.2009.02.023, 2009.
  • Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. Deontic logics for modeling behavioural variability. In: VaMoS 2009 - Third International Workshop on Variability Modelling of Software-Intensive Systems (Seviglia, Spagna, 28-30 Gennaio 2009). Proceedings, pp. 71 - 76. D. Benavides, A. Metzger, U. Eisenecker (eds.). (ICB Research Report, vol. 29). Universität Duisburg‐Essen, 2009.
  • De Nicola R., Latella D., Loreti M., Massink M. MarCaSPiS: a Markovian extension of a Calculus for Services. In: Electronic Notes in Theoretical Computer Science, vol. 229 (4) pp. 11 - 26. M. Hennessy, B. Klin (eds.). Elsevier, 2009.
  • De Nicola R., Latella D., Loreti M., Massink M. Rate-based transition systems for stochastic process calculi. In: ICALP 2009 - Automata, Languages and Programming. 36th International Colloquium (Rhodes, Greece, 5-12 July 2009). Proceedings, vol. II pp. 435 - 446. (Lecture Notes in Computer Science, vol. 5556). Springer Verlag, 2009.
  • M. Bravetti, D. Latella, M. Loreti, M. Massink, G. Zavattaro Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. In Proc. of Trustworthy Global Computing, Fourth Symposium (TGC'08), Barcelona (Spain), November 2008, LNCS 5474, pages: 52-68, Springer-Verlag, 2009.
  • R. De Nicola, D. Latella, M. Loreti, and M. Massink. On a Uniform Framework for the Definition of Stochastic Process Languages. In M. Alpuente, B. Cook, and C. Joubert, editors, Formal Methods for Industrial Critical Systems - FMICS 2009, volume 5825 of LNCS, pages 9--25. Springer-Verlag, 2009.
  • M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, G. Trentanni and M. Sebastianis, thinkteam with Replicated Data Repositories - Stochastic Model Checking in Industry. Technical Report 2009-TR-027, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2009.
2010
  • Michael D. Harrison and Mieke Massink, Modelling Interactive Experience, Function and Performance in Ubiquitous System, In Proc. of PASM 2009, ENTCS volume 261, pp. 23-42, Elsevier, 2010. ENTCS.
  • P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, A deontic logical framework for modelling product families. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010), Linz, Austria (D. Benavides, D. Batory, and P. Grünbacher, eds.), ICB Research Report 37, Universität Duisburg Essen, 2010, 37 - 44.
  • Mieke Massink, Michael Harrison and Diego Latella: Scalable Analysis of Collective Behaviour in Smart Service Systems. In proceedings of the 25th Annual ACM Symposium on Applied Computing 2010, Sierre, Switzerland, 22-26 March, 2010, Volume 2, track HCI, pp. 1173-1180, ACM, 2010.
  • Tommaso Bolognesi: Causal Sets From Simple Models of Computation. In the Archive of the Cornell University Library at http://arxiv.org/abs/1004.3128, 2010.
  • Harrison M., Massink M. Modelling interactive experience, function and performance in ubiquitous systems. In: Electronic Notes in Theoretical Computer Science, vol. 261 pp. 23 - 42. Special issue: Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling (PASM 2009). Elsevier, 2010.
  • Massink M., Latella D., Bracciali A., Harrison M. A Process Algebraic Fluid Flow Model of Emergency Egress. CNR-ISTI Technical report 2010-TR012, 2010.
  • Aldinucci M., Bracciali A., Lio' P. Formal Synthetic Immunology. ERCIM News, Nr. 82, July 2010, ERCIM, 2010.
  • Asirelli P., Beek ter M. H., Fantechi A., and Gnesi S., A Logical Framework to Deal with Variability. In Proceedings of the 8th International Conference on
    Integrated Formal Methods (IFM'10), Nancy, France (D. Méry and S. Merz, eds.), Lecture Notes in Computer Science 6396, Springer-Verlag, Berlin, 2010, 43-58.
    http://dx.doi.org/10.1007/978-3-642-16265-7_5
  • Bracciali A., Hillston J., Latella D., Massink M. Reconciling Population and Agent Models for Crowd Dynamics. In Proceedings of Third International Workshop on Logics, Agents, and Mobility. 15 July 2010; Edinburgh, UK. To apear. See also http://web.me.com/farwer/LAM10/LAM10.html and http://www.floc-conference.org/LAM-home.html. Further details and full specifications can be found here.
  • Massink M., Bracciali A., Latella D., Harrison M., A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis. In Proceedings of the 8th IEEE International Conference on Software Engineering And Formal Methods (SEFM2010). pp. 169-180. IEEE, 2010. Further details and full specifications can be found here.
  • Massink M., Latella D., Bracciali A., Hillston J. Modelling Crowd Dynamics in Bio-PEPA-- Extended Abstract. In Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010). September 2010. http://pastaworkshop.org/
  • Aldinucci M., Bracciali A., Lio' P, Sorathiya, A., Torquati, M. StochKit-FF: Efficient Systems Biology on Multicore Architectures.
    In Proceedings of the Euro-Par First International Workshop on High Performance Bioinformatics and Biomedicine (HiBB). August 31-Sept. 3, 2010,
    Ischia, Napels, Italy, 2010. To appear as Springer LNCS volume.
2011
  • Massink M., Latella D., Bracciali A., Harrison M. D., Hillston J., Scalable Context-dependent Analysis of Emergency Egress Models. Formal Aspects of Computing, 2011. To Appear. Further details and full specifications can be found here.
  • P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi. A Model-Checking Tool for Families of Services. In Formal Techniques for Distributed Systems. Proceedings of the Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'11) and 31st IFIP WG 6.1 International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE'11), Reykjavik, Iceland (R. Bruni and J. Dingel, eds.), Lecture Notes in Computer Science 6722, Springer-Verlag, Berlin, 2011, 44 - 58, 2011.
    DOI: http://dx.doi.org/10.1007/978-3-642-21461-5_3
  • P. Asirelli, M.H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti. Design and Validation of Variability in Product Lines. In Proceedings of the 2nd International Workshop on Product LinE Approaches in Software Engineering (PLEASE'11), Companion Proceedings of the 33rd International Conference on Software Engineering (ICSE'11), Honolulu, Hawaii, ACM Press, New York, 2011, 25 - 30. 2011
    DOI: http://dx.doi.org/10.1145/1985484.1985492



Last update: June 20, 2011