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

   2005
1Becucci M., Fantechi A., Giromini M., Spinicci E. A comparison between handwritten and automatic generation of C code from SDL using static analysis. In: Software-Practice & Experience, vol. 35 (14) pp. 1317 - 1347. John Wiley & Sons, 2005.  
2Carrez C., Fantechi A., Najm E. Assembling components with behavioural contracts = Assemblage de composants selon des contrats comportementaux. In: Annales des Telecommunications = Annals of Telecommunications, vol. 60 (7-8) pp. 989 - 1022. GET - Lavoisier - Paris, 2005.  
3Lami G., Gnesi S., Trentanni G., Fabbrini F., Fusani M. An Automatic Tool for the Analysis of Natural Language Requirements. In: Computer Systems Science and Engineering, vol. 20 (Vol.20, N. 1) pp. 53 - 62. CRL Publishing, 2005.  
4Ter Beek M. H., Lenzini G., Petrocchi M. Contributions of team automata in security. In: Ercim news, vol. 63 pp. 38 - 39. ERCIM, 2005.  
5Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. Model checking publish/subscribe notification for thinkteam. In: Electronic Notes in Theoretical Computer Science, vol. 133 pp. 275 - 294. J. Bicarregui; A. Butterfield; A. Arenas (ed.). Elsevier, 2005.     
6Ter Beek M. H., Kleijn J. Modularity for teams of I/O automata. In: Information Processing Letters, vol. 95 (5) pp. 487 - 495. Elsevier Science Publishers, Amsterdam, 2005.     
7Ter Beek M. H., Martin-Vide C., Mitrana V. Synchronized Shuffles. In: Theoretical Computer Science, vol. 341 (1-3) pp. 263 - 275. Elsevier Science Publishers, Amsterdam, 2005.     

Contribution to Book/Monograph

   2005
1Latella D., Massink M., Baumeister H., Wirsing M. Mobile UML statecharts with localities. In: Global Computing 2004. pp. 34 - 58. Corrado Priamo and Paola Quaglia (eds.). (Lecture Notes in Computer Science, vol. 3267). Berlin: Springer-Verlag, 2005.  

Proceedings

   2005
1Amato G., Coppola M., Gnesi S., Scozzari F., Semini L. Modeling web applications by the multiple levels of integrity policy. In: 1st International Workshop on Automated Specification and (Valencia, Spain, Mar.14--15 2005). Proceedings, pp. 161 - 176. M. Alpuente, S. Escobar, M. Falaschi (eds.). Elsevier Science, 2005.  
2Asirelli P., Di Bono M. G., Martinelli M., Salvetti O., Signore O., Catasta M., Morbidoni C., Piazza F., Tummarello G. Toward a scalable multimedia metadata infrastructure using distributed computing and semantic web technologies. In: European Workshop on the Integration of Knowledge, Semantic and Digital Media Technologies (London, 30 November 30 - 1 December 2005). Proceedings, pp. 153 - 156. IEE, 2005.  
3Banci M., Fantechi A. Geographical vs. functional modelling by statecharts of interlocking systems. In: International Workshop on Formal Methods for Industrial Critical Systems. FMICS 2004 (Linz, Austria, 20-21 September 2004). Proceedings, pp. 3 - 19. (Electronic Notes in Theoretical Computer Science). Elsevier, 2005.  
4Banci M., Fantechi A. Instantiating Generic Charts for Railway Interlocking Systems. In: FMICS05 international workshop on Formal methods for industrial (Lisbon, Portugal, September 2005). Proceedings, pp. 134 - 143. ACM Press New York, NY, USA, 2005.  
5Banci M., Becucci M., Fantechi A., Spinicci E. Validation Coverage for a Component-based SDL model of a Railway Signaling System. In: International Workshop on Test and Analysis of Component Based (Barcelona, Spain, 27-28 March 2004). Proceedings, vol. 116 pp. 99 - 111. M. Pezzč (Ed.) (ed.). ENTCS, Elsevier, 2005.     
6Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An architecture-centric approach for producing quality systems. In: First International Conference on the Quality of Software (Erfurt, Germany, 20-22 September 2005). Proceedings, pp. 21 - 37. R. Reussner, J. Mayer, J.A. Stafford, S. Overhage, S. Becker, P.J (eds.). (Lecture Notes in Computer Science, vol. 3712). Springer, 2005.     
7Bolognesi T. Process algebra under the light of Wolfram's NKS. In: Algebraic Process Calculi: The First Twenty Five Years and Beyond, (Bertinoro (Forli'), Italy, August 1-5, 2005). Proceedings, vol. NS-05-3 pp. 56 - 59. Luca Aceto, Andrew Gordon (eds.). BRICS Notes Series, 2005.     
8Bucchiarone A., Gnesi S., Pierini P. Quality analysis of NL requirements: an industrial case study. In: IEEE International Requirements Engineering Conference (RE05) (Paris, France, August 29 - September 2 2005). Proceedings, pp. 390 - 394. 2005.  
9Corin R., Di Caprio G., Etalle S., Gnesi S., Lenzini G., Moiso C. A Formal Security Analysis of an OSA/Parlay Authentication Interface. In: IFIP Conference on Formal Methods for Open Object-based Distributed (Athens, Greece, June 15-17, 2005). Proceedings, vol. LNCS 3535 pp. 131 - 146. M. Steffen and G. Zavattaro (Eds.) (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.  
10De Nicola R., Latella D., Massink M. Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Annual ACM Symposium on Applied Computing (SAC'2005) (Santa Fe, New Mexico, USA, March 13 -17, 2005). Proceedings, pp. pages 428 - 435. H. Haddad, L. Liebrock, A. Omicini, R. Wainwright, M. Palakal, M (eds.). Association for Computing Machinery, 2005.  
11Fantechi A., Gnesi S., Maggiore A. Enhancing test coverage by back-tracing model-checker counterexamples. In: TACoS, International Workshop onTest and Analysis of Component Based (Barcelona, Spain, March 27-28, 2004). Proceedings, vol. Electronic Notes in Computer Science Series 116 pp. Pages 199 - 211. M. Pezzé (ed.). Elsevier, 2005.  
12Gnesi S., Mazzanti F. A model checking verification environment for UML statecharts. In: AICA 2005 (Udine, 5-7 Ottobre 2005). Atti, 2005.     
13Gnesi S., Lenzini G., Martinelli F. Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. In: International Workshop on Software Verification and Validation (SVV (Mumbai (India), December 14 2003). Proceedings, vol. 118 pp. 57 - 70. S. Etalle, S. Mukhopadhyay, A. Roychoudhury (eds.). ENTCS - Elsevier, 2005.     
14Lami G., Ferguson R. W., Goldenson D., Fabbrini F., Fusani M., Gnesi S. QuARS: automated natural language analysis of requirements and specifications. In: INCOSE International Symposium (Rochester, NY, 10-15 July 2005). Proceedings, p. 10. INCOSE (ed.). 2005.  
15Pelliccione P., Muccini H., Bucchiarone A., Facchini F. TeStor: deriving test sequences from model-based specifications. In: Component-Based Software Engineering - CBSE 2005 (St. Louis, MO, USA, May 14-1 2005). Proceedings, vol. 3489 pp. 267 - 282. George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, et al. (eds.). (Lecture Notes in Computer Science). LNCS, 2005.     
16Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. A Case Study on the Automated Verification of Groupware Protocols. In: International Conference on Software Engineering (St. Louis, MO, U.S.A, 15-21 May 2005). Proceedings, pp. 596 - 603. ACM Press, New York, NY, U.S.A, 2005.     
17Ter Beek M. H., Kleijn J. Infinite Unfair Shuffles and Associativity. In: International Conference on Words (WORDS'05) (Montreal (QC), Canada, 13 - 17 September 2005). Proceedings, vol. Publications du Laboratoire de Combinatoire et d'Informatique pp. 129 - 146. Srecko Brlek and Cristophe Reutenauer (eds.). Universite du Quebec a Montreal, 2005.  
18Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security - A Survey. In: International Workshop on Security Issues in Coordination Models, (London, UK, 30 August 2004). Proceedings, vol. 128, 5 pp. 105 - 119. R. Focardi and G. Zavattaro (eds.). Electronic Notes in Theoretical Computer Science, Elsevier Science, 2005.     

Editorials

   2005
1Bolognesi T., Derrick J. Introductory paper - Special section on St.Eve workshop. In: Software and Systems Modeling. Editorial, vol. 4 (3) pp. 234 - 235. St.Eve Workshop: State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specification and Software Engineering (http://fme03.isti.cnr.it/SteveHomePage.html). Springer, 2005.  
2Margaria T., Massink M. Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems. In: International Workshop on Formal Methods for Industrial Critical Systems, 2005. Editorial, pp. iii - iii. Tiziana Margaria and Mieke Massink (eds.). ACM, 2005.  

Technical reports

   2005
1Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An Architecture-centric Approach for producing Quality Systems. Technical report, 2005.
2Bucchiarone A., Gnesi S., Pierini P. Quality Analysis of NL Requirements: An Industrial Case Study. The document has been submitted to Conference: 13th IEEE International Requirements Engineering Conference, Technical report, 2005.  
3Bucchiarone A., Pelliccione P., Polini A., Tivoli M. Towards an architectural approach for the dynamic and automatic composition of software components. The document has been submitted to : 5th International Symposium on Software Composition, Technical report, 2005.  
4De Nicola R., Katoen J., Latella D., Massink M. Towards a logic for performance and mobility. Full Version. The document has been submitted to Conference: 3rd Workshop on Quantitative Aspects of Programming Languages - QAPL'05, Technical report, 2005.  
5Gnesi S., Mazzanti F. Formal Verification of the MUD case study. The document will be submitted to Conference: ACM/IEEE 8th International Conference on Model Driven Engineering, Technical report, 2005.  
6Massink M., Latella D., Gnesi S. Testing UML Statecharts. The document has been submitted to Journal: Journal of Logic and Algebraic Programming (Elsevier), Technical report, 2005.  
7Ter Beek M. H., Gadducci F., Janssens D. A calculus for team automata. Document n. /cnr.isti/2005-B5-09, 2005.  
8Ter Beek M. H., Kleijn J. Infinite Unfair Shuffles and Associativity. 2005.     
9Ter Beek M. H., Massink M., Latella D. Towards Model Checking Stochastic Aspects of the thinkteam User Interface - FULL VERSION. The document has been submitted to Conference: 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05), Newcastle upon Tyne, UK, Technical report, 2005.  

Abstracts

   2005
1Banci M., Fantechi A., Gnesi S. Some experiences on formal specification of railway interlocking systems using statecharts. In: TRain Workshop at SEFM 2005 (Software Engineering and Formal Methods) (Koblenz - Germany, September 5-9, 2005).   
2De Nicola R., Katoen J., Latella D., Massink M. Towards a logic for performance and mobility. In: Workshop on Quantitative Aspects of Programming Languages. QAPL 2005 (Edimburgh, 2-10 April 2005).   
3Gnesi S., Mazzanti F. A model checking framework for (Mobile) UML statecharts. In: Foundations of Global Computing (Schloss Dagstuhl, Wadern, Germany, 20/25/02 2005).   
comments to Stefania Gnesi