FAERUS
Formal Analysis of Evolving Resilient Usable Systems

 

 




International Mini-project in the context of the
EU Network of Excellence ReSIST, 2008
Contract Number: 026764
Pisa, IT
  Monday, September 21, 2009.

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

List of joint publications related to the FAERUS project:

  • [ter Beek et al. 2009a] ter Beek, M. H., Faconti, G., Massink, M., Palanque, P. and Winckler, M. Resilience of Interaction Techniques to Interrupts – A Formal Model Based Approach. Full Version. CNR-ISTI Technical Report 2009-TR-001, 2009.
  • [ter Beek et al. 2009b] ter Beek, M. H., Faconti, G., Massink, M., Palanque, P. and Winckler, M. 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.
  • [ter Beek et al. 2009b] ter Beek, M. H., Gnesi, S., Latella, D., Massink, M., Sebastianis, M. and Trentanni, G. 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. ElsevierDoi : 10.1016/j.jlap.2008.11.004.
  •  [Faconti et al. 2008] Faconti, G., Harrison, M., Massink, M. and Palanque, P. The Faerus Project: Formal Analysis of Evolving Resilient Usable Systems. Fast Abstract Track. In the proceedings of The 7th European Dependable Computing Conference (EDCC-7), May 7-9, Kaunas, Lithuania, 2008.
  • [Harrison et al. 2009] Harrison, M. D., Massink, M. and Latella, D. Engineering human flows in smart environments – Extended Version. CNR-ISTI Technical Report 2009-TR-014.
  • [Harrison et al. 2009b] Harrison, M. D., Massink, M. and Latella, D. Engineering Crowd Interaction with Smart Environments. 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.
  • [Massink et al. 2008b] Massink, M., Latella, D., ter Beek, M. H., Harrison, M. D. and Loreti, M. 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. Paterno’ Eds.), LNCS 5247, Springer-Verlag, 2008.
  • [Palanque et al. 2009] Palanque, P., Winckler M., Ladry J.-F., ter Beek, M. H., Faconti, G., Massink, M. A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems. EICS'09 - 1st ACM SIGCHI symposium on Engineering Interactive Computing Systems (Pittsburgh, PA, USA, 15-17 July 2009). Proceedings, pp. 211 - 220. Gaëlle Calvary, T. C. Nicholas Graham, Philip Gray (eds.). ACM, 2009.
List of publications by individual sites:

  • [De Nicola et al. 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. Proceedings of the SOS2008 International Workshop held in Reykjavik, July, 2008.

Last update: September 29, 2009