Formal Methods and Tools Laboratory (FMT)

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


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

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

1Bolognesi T. Behavioral complexity indicators for process algebra: the NKS approach. In: Journal of Logic and Algebraic Programming, vol. 72 (1) pp. 50 - 77. Algebraic Process Calculi: The First Twenty Five Years and Beyond. II. Elsevier, 2007.     
2Bucchiarone A., Muccini H., Pelliccione P. Architecting fault-tolerant component-based systems: from requirements to testing. In: Electronic Notes in Theoretical Computer Science, vol. 168 pp. 77 - 90. 2nd International Workshop on Views on Designing Complex Architectures. VODCA 2006 (Bertinoro, Italy, September 16-17 2006). Proceedings. Maurice ter Beek, Fabio Gadducci (eds.). Elsevier, 2007.     
3De Nicola R., Katoen J., Latella D., Loreti M., Massink M. Model checking mobile stochastic logic. In: Theoretical Computer Science, vol. 382 (1) pp. 42 - 70. Quantitative Aspects of Programming Languages. A. Di Pierro and H. Wiklicky (eds.). Elsevier, 2007.     
4Ter Beek M. H., Bucchiarone A., Gnesi S. Formal methods for service composition. In: Annals of Mathematics, Computing & Teleinformatics, vol. 1 (5) pp. 1 - 10. Technological Education Institute of Larissa (TEIL), Greece, 2007.     
5Ter Beek M. H., Gnesi S., Martinelli F., Mazzanti F., Petrocchi M. Formal modelling and verification in service-oriented computing. In: ERCIM News, vol. 70 pp. 27 - 28. Service-Oriented Computing. ERCIM, 2007.     
6Ter Beek M. H., Csuhaj-Varju E., Holzer M., Vaszil G. On competence in CD grammar systems with parallel rewriting. In: International Journal of Foundations of Computer Science, vol. 18 (6) pp. 1425 - 1439. World Scientific Publishing Company, 2007.     
7ter Beek M. H., Kleijn J. Infinite unfair shuffles and associativity. In: Theoretical Computer Science, vol. 380 (3) pp. 401 - 410. Combinatorics on Words. Srečko Brlek and Christophe Reutenauer (eds.). Elsevier Science Publishers, 2007.     

Contribution to Book/Monograph

1Faconti G., Massink M. Analysis of a pointing task on a white board. In: Interactive Systems. Design, Specification, and Verification. pp. 185 - 198. Gavin Doherty and Ann Blandford (eds.). (Lecture Notes in Computer Science, vol. 4323). Heidelberg: Springer, 2007.        


1Asirelli P., Colantonio S., Gurevich I. B., Martinelli M., Salvetti O., Trusova Y. Ontology driven approach to image understanding. In: 8th Internation Conference on Pattern Recognition and Image Analysis: New Information Technologies. PRIA8 (Yoshkar-Ola, Russian Federation, 8-13 October 2007). Proceedings, vol. I pp. 67 - 71. Yuri I. Zhuravlev et al. (eds.). Mari State Technical University, 2007.  
2Banci M., Gnesi S. Automatic instantiation for railway interlocking systems. In: FORMS/FORMAT 2007 - 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (Braunschweig, Germany, 25-26 January 2007). Proceedings, pp. 389 - 398. GZVB e.V, 2007.  
3Banci M., Fantechi A., Gnesi S., Lombardi G. Experimenting with diversity in the model driven development of a railway signalling system. In: 2nd Workshop on Engineering Fault Tolerant Systems. EFTS (Dubrovnich, September 03 - 07 2007). Proceedings, Nicolas Guelfi et al. (eds.). ACM Digital Library, 2007.     
4Banci M., Fantechi A., Gnesi S., Lombardi G. Model driven development and code generation: an automotive case study. In: SDL 2007: Design for Dependable Systems. 13th International SDL Forum (Paris, France, 18-21 September 2007). Proceedings, pp. 19 - 34. Emmanuel Gaudin, Elie Najm and Rick Reed (eds.). (Lecture Notes in Computer Science, vol. 4745). Springer, 2007.     
5Bolognesi T. Planar trivalent network computation. In: 5th International Conference MCU 2007 - Machines, Computations, and Universality (Orleans - France, 10-13 september 2007). Proceedings, pp. 146 - 157. Jerome Durand-Lose, Maurice Margenstern (eds.). (Lecture Notes in Computer Science, vol. 4664). Springer, 2007.        
6Fabbrini F., Fusani M., Gnesi S., Lami G. Controlling requirements evolution: a formal concept analysis-based approach. In: 2nd International Conference on Software Engineering Advances. ICSEA 2007 (Cap Esterel, French Riviera, France, 25-31 August 2007). Proceedings, pp. 68 - 73. IEEE, 2007.        
7Fantechi A., Gnesi S. A behavioural model for product families. In: 6th Joint Meeting of the European Software Engineering Conference and the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering. ESEC/FSE 2007 (Dubrovnich, September 03 - 07 2007). Proceedings, pp. 525 - 528. ACM Press, 2007.     
8Palmeri M. C., De Nicola R., Massink M. Basic observables for probabilistic may testing. In: Quest2007 - Fourth International Conference on the Quantitative Evaluation of Systems (Edinburgh, Scotland, U.K, 17-19 September 2007). Proceedings, pp. 189 - 200. IEEE, 2007.        
9Ter Beek M. H., Fantechi A., Gnesi S., Mazzanti F. An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications. In: 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007) (Berlino, Germania, 1-2 Luglio 2007). Proceedings, pp. 135 - 147. Stefan Leue and Pedro Merino. Universität Konstanz / Universidad de Málaga, Germany / Spain, 2007.     
10Ter Beek M. H., Bucchiarone A., Gnesi S. Formal methods for service composition. In: 3rd South-East European Workshop on Formal Methods. SEEFM'07 (Thessaloniki, Greece, 30 Novembre - 1 Dicembre 2007). Proceedings, pp. 65 - 78. D. Dranidis, I. Sakellariou (eds.). South-East European Research Centre, Thessaloniki, Greece, 2007.     
11ter Beek M. H., Moiso C., Petrocchi M. Towards security analyses of an identity federation protocol for Web services in convergent networks. In: 3rd Advanced International Conference on Telecommunications. AICT'07 (Mauritius, 13-19 Maggio 2007). Proceedings, pp. 1 - 6. IEEE Computer Society, Los Alamitos, CA, 2007.     
12ter Beek M. H., Bucchiarone A., Gnesi S. Web service composition approaches: from industrial standards to formal methods. In: 2nd International Conference on Internet and Web Applications and Services. ICIW'07 (Mauritius, 13-19 Maggio 2007). Proceedings, pp. 1 - 6. IEEE Computer Society, Los Alamitos, CA, 2007.        


1Ter Beek M. H., Gadducci F. Second international workshop on views on designing complex architectures. In: Electronic Notes in Theoretical Computer Science. Editorial, vol. 168 pp. 1 - 3. Second International Workshop on Views On Designing Complex Architectures. VODCA 2006 (Bertinoro, Italy, 16-17 September 2006). Proceedings. M.H. ter Beek, F. Gadducci (eds.). Elsevier, 2007.     

Technical reports

1Anastasio D., Gnesi S., Lami G., Trentanni G. QuARS and the natural language processing techniques: looking for a suitable syntax parser. Technical report, 2007.  
2Biscoglio I., Trentanni G. Conciliating TOP-DOWN and BOTTOM-UP approaches in Websites quality evaluation. Technical report, 2007.  
3Bolognesi T. Planar trinet dynamics with two rewrite rules. Technical report, 2007.  
4Brogi A., Bruni R., Ciancarini P., Corradi A., Ferrari G., Massink M., Montanari U. Process-oriented models and languages Deliverable D7.1. TOCAI.IT: Tecnologie Orientate alla Conoscienza per Aggregazioni di Imprese in Internet. Project report D7.1, 2007.  
5Bucchiarone A., Fantechi A., Gnesi S., Trentanni G. Evaluation of natural language requirements in an industrial case study. Technical report, 2007.  
6Bucchiarone A., Gnesi S., Melgratti H., Bruni R. Modelling dynamic software architectures using typed graph grammars. Technical report, 2007.  
7De Nicola R., Katoen J., Latella D., Loreti M., Massink M. SENSORIA - Stochastic logics. Software Engineering for Service-Oriented Overlay Computers. Deliverable D4.2a, 2007.     
8Lami G., Trentanni G. QuARS. User Manual (version 0.5). Internal note, 2007.  
9Little S., Martinelli M., Tampucci M., Asirelli P., Güdükbay U., Ulusoy Ö., Grefenstette G., De Chalendar G., Perner P. Integrating multimedia metadata management systems. Technical report, 2007.  
10Moiso C., Ferrari L., Thuegaz E., Buscemi M., Montanari U., Bertoli P., Pistore M., Kazhamiakin R., Bruni R., Gnesi S., Ter Beek M. H., Petrocchi M., Mazzanti F., Fiadeiro J. L., Bocchi L. Sensoria - Telecommunication case study: requirements modelling and analysis of selected scenarios. EU FP6-IP-IST-016004 - Software Engineering for Service-Oriented Overlay Computers. Deliverable D8.1.a, 2007.  


1Trentanni G., Meolic R. WCS - Witness and Counterexample Server - online tool. [Software] Release 2.5 , 01 January 2007.  


1Ter Beek M. H., Moiso C., Petrocchi M. Modelling and analysing an identity federation protocol: federated network providers scenario. In: 2nd European Young Researchers Workshop on Service Oriented Computing. YR-SOC'07 (Leicester, Gran Bretagna, 11-12 Giugno 2007).      
comments to Stefania Gnesi