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

   2008
1Banci M., Fantechi A., Gnesi S., Lombardi G. Model driven development of railway systems using diversity. In: Computer Systems Science and Engineering, vol. 23 (5) pp. 329 - 335. Special issue: Engineering Fault Tolerant Systems. Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (eds.). CRL Publishing LTD, 2008.     
2Bolognesi T. Planar trinet dynamics with two rewrite rules. In: Complex Systems, vol. 18 (1) pp. 1 - 41. Complex Systems Publications, Inc, 2008.     
3Bruni R., Bucchiarone A., Gnesi S., Melgratti H. Modelling dynamic software architectures using typed graph grammars. In: Electronic Notes in Theoretical Computer Science, vol. 213 (1) pp. 39 - 53. Special issue: GT-VC 2007. Third Workshop on Graph Transformation for Concurrency and Verification (Lisbon, Portugal, 3 September 2007). Barbara König, Arend Rensink, Reiko Heckel (eds.). Elsevier, 2008.        
4Bucchiarone A., Galeotti J. Dynamic software architectures verification using DynAlloy. In: Electronic Communications of the EASST, vol. 10 pp. 1 - 14. Special issue: GT-VMT 2008. Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (Budapest, Hungary, 29-30 March 2008). Claudia Ermel, Reiko Heckel, Juan de Lara (eds.). EASST, 2008.     
5Bucchiarone A., Gnesi S., Trentanni G., Fantechi A. Evaluation of natural language requirements in the MODCONTROL project. In: ERCIM NEWS, vol. 75 pp. 52 - 53. Special theme: Safety-Critical Software. Peter Kunz (Central Editor) (ed.). ERCIM, 2008.     
6Fantechi A., Gnesi S., Lombardi G. Experimenting with diversity in the formal development of railway signalling systems. In: ERCIM NEWS, vol. 75 pp. 52 - 53. Special theme: Safety-Critical Software. ERCIM, 2008.     
7Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. Assisting the design of an industrial groupware system by model checking. In: ERCIM News, vol. 73 pp. 43 - 44. ERCIM, 2008.     

Contribution to Book/Monograph

   2008
1Bucchiarone A., Gnesi S., Bruni R., Lafuente A. L., Hirsch D. Graph-based design and analysis of dynamic software architectures. In: Festschrift in honor of Ugo Montanari. P. Degano et al... (eds.). (Lecture Notes in Computer Science, vol. 5065). Berlin: Springer, 2008.     
2Gnesi S. Software engineering: Ugo Montanari's main contributions and introduction to the section. In: Concurrency, Graphs and Models : essays dedicated to Ugo Montanari on the occasion of his 65th Birthday. pp. 258 - 260. Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.). (Lecture Notes in Computer Science, vol. 5065). Berlin/Heidelberg: Springer, 2008.        

Proceedings

   2008
1Asirelli P., Colantonio S., Little S., Martinelli M., Salvetti O. Media Analysis and the Algorithm Ontology. In: First International Workshop on Image Mining: Theory and Applications (IMTA 2008) (Funchal, Madeira, Portugal, 22-23 January 2008). Proceedings, pp. 16 - 25. I. Gourevich, H. Niemann and O. Salvetti (eds.). INSTICC Press, Portugal, 2008.  
2Fantechi A., Najm E. Session types for orchestration charts. In: COORDINATION 2008 - Coordination Models and Languages. 10th International Conference (Oslo, Norway, June 4-6 2008). Proceedings, pp. 117 - 134. (Lecture Notes in Computer Science, vol. 5052). Springer Verlag, 2008.        
3Gnesi S., Fantechi A., Mazzanti F., Pugliese R., La Padula A., Tiezzi F. A model checking approach for verifying COWS specifications. In: FASE 2008 - Fundamental Approaches to Software Engineering. 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 (Budapest, March 29-April 6 2008). Proceedings, pp. 230 - 245. José Luiz Fiadeiro, Paola Inverardi (eds.). (Lecture Notes in Computer Science, vol. 4961). Springer, 2008.        
4Gnesi S., Fantechi A. Formal modeling for product families engineering. In: SPLC '08 - Software Product Line Conference 2008 (Limerik Irland, 8-12 Sept 2008). Proceedings, pp. 193 - 202. IEEE Computer Society, 2008.        
5Massink M., Latella D., Ter Beek M. H., Harrison M. D., Loreti M. A fluid flow approach to usability analysis of multi-user systems. In: HCSE'08, EIS'08, TAMODIA'08 - Engineering Interactive Systems. Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008 2nd Conference on Human-Centered Software Engineering, part of Engineering Interactive Systems 2008 (Pisa, Italy, 25-26 September 2008). Proceedings, pp. 166 - 180. P. Forbrig and F. Paternò (eds.). (Lecture Notes in Computer Science, vol. 5247). Springer, 2008.        
6Ter 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 Settembre 2006). Proceedings, pp. 41 - 55. A. Martins Moreira and L. Ribeiro (eds.). (Electronic Notes in Theoretical Computer Science, vol. 195, 3). Elsevier Science Publishers, Amsterdam, 2008.     
7Ter Beek M. H., Fantechi A., Gnesi S., Mazzanti F. An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications. In: 12th International Workshop on Formal Methods for Industrial Critical Systems. FMICS'07 (Berlin, Germany, 1-2 July 2007). Proceedings, pp. 133 - 148. S. Leue and P. Merino (eds.). (Lecture Notes in Computer Science, vol. 4916). Springer-Verlag, Berlin, 2008.     
8Ter Beek M. H., Gnesi S., Koch N., Mazzanti F. Formal verification of an automotive scenario in service-oriented computing. In: 30th International Conference on Software Engineering (ICSE'08) (Leipzig, Germany, 10-18 May 2008). Proceedings, pp. 613 - 622. ACM Press, 2008.     

Technical reports

   2008
1Asirelli P., De Chalendar G., Grefenstette G., Güdükbay U., Little S., Martinelli M., Perner P., Salvetti O., Tampucci M., Ulusoy Ö. MUSCLE NoE - 4M Infrastructure: Final Revision. Network of Excellence Multimedia Understanding through Semantics, Computation and Learning. Deliverable DN2.4, 2008.  
2Bolognesi T. A pseudo-random network mobile automaton with linear growth. Technical report, 2008.  
3Brogi A., Bruni R., Ciancarini P., Corradi A., Ferrari G., Massink M., Montanari U. Process-oriented models and languages: scientific results and application scenarios. TOCAI.IT: Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in InterneT (PR_FIRB_TOCAI.IT_D7.2). Project report TOCAI Deliverable D7.2, 2008.  
4Latella D., Loreti M., Massink M. Notes on Markovian Extension of a Dialect of Value Passing CCS. Technical report, 2008.  
5Latella D., Loreti M., Massink M. Notes on non-Markovian Extension of Value Passing CCS. Technical report, 2008.  
6Massink M., Latella D., Ter Beek M. H., Harrison M. D., Loreti M. A fluid flow approach to usability analysis of multi-user systems - Full Version. Technical report, 2008.  
7Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. Assisting the design of a groupware system - model checking usability aspects of thinkteam. Technical report, 2008.     
8Ter Beek M. H., Gnesi S. Sensoria - Relations among case studies and theme 2 results: qualitative and quantitative analysis of aspects of services. Software Engineering for Service-Oriented Overlay Computers - EU FP6-IP-IST-016004. Deliverable D8.6, 2008.  

Abstracts

   2008
1Bucchiarone A., Fantechi A., Gnesi S., Lami G., Trentanni G. QuARS Express - A Tool Demonstration. In: ASE 2008 - Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on Automated Software Engineering (L'Aquila, Italy, 15-19 September 2008). Abstract, pp. 473 - 474. IEEE/ACM, 2008.           
comments to Stefania Gnesi