Formal Methods and Tools Laboratory (FMT)

home | people | topics | projects | publications | software | news


2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017  2018 

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

1Asirelli P., Braccini G., Caramella D., Coco A., Fabbrini F. Un contributo informatico alla gestione della sicurezza negli ambienti sanitari. In: La Radiologia Medica, vol. 104 pp. 203 - 212. Edizioni Minerva Medica, 2002.  
2Bernardeschi C., Fantechi A., Gnesi S. Model checking fault tolerant systems. In: Software Testing Verification & Reliability, vol. 12 (4) pp. 1 - 25. Wiley, 2002.  
3Doherty G., Faconti G., Massink M., Wilson M. Continuous interaction in future computing systems. In: International Journal Universal Access in the Information, vol. 1 (4) pp. 235 - 236. Springer, 2002.     
4Gnesi S., Latella D., Massink M. Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. In: Journal of Logic and Algebraic Programming, vol. 51 pp. 43 - 75. Elsevier Science Inc, 2002.  
5Massink M., Faconti G. A reference framework for continuous interaction. In: Universal Access in the Information Society, vol. 1 (4) pp. 237 - 251. Springer, 2002.  


1Asirelli P., Braccini G., Caramella D., Coco A., Fabbrini F. Handling security policies: the example of an italian hospital. In: EuroPACS2002. 20th International Conference (Oulu, Finland, 5-7 September 2002). Proceedings, pp. 231 - 231. Jaakko Niinimakäki et al... (eds.). 2002.  
2Bertolino A., Fantechi A., Gnesi S., Lami G., Maccari A. Use case description of requirements for product lines. In: International Workshop on Requirements Engineering for Product Lines. REPL'02 (Essen, Germany, 9 September 2002). Proceedings, pp. 12 - 18. Birgit geppert, Klaus Schmid (eds.). (Lecture Notes in Computer Science, vol. 2485). 2002.  
3Bolognesi T., Boerger E. Process algebraic operators for ASMs. In: Theory and Application of Abstract State Machines - International Conference and Research Center for Computer Science (Dagstuhl, Germany, 3-8 March 2002). 2002.
4Fantechi A., Gnesi S., Lami G., Maccari A. Application of linguistic techniques for use case analysis. In: IEEE Joint International Requirements Engineering Conference (Essen, Germany, 13 September 2002). Proceedings, pp. 157 - 164. IEEE, 2002.  
5Latella D., Massink M. On testing and conformance relations for UML statechart diagrams behaviours. In: ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis. ISSTA 2002 (Roma, Italy, 22-24 July 2002). Proceedings, pp. 144 - 153. Phyllis G. Frankl (ed.). ACM, 2002.  

Technical reports

1Fantechi A., Gnesi S., Lami G., Maccari A. Application of linguistic techniques for use case. Technical report, 2002.  
2Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G., Tuosto E. Verification on the WEB. Technical report, 2002.  
3Gnesi S., Latella D., Lenzini G. Towards model checking a spi-calculus dialect. Technical report, 2002.  
4Latella D., Massink M. Relating testing and conformance relations for UML statechart diagrams behaviours. Internal note ISTI-B4-02-001, 2002.  
5Massink M. Introduction to UPPAAL slides. Internal note ISTI-B4-02-011, 2002.  


1Trentanni G. HAL (History Dependent Automata Laboratory) - online version. [Software] Release 1.0 , 21 October 2002.  
2Trentanni G. JACK3 - Just Another Concurrency Kit. [Software] Release 1.0 , 07 June 2002.  


1Bolognesi T. Towards Abstract State Processes. 2002.
2Gnesi S., Latella D., Lenzini G. A BRUTUS logic for the Spi-Calculus. In: ACM SIGPLAN and IFIP WG 1.7. WITS'02 Workshop on Issues in the Theory of Security (Portland, Oregon, 14-15 January 2002).
3Gnesi S. Application of Linguistic Techniques for Requirements Analysis. 2002.
4Latella D. UMLStatecharts@ISTI. 2002.
5Massink M. Continuous interaction with computers: issues and requirements. 2002.
comments to Stefania Gnesi