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

   2009
1Bolognesi T. A pseudo-random network mobile automation with linear growth. In: Information Processing Letters, vol. 109 (13) pp. 668 - 674. Elsevier, 2009.        
2Bucchiarone A., Gnesi S., Dennis G. A graph-based design framework for global computing systems. In: Electronic Notes in Theoretical Computer Science, vol. 236 pp. 117 - 130. Special issue: VODCA 2008 - 3rd International Workshop on Views on Designing Comples Architecture (Bertinoro, Italy, 30-31 August 2008). Proceedings. A. Aldini, M. ter Beek, F. Gadducci (eds.). Elsevier, 2009.        
3De Nicola R., Latella D., Loreti M., Massink M. MarCaSPiS: a Markovian extension of a Calculus for Services. In: Electronic Notes in Theoretical Computer Science, vol. 229 (4) pp. 11 - 26. M. Hennessy, B. Klin (eds.). Elsevier, 2009.        
4Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. Assisting the design of a groupware system - Model checking usability aspects of thinkteam. In: Journal of Logic and Algebraic Programming, vol. 78 (4) pp. 191 - 232. IFIP WG1.8 Workshop on Applying Concurrency Research in Industry. L. Aceto, J. Baeten, W. Fokkink, A. Ingolfsdottir, U. Nestmann (eds.). Elsevier, 2009.        
5Ter Beek M. H., Kleijn J. Associativity of infinite synchronized shuffles and team automata. In: Fundamenta Informaticae, vol. 91 (3-4) pp. 437 - 461. IOS Press, 2009.        

Books/Monographs

   2009
1Fantechi A. Informatica industriale. 288 p. Milano: Città Studi Edizioni, 2009.

Contribution to Book/Monograph

   2009
1Lenzini G., Martinelli F., Matteucci I., Gnesi S. A uniform approach to security and fault-tolerance specification and analysis. In: Architecting Dependable Systems VI. pp. 172 - 201. Rogerio de Lemos, Jean-Charles Fabre,Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek (eds.). (Lecture Notes in Computer Science, vol. 5835). Heidelberg: Springer, 2009.        
2Ter Beek M. H., Gnesi S., Montangero C., Semini L. Detecting policy conflicts by model checking UML state machines. In: Feature Interactions in Software and Communication Systems X. vol. X pp. 59 - 74. Masahide Nakamura, Stephan Reiff-Marganiec (eds.). Amsterdam: IOS Press, 2009.        

Proceedings

   2009
1Abreu J., Mazzanti F., Fiadeiro L. J., Gnesi S. A model-checking approach for service component architectures. In: FMOODS/FORTE 2009 - Formal Techniques for Distributed Systems. Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009 (Lisboa, Portugal, 9-12 June 2009). Proceedings, pp. 219 - 224. David Lee, Antonia Lopes, Arnd Poetzsch-Heffter (eds.). (Lecture Notes in Computer Science, vol. 5522). Springer, 2009.        
2Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. Deontic logics for modeling behavioural variability. In: VaMoS 2009 - Third International Workshop on Variability Modelling of Software-Intensive Systems (Siviglia, Spagna, 28-30 Gennaio 2009). Proceedings, pp. 71 - 76. D. Benavides, A. Metzger, U. Eisenecker (eds.). (ICB Research Report, vol. 29). Universität Duisburg‐Essen, 2009.     
3Bravetti M., Latella D., Loreti M., Massink M., Zavattaro G. Combining timed coordination primitives and probabilistic tuple spaces. In: TGC 2008 - Trustworthy Global COmputing 2008 (Barcelona, Spain, 3-4 november 2008). Proceedings, pp. 52 - 68. Kaklamanis C, Nielson F (eds.). (Lecture Notes in Computer Science, vol. 5474). Springer, 2009.  
4De Nicola R., Latella D., Loreti M., Massink M. On a uniform framework for the definition of stochastic process languages. In: FMICS 2009 - Formal Methods for Industrial Critical Systems. 14th International Workshop (Eindhoven, The Netherlands, 2-3 November 2009). Proceedings, pp. 9 - 25. M. Alpuente, B. Cook, C. Joubert (eds.). (Lecture Notes in Computer Science, vol. 5825). Springer-Verlag, 2009.        
5De Nicola R., Latella D., Loreti M., Massink M. Rate-based transition systems for stochastic process calculi. In: ICALP 2009 - Automata, Languages and Programming. 36th Internatilonal Colloquium (Rhodes, Greece, 5-12 July 2009). Proceedings, vol. II pp. 435 - 446. (Lecture Notes in Computer Science, vol. 5556). Springer Verlag, 2009.        
6Ferrari A., Fantechi A., Bacherini S., Zingoni N. Formal modeling for railway signaling using commercial tools. In: NFM 2009 - The First NASA Formal Methods Symposium (Moffett Field, California, April 6 - 8 2009). Proceedings, pp. 166 - 170. E. Denney, D. Giannakopoulou, C. S. Pasareanu (eds.). NASA Ames Research Center, 2009.     
7Harrison M. D., Massink M., Latella D. Engineering crowd interaction within smart environments. In: EICS 2009 - ACM SIGCHI Symposium on Engineering Interactive Computing Systems (Carnegie Mellon University, Pittsburgh, USA, 14-17 luglio 2009). Proceedings, pp. 117 - 122. ACM, 2009.     
8Palanque P., Winckler M., Ladry J., Ter Beek M. H., Faconti G., Massink M. A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. In: EICS'09 - 1st ACM SIGCHI symposium on Engineering Interactive Computing Systems (Pittsburgh, PA, USA, 15-17 July 2009). Proceedings, pp. 211 - 220. Gaëlle Calvary, T. C. Nicholas Graham, Philip Gray (eds.). ACM, 2009.        
9Sulova A. Model driven software development con Eclipse, statechartUMC. In: Eclipse-IT 2009 - 4th Italian workshop on Eclipse technologies (Università degli Studi di Bergamo, 28-29 September 2009). Atti, Angelo Gargantini (ed.). Eclipse Italian Community, Bergamo, Italy, 2009.     
10Ter Beek M., Bucchiarone A., Gnesi S. Dynamic software architecture development: towards an automated process. In: SEAA 2009 - 35th EUROMICRO Conference on Software Engineering and Advanced Applications (Patras, Greece, 27-29 August 2009). Proceedings, pp. 105 - 108. IEEE Computer Society, 2009.        
11Ter Beek M. H., Mazzanti F., Gnesi S. CMC-UMC: a framework for the verification of abstract service-oriented properties. In: SAC'09 - 24th Annual ACM Symposium on Applied Computing (Honolulu, Hawaii, USA, 9-12 Marzo 2009). Proceedings, pp. 2111 - 2117. ACM, 2009.        
12Ter Beek M. H., Faconti G., Massink M., Palanque P., Winckler M. Resilience of Interaction Techniques to Interrupts. In: INTERACT 2009 - Human-Computer Interaction. 12th IFIP TC 13 International Conference (Uppsala, Sweden, 24-28 August 2009). Proceedings, vol. I pp. 494 - 509. (Lecture Notes in Computer Science, vol. 5726). Springer, 2009.        
13Wirsing M., Hölzl M., Acciai L., Banti F., Clark A., Fantechi A., Gilmore S., Gnesi S., Gonczy L., Koch N., Lapadula A., Mayer P., Mazzanti F., Pugliese R., Schroeder A., Tiezzi F., Tribastone M., Varró D. SensoriaPatterns: augmenting service engineering with formal analysis, transformation and dynamicity. In: ISoLA 2008 - Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium (Porto Sani, Greece, October 13-15 2008). Proceedings, pp. 170 - 190. Tiziana Margaria, Bernhard Steffen (eds.). (Communications in Computer and Information Science, vol. 17). Springer, 2009.        

Editorials

   2009
1Aldini A., Ter Beek M. H., Gadducci F. Proceedings of the Third international workshop on Views On Designing Complex Architectures (VODCA 2008). vol. 236 pp. 1 - 3. Elsevier, 2009.        
2Cofer D., Fantechi A. Preface to FMICS 2008. pp. V - VI. Darren D. Cofer, Alessandro Fantechi (eds.). Springer, 2009.        
3De Lemos R., Fabre J., Gacek C., Gadducci F., Ter Beek M. Preface - Architecting Dependable Systems VI. pp. VII - X. R. de Lemos, J.C. Fabre, C. Gacek, F. Gadducci, M. ter Beek (eds.). Springer-Verlag, 2009.        
4Margaria T., Massink M. Preface of the Special Section on FMIS05. vol. 11 (5) pp. 355 - 357. Springer Berlin/Heidelberg, 2009.     
5Massink M., Harrison M. Preface of the Proceedings of the Third International Workshop on Formal Methods for Interactive Systems. vol. 22 article n. 1. European Association of Software Science and Technology, 2009.     
6Ter Beek M. H. Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009). vol. 2 pp. 1 - 2. Maurice ter Beek (ed.). EPTCS, 2009.        

Technical reports

   2009
1De Nicola R., Latella D., Loreti M., Massink M. On a uniform framework for the definition of stochastic process languages---Full Version---. Technical report, 2009.  
2Harrison M., Massink M., Latella D. Engineering human flows in smart environments using formal techniques - Full version. Technical report, 2009.  
3Mazzanti F. Designing UML models with UMC. Guida al disegno di modelli UML per il tools UMC v3.6. Technical report, 2009.     
4Sulova A. Model driven software development con Eclipse, statechartUMC. Technical report, 2009.  
5Ter Beek M. H., Faconti G. P., Massink M., Palanque P. A., Winckler M. Resilience of interaction techniques to interrupts - A formal model-based approach - Full Version. Technical report, 2009.  
6Ter Beek M. H., Gnesi S., Latella D., Massink M., Trentanni G., Sebastianis M. Thinkteam with replicated data repositories: stochastic model checking in industry. Technical report, 2009.  

Abstracts

   2009
1Ferrari A., Fantechi A., Bacherini S., Zingoni N. Formal development for railway signaling using commercial tools. In: FMICS 2009 - Formal Methods for Industrial Critical Systems. 14th International Workshop (Eindhoven, The Netherlands, 2-3 November 2009). Abstract, pp. 197 - 198. María Alpuente, Byron Cook, Christophe Joubert (eds.). (Lecture Notes in Computer Science, vol. 5825). Springer, 2009.           
comments to Stefania Gnesi