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

   2004
1Bolognesi T. Predicates for State Changes vs. Processes for Event Patterns. In: Studia Informatica Universalis, vol. 3 (1) pp. 73 - 104. Special Issue: Selected papers from OPODIS'02. - ISBN 2-912590-27-2. Editions SUGER, Saint Denis, France, 2004.  
2Lami G., Trentanni G. An automatic tool for improving the quality of software requirements. In: Ercim News, vol. 58 pp. 18 - 19. ERCIM, 2004.  
3Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. Automated verification of groupware protocols. In: Ercim News, vol. 58 pp. 33 - 35. Special Theme: Automated Software Engineering. ERCIM, 2004.  
4Ter Beek M. H., Csuhaj-Varju E., Mitrana V. Teams of Pushdown Automata. In: International Journal of Computer Mathematics, vol. 81 (2) pp. 141 - 156. Taylor and Francis, 2004.  

Contribution to Book/Monograph

   2004
1Ter Beek M. H., Massink M., Latella D., Gnesi S. Model Checking Groupware Protocols. In: Cooperative Systems Design - Scenario-Based Design of Collaborative. Frontiers in Artificial Intelligence and Applications ed. vol. 107 pp. 179 - 194. Francoise Darses, Rose Dieng, Carla Simone, and Manuel Zacklad (eds.). Amsterdam: IOS Press, 2004.  

Proceedings

   2004
1Bertolino A., Gnesi S. PLUTO: A Test Methodology for Product Families. In: Software Product-Family Engineering: 5th International Workshop, PFE 2003 (Siena, Italy, November 4-6, 2003). Proceedings, pp. 181 - 197. Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen (eds.). (Lecture Notes in Computer Science, vol. 3014). Springer-Verlag, 2004.     
2Bolognesi T. A Conceptual Framework for State-based and Event-based Formal Behavioural Specification Languages. In: Ninth IEEE internat. Conf. on Engineering of Complex Computer Systems, ICECCS'04 (Florence, April 14-16, 2004). Proceedings, vol. 1 pp. 107 - 116. Bellini, Pierfrancesco and Bohner, Shawn A. and Steffen, Bernard (eds.). IEEE Computer Society, 2004.  
3Bolognesi T. Composing Event Constraints in State-Based Specification. In: FORTE 2004: 24th IFIP WG 6.1 International Conference (Madrid, Spain, 27-30 September 2004). Proceedings, pp. 13 - 32. David de Frutos-Escrig, Manuel Nunez (eds.). (Lecture Notes in Computer Science, vol. 3235). Springer Verlag, 2004.     
4Corin R., Di Caprio G., Etalle S., Gnesi S., Lenzini G., Moiso C. Security Analysis of Parlay/OSA Framework. In: 9th International Conference on Intelligence in service delivery Networks (ICIN2004) (Bordeaux, France, 18-21/ 10/ 2004). Proceedings, ADERA, 2004.  
5Fabbrini F., Fusani M., Gnesi S., Lami G. Automatic Clustering of Non-Functional Requirements. In: IASTED Software Engineering and Application (Cambridge, MA (USA), November 9-11). Proceedings, pp. 672 - 677. M.H. Hamza (ed.). ACTA Press, 2004.  
6Fantechi A., Gnesi S., Lami G., Nesti E. A Methodology for the Derivation and Verification of Use Cases for Product Lines. In: Software Product Lines: Third International Conference, SPLC 2004 (Boston, USA, August 30-September 2, 2004.). Proceedings, pp. 255 - 265. Robert L. Nord (ed.). (Lecture Notes in Computer Science, vol. 3154). Springer Verlag, 2004.     
7Fantechi A., Gnesi S., John I., Lami G., Dörr J. Elicitation of Use Cases for Product Lines. In: International Workshop on Product Family Engineering PFE-5 (Siena, Italy, November 4-6, 2003). Proceedings, pp. 152 - 167. Frank van der Linden (Ed.) (ed.). (Lecture Notes in Computer Science, vol. 3014). Springer Verlag, 2004.  
8Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G., Tuosto E. Verification on the Web of mobile systems. In: 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004) Systems (Porto, Portugal, 14-17, April 2004). Proceedings, pp. 72 - 74. ScitePress, 2004.        
9Gnesi S., Lenzini G., Martinelli F. Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. In: Mefisto, Final Workshop (Pisa, Italy, 06/0). Atti, vol. ENTCS 99 pp. 111 - 126. Mario Bravetti, Roberto Gorrieri (eds.). Elsevier, 2004.     
10Gnesi S., Latella D., Massink M. Formal Test-case Generation for UML STatecharts. In: IEEE International Conference on Engineering of Complex Computer (Florence, Italy, 1-14 April 2004). Proceedings, pp. 75 - 84. Bellini, P., Bohner, S. and Steffen, B. (eds.). IEEE Computer Society Press, 2004.  
11Gnesi S., Mazzanti F. On the fly model checking of communicating UML State Machines. In: Second ACIS International Conference on Software Engineering (Los Angeles, 5-7 May 2004). Proceedings, pp. 331 - 338. Roger Lee, Chisu Wu, Walter Dosch (eds.). ACIS, 2004.  
12Massink M., Katoen J., Latella D. Model Checking Dependability Attributes of Wireless Group Communication. In: International Conference on Dependable Systems and Networks (Florence, June 28 - July 2004). Proceedings, pp. 711 - 720. IEEE Computer Society Press, 2004.  
13Mazzini S., Latella D., Viva D. PRIDE: An Integrated Software Development Environment for Dependable Systems. In: DASIA 2004 DAta Systems In Aerospace (Nice, France, 28 June - 1 July 2004). Proceedings, vol. 570 R. A. Harris (ed.). ESA, 2004.  
14Meolic R., Fantechi A., Gnesi S. Witness and Counterexample Automata for ACTL. In: FORTE 2004: 24th IFIP WG 6.1 International Conference (Madrid, Spain, September 27-30, 2004). Proceedings, pp. 259 - 275. David de Frutos-Escrig, Manuel Nunez (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 3235). Springer, 2004.     
15Ter Beek M. H., Csuhaj-Varju E., Holzer M., Vaszil G. On Competence in CD Grammar Systems. In: DLT'04 - International Conference on Developments in Language Theory (Auckland, New Zealand, 13 - 17 December 2004). Proceedings, pp. 76 - 88. C.S. Calude, E. Calude, and M.J. Dinneen (eds.). (Lecture Notes in Computer Science, vol. 3340). Springer-Verlag, Berlin, 2004.     

Technical reports

   2004
1Bertolino A., Fantechi A., Gnesi S., Lami G. Product line use cases. Technical report, 2004.  
2De Nicola R., Latella D., Massink M. Formal modeling and quantitative analysis of KLAIM-based mobile systems. FULL VERSION. The document has been submitted to Conference: 20th ACM Symposium on Applied Computing (SAC 2005) - Track on Coordination Models, Languages and Applications, Technical report, 2004.  
3Fantechi A., Gnesi S., Semini L. Applications of Formal Methods for Validating an Interaction Policy. The document Journal: Formal Aspects of Computing, Technical report, 2004.  
4Gnesi S., Mazzanti F. A Temporal Logic for UML Statecharts. The document Conference: FASE 2005, Technical report, 2004.  
5Lami G., Gnesi S., Fabbrini F., Fusani M., Trentanni G. An Automatic Tool for the Analysis of Natural Language Requirements. The document has been submitted to Journal: International Journal of Computer Systems Science and Engineering, Technical report, 2004.  
6Latella D., Massink M., Norman G., Parker D. Rigorous Design. Chapter 15 of CaberNet Vision of Research and Technology Development in Distributed and Dependable Systems. EU Network of Excellence. Project report IST-2000-25088., 2004.  
7Massink M., Katoen J., Latella D. Model Checking Dependability Attributes of Wireless Group Communication. Full Version. The document has been submitted to Conference: Accepted for publication at DSN-PDS 2004. Performance and Dependability Symposium, Florence, IT, June 2004, Technical report, 2004.  
8Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. Model Checking Publish/Subscribe Notification for thinkteam. The document has been submitted to other: Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), Technical report, 2004.  
9Ter Beek M. H., Kleijn J. Modularity for Teams of I/O Automata. 2004.  
10Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security - A Survey -. 2004.  
11Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security Analysis. 2004.     

Software

   2004
1Trentanni G. HAL (History Dependent Automata Laboratory) - online version. [Software] Release 2.1 , 01 January 2004.  
2Trentanni G., Meolic R. WCS - Witness and Counterexample Server - online tool. [Software] Release 1.0 , 03 December 2004.  

Abstracts

   2004
1Banci M., Fantechi A., Gnesi S. The role of formal methods in developing a distribuited railwai interlocking system. In: FORMS/FORMAT 2004 (Braunschweig, 2-3 December 2004).   
2Fabbrini F., Fusani M., Gnesi S., Lami G., Trentanni G. Early Analysis of Natural Language Requirements. In: International Symposium on Empirical Software Engineering (Redondo Beach, California, USA, 19-20/08/2004 2004).   
comments to Stefania Gnesi