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

   2006
1Banci M., Fantechi A., Gnesi S. Statecharts composition to model topologically distributed applications. In: Journal of Integrated Design and Process Science, vol. 10 (1) pp. 1 - 15. Society for Design and Process Science, 2006.     
2Bolognesi T. Process algebra under the light of Wolfram's NKS. In: Electronic Notes in Theoretical Computer Science, vol. 162 pp. 101 - 105. Workshop "Essays on Algebraic Process Calculi" - APC 25 (Bertinoro, Italy 01-05 August 2005). Proceedings. L. Aceto and A.D. Gordon (eds.). Elsevier, 2006.     
3De Nicola R., Katoen J., Latella D., Massink M. Towards a logic for performance and mobility. In: Electronic Notes in Theoretical Computer Science, vol. 153 (2) pp. 161 - 175. Third Workshop on Quantitative Aspects of Programming Languages. QAPL 2005 (Edinburgh, UK, 02-03 April 2005). Proceedings. A. Cerone and H. Wiklicky (eds.). Elsevier, 2006.        
4Fitzgerald J. S., Gnesi S., Mandrioli D. The industrialization of formal methods. In: International Journal on Software Tools for Technology Transfer (STTT), vol. Volume 8 (Numbers 4-5 / August, 2006) pp. 301 - 302. Springer Berlin / Heidelberg, 2006.     
5Massink M., Margaria T. FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems. In: ERCIM News, vol. 64 pp. 6 - 7. Peter Kunz (ed.). ERCIM, 2006.  
6Massink M., Latella D., Gnesi S. On testing UML statecharts. In: Journal of Logic and Algebraic Programming, vol. 69 (1-2) pp. 1 - 74. Elsevier Science, 2006.     
7Ter Beek M. H., Lenzini G., Petrocchi M. A team automaton scenario for the analysis of security properties in communication protocols. In: Journal of Automata, Languages and Combinatorics, vol. 11 (4) pp. 345 - 374. Otto-von-Guericke-Universitat Magdeburg, 2006.     
8Tonazzini A., Bonchi F., Gnesi S., Kuruoglu E. E., Bottini S. Analysis and modelling of genomic data. In: In: Ercim News, vol. 64 pp. 59 - 60. ERCIM, 2006.  

Contribution to Book/Monograph

   2006
1Asirelli P., Martinelli M., Salvetti O. Call for a common multimedia ontology framework requirements. In: Towards a Common Multimedia Ontology Framework. pp. 1 - 5. Hariklia Eleftherohorinou, Vasiliki Zervaki, Anastasios Gounaris, Vasileios Papastathis, Yiannis Kompatsiaris, Paola Hobson (eds.). London: Acemedia, 2006.     
2Bertolino A., Fantechi A., Gnesi S., Lami G. Product line use cases: scenario-based specification and testing of requirements. In: Software Product Lines : research issues in engineering and management. pp. 425 - 445. Timo Kakola et al. (eds.). Berlin: Springer-Verlag, 2006.  
3Fantechi A., Gnesi S., Semini L. Achieving fault tolerance by a formally validated interaction policy. In: Rigorous Engineering of Fault-Tolerant Systems. pp. 133 - 152. M. Butler et al. (eds.). (Lecture Notes in Computer Science, vol. 4157). Heidelberg: Springer-Verlag, 2006.  
4Martinelli M., Salvetti O., Little S., Asirelli P. Algorithm representation use case. In: Multimedia Annotation Interoperability Framework. pp. 1 - 1. W3C (ed.). World Wide Web: W3C Multimedia Semantics Incubator Group, 2006.     
5Ter Beek M. H., Massink M., Latella D. Towards model checking stochastic aspects of the 'thinkteam' user interface. In: Interactive Systems : 12th International Workshop, DSVIS 2005 (Newcastle upon Tyne, UK, July 13-15, 2005). Revised Papers. pp. 39 - 50. S.W. Gilroy and M.D. Harrison (eds.). (Lecture Notes in Computer Science, vol. 3941). Berlin, Germany: Springer, 2006.     

Proceedings

   2006
1Asirelli P., Martinelli M., Salvetti O. An infrastructure for multimedia metadata management. In: First International Workshop on Semantic Web Annotations for Multimedia (SWAMM 2006) (Edinburgh, 22 May 2006). Proceedings, pp. 1 - 6. CEUR, 2006.  
2Asirelli P., Little S., Martinelli M., Salvetti O. MultiMedia metadata management: a proposal for an infrastructure. In: Semantic Web Applications and Perspectives, SWAP 2006 (Pisa, 18-20 December 2006). Proceedings, pp. 1 - 6. G. Tummarello, P. Bouquet, O. Signore (eds.). CEUR, 2006.     
3Bacherini S., Fantechi A., Tempestini M., Zingoni N. A story about formal methods adoption by a railway signaling Manufacturer. In: International Symposium on Formal Methods (Hamilton, Ontario, Canada, August 21- 27, 2006). Proceedings, pp. 179 - 189. (Lecture Notes in Computer Science, vol. 4085). Springer, 2006.     
4Banci M., Fantechi A., Gnesi S. Statecharts composition to model topologically distributed applications. In: Integrated Design and Process Technology Conference (San Diego, California, June 25-30, 2006). Proceedings, pp. 15 - 15. Society for Design and Process Science (eds.). Society for Design and Process Science, 2006.     
5Berry D. M., Bucchiarone A., Gnesi S., Lami G., Trentanni G. A new quality model for natural language requirements specifications. In: 12th International Working Conference on Requirements Engineering: Foundation for Software Quality REFSQ'06 (Luxembourg, Grand-Duchy of Luxembourg, 5-6 June 2006). Proceedings, pp. 115 - 128. Essener Informatik Beiträge, 2006.  
6Bucchiarone A., Muccini H., Pelliccione P. A practical architecture-centric analysis process. In: International Conference on the Quality of Software Architectures. QoSA 2006 (Mälardalen University, Västerås near Stockholm, Sweden, June 27-29, 2006). Proceedings, pp. 127 - 144. C. Hofmeister et al. (eds.). (Lecture Notes in Computer Science, vol. 4214). Springer, 2006.  
7Bucchiarone A., Gnesi S. A survey on services composition languages and models. In: International Workshop on Web Services Modeling and Testing (WSMaTe '06) (Palermo, June 9 2006). Proceedings, pp. 37 - 49. publisher information no available, 2006.  
8Ter Beek M. H., Gnesi S., Mazzanti F., Moiso C. Formal modelling and verification of an asynchronous extension of SOAP. In: IEEE European Conference on Web Services (ECOWS'06) (Zurich, Switzerland, 4-6 December 2006). Proceedings, pp. 287 - 296. A. Bernstein, T. Gschwind, and W. Zimmermann (eds.). IEEE Computer Society, Los Alamitos, CA, 2006.     

Editorials

   2006
1Gnesi S., Maibaum T., Wassyng A. First International Workshop on Software Certification. p. -. CERTSOFT, 2006.  
2Ter Beek M. H., Gadducci F. First International Workshop on Views on Designing Complex Architectures. vol. 142 (3) pp. 1 - 3. Elsevier, 2006.     

Technical reports

   2006
1Asirelli P., Little S., Martinelli M., Salvetti O., Gudukbay U. MUSCLE NoE - Showcase: Generating and integrating MPEG-7 compliant metadata from images and videos for spatio-temporal, semantic, and feature query processing. Multimedia Understanding through Semantics Computation and LEarning Network of Excellence. Deliverable 2.1, 2006.  
2Banci M. Automatic instantiation of generic statecharts. Internal note, 2006.  
3Banci M. Model based design of interlocking systems. Internal note, 2006.  
4Banci M. Railway model reduction. Internal note, 2006.  
5Banci M. Statemate XMI Exporter. Internal note, 2006.  
6Bolognesi T. Formalizing uncertainty in service request/offer description and matching. The document has been submitted to Conference: EWSA 2006 - 3rd Europ. Wshop on Soft. Arch., Languages, Styles, Models, Tools, and Applications, Technical report, 2006.  
7Bolognesi T. Planar trivalent network computation. The document will be submitted to Conference: CiE (Computability in Europe) 2007, Technical report, 2006.  
8Bucchiarone A., Gnesi S., Fantechi A., Winzen A. A Quality Evaluation Process for Collaborative Requirements: An Industrial Case Study. Technical report, 2006.  
9Caires L., Zawlocki A., Corradini A., Mazzanti F., Loreti M., Nielson H. R. SENSORIA - An Overview of Techniques for Behavioural Properties. Software Engineering for Service-Oriented Overlay Computers. Deliverable D3.3a, 2006.  
10De Nicola R., Katoen J., Latella D., Loreti M., Massink M. MoSL: A Stochastic Logic for StoKLAIM. Technical report, 2006.  
11De Nicola R., Katoen J., Latella D., Massink M. STOKLAIM: A Stochastic Extension of KLAIM. Technical report, 2006.  
12Faconti G., Massink M. Analysis of Pointing Tasks on a White Board - Extended Version. The document has been accepted at International workshop Design, Specification and Verification of Interactive Systems 2006, July 26-28, Dublin Ireland, Technical report, 2006.  
13Gnesi S., Ter Beek M. H., Baumeister H., Hoelzl M., Moiso C., Koch N., Zobel A., Alessandrini M. SENSORIA - Case studies scenario description. Software Engineering for Service-Oriented Overlay Computers. Deliverable D8.0, 2006.  
14Mazzanti F. UMC User Guide (version 3.3). Technical report, 2006.  
15Pieri G., Martinelli M., Asirelli P., Salvetti O. MUSCLE NoE - Report on representation models and strategies. Multimedia Understanding through Semantics Computation and LEarning Network of Excellence. Deliverable WP9.6, 2006.  
16Ter Beek M. H., Bucchiarone A., Gnesi S. A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods. The document has been submitted to other: 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), Vienna, Austria, 8-9 September 2006, Technical report, 2006.  
17Ter Beek M. H., Gnesi S., Mazzanti F., Moiso C. Formal Modelling and Verification of an Asynchronous Extension of SOAP. The document has been submitted to Conference: 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris, France, 26-29 September 2006, Technical report, 2006.  
18Ter Beek M. H., Moiso C., Petrocchi M. Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. The document has been submitted to Conference: The Third Advanced International Conference on Telecommunications (AICT'07), Technical report, 2006.  

Abstracts

   2006
1Di Bona S., Asirelli P., Salvetti O., Martinelli M., Fontanelli R., Guerri D. Collaborative virtual working environments for medical expertise sharing. In: 11th World Congress on Internet in Medicine. MEDNET 2006 Abstract. (Toronto, Canada, 14-19 October 2006). Abstract, p. 42. Society for the Internet in Medicine, 2006.  
2Ter Beek M. H., Gadducci F., Janssens D. A calculus for team automata. In: Brazilian Symposium on Formal Methods (SBMF'06) (Natal, Rio Grande do Norte, Brazil, 17-23 September 2006).      
comments to Stefania Gnesi