Formal Methods and Tools Laboratory (FMT)

home | people | topics | projects | publications | software | news


Publications

2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017 

 
PUMA, and MetaPub allow for more selective retrieval from the collections of the CNR Institutes; in particular from the CSCE, CNUCE, IEI, and ISTI collections.


Journal articles

   2010
1Aldinucci M., Bracciali A., Lio' P. Formal synthetic immunology. In: ERCIM News, vol. 82 pp. 40 - 41. ERCIM, 2010.     
2Bolognesi T. Building Discrete Spacetimes by Simple Deterministic Computations. In: ERCIM News, vol. 83 pp. 52 - 53. ERCIM EEIG, 2010.        
3Bolognesi T. Causal sets from simple models of computation. In: International Journal of Unconventional Computing, vol. 6 (6) pp. 489 - 524. OCP Science, 2010.     
4Harrison 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.  

Proceedings

   2010
1Asirelli P., Ter Beek M. H., Gnesi S., Fantechi A. A deontic logical framework for modelling product families. In: VaMoS 2010 - Fourth International Workshop on Variability Modelling of Software-Intensive Systems (Linz, Austria, 27-29 January 2010). Proceedings, pp. 37 - 44. D. Benavides, D. Batory, P. Grünbacher (eds.). (ICB Research Report, vol. 37). Universität Duisburg-Essen, 2010.     
2Asirelli P., Ter Beek M., Fantechi A., Gnesi S. A logical framework to deal with variability. In: IFM 2010 - Integrated Formal Methods. 8th International Conference (Nancy, France, 11-14 Ottobre 2010). Proceedings, pp. 43 - 58. D. Méry, S. Merz (eds.). (Lecture Notes in Computer Science, vol. 6396). Springer, 2010.        
3Biscoglio I., Coco A., Fusani M., Gnesi S., Trentanni G. An approach to ambiguity analysis in safety-related standards. In: QUATIC 2010 - 7th International Conference on the Quality of Information and Communications Technology (Oporto, Portugal, 29 September - 2 October 2010). Proceedings, pp. 461 - 466. Faculty of Engineering, Porto University (eds.). IEEE, 2010.        
4Bucchiarone A., Fantechi A., Gnesi S., Trentanni G. An experience in using a tool for evaluating a large set of natural language requirements. In: SAC '10 - 2010 ACM Symposium on Applied Computing (Sierre, Svizzera, 22-26 marzo 2010). Proceedings, pp. 281 - 286. Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Michael Schumacher, Chih-Cheng Hung (eds.). ACM, 2010.        
5Ferrari A., Fantechi A., Papini M., Grasso D. An industrial application of formal model based development: the Metro Rio ATP case. In: SERENE 2010 - 2nd International Workshop on Software Engineering for Resilient Systems (London, UK, 13-16 April 2010). Proceedings, pp. 71 - 76. ACM, 2010.  
6Ferrari A., Grasso D., Magnani G., Fantechi A., Tempestini M. The Metrô Rio ATP case study. In: FMICS 2010 - Formal Methods for Industrial Critical Systems. 15th International Workshop (Antwerp, Belgium, 20-21 September 2010). Proceedings, pp. 1 - 16. Stefan Kowalewski, Marco Roveri (eds.). (Lecture Notes in Computer Science, vol. 6371). Springer, 2010.        
7Grasso D., Fantechi A., Ferrari A., Becheri C., Bacherini S. Model based testing and abstract interpretation in the railway signaling context. In: ICST 2010 - Third International Conference on Software Testing, Verification and Validation (Paris, 6-10 April 2010). Proceedings, pp. 103 - 106. IEEE, 2010.        
8Massink M., Latella D., Bracciali A., Harrison M. A scalable fluid flow process algebraic approach to emergency egress analysis. In: SEFM 2010 - 8th IEEE International Conference on Software Engineering and Formal Methods (Pisa, Italy, 14-18 September 2010). Proceedings, pp. 169 - 180. IEEE, 2010.  
9Massink M., Harrison M., Latella D. Scalable analysis of collective behaviour in smart service systems. In: SAC 2010 - 25th Annual ACM Symposium on Applied Computing 2010 (Sierre, Switzerland, 22-26 March 2010). Proceedings, vol. 2 pp. 1173 - 1180. ACM, 2010.     
10Ter Beek M. H., Mazzanti F., Sulova A. An experience on formal analysis of a high-level graphical SOA design. In: FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods (Pisa, Italy, 17 Settembre 2010). Proceedings, pp. 79 - 98. S. Gruner, B. Rumpe (eds.). (Lecture Notes in Informatics (LNI), vol. 179). Gesellschaft für Informatik, Bonn, 2010.     
11Ter Beek M. H., Fantechi A., Gnesi S., Zavattaro G. Modelling variability, evolvability, and adaptability in service computing. In: ACoTA 2010 - First International Workshop on Automated Configuration and Tailoring of Applications (Antwerp, Belgium, 20 Settembre 2010). Proceedings, pp. 14 - 19. Deepak Dhungana, Rick Rabiser, Norbert Seyff, Goetz Botterweck (eds.). (CEUR Workshop Proceedings, vol. 688). CEUR-WS.org, 2010.     

Editorials

   2010
1Fiadeiro J., Gnesi S., Maggiolo Schettini A., (eds.) .. Preface of SEFM 2010. pp. viii - ix. IEEE, 2010.        
2Mazzanti F., Trentanni G. SEFM 2010 - Poster and Tool Demo Session Proceedings. pp. 1 - 52. Franco Mazzanti, Gianluca Trentanni (eds.). CNR, Area della Ricerca di Pisa, 2010.  

Technical reports

   2010
1Bolognesi T. Causal sets from simple models of computation. Technical report, 2010.  
2Massink M., Latella D., Bracciali A., Hillston J. A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour. Technical report, 2010.  
3Massink M., Latella D., Bracciali A., Harrison M. A process algebraic fluid flow model of emergency egress. Technical report, 2010.  
4Ter Beek M. H., Mazzanti F. Modelling and analysing the finance case study in UMC. Technical report, 2010.     
5Ter Beek M. H. Sensoria - results applied to the case studies. EU FP6-IP-IST-016004 Software Engineering for Service-Oriented Overlay Computers. Deliverable D8.8, 2010.     
6Ter Beek M., Mazzanti F. Sensoria - Manual for using the UMC model of the automotive case study. Software Engineering for Service-Oriented Overlay Computers. Project report FP6-IP-IST-016004-AUT, 2010.  
7Ter Beek M., Mazzanti F. Sensoria - Manual for using the UMC model of the finance case study. Software Engineering for Service-Oriented Overlay Computers. Project report FP6-IP-IST-016004-FIN, 2010.  

Software

   2010
1Bertolino A., De Angelis G., Polini A. Pick UP Performance Evaluation Test-bed. [Software] , 01 January 2010.  

Abstracts

   2010
1Massink M., Latella D., Bracciali A., Hillston J. Modelling crowd dynamics in Bio-PEPA - Extended Abstract. In: PASTA 2010 - 9th Workshop on Process Algebra and Stochastically Timed Activities (London, U.K., 6-7 September 2010).   
comments to Stefania Gnesi