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

   2012
1Fantechi A., Gnesi S., Lapadula A., Mazzanti F., Pugliese R., Tiezzi F. A logical verification methodology for service-oriented computing. In: ACM Transactions on Software Engineering and Methodology, vol. 21 (3) article n. 16. ACM, 2012.        
2Massink M., Latella D., Bracciali A., Harrison M., Hillston J. Scalable context-dependent analysis of emergency egress models. In: Formal Aspects of Computing, vol. 24 (2) pp. 267 - 302. Springer, 2012.           
3Ter Beek M. H., Muccini H., Pelliccione P. Guaranteeing correct evolution of software product Lines. In: ERCIM News, vol. 88 pp. 40 - 41. Special issue: Evolving Software. ERCIM, 2012.     
4Ter Beek M. H., Kleijn J. Vector Team Automata. In: Theoretical Computer Science, vol. 429 pp. 21 - 29. Elsevier, Amsterdam, 2012.        

Proceedings

   2012
1Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. A compositional framework to derive product line behavioural descriptions. In: ISoLA 2012 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 5th International Symposium (Heraklion, Crete, Greece, 15-18 October 2012). Proceedings, pp. 146 - 161. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 7609 (Part I)). Springer-Verlag, 2012.        
2Biscoglio I., Fusani M., Gnesi S. Can safety be obtained through good practices for requirement writing?. In: DESSERT 2012 - International Scientific Technical Conference on Dependable System, Services and Technologies (Sevastopol, Ukraine, 25-28 May 2012). Proceedings, pp. 252 - 257. National Aerospace University "KhAI", 2012.  
3Bortolussi L., Hillston J. Fluid model checking. In: CONCUR 2012 - Concurrency Theory. 23rd International Conference (Newcastle upon Tyne, UK, 3-8 September 2012). Proceedings, pp. 333 - 347. Maciej Koutny, Irek Ulidowski (eds.). (Lecture Notes in Computer Science, vol. 7454). Springer, 2012.        
4Bruni E., Ferrari A., Seyff N., Tolomei G. Automatic analysis of multimodal requirements: a research preview. In: REFSQ 2012 - Requirements Engineering: Foundation for Software Quality. 18th International Working Conference (Essen, Germany, 19-22 marzo 2012). Proceedings, pp. 218 - 224. Björn Regnell, Daniela Damian (eds.). (Lecture Notes in Computer Science, vol. 7195). Springer, 2012.           
5Fantechi A. Distributing the challenge of model checking interlocking control tables. In: ISOLA2012 - Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium (Heraclion, Crete, 15-18 October 2012). Proceedings, pp. 276 - 289. Margaria Tiziana, Steffen Bernhard (eds.). (Lecture Notes in Computer Science, vol. 7610). Springer, 2012.        
6Fantechi A., Flammini F., Gnesi S. Formal methods for intelligent transportation systems. In: ISOLA2012 - Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium (Heraclion, Crete, 15-18 October 2012). Proceedings, pp. 187 - 189. Margaria Tiziana, Steffen Bernhard (eds.). (Lecture Notes in Computer Science, vol. 7610). Springer, 2012.        
7Ferrari A., Gnesi S., Tolomei G. A clustering-based approach for discovering flaws in requirements specifications. In: SAC 2012 - 27th Annual ACM Symposium on Applied Computing (Riva del Garda, Trento, ITALY, 26-30 marzo 2012). Proceedings, pp. 1043 - 1050. ACM, 2012.           
8Ferrari A., Fantechi A., Gnesi S. Lessons learnt from the adoption of formal model-based development. In: NFM 2012 - NASA Formal Methods Symposium. 4th International Symposium (Norfolk, VA, USA, 3-5 April 2012). Proceedings, pp. 24 - 38. Alwyn E. Goodloe, Suzette Person (eds.). (Lecture Notes in Computer Science, vol. 7226). Springer, 2012.        
9Ferrari A., Itria M. L., Itria M. L., Chiaradonna S., Spagnolo G. O. Model-based evaluation of the availability of a CBTC system. In: SERENE 2012 - Software Engineering for Resilient Systems. 4th International Workshop (Pisa, Italy, 27-28 September 2012). Proceedings, pp. 165 - 179. Paris Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.           
10Ferrari A., Spagnolo G. O., Martelli G., Menabeni S. Product line engineering applied to CBTC systems development. In: ISOLA2012 - Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. 5th International Symposium. (Heraclion, Crete, 15-18 October 2012). Proceedings, vol. II pp. 216 - 230. Margaria Tiziana, Steffen Bernhard (eds.). (Lecture Notes in Computer Science, vol. 7610). Springer, 2012.           
11Ferrari A., Gnesi S. Using collective intelligence to detect pragmatic ambiguities. In: RE 2012 - 20th IEEE International Conference on Requirements Engineering (Chicago, Illinois, USA, 24 - 28 September 2012). Proceedings, pp. 191 - 200. IEEE, 2012.        
12Gnesi S., Petrocchi M. Towards an executable algebra for product lines. In: SPLC '12 - 16th International Software Product Line Conference (Salvador, Brazil, 2-7 September 2012). Proceedings, vol. 2 pp. 66 - 73. Eduardo Santana de Almeida, Christa Schwanninger, David Benavides (eds.). ACM, 2012.        
13Latella D., Massink M., De Vink E. P. Bisimulation of labeled state-to-function transition systems of stochastic process languages. In: ACCAT 2012 - Seventh ACCAT Workshop on Applied and Computational Category Theory (Tallin, Estonia, 4 april 2012). Proceedings, vol. 93 pp. 23 - 43. Ulrike Golas, Thomas Soboll (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), 2012.        
14Massink M., Brambilla M., Latella D., Dorigo M., Birattari M. Analysing robot swarm decision-making with Bio-PEPA. In: ANTS 2012 - Swarm Intelligence - 8th International Conference (Brussels, Belgium, 12-14 September 2012). Proceedings, pp. 25 - 36. Dorigo et al. (eds.). (Lecture Notes in Computer Science, vol. 7461). Springer, 2012.        
15Massink M., Latella D. Fluid analysis of foraging ants. In: COORDINATION 2012 - Coordination Models and Languages - 14th International Conference (Stoccolma, 14-15 giugno 2012). Proceedings, pp. 152 - 165. (Lecture Notes in Computer Science, vol. 7274). Springer, 2012.        
16Ter Beek M. H., Muccini H., Pelliccione P. Assume-Guarantee Testing of Evolving Software Product Line Architectures. In: SERENE 2012 - International Workshop on Software Engineering for Resilient Systems (Pisa, Italy, 27-28 September 2012). Proceedings, vol. 7527 pp. 91 - 105. P. Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.     
17Ter Beek M. H., Gnesi S., Mazzanti F. Demonstration of a model checker for the analysis of product variability. In: SPLC'12 - 16th International Software Product Line Conference (Salvador, Bahia, Grazil, 2-7 September 2012). Proceedings, vol. II pp. 242 - 245. ACM, 2012.        
18Ter Beek M. H., Classen A., Schaefer I., Becker M., Roos-Frantz F., Wong P. Y. Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series. In: SPLC'12 - 16th International Software Product Line Conference (Salvador, Bahia, Brazil, 2-7 September 2012). Proceedings, pp. 286 - 287. ACM, 2012.        
19Ter Beek M. H., Mazzanti F., Sulova A. VMC: a tool for product variability analysis. In: FM 2012 - 18th International Symposium on Formal Methods (Paris, France, 27-31 August 2012). Proceedings, pp. 450 - 454. D. Giannakopoulou, D. Méry (eds.). (Lecture Notes in Computer Science, vol. 7436). Springer-Verlag, 2012.        
20Ter Beek M. H., Gnesi S., Fantechi A., Fiadeiro J. L. Variability and Rigour in Service Computing Engineering. In: SEW 2011 - 34th IEEE Software Engineering Workshop (SEW'11) (Limerick, Ireland, 20-21 June 2011). Proceedings, pp. 122 - 127. IEEE Computer Society, Los Alamitos, CA, 2012.     

Editorials

   2012
1Derrick J., Gnesi S., Latella D., Treharne H., (eds.) .. Integrated formal methods - 9th International Conference, IFM 2012. pp. v - vi. Springer, 2012.        
2Derrick J., Fitzgerald J., Gnesi S., Khurshid S., Leuschel M., Reeves S., Riccobene E., (eds.) .. Preface to iFM&ABZ 2012. Springer, 2012.        
3Eisenecker U. W., Apel S., Gnesi S., (eds.) .. Foreward - VaMoS '12. ACM, 2012.     
4Fiadeiro J., Gnesi S., Maibaum T. Editorial. vol. 24 (2) pp. 161 - 162. Springer, 2012.        
5Mazzanti F., Trentanni G. iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session. pp. 1 - 64. CNR-ISTI, 2012.  
6Wiklicky H., Massink M., (eds.) .. Preface of the Proceedings Tenth Workshop on Quantitative Aspects of Programming Languages. vol. 85 Mieke Massink and Herbert Wiklicky (eds.). Electronic Proceedings in Theoretical Computer Science, 2012.        

Technical reports

   2012
1Massink M., Brambilla M., Latella D., Dorigo M., Mauro B. Analysing robot swarm decision-making with Bio-PEPA. TR/IRIDIA/2012-005, Technical report, 2012.  

Abstracts

   2012
1Ter Beek M. H. The Variability Model Checker VMC. In: iFM & ABZ 2012 - Joint 9th International Conference on Integrated Formal Methods and 3rd International Conference on ASM, Alloy, B, VDM, and Z (Pisa, Italy, 18-21 June 2012). Abstract, pp. 26 - 30. F. Mazzanti and G. Trentanni (eds.). ISTI-CNR, 2012.  
comments to Stefania Gnesi