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

2017

Journal articles
Contribution to Book/Monograph
  • Basile D., Di Giandomenico F., Gnesi S. Model-based evaluation of energy saving systems. In: Green IT Engineering: Concepts, Models, Complex Systems Architectures. pp. 187 - 208. Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk (eds.). (Studies in Systems, Decision and Control, vol. 74). Cham, Switzerland: Springer International Publishing, 2017.
  • Bernardini C., Colombetti G., Latella D., Lenci F. L'USPID. In: Fisica per la pace. pp. 143 - 154. Pietro Greco (ed.). Roma: Carocci, 2017.
  • Bolognesi T. LOTOS-like composition of boolean nets and causal set construction. In: ModelEd, TestEd, TrustEd. pp. 27 - 47. Joost-Pieter Katoen, Rom Langerak, Arend Rensink (eds.). (Lecture Notes in Computer Science, vol. 10500). Switzerland: Springer, 2017.
  • Latella D., Loreti M., Massink M. FlyFast: a scalable approach to probabilistic model-checking based on mean-field approximation. In: ModelEd, TestEd, TrustEd. Essays dedicated to Ed Brinksma on the occasion of his 60th birthday. pp. 254 - 275. Joost-Pieter Katoen, Rom Langerak, Arend Rensink (eds.). (Lecture Notes in Computer Science, vol. 10500). Cham, Switzerland: Springer, 2017.
Proceedings
  • Basile D., Ter Beek M. H., Di Giandomenico F., Gnesi S. Orchestration of dynamic service product lines with featured modal contract automata. In: SPLC'17 - 21st International Systems & Software Product Line Conference (Sevilla, Spain, 25-29 September 2017). Proceedings, vol. B pp. 117 - 122. ACM, 2017.
  • Basile D., Di Giandomenico F., Gnesi S. Statistical model checking of an energy-saving cyber-physical system in the railway domain. In: SAC 2017 - 32th ACM SIGAPP Symposium on Applied Computing (Marrakesh, Marocco, 4-6 April 2017). Proceedings, pp. 1356 - 1363. ACM, 2017.
  • Calabro A., Marchetti E., Spagnolo G. O., Cempini P., Mancini L., Paoletti S. Towards the automation of the travel management procedure of an Italian public administration. In: SWQD 2017 - Software Quality. 9th International Conference on Complexity and Challenges of Software Engineering in Emerging Technologies (Vienna, Austria, 17-20 January 2017). Proceedings, pp. 175 - 187. Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.). (Lecture Notes in Business Information Processing, vol. 269). Springer, 2017.
  • Latella D., Massink M. Design and optimisation of the FlyFast front-end for attribute-based coordination. In: QAPL 2017 - Quantitative Aspects of Programming Languages and Systems (Uppsala, Sweden, 23 aprile 2017). Proceedings, pp. 92 - 110. Herbert Wiklicky, Erik de Vink (eds.). (Electronic Proceedings in Theoretical Computer Science, vol. 250). Open Publishing Association, 2017.
  • Latella D., Loreti M., Massink M. FlyFast: a mean field model checker. In: TACAS 2017 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Uppsala, Sweden, 22-29 April 2017). Proceedings, pp. 303 - 309. Axel Legay, Tiziana Margaria (eds.). (Lecture Notes in Computer Science, vol. 10206). Springer, 2017.
  • Ter Beek M. H., Carmona J., Hennicker R., Kleijn J. Communication requirements for team automata. In: COORDINATION 2017 - Coordination Models and Languages. 19th IFIP WG 6.1 International Conference. Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 (Neuchatel, Switzerland, 19-22 June 2017). Proceedings, pp. 256 - 277. J.M. Jacquet, M. Massink (eds.). (Lecture Notes in Computer Science, vol. 10319). Springer, 2017.
  • Ter Beek M. H., De Vink E. P., Willemse T. A. Family-based model checking with mCRL2. In: FASE 2017 - Fundamental Approaches to Software Engineering. 20th International Conference (Uppsala, Sweden, 22-29 April 2017). Proceedings, vol. 10202 pp. 387 - 405. Marieke Huisman, Julia Rubin (eds.). (Lecture Notes in Computer Science, vol. 10202). Springer, 2017.
Editorials
Technical reports

2016

Journal articles
Contribution to Book/Monograph
Proceedings
  • Basile D., Degano P., Ferrari G., Tuosto E. Playing with our CAT and Communication-Centric Applications. In: FORTE 2016 - Formal Techniques for Distributed Objects, Components, and System. 36th IFIP WG 6.1 International Conference (Heraklion, Crete, Greece, 6-9 June 2016). Proceedings, pp. 62 - 73. Elvira Albert, Ivan Lanese (eds.). (Lecture Notes in Computer Science, vol. 9688). Springer International Publishing, 2016.
  • Basile D., Di Giandomenico F., Gnesi S. Tuning energy consumption strategies in the railway domain: a model-based approach. In: ISoLA 2016 - Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium (Corfu, Greece, 10-14 October 2016). Proceedings, vol. II pp. 315 - 330. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science, vol. 9953). Springer International Publishing, 2016.
  • Belmonte G., Ciancia V., Latella D., Massink M. From collective adaptive systems to human centric computation and back: spatial model checking for medical imaging. In: FORECAST 2016 - Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (Vienna, Austria, 8 July 2016). Proceedings, pp. 81 - 92. (Electronic Proceedings in Theoretical Computer Science, vol. 217). EPTCS.org, 2016.
  • Bolognesi T., Ciancia V. Nominal cellular automata. In: ICE 2016 - 9th Interaction and Concurrency Experience (Heraklion, Crete, Greece, 8-9 June 2016). Proceedings, pp. 24 - 35. (Electronic Proceedings in Theoretical Computer Science, vol. 223). EPTCS.org, 2016.
  • Calabro A., Lonetti F., Marchetti E., Spagnolo G. O. Enhancing business process performance analysis through coverage-based monitoring. In: QUATIC 2016 - 10th International Conference on the Quality of Information and Communications Technology (Lisbon, Portugal, 6-9 September 2016). Proceedings, pp. 35 - 43. IEEE, 2016.
  • Ciancia V., Latella D., Massink M., Paskauskas R., Vandin A. A tool-chain for statistical spatio-temporal model checking of bike sharing systems. In: ISOLA 2016 - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium (Corfu, Greece, 10-14 October 2016). Proceedings, vol. Part I pp. 657 - 673. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science, vol. 9952). Springer, 2016.
  • Ciancia V., Latella D., Massink M. On-the-fly mean-field model-checking for attribute-based coordination. In: COORDINATION 2016 - DisCoTec 2016 - Coordination Models and Languages. 18th IFIP WG 6.1 International Conference - Held as Part of the 11th International Federated Conference on Distributed Computing Techniques (Heraklion, Crete, Greece, 6-9 June 2016). Proceedings, pp. 67 - 83. A. Lluch Lafuente, J. Proenca (eds.). (Lecture Notes in Computer Science, vol. 9686). Springer, 2016.
  • De Angelis G., Ferrari A., Gnesi S., Polini A. Collaborative requirements elicitation in a european research project. In: SAC 2016 - 31st Annual ACM Symposium on Applied Computing (Pisa, Italy, 4-8 April 2016). Proceedings, pp. 1282 - 1289. ACM, 2016.
  • Fantechi A., Ferrari A., Gnesi S. Formal methods and safety certification: challenges in the railways domain. In: ISoLA 2016 - Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium (Corfu, Greece, 10-14 October 2016). Proceedings, vol. II pp. 261 - 265. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science (LNCS), vol. 9953). Springer International Publishing, 2016.
  • Ferrari A., Spoletini P., Gnesi S. Ambiguity cues in requirements elicitation interviews. In: RE 2016 - 2016 IEEE 24th International Requirements Engineering Conference (Beijing, China, 12-16 September 2016). Proceedings, pp. 56 - 65. IEEE, 2016.
  • Ferrari A., Spoletini P., Brock C., Shahwar R. Empowering requirements elicitation interviews with vocal and biofeedback analysis. In: RE 2016 - 2016 IEEE 24th International Requirements Engineering Conference (Beijing, China, 12-16 September 2016). Proceedings, pp. 371 - 376. IEEE, 2016.
  • Franco M., Ferrari A., Spagnolo G. O. Experiments in formal modelling of a deadlock avoidance algorithm for a CBTC system. In: ISoLA 2016 - Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium (Corfu, Greece, 10-14 October 2016). Proceedings, vol. II pp. 297 - 314. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science, vol. 9953). Springer International Publishing, 2016.
  • Latella D. On formal methods for collective adaptive system engineering. {Scalable approximated, spatial} analysis techniques. Extended abstract. In: FORECAST 2016 - FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (Vienna, Austria, 8 July 2016). Proceedings, pp. 53 - 61. (Electronic Proceedings in Theoretical Computer Science, vol. 217). EPTCS.org, 2016.
  • Sanne U., Witschel H. F., Ferrari A., Gnesi S. Ensuring action: identifying unclear actor specifications in textual business process descriptions. In: IC3K 2016 - International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (Porto, Portugal, 9-11 November 2016). Proceedings, vol. 3 pp. 140 - 147. Ana Fred, Jan Dietz, David Aveiro, Kecheng Liu, Jorge Bernardino, Joaquim Filipe. SCITEPRESS, 2016.
  • Spagnolo G. O., Marchetti E., Coco A., Scarpellini P., Querci A., Fabbrini F., Gnesi S. An experience on applying process mining techniques to the Tuscan port community system. In: SWQD 2016 - Software Quality. The Future of Systems and Software Development. 8th International Conference (Vienna, Austria, 18-21 January 2016). Proceedings, pp. 49 - 60. Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.). (Lecture Notes in Business Information Processing, vol. 238). Springer, 2016.
  • Ter Beek M. H., Carmona J., Kleijn J. Conditions for compatibility of components: the case of masters and slaves. In: ISoLA'16 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Corfu, Greece, 10-14 October 2016). Proceedings, pp. 784 - 805. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 9952). Springer, 2016.
  • Ter Beek M. H., Hahnle R., Schaefer I. Correctness-by-construction and post-hoc verification: friends or foes?. In: ISoLA'16 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Corfu, Greece, 10-14 October 2016). Proceedings, pp. 723 - 729. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 9952). Springer, 2016.
  • Ter Beek M. H., Legay A., Lluch Lafuente A., Vandin A. Statistical model checking for product lines. In: ISoLA'16 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Corfu, Greece, 10-14 October 2016). Proceedings, pp. 114 - 133. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 9952). Springer, 2016.
  • Ter Beek M. H., Reniers M. A., De Vink E. P. Supervisory controller synthesis for product lines using CIF 3. In: ISoLA'16 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Corfu, Greece, 10-14 October 2016). Proceedings, pp. 856 - 873. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 9952). Springer, 2016.
  • Ter Beek M. H., De Vink E. P., Willemse T. A. Towards a feature mu-calculus targeting SPL verification. In: FMSPLE 2016 - Formal Methods and Analysis in Software Product Line Engineering (Eindhoven, The Netherlands, 3 April 2016). Proceedings, vol. 206 pp. 61 - 75. Julia Rubin, Thomas Thum (eds.). (Electronic Proceedings in Theoretical Computer Science, vol. 206). EPTCS, 2016.
  • Ter Beek M. H., Fantechi A., Gnesi S., Semini L. Variability-based design of services for smart transportation systems. In: ISoLA'16 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Corfu, Greece, 10-14 October 2016). Proceedings, pp. 465 - 481. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 9953). Springer, 2016.
Editorials
Technical reports
Software
  • Spagnolo G. O., Ferrari A. Content analysis component. [Software] Release 2.0 , 5 April 2016.
  • Spagnolo G. O., Ferrari A. User Interface for guidelines verification component. [Software] , 5 April 2016.
  • Spagnolo G. O., Ferrari A. User interface for content analysis component. [Software] , 5 April 2016.
  • Spagnolo G. O., Ferrari A. Verification component understandability BPMN. [Software] Release 2.1 , 5 April 2016.
Dissertations
Abstracts

2015

Journal articles
Contribution to Book/Monograph
  • Basile D., Galletta L., Mezzetti G. Safe adaptation through implicit effect coercion. In: Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. pp. 122 - 141. Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami (eds.). (Lecture Notes in Computer Science, vol. 9465). Paris, France: Springer, 2015.
  • Ciancia V., Grilletti G., Latella D., Loreti M., Massink M. An experimental spatio-temporal model checker. In: Software Engineering and Formal Methods. pp. 297 - 311. Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.). (Lecture Notes in Computer Science, vol. 9509). York, UK: Springer, 2015.
  • De Nicola R., Latella D., Lluch Lafuente A., Loreti M., Margheri A., Massink M., Morichetta A., Pugliese R., Tiezzi F., Vandin A. The SCEL language: design, implementation, verification. In: Software Engineering for Collective Autonomic Systems. The ASCENS approach. pp. 3 - 71. Martin Wirsing, Matthias Holzl, Nora Koch, Philip Mayer (eds.). (Lecture Notes in Computer Science, vol. 8998). Berlin: Springer, 2015.
  • Latella D., Loreti M., Massink M., Senni V. On StocS: a stochastic extension of SCEL. In: Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. pp. 619 - 640. R. De Nicola, R. Hennicker (eds.). (Lecture Notes in Computer Science, vol. 8950). Heidelberg - New York - Dordrecht - London: Springer, 2015.
  • Latella D., De Nicola R., Loreti M., Massink M. Quantitative analysis of distributed systems in stoklaim: a tutorial. In: Quantitative Assessments of Distributed Systems: Methodologies and Techniques. pp. 27 - 55. Dario Bruneo, Salvatore Distefano (eds.). Hoboken, NJ, USA: John Wiley & Sons, Inc., 2015.
  • Ter Beek M. H., Gnesi S., Mazzanti F. From EU projects to a family of model checkers: from Kandinsky to KandISTI. In: Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. pp. 312 - 328. Rocco De Nicola, Rolf Hennicker (eds.). (Lecture Notes in Computer Science, vol. 8950). Heidelberg: Springer, 2015.
  • Ter Beek M. H., Gnesi S., Mazzanti F. Model checking value-passing modal specifications. In: Perspectives of System Informatics. pp. 304 - 319. A. Voronkov, I. Virbitskaite (eds.). (Lecture Notes in Computer Science, vol. 8974). Berlin: Springer, 2015.
  • Ter Beek M. H., Gnesi S., Latella D., Massink M. Towards automatic decision support for bike-sharing system design. In: Software Engineering and Formal Methods. pp. 266 - 280. Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.). (Lecture Notes in Computer Science, vol. 9509). York, UK: Springer, 2015.
Proceedings
Editorials
Technical reports
Abstracts

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.
  • Fantechi A. Twenty-five years of formal methods and railways: what next?. In: Software Engineering and Formal Methods. pp. 167 - 183. Steve Counsell, Manuel Nunez (eds.). (Lecture Notes in Computer Science, vol. 8368). Heidelberg: Springer-Verlag, 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. Martin Abadi, Alberto Lluch Lafuente (eds.). (Lecture Notes in Computer Science, vol. 8358). Switzerland: Springer, 2014.
  • Ter Beek M. H., Kleijn J. Shuffles and synchronized shuffles: a survey. In: Discrete Mathematics and Computer Science. pp. 37 - 50. Gheorghe Paun, Grzegorz Rozenberg, and Arto Salomaa (eds.). Bucuresti, Romania: The Publishing House of the Romanian Academy, 2014.
Proceedings
  • Bonacchi A., Fantechi A. On the validation of an interlocking system by model-checking. In: FMICS 2014 - Formal Methods for Industrial Critical Systems. 19th International Conference (Florence, Italy, 11-12 September 2014). Proceedings, pp. 94 - 108. Frederic Lang, Francesco Flammini (eds.). (Lecture Notes in Computer Science, vol. 8718). Springer-Verlag, 2014.
  • Bortolussi L., Sanguinetti G. A statistical approach for computing reachability of non-linear and stochastic dynamical systems. In: QEST 2014 - Quantitative Evaluation of Systems. 11th International Conference (Florence, Italy, 8-10 September 2014). Proceedings, pp. 41 - 56. Gethin Norman, William Sanders (eds.). (Lecture Notes in Computer Science, vol. 8657). Springer, 2014.
  • Bortolussi L., Paskauskas R. Mean-field approximation and quasi-equilibrium reduction of Markov population models. In: QEST 2014 - Quantitative Evaluation of Systems. 11th International Conference (Florence, Italy, 5-8 September 2014). Proceedings, pp. 106 - 121. Gethin Norman, William Sanders (eds.). (Lecture Notes in Computer Science, vol. 8657). Springer, 2014.
  • Bortolussi L., Lanciani R. Stochastic approximation of global reachability probabilities of Markov population models. In: EPEW 2014 - Computer Performance Engineering. 11th European Workshop (Florence, Italy, 11-12 September 2014). Proceedings, pp. 224 - 239. Andras Horvath, Katinka Wolter (eds.). (Lecture Notes in Computer Science, vol. 8721). Springer, 2014.
  • Ciancia V., Gilmore S., Latella D., Loreti M., Massink M. Data verification for collective adaptive systems: spatial model-checking of vehicle location data. In: FoCAS @ SASO - FoCAS Workshp @ SASO - 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops (Imperial College, London, UK, 8 September 2014). Proceedings, pp. 32 - 37. IEEE, 2014.
  • Ciancia V., Latella D., Loreti M., Massink M. Specifying and verifying properties of space. In: TCS 2014 - Theoretical Computer Science. 8th IFIP TC 1/WG 2.2 International Conference (Rome, Italy, 1-3 September 2014). Proceedings, pp. 222 - 235. Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.). (Lecture Notes in Computer Science, vol. 8705). Springer, 2014.
  • Cognini R., Corradini F., Gnesi S., Polini A., Re B. Research challenges in business process adaptability. In: SAC '14 - 29th Annual ACM Symposium on Applied Computing (Gyeongju, Republic of Korea, 24 - 28 March 2014). Proceedings, pp. 049 - 1054. Yookun Cho and Sung Y. Shin and Sang{-}Wook Kim and Chih{-}Cheng Hung and Jiman Hong (eds.). ACM, 2014.
  • Ferrari A., Dell'Orletta F., Spagnolo G. O., Gnesi S. Measuring and improving the completeness of natural language requirements. In: REFSQ 2014 - Requirements Engineering: Foundation for Software Quality. 20th International Working Conference (Essen, Germany, 7-10 April 2014). Proceedings, pp. 23 - 38. Camille Salinesi, Inge van de Weerd (eds.). (Lecture Notes in Computer Science, vol. 8396). Springer, 2014.
  • Ferrari A., Lipari G., Gnesi S., Spagnolo G. O. Pragmatic ambiguity detection in natural language requirements. In: AIRE 2014 - IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (Karlskrona, Germany, 24-26 August 2014). Proceedings, pp. 1 - 8. IEEE, 2014.
  • Gnesi S., Matteucci I., Moiso C., Mori P., Petrocchi M., Vescovi M. My data, your data, our data: managing privacy preferences in multiple subjects personal data. In: APF 2014 - Privacy Technologies and Policy. Second Annual Privacy Forum (Athens, Greece, 20-21 May 2014). Proceedings, pp. 154 - 171. Bart Preneel, Demosthenes Ikonomou (eds.). (Lecture Notes in Computer Science, vol. 8450). Springer, 2014.
  • Latella D., Loreti M., Massink M. On-the-fly probabilistic model checking. In: ICE 2014 - 7th Interaction and Concurrency Experience (Berlin, Germany, 6 June 2014). Proceedings, pp. 45 - 59. Ivan Lanese, Alberto Lluch Lafuente, Ana Sokolova, Hugo Torres Vieira (eds.). (Electronic Proceedings in Theoretical Computer Science -, vol. 166). EPTCS, 2014.
  • Latella D., Loreti M., Massink M., Senni V. Stochastically timed predicate-based communication primitives for autonomic computing. In: QAPL 2014 - Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (Grenoble, France, 12-13 April 2014). Proceedings, pp. 1 - 16. (Electronic Proceedings in Theoretical Computer Science, vol. 154). EPTCS, 2014.
  • Mazzanti F., Spagnolo G. O., Della Longa S., Ferrari A. Deadlock avoidance in train scheduling: a model checking approach. In: FMICS 2014 - Formal Methods for Industrial Critical Systems. 19th International Conference (Florence, Italy, 11-12 September 2014). Proceedings, pp. 109 - 123. Frederic Lang, Francesco Flammini (eds.). (Lecture Notes in Computer Science, vol. 8718). Springer, 2014.
  • Mazzanti F., Spagnolo G. O., Ferrari A. Designing a deadlock-free train scheduler: a model checking approach. In: NFM 2014 - NASA Formal Methods. 6th International Symposium (Houston, TX, USA, 29 April - 1 May 2014). Proceedings, vol. 8430 pp. 264 - 269. Julia M. Badger, Kristin Yvonne Rozier (eds.). (Lecture Notes in Computer Science, vol. 8430). Springer, 2014.
  • Schaefer I., Ter Beek M. H. Formal methods and analyses in software product line engineering (Track Summary). In: ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium (Corfu, Greece, 8-11 October 2014). Proceedings, vol. I pp. 253 - 256. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science, vol. 8802). Springer, 2014.
  • Spoletini P., Ferrari A., Gnesi S. Context transformations for goal models. In: MoDRE 2014 - IEEE 4th International Model-Driven Requirements Engineering Workshop (Karlskrona, Sweden, 25 August 2014). Proceedings, pp. 17 - 26. IEEE, 2014.
  • Ter Beek M. H., Fantechi A., Gnesi S. Challenges in modelling and analyzing quantitative aspects of bike-sharing systems. In: ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium (Corfu, Greece, 8-11 October 2014). Proceedings, vol. I pp. 351 - 367. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science, vol. 8802). Springer, 2014.
  • Ter Beek M. H., Gnesi S., Mazzanti F. Model checking value-passing modal specifications. In: PSI 2014 - 9th International Conference on Perspectives of System Informatics (Peterhof, St. Petersburg, Russia, 24-27 June 2014). Proceedings, pp. 1PSI - 11PSI. (Lecture Notes in Computer Science, vol. 8974). A.P. Ershov Institute of Informatics Systems, 2014.
  • Ter Beek M. H., De Vink E. P. Software product line analysis with mCRL2. In: SPLat 2014 - First Workshop on Software Product Line Analysis Tools affiliated with the 18th International Software Product Line Conference (SPLC'14) (Florence, Italy, 16 September 2014). Proceedings, vol. 2 pp. 78 - 85. Stefania Gnesi, Alessandro Fantechi, Maurice ter Beek, Goetz Botterweck, Martin Becker (eds.). ACM, 2014.
  • Ter Beek M. H., De Vink E. P. Towards modular verification of software product lines with mCRL2. In: ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium (Corfu, Greece, 8-11 October 2014). Proceedings, vol. I pp. 368 - 385. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science, vol. 8802). Springer, 2014.
  • Ter Beek M. H., De Vink E. P. Using mCRL2 for the analysis of software product lines. In: FormaliSE 2014 - 2nd FME Workshop on Formal Methods in Software Engineering (Hyderabad, India, 3 June 2014). Proceedings, pp. 31 - 37. Stefania Gnesi, Nico Plat (eds.). ACM, 2014.
  • Ter Beek M. H., Mazzanti F. VMC: recent advances and challenges ahead. In: SPLat 2014 - First Workshop on Software Product Line Analysis Tools, affiliated with the 18th International Software Product Line Conference (SPLC'14) (Florence, Italy, 16 September 2014). Proceedings, vol. 2 pp. 70 - 77. Stefania Gnesi, Alessandro Fantechi, Maurice ter Beek, Goetz Botterweck, Martin Becker (eds.). ACM, 2014.
Editorials
Technical reports
Software
  • Ferrari A., Spagnolo G. O. Completeness assistant for requirements. [Software] , 05 May 2014.
  • Spagnolo G. O., Ferrari A., Mazzanti F. Prototipo schedurer ATS. [Software] , 16 December 2014.

2013

Journal articles
Contribution to Book/Monograph
Proceedings
Editorials
Technical reports

2012

Journal articles
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.
  • Biscoglio I., Fusani M., Gnesi S. Can safety be obtained through good practices for requirement writing?. In: DESSERT 2012 - International Scientific Technical Conference on Dependable System, Services and Technologies (Sevastopol, Ukraine, 25-28 May 2012). Proceedings, pp. 252 - 257. National Aerospace University “KhAI”, 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, 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. Bjorn 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., Gnesi S., Tolomei G. A clustering-based approach for discovering flaws in requirements specifications. In: SAC 2012 - 27th Annual ACM Symposium on Applied Computing (Riva del Garda, Trento, ITALY, 26-30 marzo 2012). Proceedings, pp. 1043 - 1050. ACM, 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.
  • Ferrari A., Gnesi S. Using collective intelligence to detect pragmatic ambiguities. In: RE 2012 - 20th IEEE International Conference on Requirements Engineering (Chicago, Illinois, USA, 24 - 28 September 2012). Proceedings, pp. 191 - 200. IEEE, 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.
  • Latella D., Massink M., De Vink E. P. Bisimulation of labeled state-to-function transition systems of stochastic process languages. In: ACCAT 2012 - Seventh ACCAT Workshop on Applied and Computational Category Theory (Tallin, Estonia, 4 april 2012). Proceedings, vol. 93 pp. 23 - 43. Ulrike Golas, Thomas Soboll (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), 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 September 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., Muccini H., Pelliccione P. Assume-Guarantee Testing of Evolving Software Product Line Architectures. In: SERENE 2012 - International Workshop on Software Engineering for Resilient Systems (Pisa, Italy, 27-28 September 2012). Proceedings, vol. 7527 pp. 91 - 105. P. Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.
  • Ter Beek M. H., Gnesi S., Mazzanti F. Demonstration of a model checker for the analysis of product variability. In: SPLC'12 - 16th International Software Product Line Conference (Salvador, Bahia, Grazil, 2-7 September 2012). Proceedings, vol. II pp. 242 - 245. ACM, 2012.
  • Ter Beek M. H., Classen A., Schaefer I., Becker M., Roos-Frantz F., Wong P. Y. Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series. In: SPLC'12 - 16th International Software Product Line Conference (Salvador, Bahia, Brazil, 2-7 September 2012). Proceedings, pp. 286 - 287. ACM, 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. Mery (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
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
Contribution to Book/Monograph
  • Bartoletti M., Caires L., Lanese I., Mazzanti F., Sangiorgi D., Tores Vieira U., Zunino R. Tools and verii¬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 HoIˆ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 HoIˆ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 Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg Dordrecht London NewYork: Springer, 2011.
  • Elgner J., Gnesi S., Koch N., Mayer P. Specification and implementation of demonstrators for the case studies. In: Rigorous Software Engineering for Service-Oriented. pp. 640 - 654. MartinWirsing, Matthias Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.
  • Gnesi S., Mazzanti F. An abstract, on the fly framework for the verification of service-oriented systems. In: Rigorous Software Engineering for Service-Oriented. pp. 390 - 407. Martin Wirsing, Matthias Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.
  • Gnesi S., Pugliese R., Tiezzi F. The Sensoria approach applied to the finance case study. In: Rigorous Software Engineering for Service-Oriented. pp. 698 - 718. Martin Wirsing, Matthias Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.
  • Ter Beek M., Csuhaj-Varju E., Holzer M., Vaszil G. Cooperating distributed grammar systems: components with nonincreasing competence. In: Computation, Cooperation, and Life. Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday. pp. 70 - 89. J. Kelemen, A. Kelemenova (eds.). (Lecture Notes in Computer Science, vol. 6610). Berlin: Springer-Verlag, 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. Holzl (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. Holzl (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.
  • Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. Formal description of variability in product families. In: SPLC 2011 - 15th International Software Product Line Conference (Munchen, Germany, 21-26 Agosto 2011). Proceedings, pp. 130 - 139. IEEE, 2011.
  • Bolognesi T. Reality is ultimately digital, and its program is still undebugged. In: FQXi Essay Contest 2011 - Is Reality Digital or Analog? (http://fqxi.org/community/essay (sito web), 1 November - 15 March 2011). Proceedings, Foundational Question Institute, 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., Muccini H., Pelliccione P. Guaranteeing correct evolution of software product lines: setting up the problem. In: SERENE 2011 - Software Engineering for Resilient Systems. Third International Workshop (Geneva, Switzerland, 29-30 September 2011). Proceedings, pp. 100 - 105. E.A. Troubitsyna (ed.). (Lecture Notes in Computer Science, vol. 6968). Springer-Verlag, 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. Grunbacher (eds.). (ICB Research Report, vol. 37). Universitat 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. Mery, 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.
  • Bucchiarone A., Fantechi A., Gnesi S., Trentanni G. An experience in using a tool for evaluating a large set of natural language requirements. In: SAC '10 - 2010 ACM Symposium on Applied Computing (Sierre, Svizzera, 22-26 marzo 2010). Proceedings, pp. 281 - 286. Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Michael Schumacher, Chih-Cheng Hung (eds.). ACM, 2010.
  • Ferrari A., Fantechi A., Papini M., Grasso D. An industrial application of formal model based development: the Metro Rio ATP case. In: SERENE 2010 - 2nd International Workshop on Software Engineering for Resilient Systems (London, UK, 13-16 April 2010). Proceedings, pp. 71 - 76. ACM, 2010.
  • Ferrari A., Grasso D., Magnani G., Fantechi A., Tempestini M. The Metro 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.
  • Grasso D., Fantechi A., Ferrari A., Becheri C., Bacherini S. Model based testing and abstract interpretation in the railway signaling context. In: ICST 2010 - Third International Conference on Software Testing, Verification and Validation (Paris, 6-10 April 2010). Proceedings, pp. 103 - 106. IEEE, 2010.
  • Massink M., Latella D., Bracciali A., Harrison M. A scalable fluid flow process algebraic approach to emergency egress analysis. In: SEFM 2010 - 8th IEEE International Conference on Software Engineering and Formal Methods (Pisa, Italy, 14-18 September 2010). Proceedings, pp. 169 - 180. IEEE, 2010.
  • Massink M., Harrison M., Latella D. Scalable analysis of collective behaviour in smart service systems. In: SAC 2010 - 25th Annual ACM Symposium on Applied Computing 2010 (Sierre, Switzerland, 22-26 March 2010). Proceedings, vol. 2 pp. 1173 - 1180. ACM, 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 fur 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
  • Bertolino A., De Angelis G., Polini A. Pick UP Performance Evaluation Test-bed. [Software] , 01 January 2010.
Abstracts

2009

Journal articles
Books/Monographs
  • Fantechi A. Informatica industriale. 288 p. Milano: Citta 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). Universitat Duisburg‐Essen, 2009.
  • Bravetti 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.
  • 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.
  • Harrison 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.
  • Palanque 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. Gaelle Calvary, T. C. Nicholas Graham, Philip Gray (eds.). ACM, 2009.
  • Sulova A. Model driven software development con Eclipse, statechartUMC. In: Eclipse-IT 2009 - 4th Italian workshop on Eclipse technologies (Universita degli Studi di Bergamo, 28-29 September 2009). Atti, Angelo Gargantini (ed.). Eclipse Italian Community, Bergamo, Italy, 2009.
  • Ter 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.
  • Ter 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.
  • 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., Holzl 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., Varro 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
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. Maria Alpuente, Byron Cook, Christophe Joubert (eds.). (Lecture Notes in Computer Science, vol. 5825). Springer, 2009.

2008

Journal articles
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. Jose Luiz Fiadeiro, Paola Inverardi (eds.). (Lecture Notes in Computer Science, vol. 4961). Springer, 2008.
  • Gnesi S., Fantechi A. Formal modeling for product families engineering. In: SPLC '08 - Software Product Line Conference 2008 (Limerik Irland, 8-12 Sept 2008). Proceedings, pp. 193 - 202. IEEE Computer Society, 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. Paterno (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.
  • Ter Beek M. H., Fantechi A., Gnesi S., Mazzanti F. An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications. In: 12th International Workshop on Formal Methods for Industrial Critical Systems. FMICS'07 (Berlin, Germany, 1-2 July 2007). Proceedings, pp. 133 - 148. S. Leue and P. Merino (eds.). (Lecture Notes in Computer Science, vol. 4916). Springer-Verlag, Berlin, 2008.
  • Ter Beek M. H., Gnesi S., Koch N., Mazzanti F. Formal verification of an automotive scenario in service-oriented computing. In: 30th International Conference on Software Engineering (ICSE'08) (Leipzig, Germany, 10-18 May 2008). Proceedings, pp. 613 - 622. ACM Press, 2008.
Technical reports
Abstracts
  • Bucchiarone A., Fantechi A., Gnesi S., Lami G., Trentanni G. QuARS Express - A Tool Demonstration. In: ASE 2008 - Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on Automated Software Engineering (L'Aquila, Italy, 15-19 September 2008). Abstract, pp. 473 - 474. IEEE/ACM, 2008.

2007

Journal articles
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
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
Software
  • Trentanni G., Meolic R. WCS - Witness and Counterexample Server - online tool. [Software] Release 2.5 , 01 January 2007.
Abstracts

2006

Journal articles
Contribution to Book/Monograph
Proceedings
  • Asirelli P., Martinelli M., Salvetti O. An infrastructure for multimedia metadata management. In: First International Workshop on Semantic Web Annotations for Multimedia (SWAMM 2006) (Edinburgh, 22 May 2006). Proceedings, pp. 1 - 6. CEUR, 2006.
  • Asirelli P., Little S., Martinelli M., Salvetti O. MultiMedia metadata management: a proposal for an infrastructure. In: Semantic Web Applications and Perspectives, SWAP 2006 (Pisa, 18-20 December 2006). Proceedings, pp. 1 - 6. G. Tummarello, P. Bouquet, O. Signore (eds.). CEUR, 2006.
  • Bacherini S., Fantechi A., Tempestini M., Zingoni N. A story about formal methods adoption by a railway signaling Manufacturer. In: International Symposium on Formal Methods (Hamilton, Ontario, Canada, August 21- 27, 2006). Proceedings, pp. 179 - 189. (Lecture Notes in Computer Science, vol. 4085). Springer, 2006.
  • Banci M., Fantechi A., Gnesi S. Statecharts composition to model topologically distributed applications. In: Integrated Design and Process Technology Conference (San Diego, California, June 25-30, 2006). Proceedings, pp. 15 - 15. Society for Design and Process Science (eds.). Society for Design and Process Science, 2006.
  • 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 Beitrage, 2006.
  • Bucchiarone A., Muccini H., Pelliccione P. A practical architecture-centric analysis process. In: International Conference on the Quality of Software Architectures. QoSA 2006 (Malardalen University, Vasteras 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.
  • Bucchiarone A., Gnesi S. A survey on services composition languages and models. In: International Workshop on Web Services Modeling and Testing (WSMaTe '06) (Palermo, June 9 2006). Proceedings, pp. 37 - 49. publisher information no available, 2006.
  • Ter Beek M. H., Gnesi S., Mazzanti F., Moiso C. Formal modelling and verification of an asynchronous extension of SOAP. In: IEEE European Conference on Web Services (ECOWS'06) (Zurich, Switzerland, 4-6 December 2006). Proceedings, pp. 287 - 296. A. Bernstein, T. Gschwind, and W. Zimmermann (eds.). IEEE Computer Society, Los Alamitos, CA, 2006.
Editorials
Technical reports
Abstracts
  • Di Bona S., Asirelli P., Salvetti O., Martinelli M., Fontanelli R., Guerri D. Collaborative virtual working environments for medical expertise sharing. In: 11th World Congress on Internet in Medicine. MEDNET 2006 Abstract. (Toronto, Canada, 14-19 October 2006). Abstract, p. 42. Society for the Internet in Medicine, 2006.
  • 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
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
Editorials
Technical reports
Abstracts

2004

Journal articles
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. A Conceptual Framework for State-based and Event-based Formal Behavioural Specification Languages. In: Ninth IEEE internat. Conf. on Engineering of Complex Computer Systems, ICECCS'04 (Florence, April 14-16, 2004). Proceedings, vol. 1 pp. 107 - 116. Bellini, Pierfrancesco and Bohner, Shawn A. and Steffen, Bernard (eds.). IEEE Computer Society, 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.
  • Fabbrini F., Fusani M., Gnesi S., Lami G. Automatic Clustering of Non-Functional Requirements. In: IASTED Software Engineering and Application (Cambridge, MA (USA), November 9-11). Proceedings, pp. 672 - 677. M.H. Hamza (ed.). ACTA Press, 2004.
  • Fantechi A., Gnesi S., Lami G., Nesti E. A Methodology for the Derivation and Verification of Use Cases for Product Lines. In: Software Product Lines: Third International Conference, SPLC 2004 (Boston, USA, August 30-September 2, 2004.). Proceedings, pp. 255 - 265. Robert L. Nord (ed.). (Lecture Notes in Computer Science, vol. 3154). Springer Verlag, 2004.
  • Fantechi A., Gnesi S., John I., Lami G., Dorr 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. Verification 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, pp. 72 - 74. ScitePress, 2004.
  • Gnesi S., Lenzini G., Martinelli F. Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. In: Mefisto, Final Workshop (Pisa, Italy, 06/0). Atti, vol. ENTCS 99 pp. 111 - 126. Mario Bravetti, Roberto Gorrieri (eds.). Elsevier, 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.
  • Gnesi S., Mazzanti F. On the fly model checking of communicating UML State Machines. In: Second ACIS International Conference on Software Engineering (Los Angeles, 5-7 May 2004). Proceedings, pp. 331 - 338. Roger Lee, Chisu Wu, Walter Dosch (eds.). ACIS, 2004.
  • Massink M., Katoen J., Latella D. Model Checking Dependability Attributes of Wireless Group Communication. In: International Conference on Dependable Systems and Networks (Florence, June 28 - July 2004). Proceedings, pp. 711 - 720. IEEE Computer Society Press, 2004.
  • Mazzini S., Latella D., Viva D. PRIDE: An Integrated Software Development Environment for Dependable Systems. In: DASIA 2004 DAta Systems In Aerospace (Nice, France, 28 June - 1 July 2004). Proceedings, vol. 570 R. A. Harris (ed.). ESA, 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
Software
  • Trentanni G. HAL (History Dependent Automata Laboratory) - online version. [Software] Release 2.1 , 01 January 2004.
  • Trentanni G., Meolic R. WCS - Witness and Counterexample Server - online tool. [Software] Release 1.0 , 03 December 2004.
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.
  • Bistarelli 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.
  • Boerger 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.
  • 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.
  • Latella 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.
  • 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., 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.
  • 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
Software
  • Trentanni G. HAL (History Dependent Automata Laboratory) - online version. [Software] Release 1.2 , 01 July 2003.
  • Trentanni G. JACK3 - Just Another Concurrency Kit. [Software] Release 3.0 , 01 January 2003.
Dissertations
Abstracts

2002

Journal articles
Proceedings
  • Asirelli 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 Niinimakaki et al… (eds.). 2002.
  • 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.
  • Latella 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
Software
  • Trentanni G. HAL (History Dependent Automata Laboratory) - online version. [Software] Release 1.0 , 21 October 2002.
  • Trentanni G. JACK3 - Just Another Concurrency Kit. [Software] Release 1.0 , 07 June 2002.
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.