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

   2003
1Fantechi A., Gnesi S., Lami G., Maccari A. Application of Linguistic Techniques for Use Case Analysis. In: Requirements Engineering Journal, vol. 8 (3) pp. 161 - 170. Springer-Verlag, 2003.  
2Ferrari G., Gnesi S., Montanari U., Pistore M. A model-checking verification environment for mobile processes. In: Acm Transactions on Software Engineering and Methodology, vol. Volume 12 (Issue 4 (October 2003)) pp. 440 - 473. ACM, 2003.  
3Gnesi S. Formal specification and verification of complex systems. In: Electronic Notes in Theoretical Computer Science, vol. 80 pp. 1 - 5. Thomas Arts, Wan Fokkink (eds.). Elsevier, 2003.     
4Gnesi S. Model checking of embedded systems. In: Ercim News, vol. 52 pp. 37 - 38. Ercim EEIG, 2003.     

Proceedings

   2003
1Bertolino A., Gnesi S. Use Case-based Testing of Product Lines. In: 9th European Software Engineering Conference and 11th SIGSOFT (Helsinki, Finland, 1-5 September 2003). Proceedings, pp. 355 - 358. Paola Inverardi (ed.). ACM Press, 2003.     
2Bistarelli S., Cervesato I., Lenzini G., Martinelli F. Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. In: Second International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS 2003) (St. Petersburg, Russia, 20-24 September, 2003). Proceedings, pp. 86 - 99. V.I. Gorodetski, V.A. Skormin and L.J. Popyack (eds.). (Lecture Notes in Computer Science, vol. 2776). Springer-Verlag, 2003.     
3Bistarelli S., Cervesato I., Lenzini G., Martinelli F. Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis. In: IFIP WG 1.7 ACM SIGPLAN and GIFoMSEES Workshop on Issues in the Theory of Security (WITS 03) (Warsaw (Poland), April 5 - 6, 2003). Proceedings, 2003.  
4Boerger E., Bolognesi T. Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. In: Abstract State Machines 2003 - Advances in Theory and Practice (Taormina, Italy, 3-7 March 2003). Proceedings, pp. 218 - 228. Egon Boerger, Angelo Gargantini, Elvinia Riccobene (eds.). (Lecture Notes in Computer Science, vol. 2589). Springer, 2003.  
5Bolognesi T., Boerger E. Abstract State Processes. In: Abstract State Machines 2003 - Advances in Theory and Practice (Taormina, Italy, 3-7 March 2003). Proceedings, pp. 22 - 32. Egon Boerger, Angelo Gargantini, Elvinia Riccobene (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 2589). Springer, 2003.  
6Cervesato I., Bistarelli S., Lenzini G., Martinelli F., Marangoni R. Representing Biological Systems with Multiset Rewriting. In: International Conference on Computer Aided System Theory EUROCAST 2003 (Las Palmas de Gran Canaria, Spain, February 24-28, 2003). Proceedings, pp. 415 - 426. D.R. Moreno, F. Pilchler (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 2809). Springer Verlag, 2003.  
7Fantechi A., Gnesi S., Lami G. A Relation-based Approach to Use Case Analysis. In: International Workshop on Requirements Engineering: Foundation for (Velden, Austria, 16-17 June 2003). Proceedings, vol. 8 pp. 81 - 89. Camille Salinesi, Bijorn Regnell, Erik Kamsties (eds.). Essner Informatik Beitrage, 2003.  
8Gnesi S., Latella D., Massink M., Mazzanti F., Andrade L., Baldan P., Baumeister H., Bruni R., Corradini A., De Nicola R., Fiadeiro J. L., Gadducci F., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Lopes A., Lo Reti M., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. AGILE: Software Architecture for Mobility. In: 16th International Workshop on Algebraic Development Techniques (Frauenchiemsee, Germany, 24-27 September 2002). Proceedings, pp. 1 - 33. Wirsing, M. and Pattinson, D. and Hennicker, R (eds.). (Lecture Notes in Computer Science, vol. 2755). Springer-Verlag, 2003.  
9Latella D., Massink M. On Mobility Extensions of UML Statecharts. A Pragmatic Approach. In: Formal Methods for Open Object-based Distributed Systems (Paris, 19-21 November 2003). Proceedings, pp. 199 - 213. Najm E., Nestmann U.and Stevens P (eds.). (Lecture Notes in Computer Science, vol. 2884). Springer Verlag, 2003.  
10Lenzini G., Gnesi S., Latella D. SpiDer: a Security Model Checker. In: International Workshop on Formal Aspects in Security and Trust FAST (Pisa, Italy, 8-9 September 2003). Proceedings, pp. 163 - 180. Dimitrakos Theo, Martinelli Fabio (eds.). 2003.  
11Massink M., Latella D. Deriving manuals from formal specifications. In: Proceedings of HCI International 2003 (Crete, Greece, 2-22 2003). Proceedings, vol. 1 pp. 163 - 167. Jacko, J. and Stephanidis, Constantine (eds.). Lawrence Erlbaum Associates Publishers, 2003.  
12Ter Beek M. H., Lenzini G., Petrocchi M. Team automata for security analysis of multicast/broadcast communication. In: International Conference on Application Theory of Petri Nets (ATPN (Eindhoven, The Netherlands, 23-27 June 2003). Proceedings, 2003.  
13Ter Beek M. H., Kleijn J. Team automata satysfying compositionality. In: FME 2003: Formal methods. International Symposium of Formal Methods (Pisa, Italy, September 2003). Proceedings, pp. 381 - 400. Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.). (Lecture Notes in Computer Science, vol. 2805). Springer, 2003.  
14Ter Beek M. H., Csuhaj-Varju E., Mitrana V. Teams of Pushdown Automata. In: Perspectives of System Informatics: Revised papers of the 5th (Akademgorodok, Novosibirsk, Russia, 9-12 July 2003). Proceedings, pp. 329 - 337. M. Broy, A.V. Zamulin (eds.). (Lecture Notes in Computer Science, vol. 2890). Springer, 2003.     

Editorials

   2003
1Garavel H., Gnesi S., Schieferdecker I. Preface. In: Science of Computer Programming. Editorial, vol. 46 pp. 145 - 146. Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (Berlin, April 3-4, 2000). Selected papers. Hubert Garavel, Stefania Gnesi, Ina Schieferdecker (eds.). Elsevier, 2003.  
2Gnesi S., Araki K., Mandrioli D. Editorial activity - FME 2003. In: Lecture Notes in Computer Science 2805. Editorial, vol. 2805 p. -. FME 2003: Formal Methods. International Symposium of Formal Methods Europe (Pisa, Italy, September 8-14, 2003). Stefania Gnesi, Keijiro Araki, Dino Mandrioli (eds.). Springer, 2003.  

Technical reports

   2003
1Bolognesi T. On state-oriented vs. event-oriented thinking in formal behavioural specifications. The document will be submitted to Conference FASE 2004 (deadline October 2003), Technical report, 2003.  
2Fantechi A., Gnesi S. Action-based Model Checking (and its applications to distributed, mobile, object-oriented systems). The document has been submitted to Conference: FMOODS 03, Technical report, 2003.  
3Fantechi A., Gnesi S., Lami G., Maccari A. Application of Linguistic Techniques for Use Cases Analysis. The document has been submitted to Journal Requirements Engineering Journal, Technical report, 2003.  
4Ferrari G., Gnesi S., Montanari U., Pistore M. A model checking verification environment for mobile systems. The document has been submitted to Journal: ACM TOSEM, Technical report, 2003.  
5Gnesi S., Mazzanti F. AGILE - Modal logics for behavioural properties of mobile systems. AGILE research project. Deliverable 01, 2003.  
6Gnesi S., Mazzanti F. Mu-ACTL+: A temporal logic for UML Statechart diagrams. The document has been submitted to other: AGILE logic day workshop, Pisa, October 10, 2003, Technical report, 2003.  
7Gnesi S., Mazzanti F. On the fly model checking of communicating UML State Machines. The document has been submitted to Conference: VMCAI04-(Fifth International Conference on Verification, Model Checking and Abstract Interpretation), Technical report, 2003.  
8Latella D., Massink M. AGILE - UML-based Description Techniques for the Design of Mobile and Distributed System. AGILE research project. Deliverable 02, 2003.  
9Latella D., Massink M., Baumeister H., Wirsing M. Mobile UML Statecharts with Localities. The document has been submitted to Conference ETAPS/FASE 04 - Barcelona, March 2004, Technical report, 2003.  
10Latella D., Massink M. On Mobility Extensions of UML Statecharts. A Pragmatic Approach. The document has been submitted to Conference CONCUR2003, Technical report, 2003.     
11Massink M., Latella D. Deriving Manuals from Formal Specifications. Technical report, 2003.  
12Massink M. FM 2003 Tutorial Notes. Tutorial Notes. Document n. /cnr.isti/2003-B5-14, 2003.     
13Massink M. Trends in verification and validation. Appendix G of Deliverable D1.1 of EU Proj. IST-2001-37553 (AMSD) 'A Dependability Roadmap for the Information Society in Europe. Part 3. Project report D1.1 - IST-2001-37553, 2003.  
14Mazzanti F. UMC User Guide. The document, Technical report, 2003.  
15Ter Beek M. H., Massink M., Latella D., Gnesi S. Model Checking Groupware Protocols. The document has been submitted to Conference: 6th International Conference on the Design of Cooperative Systems (COOP'04), Technical report, 2003.  
16Ter Beek M. H., Martin-Vide C., Mitrana V. Synchronized Shuffles. The document has been submitted to Conference FOSSACS 2004: Foundations of Software Science and Computation Structures, Technical report, 2003.  
17Ter Beek M. H., Kleijn J. Team Automata Satisfying Compositionality. The document has been submitted to Conference FM 2003: The 12th International FME Symposium, Technical report, 2003.     
18Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security Analysis of Multicast/Broadcast Communication. The document has been submitted to other Workshop on Issues in Security and Petri Nets (WISP), Eindhoven, The Netherlands, 2003. Technical report, 2003.  

Software

   2003
1Trentanni G. HAL (History Dependent Automata Laboratory) - online version. [Software] Release 1.2 , 01 July 2003.  
2Trentanni G. JACK3 - Just Another Concurrency Kit. [Software] Release 3.0 , 01 January 2003.  

Dissertations

   2003
1Ter Beek M. H. Team automata. A formal approach to the modeling of collaboration between system components. Tesi di dottorato. LIACS, Universita' di Leida, Paesi Bassi. Ph.D. Dissertation, 2003.  

Abstracts

   2003
1Fantechi A., Gnesi S., John I., Lami G., Dörr J. Elicitation of Use Cases for Product Lines. In: International Workshop on Product Family Engineering PFE-5 (Siena, Italy, 4-6 November 2003).   
comments to Stefania Gnesi