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

   2013
1Bortolussi L., Hayden R. A. Bounds on the deviation of discrete-time Markov chains from their mean-field model. In: Performance Evaluation, vol. 70 (10) pp. 736 - 749. Elsevier, 2013.        
2Bortolussi L., Hillston J., Latella D., Massink M. Continuous approximation of collective systems behaviour: a tutorial. In: Performance Evaluation, vol. 70 (5) pp. 317 - 349. Elsevier, 2013. [Online First 01 March 2013]        
3De Nicola R., Latella D., Loreti M., Massink M. A uniform definition of stochastic process calculi. In: ACM Computing Surveys, vol. 46 (1) article n. 5. ACM, 2013.        
4Ferrari A., Fantechi A., Gnesi S., Magnani G. Model-based development and formal methods in the railway industry. In: IEEE Software, vol. 30 (3) pp. 28 - 34. IEEE, 2013.        
5Ferrari A., Fantechi A., Magnani G., Grasso D., Tempestini M. The Metro Rio case study. In: Science of Computer Programming, vol. 78 (7) pp. 828 - 842. Elsevier, 2013.           
6Magherini T., Fantechi A., Nugent C., Vicario E. Using temporal logic and model checking in automated recognition of human activities for ambient-assisted living. In: IEEE Transactions on Human-Machine Systems, vol. 43 (6) pp. 509 - 521. IEEE, 2013.        
7Massink M., Brambilla M., Latella D., Dorigo M., Birattari M. On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. In: Swarm Intelligence, vol. 7 (2-3) pp. 201 - 228. Springer, 2013. [Online First 14 April 2013]           
8Michaux J., Najm E., Fantechi A. Session types for safe Web service orchestration. In: Journal of Logic and Algebraic Programming, vol. 82 (8) pp. 282 - 310. Elsevier, 2013.        
9Ter Beek M. H., Gnesi S., Mazzanti F. VMC: a tool for the analysis of variability in software product lines. In: ERCIM News, vol. 93 pp. 50 - 51. Special issue: Mobile Computing. ERCIM, 2013.     

Contribution to Book/Monograph

   2013
1Bolognesi T. Algorithmic causal sets for a computational spacetime. In: A Computable Universe: Understanding and Exploring Nature as Computation. pp. 459 - 486. Hector Zenil (ed.). Singapore: World Scientific, 2013.     
2Bolognesi T. Do particles evolve?. In: Irreducibility and Computational Equivalence. 10 Years After Wolfram's A New Kind of Science. pp. 135 - 155. Hector Zenil (ed.). (Emergence, complexity and computation, vol. 2). Berlin-Heidelberg: Springer, 2013.           
3Fantechi A., Fokkink W., Morzenti A. Some trends in formal methods applications to railway signaling. In: Formal Methods for Industrial Critical Systems: A Survey of Applications. pp. 61 - 84. Stefania Gnesi, Tiziana Margaria (eds.). Hoboken, NJ, USA: Wiley-IEEE, 2013.        
4Gnesi S. Families of dependable systems:a model checking approach. In: Engineering Dependable Software Systems. pp. 115 - 140. Broy M., Peled D., Kalus G. (NATO Science for Peace and Security Series - D: Information and Communication Security, vol. 34). Amsterdam: IOS Press, 2013.     
5Latella D. Formal Methods: applying {logics in, theoretical} computer science. In: Formal Methods for Industrial Critical Systems: A Survey of Applications Formal Methods for Industrial Critical Systems: A Survey of Applications. pp. 3 - 14. Stefania Gnesi, Tiziana Margaria (eds.). Hoboken, NJ, USA: Wiley (© 2013 IEEE), 2013.        
6Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam. In: Formal Methods for Industrial Critical Systems: A Survey of Applications Formal Methods for Industrial Critical Systems: A Survey of Applications. pp. 179 - 203. Stefania Gnesi, Tiziana Margaria (eds.). Hoboken, NJ, USA: Wiley, 2013.        

Proceedings

   2013
1Ali M., De Angelis G., Polini A. ServicePot - An extensible registry for choreography governance. In: SOSE 2013 - Seventh IEEE International Symposium on Service-Oriented System Engineering (San Francisco, March 25-28 2013). Proceedings, pp. 113 - 124. IEEE, 2013.           
2Bartocci E., Bortolussi L., Nenzi L., Sanguinetti G. On the robustness of temporal properties for stochastic models. In: HSB 2013 - Second International Workshop on Hybrid Systems and Biology (Taormina, 2 Settembre 2013). Proceedings, pp. 3 - 19. Thao Dang, Carla Piazza (eds.). (Electronic Proceedings in Theoretical Computer Science, vol. 125). Open Publishing association, 2013.        
3Bolognesi T. Stochastic and algorithmic causal sets for de sitter spacetime. In: UGM 2013 - Mathematica Italia User Group Meeting 2013 (Bologna, 29-30-31 Maggio 2013). Atti, article n. 8. Adalta, 2013.     
4Bortolussi L., Sanguinetti G. Learning and designing stochastic processes from logical constraints. In: QEST 2013 - Quantitative Evaluation of Systems. 10th International Conference (Buenos Aires, Argentina, 27-30 August 2013). Proceedings, pp. 89 - 105. Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio. (Lecture Notes in Computer Science, vol. 8054). Springer, 2013.        
5Bortolussi L., Lanciani R. Model checking Markov population models by central Limit approximation. In: QEST 2013 - Quantitative Evaluation of Systems. 10th International Conference (Buenos Aires, Argentina, 27-30 August 2013). Proceedings, pp. 123 - 138. Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio. (Lecture Notes in Computer Science, vol. 8054). Springer, 2013.        
6Bortolussi L., Latella D., Massink M. Stochastic process algebra and stability analysis of collective systems. In: COORDINATION 2013 - DisCoTec 2013 - Coordination Models and Languages. 15th International Conference, held as Part of the 8th International Federated Conference on Distributed Computing Techniques (Firenze, 3-5 giugno 2013). Proceedings, pp. 1 - 15. Rocco De Nicola, Christine Julien (eds.). (Lecture Notes in Computer Science, vol. 7890). Springer, 2013.        
7Ciancia V. Interaction and observation: categorical semantics of reactive systems trough dialgebras. In: CALCO 2013 - 5th Conference on Algebra and Coalgebra in Computer Science. 5th International Conference (Warsaw, Poland, 3-6 November 2013). Proceedings, pp. 110 - 125. Reiko Heckel, Stefan Milius (eds.). (Lecture Notes in Computer Science, vol. 8089). Springer, 2013.        
8Clarke D., Schaefer I., Ter Beek M. H., Apel S., Atlee J. M. Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. In: SPLC'13 - 17th International Software Product Line Conference (Tokyo, Japan, 26-30 August 2013). Proceedings, pp. 266 - 267. ACM, 2013.        
9Di Giandomenico F., Fantechi A., Gnesi S., Itria M. Stochastic model-based analysis of railway operation to support traffic planning. In: SERENE 2013 - Software Engineering for Resilient Systems. 5th International Workshop (Kiev, Ukraine, 2-4 October 2013). Proceedings, pp. 184 - 198. Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko (eds.). (Lecture Notes in Computer Science, vol. 8166). Springer, 2013.        
10Fantechi A. Topologically configurable systems as product families. In: SPLC 2013 - 17th International Software Product Line Conference (Tokyo, Japan, 26 - 30 August 2013). Proceedings, pp. 151 - 156. ACM, 2013.        
11Ferrari A., Spagnolo G. O., Dell'Orletta F. Mining commonalities and variabilities from natural language documents. In: SPLC 2013 - 17th International Software Product Line Conference (Tokyo, Japan, 26-30 August 2013). Proceedings, pp. 116 - 120. Tomoji Kishi (ed.). ACM, 2013.        
12Ferrari A., Gnesi S., Tolomei G. Using clustering to improve the structure of natural language requirements documents. In: REFSQ 2013 - Requirements Engineering: Foundation for Software Quality. 19th International Working Conference (Essen, Germany, 08-11 Aprile 2013). Proceedings, vol. 7830 pp. 34 - 49. Joerg Doerr, Andreas L. Opdahl (eds.). (Lecture Notes in Computer Science, vol. 7830). Springer, 2013.        
13Gnesi S., Plat N. 1st FME workshop on formal methods in software engineering (FormaliSE 2013). In: ICSE '13 - 2013 International Conference on Software Engineering (San Francisco, CA, USA, 18-26 May 2013). Proceedings, pp. 1519 - 1520. David Notkin, Betty H. C. Cheng, Klaus Pohl (eds.). IEEE/ACM, 2013.     
14Ter Beek M. H., Lluch Lafuente A., Petrocchi M. Combining declarative and procedural views in the feature-oriented specification and analysis of product families. In: ICTCS 2013 - 14th Italian Conference on Theoretical Computer Science (Palermo, Italy, 9-11 September 2013). Atti, pp. 69 - 77. Università degli Studi di Palermo, 2013.     
15Ter Beek M. H., Lluch Lafuente A., Petrocchi M. Combining declarative and procedural views in the specification and analysis of product families. In: FMASPLE-SPLC'13 - 17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering (Tokyo, Japan, 26-30 August 2013). Proceedings, pp. 10 - 17. ACM, 2013.           
16Ter Beek M. H., Gadducci F., Santini F. Validating reconfigurations of reo circuits. In: ICTCS 2013 - 14th Italian Conference on Theoretical Computer Science (Palermo, Italy, 9-11 September 2013). Atti, pp. 36 - 44. Università degli Studi di Palermo, 2013.  
17Ter Beek M. H., Gadducci F., Santini F. Validating reconfigurations of reo circuits in an e-Banking scenario. In: ISARCS 2013 - 4th International ACM Sigsoft Symposium on Architecting Critical Systems (Vancouver, British Columbia, Canada, 17-21 June 2013). Proceedings, pp. 39 - 47. Sam Malek (ed.). ACM, 2013.        

Editorials

   2013
1Gnesi S., Kishi T., Jarzabek S., (eds.) .. 17th International Software Product Line Conference. pp. vii - vii. ACM, 2013.     
2Gnesi S., Margaria T., (eds.) .. Formal methods for industrial critical systems: a survey of applications. pp. vii - viii. Wiley-IEEE, 2013.        
3Gnesi S., Collet P., Schmid K., (eds.) .. The Seventh International Workshop on Variability Modelling of Software-intensive Systems. pp. i - i. ACM, 2013.     
4Ter Beek M. H., Lohmann N., (eds.) .. Web Services and Formal Methods. pp. V - VI. Springer-Verlag, 2013.        

Technical reports

   2013
1Bensalem S., Bruni R., Corradini A., Gadducci F., Montanari U., Sammartino M., Suzuki T., Monreale G., Tcheukam Siwe A., Cabri G., Latella D., Massink M. ASCENS - Third report on WP2 models for collaborative and competitive SCEs, and distributed implementation of connectors. ASCENS Autonomic Service-Component Ensembles. Deliverable D2.3, 2013.     
2Latella D., Loreti M., Massink M. On-the-fly PCTL fast mean-field model-checking for self-organising coordination - Preliminary version. QUANTICOL TR-QC-01-2013. Technical report, 2013.     
3Latella D., Loreti M., Massink M. On-the-fly fast mean-field model-checking - Extended version. Paper published in Arxiv 1312.3416 [cs.LO]. Technical report, 2013.     
4Latella D., Massink M., De Vink E. TR 09: Coalgebraic bisimulation of FuTS. ASCENS Technical Report. Technical report, 2013.  
5Spagnolo G. O., Mazzanti F. CBTC.AGEN.0023_00_06 Protocollo ATS-ATC. Technical report, 2013.  
6Spagnolo G. O., Ferrari A., Mazzanti F. CBTC.ATS.0001_00_05 Specifica preliminare di sistema. Applicazione Generica ATS Specifica Preliminare di Sistema. Technical report, 2013.  
7Spagnolo G. O., Ferrari A., Mazzanti F., Della Longa S. CBTC.ATS.0003_00_03 ATS Specifica dei requisiti di Sistema. Technical report, 2013.  
8Ter Beek M. H., Gnesi S., Fantechi A. Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report. TR-QC-02-2013. Technical report, 2013.  
9Ter Beek M. H., Gnesi S., Mazzanti F. Model checking value-passing modal specifications. TR-QC-03-2013. Technical report, 2013.  
comments to Stefania Gnesi