Formal Methods && Tools Group
Publications Search ordered by Author/s, group, type and year

2014

Journal articles
Contribution to Book/Monograph
  • Ciancia V., Martinelli F., Matteucci I., Morisset C. Quantitative evaluation of enforcement strategies . In: Foundations and Practice of Security. 6th International Symposium. Revised Selected Papers. pp. 178 186. Jean Luc Danger, Mourad Debbabi, Jean Yves Marion, Joaquin Garcia Alfaro, Nur Zincir Heywood (eds.). (Lecture Notes in Computer Science, vol. 2014). Heidelberg: Springer, 2014.
  • Latella D., Loreti M., Massink M. On the fly fast mean field model checking . In: Trustworthy Global Computing. 8th International Symposium, Revised Selected Papers. vol. 8358 pp. 297 314. Mart√≠n Abadi, Alberto Lluch Lafuente (eds.). (Lecture Notes in Computer Science, vol. 8358). Switzerland: Springer, 2014.
Editorials
Technical reports

2013

Journal articles
Contribution to Book/Monograph
  • Bolognesi 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.
Proceedings
  • Bartocci 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.
  • Bortolussi 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.
  • Bortolussi 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.
  • Bortolussi 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.
  • Di 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.
  • Ter 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.
Editorials
Technical reports

2012

Journal articles
  • Ferrari A., Fantechi A., Magnani G., Grasso D., Tempestini M. The Metro Rio case study . In: Science of Computer Programming, Elsevier, [Online First 25 April 2012]
  • Ter Beek M. H., Kleijn J. Vector Team Automata . In: Theoretical Computer Science, vol. 429 pp. 21 29. Elsevier, Amsterdam, 2012.
Proceedings
  • Asirelli 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.
  • Bortolussi L., Hillston J. Fluid model checking . In: CONCUR 2012 Concurrency Theory. 23rd International Conference (Newcastle upon Tyne, UK, 3 8 September 2012). Proceedings, vol. LNCS 7454 pp. 333 347. Maciej Koutny, Irek Ulidowski (eds.). (Lecture Notes in Computer Science, vol. 7454). Springer, 2012.
  • Bruni 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.
  • Fantechi 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.
  • Fantechi 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.
  • Ferrari 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.
  • Ferrari 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.
  • Ferrari 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.
  • Gnesi 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.
  • Massink 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 settembre 2012). Proceedings, pp. 25 36. Dorigo et al. (eds.). (Lecture Notes in Computer Science, vol. 7461). Springer, 2012.
  • Massink 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.
  • Ter 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.
  • Ter 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
  • Derrick J., Fitzgerald J., Gnesi S., Khurshid S., Leuschel M., Reeves S., Riccobene E., (eds.) .. iFM&ABZ 2012 . Springer, 2012.
  • Fiadeiro J., Gnesi S., Maibaum T. Editorial . vol. 24 (2) pp. 161 162. Springer, 2012.
Technical reports
Abstracts
  • Ter 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.

2011

Journal articles
  • Bolognesi T. Algorithmic causets . In: Journal of Physics: Conference Series, vol. 306 (1) article n. 012042. Special issue: 5th International Workshop DICE 2010 Space Time Matter Current Issues in Quantum Mechanics and Beyond. Lajos DiÛsi, Hans Thomas Elze, Leone Fronzoni, Jonathan Halliwell, Enrico Prati, Giuseppe Vitiello, James Yearsley (eds.). IOP Science, 2011.
Contribution to Book/Monograph
  • Bartoletti M., Caires L., Lanese I., Mazzanti F., Sangiorgi D., Tores Vieira U., Zunino R. Tools and veriÔ¨Åcation . In: Results of the SENSORIA Project. pp. 408 427. Martin Wirsing, Matthias M. Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.
  • Cappello I., Clark A., Gilmore S., Latella D., Loreti M., Quaglia P., Schivo S. Quantitative analysis of services . In: Rigorous Software Engineering for Service Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service Oriented Computing. pp. 522 540. Martin Wirsing, Matthias HoÃàlzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Berlin: Springer, 2011.
  • De Nicola R., Latella D., Loreti M., Massink M. SoSL: a Service oriented Stochastic Logic . In: Rigorous Software Engineering for Service Oriented Systems Results of the SENSORIA Project on Software Engineering for Service Oriented Computing. pp. 447 466. Martin Wirsing, Matthias HoÃàlzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Berlin: Springer, 2011.
  • Elgner J., Gnesi S., Koch N., Mayer P. Introduction to the Sensoria Case Studies . In: Rigorous Software Engineering for Service Oriented. pp. 26 34. MartinWirsing, Matthias H√∂lzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg Dordrecht London NewYork: Springer, 2011.
  • Ter Beek M. H., Lapadula A., Loreti M., Palasciano C. Analysing robot movement using the SENSORIA methods . In: Rigorous Software Engineering for Service Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service Oriented Computing. pp. 678 697. M. Wirsing, M. H√∂lzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Berlin: Springer Verlag, 2011.
  • Ter Beek M. H. SENSORIA results applied to the case studies . In: Rigorous Software Engineering for Service Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service Oriented Computing. pp. 655 677. M. Wirsing, M. H√∂lzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Berlin: Springer Verlag, 2011.
Proceedings
  • Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. A model checking tool for families of services . In: FMOODS'11/FORTE'11 Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object based Distributed Systems and 31st IFIP WG 6.1 International Conference on FORmal TEchniques for Networked and Distributed Systems (Reykjavik, Iceland, 6 8 Giugno 2011). Proceedings, pp. 44 58. R. Bruni, J. Dingel (eds.). (Lecture Notes in Computer Science, vol. 6722). Springer, 2011.
  • Asirelli P., Ter Beek M. H., Fantechi A., Mazzanti F. Design and validation of variability in product lines . In: PLEASE 2011 2nd International Workshop on Product LinE Approaches in Software Engineering (Honolulu, Hawaii, USA, 22 23 May 2011). Proceedings, pp. 25 30. ACM, 2011.
  • Fantechi A., Gnesi S. On the adoption of model checking in safety related software industry . In: SAFECOMP 2011 Computer Safety, Reliability, and Security. 30th International Conference (Naples, Italy, 19 22 September 2011). Proceedings, pp. 383 396. Francesco Flammini, Sandro Bologna, Valeria Vittorini (eds.). (Lecture Notes in Computer Science, vol. 6894). Springer, 2011.
  • Ferrari A., Magnani G., Grasso D., Fantechi A. Model checking interlocking control tables . In: FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems 2010 (Braunschweig, Germany, 2 3 December 2010). Proceedings, vol. 2 pp. 107 115. Eckehard Schnieder, Geza Tarnai. Springer, 2011.
  • Massink M., Latella D., Bracciali A., Hillston J. Modelling non linear crowd dynamics in Bio PEPA . In: FASE 2011 Fundamental Approaches to Software Engineering 2011. 14th International Conference (Saarbruecken, Germany, March 26 April 3 2011). Proceedings, pp. 96 110. D. Giannakopoulou, F. Orejas (eds.). (Lecture Notes in Computer Science, vol. 6603). Springer Verlag, 2011.
  • Njima M. N., Ter Beek M. H., Gnesi S. Product line architectures for SOA . In: SERP 2011 11th International Conference on Software Engineering Research and Practice (Las Vegas, Nevada, USA, 18 21 July 2011). Proceedings, vol. I pp. 227 232. H.R. Arabnia, H. Reza, L. Deligiannidis (eds.). CSREA, 2011.
  • Ter Beek M. H., Gnesi S., Njima M. N. Product lines for service oriented applications PL for SOA . In: WWV 2011 7th Workshop on Automated Specification and Verification of Web Systems (Reykjavik, Iceland, 9 Giugno 2011). Proceedings, vol. 61 pp. 34 48. L. Kovacs, R. Pugliese, F. Tiezzi (eds.). EPTCS, 2011.
Editorials
Technical reports
Dissertations

2010

Journal articles
Proceedings
  • Asirelli P., Ter Beek M. H., Gnesi S., Fantechi A. A deontic logical framework for modelling product families . In: VaMoS 2010 Fourth International Workshop on Variability Modelling of Software Intensive Systems (Linz, Austria, 27 29 January 2010). Proceedings, pp. 37 44. D. Benavides, D. Batory, P. Gr¸nbacher (eds.). (ICB Research Report, vol. 37). Universit√§t Duisburg Essen, 2010.
  • Asirelli P., Ter Beek M., Fantechi A., Gnesi S. A logical framework to deal with variability . In: IFM 2010 Integrated Formal Methods. 8th International Conference (Nancy, France, 11 14 Ottobre 2010). Proceedings, pp. 43 58. D. M√©ry, S. Merz (eds.). (Lecture Notes in Computer Science, vol. 6396). Springer, 2010.
  • Biscoglio I., Coco A., Fusani M., Gnesi S., Trentanni G. An approach to ambiguity analysis in safety related standards . In: QUATIC 2010 7th International Conference on the Quality of Information and Communications Technology (Oporto, Portugal, 29 September 2 October 2010). Proceedings, pp. 461 466. Faculty of Engineering, Porto University (eds.). IEEE, 2010.
  • Ferrari A., Grasso D., Magnani G., Fantechi A., Tempestini M. The Metr√¥ Rio ATP case study . In: FMICS 2010 Formal Methods for Industrial Critical Systems. 15th International Workshop (Antwerp, Belgium, 20 21 September 2010). Proceedings, pp. 1 16. Stefan Kowalewski, Marco Roveri (eds.). (Lecture Notes in Computer Science, vol. 6371). Springer, 2010.
  • Ter Beek M. H., Mazzanti F., Sulova A. An experience on formal analysis of a high level graphical SOA design . In: FM+AM 2010 Second International Workshop on Formal Methods and Agile Methods (Pisa, Italy, 17 Settembre 2010). Proceedings, pp. 79 98. S. Gruner, B. Rumpe (eds.). (Lecture Notes in Informatics (LNI), vol. 179). Gesellschaft f√ºr Informatik, Bonn, 2010.
  • Ter Beek M. H., Fantechi A., Gnesi S., Zavattaro G. Modelling variability, evolvability, and adaptability in service computing . In: ACoTA 2010 First International Workshop on Automated Configuration and Tailoring of Applications (Antwerp, Belgium, 20 Settembre 2010). Proceedings, pp. 14 19. Deepak Dhungana, Rick Rabiser, Norbert Seyff, Goetz Botterweck (eds.). (CEUR Workshop Proceedings, vol. 688). CEUR WS.org, 2010.
Editorials
Technical reports
Software
Abstracts

2009

Journal articles
  • Bucchiarone 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.
Books/Monographs
  • Fantechi A. Informatica industriale . 288 p. Milano: Citt‡ Studi Edizioni, 2009.
Contribution to Book/Monograph
Proceedings
  • Abreu 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.
  • Asirelli 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.
  • De 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.
  • De 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.
  • Ferrari 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.
  • Ter 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.
  • Wirsing 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
  • Cofer D., Fantechi A. Preface to FMICS 2008 . pp. V VI. Darren D. Cofer, Alessandro Fantechi (eds.). Springer, 2009.
Technical reports
Abstracts
  • Ferrari 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.

2008

Journal articles
  • Banci M., Fantechi A., Gnesi S., Lombardi G. Model driven development of railway systems using diversity . In: Computer Systems Science and Engineering, vol. 23 (5) pp. 329 335. Special issue: Engineering Fault Tolerant Systems. Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (eds.). CRL Publishing LTD, 2008.
  • Bruni R., Bucchiarone A., Gnesi S., Melgratti H. Modelling dynamic software architectures using typed graph grammars . In: Electronic Notes in Theoretical Computer Science, vol. 213 (1) pp. 39 53. Special issue: GT VC 2007. Third Workshop on Graph Transformation for Concurrency and Verification (Lisbon, Portugal, 3 September 2007). Barbara Kˆnig, Arend Rensink, Reiko Heckel (eds.). Elsevier, 2008.
  • Bucchiarone A., Galeotti J. Dynamic software architectures verification using DynAlloy . In: Electronic Communications of the EASST, vol. 10 pp. 1 14. Special issue: GT VMT 2008. Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (Budapest, Hungary, 29 30 March 2008). Claudia Ermel, Reiko Heckel, Juan de Lara (eds.). EASST, 2008.
Contribution to Book/Monograph
Proceedings
  • Asirelli P., Colantonio S., Little S., Martinelli M., Salvetti O. Media Analysis and the Algorithm Ontology . In: First International Workshop on Image Mining: Theory and Applications (IMTA 2008) (Funchal, Madeira, Portugal, 22 23 January 2008). Proceedings, pp. 16 25. I. Gourevich, H. Niemann and O. Salvetti (eds.). INSTICC Press, Portugal, 2008.
  • Fantechi A., Najm E. Session types for orchestration charts . In: COORDINATION 2008 Coordination Models and Languages. 10th International Conference (Oslo, Norway, June 4 6 2008). Proceedings, pp. 117 134. (Lecture Notes in Computer Science, vol. 5052). Springer Verlag, 2008.
  • Gnesi S., Fantechi A., Mazzanti F., Pugliese R., La Padula A., Tiezzi F. A model checking approach for verifying COWS specifications . In: FASE 2008 Fundamental Approaches to Software Engineering. 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 (Budapest, March 29 April 6 2008). Proceedings, pp. 230 245. Jos√© Luiz Fiadeiro, Paola Inverardi (eds.). (Lecture Notes in Computer Science, vol. 4961). Springer, 2008.
  • Massink M., Latella D., Ter Beek M. H., Harrison M. D., Loreti M. A fluid flow approach to usability analysis of multi user systems . In: HCSE'08, EIS'08, TAMODIA'08 Engineering Interactive Systems. Second Conference on Human Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008 2nd Conference on Human Centered Software Engineering, part of Engineering Interactive Systems 2008 (Pisa, Italy, 25 26 September 2008). Proceedings, pp. 166 180. P. Forbrig and F. Patern√≤ (eds.). (Lecture Notes in Computer Science, vol. 5247). Springer, 2008.
  • Ter Beek M. H., Gadducci F., Janssens D. A Calculus for Team Automata . In: Brazilian Symposium on Formal Methods (SBMF'06) (Natal, Rio Grande do Norte, Brazil, 17 23 Settembre 2006). Proceedings, pp. 41 55. A. Martins Moreira and L. Ribeiro (eds.). (Electronic Notes in Theoretical Computer Science, vol. 195, 3). Elsevier Science Publishers, Amsterdam, 2008.
Technical reports
  • Asirelli P., De Chalendar G., Grefenstette G., G√ºd√ºkbay U., Little S., Martinelli M., Perner P., Salvetti O., Tampucci M., Ulusoy √ñ. MUSCLE NoE 4M Infrastructure: Final Revision . Network of Excellence Multimedia Understanding through Semantics, Computation and Learning. Deliverable DN2.4, 2008.
Abstracts

2007

Journal articles
  • De Nicola R., Katoen J., Latella D., Loreti M., Massink M. Model checking mobile stochastic logic . In: Theoretical Computer Science, vol. 382 (1) pp. 42 70. Quantitative Aspects of Programming Languages. A. Di Pierro and H. Wiklicky (eds.). Elsevier, 2007.
  • Ter Beek M. H., Bucchiarone A., Gnesi S. Formal methods for service composition . In: Annals of Mathematics, Computing & Teleinformatics, vol. 1 (5) pp. 1 10. Technological Education Institute of Larissa (TEIL), Greece, 2007.
  • ter Beek M. H., Kleijn J. Infinite unfair shuffles and associativity . In: Theoretical Computer Science, vol. 380 (3) pp. 401 410. Combinatorics on Words. Sreƒçko Brlek and Christophe Reutenauer (eds.). Elsevier Science Publishers, 2007.
Contribution to Book/Monograph
  • Faconti G., Massink M. Analysis of a pointing task on a white board . In: Interactive Systems. Design, Specification, and Verification. pp. 185 198. Gavin Doherty and Ann Blandford (eds.). (Lecture Notes in Computer Science, vol. 4323). Heidelberg: Springer, 2007.
Proceedings
  • Asirelli P., Colantonio S., Gurevich I. B., Martinelli M., Salvetti O., Trusova Y. Ontology driven approach to image understanding . In: 8th Internation Conference on Pattern Recognition and Image Analysis: New Information Technologies. PRIA8 (Yoshkar Ola, Russian Federation, 8 13 October 2007). Proceedings, vol. I pp. 67 71. Yuri I. Zhuravlev et al. (eds.). Mari State Technical University, 2007.
  • Banci M., Fantechi A., Gnesi S., Lombardi G. Model driven development and code generation: an automotive case study . In: SDL 2007: Design for Dependable Systems. 13th International SDL Forum (Paris, France, 18 21 September 2007). Proceedings, pp. 19 34. Emmanuel Gaudin, Elie Najm and Rick Reed (eds.). (Lecture Notes in Computer Science, vol. 4745). Springer, 2007.
  • Bolognesi T. Planar trivalent network computation . In: 5th International Conference MCU 2007 Machines, Computations, and Universality (Orleans France, 10 13 september 2007). Proceedings, pp. 146 157. Jerome Durand Lose, Maurice Margenstern (eds.). (Lecture Notes in Computer Science, vol. 4664). Springer, 2007.
  • Fantechi A., Gnesi S. A behavioural model for product families . In: 6th Joint Meeting of the European Software Engineering Conference and the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering. ESEC/FSE 2007 (Dubrovnich, September 03 07 2007). Proceedings, pp. 525 528. ACM Press, 2007.
  • Palmeri M. C., De Nicola R., Massink M. Basic observables for probabilistic may testing . In: Quest2007 Fourth International Conference on the Quantitative Evaluation of Systems (Edinburgh, Scotland, U.K, 17 19 September 2007). Proceedings, pp. 189 200. IEEE, 2007.
  • Ter Beek M. H., Bucchiarone A., Gnesi S. Formal methods for service composition . In: 3rd South East European Workshop on Formal Methods. SEEFM'07 (Thessaloniki, Greece, 30 Novembre 1 Dicembre 2007). Proceedings, pp. 65 78. D. Dranidis, I. Sakellariou (eds.). South East European Research Centre, Thessaloniki, Greece, 2007.
Editorials
  • Ter Beek M. H., Gadducci F. Second international workshop on views on designing complex architectures . In: Electronic Notes in Theoretical Computer Science. Editorial, vol. 168 pp. 1 3. Second International Workshop on Views On Designing Complex Architectures. VODCA 2006 (Bertinoro, Italy, 16 17 September 2006). Proceedings. M.H. ter Beek, F. Gadducci (eds.). Elsevier, 2007.
Technical reports
  • De Nicola R., Katoen J., Latella D., Loreti M., Massink M. SENSORIA Stochastic logics . Software Engineering for Service Oriented Overlay Computers. Deliverable D4.2a, 2007.
Software
Abstracts

2006

Journal articles
  • Bolognesi T. Process algebra under the light of Wolfram's NKS . In: Electronic Notes in Theoretical Computer Science, vol. 162 pp. 101 105. Workshop “Essays on Algebraic Process Calculi” APC 25 (Bertinoro, Italy 01 05 August 2005). Proceedings. L. Aceto and A.D. Gordon (eds.). Elsevier, 2006.
  • De Nicola R., Katoen J., Latella D., Massink M. Towards a logic for performance and mobility . In: Electronic Notes in Theoretical Computer Science, vol. 153 (2) pp. 161 175. Third Workshop on Quantitative Aspects of Programming Languages. QAPL 2005 (Edinburgh, UK, 02 03 April 2005). Proceedings. A. Cerone and H. Wiklicky (eds.). Elsevier, 2006.
  • Fitzgerald J. S., Gnesi S., Mandrioli D. The industrialization of formal methods . In: International Journal on Software Tools for Technology Transfer (STTT), vol. Volume 8 (Numbers 4 5 / August, 2006) pp. 301 302. Springer Berlin / Heidelberg, 2006.
  • Massink M., Latella D., Gnesi S. On testing UML statecharts . In: Journal of Logic and Algebraic Programming, vol. 69 (1 2) pp. 1 74. Elsevier Science, 2006.
Contribution to Book/Monograph
  • Asirelli P., Martinelli M., Salvetti O. Call for a common multimedia ontology framework requirements . In: Towards a Common Multimedia Ontology Framework. pp. 1 5. Hariklia Eleftherohorinou, Vasiliki Zervaki, Anastasios Gounaris, Vasileios Papastathis, Yiannis Kompatsiaris, Paola Hobson (eds.). London: Acemedia, 2006.
  • Martinelli M., Salvetti O., Little S., Asirelli P. Algorithm representation . In: Multimedia Annotation Interoperability Framework. pp. 1 1. W3C (ed.). World Wide Web: W3C Multimedia Semantics Incubator Group, 2006.
Proceedings
  • Berry D. M., Bucchiarone A., Gnesi S., Lami G., Trentanni G. A new quality model for natural language requirements specifications . In: 12th International Working Conference on Requirements Engineering: Foundation for Software Quality REFSQ'06 (Luxembourg, Grand Duchy of Luxembourg, 5 6 June 2006). Proceedings, pp. 115 128. Essener Informatik Beitr‰ge, 2006.
  • Bucchiarone A., Muccini H., Pelliccione P. A practical architecture centric analysis process . In: International Conference on the Quality of Software Architectures. QoSA 2006 (M√§lardalen University, V√§ster√•s near Stockholm, Sweden, June 27 29, 2006). Proceedings, pp. 127 144. C. Hofmeister et al. (eds.). (Lecture Notes in Computer Science, vol. 4214). Springer, 2006.
Editorials
Technical reports
  • Gnesi S., Ter Beek M. H., Baumeister H., Hoelzl M., Moiso C., Koch N., Zobel A., Alessandrini M. SENSORIA Case studies scenario description . Software Engineering for Service Oriented Overlay Computers. Deliverable D8.0, 2006.
Abstracts
  • Ter Beek M. H., Gadducci F., Janssens D. A calculus for team automata . In: Brazilian Symposium on Formal Methods (SBMF'06) (Natal, Rio Grande do Norte, Brazil, 17 23 September 2006).

2005

Journal articles
  • Ter Beek M. H., Martin Vide C., Mitrana V. Synchronized Shuffles . In: Theoretical Computer Science, vol. 341 (1 3) pp. 263 275. Elsevier Science Publishers, Amsterdam, 2005.
Contribution to Book/Monograph
  • Latella D., Massink M., Baumeister H., Wirsing M. Mobile UML statecharts with localities . In: Global Computing 2004. pp. 34 58. Corrado Priamo and Paola Quaglia (eds.). (Lecture Notes in Computer Science, vol. 3267). Berlin: Springer Verlag, 2005.
Proceedings
  • Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An architecture centric approach for producing quality systems . In: First International Conference on the Quality of Software (Erfurt, Germany, 20 22 September 2005). Proceedings, pp. 21 37. R. Reussner, J. Mayer, J.A. Stafford, S. Overhage, S. Becker, P.J (eds.). (Lecture Notes in Computer Science, vol. 3712). Springer, 2005.
  • Bolognesi T. Process algebra under the light of Wolfram's NKS . In: Algebraic Process Calculi: The First Twenty Five Years and Beyond, (Bertinoro (Forli'), Italy, August 1 5, 2005). Proceedings, vol. NS 05 3 pp. 56 59. Luca Aceto, Andrew Gordon (eds.). BRICS Notes Series, 2005.
  • Corin R., Di Caprio G., Etalle S., Gnesi S., Lenzini G., Moiso C. A Formal Security Analysis of an OSA/Parlay Authentication Interface . In: IFIP Conference on Formal Methods for Open Object based Distributed (Athens, Greece, June 15 17, 2005). Proceedings, vol. LNCS 3535 pp. 131 146. M. Steffen and G. Zavattaro (Eds.) (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.
  • De Nicola R., Latella D., Massink M. Formal modeling and quantitative analysis of KLAIM based mobile systems . In: Annual ACM Symposium on Applied Computing (SAC'2005) (Santa Fe, New Mexico, USA, March 13 17, 2005). Proceedings, pp. pages 428 435. H. Haddad, L. Liebrock, A. Omicini, R. Wainwright, M. Palakal, M (eds.). Association for Computing Machinery, 2005.
  • Pelliccione P., Muccini H., Bucchiarone A., Facchini F. TeStor: deriving test sequences from model based specifications . In: Component Based Software Engineering CBSE 2005 (St. Louis, MO, USA, May 14 1 2005). Proceedings, vol. 3489 pp. 267 282. George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, et al. (eds.). (Lecture Notes in Computer Science). LNCS, 2005.
  • Ter Beek M. H., Kleijn J. Infinite Unfair Shuffles and Associativity . In: International Conference on Words (WORDS'05) (Montreal (QC), Canada, 13 17 September 2005). Proceedings, vol. Publications du Laboratoire de Combinatoire et d'Informatique pp. 129 146. Srecko Brlek and Cristophe Reutenauer (eds.). Universite du Quebec a Montreal, 2005.
  • Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security A Survey . In: International Workshop on Security Issues in Coordination Models, (London, UK, 30 August 2004). Proceedings, vol. 128, 5 pp. 105 119. R. Focardi and G. Zavattaro (eds.). Electronic Notes in Theoretical Computer Science, Elsevier Science, 2005.
Editorials
Technical reports
  • Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An Architecture centric Approach for producing Quality Systems . Technical report, 2005.
  • Bucchiarone A., Gnesi S., Pierini P. Quality Analysis of NL Requirements: An Industrial Case Study . The document has been submitted to Conference: 13th IEEE International Requirements Engineering Conference, Technical report, 2005.
  • Massink M., Latella D., Gnesi S. Testing UML Statecharts . The document has been submitted to Journal: Journal of Logic and Algebraic Programming (Elsevier), Technical report, 2005.
Abstracts

2004

Journal articles
  • Ter Beek M. H., Csuhaj Varju E., Mitrana V. Teams of Pushdown Automata . In: International Journal of Computer Mathematics, vol. 81 (2) pp. 141 156. Taylor and Francis, 2004.
Contribution to Book/Monograph
  • Ter Beek M. H., Massink M., Latella D., Gnesi S. Model Checking Groupware Protocols . In: Cooperative Systems Design Scenario Based Design of Collaborative. Frontiers in Artificial Intelligence and Applications ed. vol. 107 pp. 179 194. Francoise Darses, Rose Dieng, Carla Simone, and Manuel Zacklad (eds.). Amsterdam: IOS Press, 2004.
Proceedings
  • Bertolino A., Gnesi S. PLUTO: A Test Methodology for Product Families . In: Software Product Family Engineering: 5th International Workshop, PFE 2003 (Siena, Italy, November 4 6, 2003). Proceedings, pp. 181 197. Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen (eds.). (Lecture Notes in Computer Science, vol. 3014). Springer Verlag, 2004.
  • Bolognesi T. Composing Event Constraints in State Based Specification . In: FORTE 2004: 24th IFIP WG 6.1 International Conference (Madrid, Spain, 27 30 September 2004). Proceedings, pp. 13 32. David de Frutos Escrig, Manuel Nunez (eds.). (Lecture Notes in Computer Science, vol. 3235). Springer Verlag, 2004.
  • Corin R., Di Caprio G., Etalle S., Gnesi S., Lenzini G., Moiso C. Security Analysis of Parlay/OSA Framework . In: 9th International Conference on Intelligence in service delivery Networks (ICIN2004) (Bordeaux, France, 18 21/ 10/ 2004). Proceedings, ADERA, 2004.
  • Fantechi 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, November 4 6, 2003). Proceedings, pp. 152 167. Frank van der Linden (Ed.) (ed.). (Lecture Notes in Computer Science, vol. 3014). Springer Verlag, 2004.
  • Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G., Tuosto E. Verication On The Web Of Mobile Systems . In: 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004) Systems (Porto, Portugal, 14 17, April 2004). Proceedings, 2004.
  • Gnesi S., Latella D., Massink M. Formal Test case Generation for UML STatecharts . In: IEEE International Conference on Engineering of Complex Computer (Florence, Italy, 1 14 April 2004). Proceedings, pp. 75 84. Bellini, P., Bohner, S. and Steffen, B. (eds.). IEEE Computer Society Press, 2004.
  • Meolic R., Fantechi A., Gnesi S. Witness and Counterexample Automata for ACTL . In: FORTE 2004: 24th IFIP WG 6.1 International Conference (Madrid, Spain, September 27 30, 2004). Proceedings, pp. 259 275. David de Frutos Escrig, Manuel Nunez (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 3235). Springer, 2004.
  • Ter Beek M. H., Csuhaj Varju E., Holzer M., Vaszil G. On Competence in CD Grammar Systems . In: DLT'04 International Conference on Developments in Language Theory (Auckland, New Zealand, 13 17 December 2004). Proceedings, pp. 76 88. C.S. Calude, E. Calude, and M.J. Dinneen (eds.). (Lecture Notes in Computer Science, vol. 3340). Springer Verlag, Berlin, 2004.
Technical reports
  • Latella D., Massink M., Norman G., Parker D. Rigorous Design . Chapter 15 of CaberNet Vision of Research and Technology Development in Distributed and Dependable Systems. EU Network of Excellence. Project report IST 2000 25088., 2004.
Software
Abstracts

2003

Journal articles
Proceedings
  • Bertolino 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.
  • Bistarelli 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.
  • Bolognesi 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.
  • Cervesato 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.
  • Fantechi 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.
  • Gnesi 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.
  • Lenzini 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.
  • Massink 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.
  • Ter 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.
  • Ter 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
  • Garavel 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.
  • Gnesi 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
  • Massink 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.
  • Ter 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.
  • Ter 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.
Software
Dissertations
Abstracts

2002

Journal articles
Proceedings
  • Bertolino 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.
  • Bolognesi 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.
  • Fantechi 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.
Technical reports
Software
Abstracts
  • Bolognesi T. Towards Abstract State Processes . 2002.
  • Gnesi 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).
  • Gnesi S. Application of Linguistic Techniques for Requirements Analysis . 2002.
  • Latella D. UMLStatecharts@ISTI . 2002.
  • Massink M. Continuous interaction with computers: issues and requirements . 2002.