Detailed Scientific Curriculum Vitae highlighting Experience and Achievements

2027:

• PC member of iFS 2027: International Conference on Foundations and Formal Methods for Software and Systems, Copenhagen, Denmark, 12-16 April, 2027
• PC member) of FSEN 2027: 12th International Conference on Fundamentals of Software Engineering, Enschede, The Netherlands, 24-25 May, 2027

2026:

• General chair of ETAPS 2026: 29th International Joint Conferences on Theory and Practice of Software, Torino, 11-16 April, 2026
• PC member of FormaliSE 2026: 14th International Conference on Formal Methods in Software Engineering, Rio de Janeiro, Brazil, 12-13 April, 2026
• PC member of ABZ 2026: 12th International Conference on Rigorous State Based Methods, Tokyo, Japan, 18-20 May, 2026
• PC member of the research papers track and tutorials track of FM 2026: 27th International Symposium on Formal Methods, Tokyo, Japan, 20-22 May, 2026
• PC member of COORDINATION 2026: 28th IFIP WG 6.1 International Conference on Coordination Models and Languages, Urbino, Italy, 9-11 June, 2026
• PC member of GSW 2026: Grammar Systems Workshop, Trier, Germany, 30-31 July, 2026
• PC member of MODEVAR 2026: 10th International Workshop on Languages for Modelling Variability, Limassol, Cyprus, 29 September, 2026.
• PC member of VARIABILITY 2026: International Conference on Software and Systems Reuse, Product Lines, and Configuration, Limassol, Cyprus, 29 September - 2 October, 2026
• PC member of ICTAC 2026: 23rd International Colloquium on Theoretical Aspects of Computing, Bariloche, Argentina, 11-13 November, 2026
• Participated in AH65 Colloquium, Copenhagen, Denmark, 19 February.
  Title of talk: Formal Methods and Tools in Railways: Anne's Impact and Future Challenges. (slides)
• Participated in FM 2026 (27th International Symposium on Formal Methods), Tokyo, Japan, 22 May, 2026.
  Title of talk (together with J. Proença): Asynchronous Team Automata. (abstract,slides)
• Edited (with S. Gnesi, A.E. Haxthausen, and L. Semini) Journeys Between Formal Methods and the Railway Industry - Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 16470, Springer, Cham, 2026. (preface and foreword)
• Published (with D. Basile, G. Broccia, S. Gnesi, F. Mazzanti, G.O. Spagnolo, S. Bacherini, C. Becheri, D. Grasso, G. Magnani, M. Tempestini, N. Zingoni, and A. Ferrari) Formal Methods for Railway Systems: a Survey of Research and Technology Transfer Projects. In Journeys Between Formal Methods and the Railway Industry (M.H. ter Beek, S. Gnesi, A.E. Haxthausen, and L. Semini, eds.). Lecture Notes in Computer Science 16470, Springer, Cham, 2026, 31 - 54. (abstract,paper)
• Published (with A. Bucchiarone, A. Pierantonio, and B. Selic) Towards Dynamic Classification in Domain Modeling with Jjodel. In Journeys Between Formal Methods and the Railway Industry (M.H. ter Beek, S. Gnesi, A.E. Haxthausen, and L. Semini, eds.). Lecture Notes in Computer Science 16470, Springer, Cham, 2026, 193 - 215. (abstract,paper)
• Published (with E.B. Johnsen) Editorial Introducing the New Editors-in-Chief. Formal Aspects of Computing 38, 1 (2026), 1:1 - 1:2. (editorial)
• Edited (with G. Gössler) Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems (MARS'26), Turin, Italy, 12 April 2026. Electronic Proceedings in Theoretical Computer Science 443, arXiv:2604.03053 [cs.LO], 2026. (preface)
• Published (with D. Basile and J. Proença) Asynchronous Team Automata. In Proceedings of the 27th International Symposium on Formal Methods (FM'26) (A. Sampaio and M. Stoelinga, eds.), Lecture Notes in Computer Science 16557, Springer, Cham, 2026, 27 - 49. (abstract,paper)
• Published (with E.B. Johnsen) Tony Hoare: In Memoriam. Formal Aspects of Computing 38, 2 (2026), 12:1. (editorial)
• Published (with G. Broccia and A. Ferrari) Large Language Models as Design Partners: Automating Graphical Mockups to Refine Requirements. ERCIM News - Research and Innovation 145 (2026), 37 - 38. (abstract,paper)
• Published (with J. Proença), RebeCaos: a software artifact for Rebeca. Science of Computer Programming (2026). (abstract,paper)
• Published (with A. Fantechi, A. Ferrari, S. Gnesi, A.E. Haxthausen, and T. Lecomte) A History of Formal Methods in Railways. Formal Aspects of Computing 38, 3 (2026). (abstract,paper)

2025:

• Presented joint BCS/FACS/FME seminar at the FME Annual General Meeting, London, UK, 26 March, 2025.
  Title of talk: Formal Methods and Tools in Railways: Recent Successes and Future Challenges. (abstract,slides,video)
• PC member of ABZ 2025: 11th International Conference on Rigorous State Based Methods, Düsseldorf, Germany, 10-13 June, 2025
• PC member of COORDINATION 2025: 27th International Conference on Coordination Models and Languages, Lille, France, 17-19 June, 2025
• PC member of MODEVAR 2025: 8th International Workshop on Languages for Modelling Variability, La Coruña, Spain, 1 September, 2025
• PC member of SPLC 2025: 29th International Conference on Systems and Software Product Line, La Coruña, Spain, 1-5 September, 2025
• PC member of iFM 2025: 20th International Conference on integrated Formal Methods, Paris, France, 19-21 November, 2025
• PC member of ICTAC 2025: 22nd International Colloquium on Theoretical Aspects of Computing, Marrakech, Morocco, 24-28 November, 2025
• General chair of RSSRail 2025: 6th International Conference on Reliability, Safety and Security of Railway Systems, Pisa, 26-28 November, 2025
• PC chair of RSSRail 2025: 6th International Conference on Reliability, Safety and Security of Railway Systems, Pisa, 26-28 November, 2025
• PC chair of SBMF 2025: 28th Brazilian Symposium on Formal Methods, Recife, Brazil, 1-5 December, 2025
• Participated in the third-year meeting of the project T-LADIES, 22 July.
  Title of talk: Overview and Roadmap of Team Automata: from Synchronous to Asynchronous Communication. (abstract,slides)
• Participated in SPLC 2025 (29th ACM International Systems and Software Product Line Conference), A Coruña, Spain, 3 September, 2025.
  Title of first talk: Analysing Self-Adaptive Systems as Software Product Lines.
  Title of second talk: Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. (abstract first talk,abstract second talk,slides)
• Participated in APM 2025 (7th International Workshop on Asynchronous Programming Models), Porto, Portugal, 3 October.
  Title of talk (together with J. Proença): Towards Asynchronous Communication in Team Automata. (abstract,slides)
• Participated in final event MOST Spoke 4: Ricerche e innovazioni nel trasporto ferroviario, Politecnico di Milano, 7 Novembre.
  Title of talk: WP3: Digitalizzazione del trasporto ferroviari. (slides:pdf,ppt)
• Published (with J. Päßler, F. Damiani, E.B. Johnsen, and S.L. Tapia Tarifa) A Configurable Software Model of a Self-Adaptive Robotic System. Science of Computer Programming 240 (2025). (abstract,paper)
• Published (with G. Broccia, A. Lluch Lafuente, P. Spoletini, A. Fantechi, and A. Ferrari) Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. Information and Software Technology 178 (2025). (abstract,paper)
• Published (with R. Chapman, R. Cleaveland, H. Garavel, R. Gu, I. ter Horst, J.J.A. Keiren, T. Lecomte, M. Leuschel, K.Y. Rozier, A. Sampaio, C. Seceleanu, M. Thomas, T.A.C. Willemse, and L. Zhang) Formal Methods in Industry. Formal Aspects of Computing 37, 1 (2025), 7:1 - 7:38. (abstract,paper)
• Published (with J. Päßler, M.H. ter Beek, F. Damiani, E.B. Johnsen, and S.L. Tapia Tarifa) Analysing Self-Adaptive Systems as Software Product Lines. The Journal of Systems & Software 222 (2025). (abstract,paper)
• Published (with J. Proença) Animating Rebeca. In Rebeca for Actor Analysis in Action (E.A. Lee, M.R. Mousavi, and C. Talcott, eds.), Lecture Notes in Computer Science 15560, Springer, Cham, 2025, 182 - 194. (abstract,paper)
• Published (with J. Proença) RebeCaos. In Proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'25) (C. Di Giusto and A. Ravara, eds.), Lecture Notes in Computer Science 15731, Springer, Cham, 2025, 219 - 229. (abstract,paper)
• Published Controlled Hybrid CD Grammar Systems. In Languages of Cooperation and Communication (M.D. Jiménez López and G. Vaszil, eds.), Lecture Notes in Computer Science 15840, Springer, Cham, 2025, 3 - 25. (abstract,paper)
• Published (with D. Ancona, S. Avola, A. Ferrando, P. Baglietto, G. Camera, A. Parodi, and M. Pinasco) Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems. In Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks: Supplemental Volume (DSN-S'25), IEEE, 2025, 153 - 159. (abstract,paper)
• Published (with G. Jadoon and A. Ferrari) Model transformation and property preservation in rigorous software development: A systematic literature review. The Journal of Systems & Software 230 (2025). (abstract,paper)
• Published (with J. Päßler, F. Damiani, E.B. Johnsen, and S.L. Tapia Tarifa) Analysing Self-Adaptive Systems as Software Product Lines. In Proceedings of the 29th International Systems and Software Product Line Conference (SPLC'25), ACM Press, New York, 2025, 237. (abstract,paper)
• Published (with J. Päßler, F. Damiani, C. Dubslaff, E.B. Johnsen, and S.L. Tapia Tarifa) Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. In Proceedings of the 29th International Systems and Software Product Line Conference (SPLC'25), ACM Press, New York, 2025, 238. (abstract,paper)
• Published (with K. Schmid and H. Eichelberger) Comparing the Universal Variability Language with other Textual Variability Modeling Languages. In Proceedings of the 29th International Systems and Software Product Line Conference (SPLC'25), Volume 2, ACM Press, New York, 2025, 71 - 75. (abstract,paper)
• Published (with J. Päßler, F. Damiani, C. Dubslaff, E.B. Johnsen, and S.L. Tapia Tarifa) Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. Formal Aspects of Computing 37, 4 (2025), 32:1 - 32:39. (abstract,paper)
• Published Book Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains. Formal Aspects of Computing 37, 4 (2025), 35:1 - 35:3. (abstract,paper)
• Published (with C. Dubslaff and I. Schaefer) Formal Methods for Intersymbolic AI. In Proceedings of the 3rd International Conference on Bridging the Gap between AI and Reality (AISoLA'25), Rhodes, Greece (B. Steffen, eds.), Lecture Notes in Computer Science 16220, Springer, Cham, 2025, xvii - xx. (abstract,paper)
• Published Models for formal methods and tools: the case of railway systems. Software and Systems Modeling 24, 6 (2025), 1935 - 1954. (abstract,paper)
• Edited (with S. Collart-Dutilleul and T. Lecomte) Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification - Proceedings of the 6th International Conference on Reliability, Safety, and Security of Railway Systems (RSSRail'25), Pisa, Italy. Lecture Notes in Computer Science 16236, Springer, Berlin, 2025. (preface)
• Edited (with L. Teixeira) Formal Methods: Foundations and Applications - Proceedings of the 28th Brazilian Symposium on Formal Methods (SBMF'25), Recife, Brazil. Lecture Notes in Computer Science 16363, Springer, Berlin, 2025. (preface)

2024:

• Presented keynote at the 10th International Conference on Rigorous State Based Methods (ABZ'24), Bergamo, Italy, 25-28 June, 2024.
  Title of talk: Formal Methods and Tools applied in the railway domain. (abstract,slides)
• PC member of MODEVAR 2024: 6th International Workshop on Languages for Modelling Variability, Bern, Switzerland, 6 February, 2024
• PC member of VaMoS 2024: 18th International Working Conference on Variability Modelling of Software-Intensive Systems, Bern, Switzerland, 7-9 February, 2024
• PC member of FASE 2024: 27th International Conference on Fundamental Approaches to Software Engineering, Luxembourg, 6-13 April, 2024
• PC member of ABZ 2024: 10th International Conference on Rigorous State Based Methods, Bergamo, Italy, 25-28 June, 2024
• PC member of SPLC 2024: 28th International Systems and Software Product Line Conference, Luxembourg, 2-6 September, 2024
• Doctoral Symposium Chair of SPLC 2024: 28th International Systems and Software Product Line Conference, Luxembourg, 2-6 September, 2024
• PC member of MODEVAR 2024: 7th International Workshop on Languages for Modelling Variability, Luxembourg, 2-6 September, 2024
• PC member of the Tutorial Papers track of FM 2024: 26th International Symposium on Formal Methods, Milan, 9-13 September, 2024
• PC member of iFM 2024: 19th International Conference on integrated Formal Methods, Manchester, UK, 13-15 November, 2024
• PC member of ICTAC 2024: 21st International Colloquium on Theoretical Aspects of Computing, Bangkok, Thailand, 25-29 November, 2024
• PC member of ICFEM 2024: 25th International Conference on Formal Engineering Methods, Hiroshima, Japan, 2-6 December, 2024
• PC member of SBMF 2024: 27th Brazilian Symposium on Formal Methods, Vitória, Brazil, 4-6 Dicember, 2024
• Participated in COORDINATION 2024 (26th IFIP WG 6.1 International Conference on Coordination Models and Languages), Groningen, The Netherlands, 20 June.
  Title of talk: Team Automata: Overview and Roadmap. (abstract,slides)
• Participated in A Meeting in Honor of Erzsébet Csuhaj-Varjú, Budapest, Hungary, 4 September.
  Title of talk: From Teams in Grammar Systems to Team Automata. (slides)
• Participated in APM 2024 (6th International Workshop on Asynchronous Programming Models), Torino, 4 October.
  Title of talk: From Synchronous to Asynchronous Communication in Team Automata. (abstract,slides)
• Participated in IFIP WG 1.9/2.5 meeting at ISoLA (12th International Symposium on on Leveraging Applications of Formal Methods, Verification and Validation), Creta, Grecia, 1 Novembre.
  Title of talk: Formal Modelling and Analysis of a Self-Adaptive Robotic System. (abstract,slides)
• Published (with M. Lienhardt and F. Damiani) Product lines of dataflows. The Journal of Systems & Software 210 (2024). (abstract,paper)
• Published (with D. Basile, A. Fantechi, and S. Gnesi) Coherent modal transition systems refinement. Journal of Logical and Algebraic Methods in Programming 138 (2024). (abstract,paper)
• Published (with G. Broccia, A. Lluch Lafuente, P. Spoletini, and A. Ferrari) Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. In Proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'24) (D. Mendez and A. Moreira, eds.), Lecture Notes in Computer Science 14588, Springer, Cham, 2024, 39 - 56. (abstract,paper)
• Published (with D. Basile, F. Di Giandomenico, L. Carnevali, and A. Fantechi) Advanced Integrated Evaluation of Railway Systems. ERCIM News - Special: Extended Reality 137 (2024), 53 - 54. (abstract,paper)
• Published (with R. Hennicker, and J. Proença) Team Automata: Overview and Roadmap. In Proceedings of the 26th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'24) (I. Castellani and F. Tiezzi, eds.), Lecture Notes in Computer Science 14676, Springer, Cham, 2024, 161 - 198. (abstract,paper)
• Published Formal Methods and Tools Applied in the Railway Domain. In Proceedings of the 10th International Conference on Rigorous State Based Methods (ABZ'24) (S. Bonfanti, A. Gargantini, M. Leuschel, E. Riccobene, and P. Scandurra, eds.), Lecture Notes in Computer Science 14759, Springer, Cham, 2024, 3 - 21. (abstract,paper)
• Published (with D. Basile) Advancing orchestration synthesis for contract automata. Journal of Logical and Algebraic Methods in Programming 141 (2024). (abstract,paper)
• Published (with D. Basile and A. Ferrari) Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport. ERCIM News - Special: Sustainable Cities 138 (2024), 8 - 9. (abstract,paper)
• Edited (with M. Cordy, D. Strüber, M. Pinto, I. Groher, D. Dhungana, J. Krüger, J. Alves Pereira, M. Acher, T. Thüm, J. Galasso-Carbonnel, P. Arcaini, M.R. Mousavi, X. Tërnava, J. Galindo, T. Yue, L. Fuentes, J.M. Horcas) Proceedings of the 28th ACM International Systems and Software Product Line Conference (SPLC'24), Volume 1, Dommeldange, Luxembourg. ACM Press, New York, NY, 2024. (welcome message)
• Edited (with M. Cordy, D. Strüber, M. Pinto, I. Groher, D. Dhungana, J. Krüger, J. Alves Pereira, M. Acher, T. Thüm, J. Galasso-Carbonnel, P. Arcaini, M.R. Mousavi, X. Tërnava, J. Galindo, T. Yue, L. Fuentes, J.M. Horcas) Proceedings of the 28th ACM International Systems and Software Product Line Conference (SPLC'24), Volume 2, Dommeldange, Luxembourg. ACM Press, New York, NY, 2024. (welcome message)
• Published (with M. Lienhardt and F. Damiani) Product lines of dataflows: Extended Abstract. In Proceedings of the 28th ACM International Systems and Software Product Line Conference (SPLC'24), ACM Press, New York, 2024, 218. (abstract,paper)
• Published (with A. Fantechi, S. Gnesi, G. Lenzini, and M. Petrocchi) Can AI Help with the Formalization of Railway Cybersecurity Requirements? In Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ReoCAS Colloquium (ISoLA'24) (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 15219, Springer, Cham, 2024, 186 - 203. (abstract,paper)
• Published (with L. Cleophas, C. Dubslaff, and I. Schaefer) X-by-Construction Meets AI. In Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies (ISoLA'24), Crete, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 15222, Springer, Cham, 2024, 155 - 161. (abstract,paper)
• Published (with D. Basile, L. Carnevali, S. Chiaradonna, F. Di Giandomenico, A. Fantechi, and G. Gori) An Integrated Perspective on the Evaluation of Complex Railway Systems. In Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Application Areas (ISoLA'24) (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 15223, Springer, Cham, 2024, 190 - 207. (abstract,paper)
• Published (with A. Fantechi and S. Gnesi) Formal Methods for Industrial Critical Systems: 30 Years of Railway Applications. In The Combined Power of Research, Education, and Dissemination (M. Hinchey and B. Steffen, eds.), Lecture Notes in Computer Science 15240, Springer, Cham, 2024, 327 - 344. (abstract,paper)
• Published (with M. Broy and B. Dongol) The Role of Formal Methods in Computer Science Education. ACM Inroads 15, 4 (2024), 58 - 66. (abstract,paper)

2023:

• Presented keynote at the 26th International Conference on Model Driven Engineering Languages and Systems (MoDELS'23), Västerås, Sweden, 4 October, 2023.
  Title of talk: Models for formal methods and tools: the case of railway systems. (abstract,slides)
• PC member of VaMoS 2023: 17th International Working Conference on Variability Modelling of Software-Intensive Systems, Odense, Denmark, 25-27 January, 2023
• PC chair of TiCSA 2023: 1st workshop on Trends in Configurable Systems Analysis at ETAPS 2023, Paris, France, 23 April, 2023
• Publicity chair of FSEN 2023: 10th International Conference on Fundamentals of Software Engineering - Theory and Practice, Tehran, Iran, 4-5 May, 2023
• PC member of ABZ 2023: 9th International Conference on Rigorous State Based Methods, Nancy, France, 30 May - 2 June, 2023
• PC member of ICECCS 2023: 27th International Conference on Engineering of Complex Computer Systems, Toulouse, France, 12-16 June, 2023
• PC member of COORDINATION 2023: 24th IFIP WG 6.1 International Conference on Coordination Models and Languages, Lisbon, Portugal, 19-23 June, 2023
• General chair of SPLC 2023: 27th International Conference on Systems and Software Product Line, Tokyo, Japan, 28 August - 1 September, 2023
• PC member of RSSRail 2023: 5th International Conference on Reliability, Safety and Security of Railway Systems, Berlin, Germany, 10-12 October, 2023
• PC member of iFM 2023: 18th International Conference on integrated Formal Methods, Leiden, The Netherlands, 13-15 November, 2023
• PC member of SBMF 2023: 26th Brazilian Symposium on Formal Methods, Manaus, Brazil, 4-8 December, 2023
• Presented talk at the Technical University of Denmark, Lyngby, Denmark, January 23.
  Title of talk: Efficient Static Analysis and Verification of Featured Transition Systems. (abstract,slides)
• Presented talk at the Pre-VaMoS Workshop at the IT University of Copenhagen, Denmark, January 24.
  Title of talk: Can we Communicate? Using Dynamic Logic to Verify Featured Team Automata. (abstract,slides)
• Participated in FormaliSE 2023 (11th IEEE/ACM International Conference on Formal Methods in Software Engineering), Melbourne, Australia, 14-15 May.
  Title of talk: Mutant Equivalence as Monotonicity in Parametric Timed Games. (abstract,slides)
• Attended ICPC 2023 (31st IEEE/ACM International Conference on Program Comprehension), Melbourne, Australia, 15-16 May.
• Participated in Conference DIITET 2023, CNR, Florence, 22-23 June.
  Title of talk: PNRR MOST Spoke 4: Rail Transportation. (slides)
• Participated in PNRR plenary project meeting of Sustainable Mobility Center (MOST) Spoke 4 on Rail Transportation, Politecnico di Milano, 5 Luglio.
  Title of talk: WP3: Digitization of railway transport. (slides)
• Participated in SES 2023 (18th IPSJ/SIGSE Software Engineering Symposium), Tokyo, Japan, 23-25 August.
  Title of talk: Efficient Static Analysis and Family-based Model Checking of SPL Models. (slides)
• Participated in the first-year meeting of the project T-LADIES, 12 October.
  Title of talk: Realisability of Global Models of Interaction. (abstract,slides)
• Participated in the first-year meeting of the project T-LADIES, 13 October.
  Title of talk: Formal Modelling and Analysis of a Self-Adaptive Robotic System. (abstract,slides)
• Participated in the SySMA Workshop at the IMT School for Advanced Studies, Lucca, 8 November.
  Title of talk: Team Automata: An Overview of Recent Results. (abstract,slides)
• Presented talk at the University of Cusco (UNSAAC), Peru, November 30.
  Title of talk: Formal Methods and Tools for Software Product Lines. (abstract,slides)
• Edited (with I. Schaefer) Special Issue on Systems and Software Product Lines of the Future. Journal of Systems & Software 199 (2023). (editorial)
• Published (with G. Cledou, R. Hennicker, and J. Proença) Can we Communicate? Using Dynamic Logic to Verify Team Automata. In Proceedings of the 25th International Symposium on Formal Methods (FM'23) (M. Chechik, J.-P. Katoen, and M. Leucker, eds.), Lecture Notes in Computer Science 14000, Springer, Cham, 2023, 122 - 141. (abstract,paper)
• Published (with D. Basile) A Runtime Environment for Contract Automata. In Proceedings of the 25th International Symposium on Formal Methods (FM'23) (M. Chechik, J.-P. Katoen, and M. Leucker, eds.), Lecture Notes in Computer Science 14000, Springer, Cham, 2023, 550 - 567. (abstract,paper)
• Published (with D. Basile, H. Göttmann, and M. Lochau) Mutant Equivalence as Monotonicity in Parametric Timed Games. In Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE'23), IEEE, 2023, 55 - 65. (abstract,paper)
• Published (with G. Broccia, A. Ferrari, W. Cazzola, L. Favalli, and F. Bertolotti) Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance. In Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension (ICPC'23), IEEE, 2023, 54 - 58. (abstract,paper)
• Published (with D. Basile) Research Challenges in Orchestration Synthesis. In Proceedings of the 16th Interaction and Concurrency Experience (ICE'23) (C. Aubert, C. Di Giusto, S. Fowler, and L. Safina, eds.), Electronic Proceedings in Theoretical Computer Science 383, arXiv:2308.10651 [cs.LO], 2023, 73 - 90. (abstract,paper)
• Edited (with P. Arcaini, G. Perrouin, I. Reinhartz-Berger, M.R. Luaces, C. Schwanninger, S. Ali, M. Varshosaz, A. Gargantini, S. Gnesi, M. Lochau, L. Semini, and H. Washizaki) Proceedings of the 27th ACM International Systems and Software Product Line Conference (SPLC'23), Volume 1, Tokyo, Japan. ACM Press, New York, NY, 2023. (welcome message)
• Edited (with P. Arcaini, G. Perrouin, I. Reinhartz-Berger, I. Machado, S. Regina Vergilio, R. Rabiser, T. Yue, X. Devroey, M. Pinto, and H. Washizaki) Proceedings of the 27th ACM International Systems and Software Product Line Conference (SPLC'23), Volume 2, Tokyo, Japan. ACM Press, New York, NY, 2023. (welcome message)
• Published (with J. Päßler, F. Damiani, S.L. Tapia Tarifa, and E.B. Johnsen, Formal Modelling and Analysis of a Self-Adaptive Robotic System. arXiv:2308.14663 [cs.LO], 2023. (abstract,paper)
• Edited (with R. Monahan) Special Collection from iFM 2022. Formal Aspects of Computing 35, 3 (2023). (editorial)
• Edited (with C. Dubslaff) Proceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA'23), Paris, France, 23 April 2023. Electronic Proceedings in Theoretical Computer Science 392, arXiv:2310.18720 [cs.SE], 2023. (preface)
• Published (with D. Basile, L. Bussi, and V. Ciancia) A toolchain for strategy synthesis with spatial properties. International Journal on Software Tools for Technology Transfer 25, 5-6 (2023), 641 - 658. (abstract,paper)
• Published (with J. Päßler, F. Damiani, S.L. Tapia Tarifa, and E.B. Johnsen) Formal Modelling and Analysis of a Self-Adaptive Robotic System. In Proceedings of the 18th International Conference on integrated Formal Methods (iFM'23) (P. Herber and A. Wijs, eds.), Lecture Notes in Computer Science 14300, Springer, Cham, 2023, 343 - 363. (abstract,paper)
• Published (with R. Hennicker, and J. Proença) Realisability of Global Models of Interaction. In Proceedings of the 20th International Colloquium on Theoretical Aspects of Computing (ICTAC'23) (E. Ábrahám, C. Dubslaff, and S.L. Tapia Tarifa, eds.), Lecture Notes in Computer Science 14446, Springer, Cham, 2023, 236 - 255. (abstract,paper)
• Edited (with M. Sirjani) Selected Papers of the 24th International Conference on Coordination Models and Languages (COORDINATION 2022). Logical Methods in Computer Science (2023). (preface)
• Teaching the tutorial Formal Methods and Tools for Software Product Lines at ICTAC 2023 (20th International Colloquium on Theoretical Aspects of Computing), Lima, Peru, 5 December (abstract,slides)

2022:

• PC chair of QAVS 2022: 3rd Workshop on Quantitative Aspects of Variant-rich Systems at ETAPS 2022, Munich, Germania, 3 April, 2022
• PC member of FormaliSE 2022: 10th International Conference on Formal Methods in Software Engineering, Pittsburgh, PA, USA, 22-23 May, 2022
• PC member of RSSRail 2022: 4th International Conference on Reliability, Safety and Security of Railway Systems, Paris, France, 1-2 June, 2022
• PC chair of iFM 2022: 18th International Conference on integrated Formal Methods, Lugano, Switzerland, 7-10 June, 2022
• PC chair of COORDINATION 2022: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, Lucca, Italy, 13-17 June, 2022
• PC member of DISCOLI 2022: 1st Workshop on DIStributed COLlective Intelligence, Bologna, Italy, 10-13 July, 2022
• PC member of DT4BP 2022: 1st International Workshop on Digital Twin per Business Processes at the International Conference IEEE CyberSciTech / PICom / DASC / CBDCom 2022, Calabria, 12-15 September, 2022
• PC member of the research papers track of SPLC 2022: 26th International Conference on Systems and Software Product Line, Graz, Austria, 12-16 September, 2022
• PC member of the Doctoral Symposium of SPLC 2022: 26th International Conference on Systems and Software Product Line, Graz, Austria, 12-16 September, 2022
• PC member of MODEVAR 2022: 5th International Workshop on Languages for Modelling Variability, Graz, Austria, 12-16 September, 2022
• PC member of FMICS 2022: 27th International Conference on Formal Methods for Industrial Critical Systems, Warsaw, Poland, 14-16 September, 2022
• Track chair of the X-by-Construction Meets Runtime Verification track at the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2022), Rhodes, Greece, 24-28 October, 2022
• PC member of SBMF 2022: 25th Brazilian Symposium on Formal Methods, online, 5-9 December, 2022
• Participated in QAVS 2022 (3rd Workshop on Quantitative Aspects of Variant-rich Systems) at ETAPS 2022, Munich, Germany, 3 April.
  Title of talk: Family-Based SPL Model Checking Using Parity Games with Variability. (abstract,slides)
• Organizer of the kick-off meeting of the project T-LADIES, ISTI-CNR, Pisa, 6-7 July, 2022
• Participated in the kick-off meeting of the project T-LADIES, 6-7 July.
  Title of talk: Featured Team Automata. (abstract,slides)
• Published (with F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini) Efficient static analysis and verification of featured transition systems. Empirical Software Engineering 27, 1 (2022), 10:1 - 10:43. (abstract,paper)
• Published (with D. Basile) A Runtime Environment for Contract Automata. arXiv:2203.14122 [cs.SE], 2022. (abstract,paper)
• Edited (with K.G. Larsen, D. Ničković, and T.A.C. Willemse) Special Issue on Formal Methods and Tools for Industrial Critical Systems. International Journal on Software Tools for Technology Transfer 24, 3 (2022), 325 - 330. (editorial)
• Published (with D. Basile, A. Ferrari, and A. Legay) Exploring the ERTMS/ETCS full moving block specification: An experience with formal methods. International Journal on Software Tools for Technology Transfer 24, 3 (2022), 351 - 370. (abstract,paper)
• Edited (with M. Sirjani) Coordination Models and Languages - Proceedings of the 24th International Conference on Coordination Models and Languages (COORDINATION'22), Lucca, Italy. Lecture Notes in Computer Science 13271, Springer, Berlin, 2022. (preface)
• Edited (with R. Monahan) Integrated Formal Methods - Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22), Lugano, Switzerland. Lecture Notes in Computer Science 13274, Springer, Berlin, 2022. (preface)
• Published (with D. Basile) Contract Automata Library. Science of Computer Programming 221 (2022). (abstract,paper)
• Published (with A. Ferrari) Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. arXiv:2208.05266 [cs.SE], 2022. (abstract,paper)
• Published (with D. Basile, S. Lazreg, M. Cordy, and A. Legay) Static Detection of Equivalent Mutants in Real-Time Model-based Mutation Testing: An Empirical Evaluation. Empirical Software Engineering 27, 7 (2022), 160:1 - 160:55. (abstract,paper)
• Published (with A. Ferrari) Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. Software 1, 4 (2022), 381 - 416. (abstract,paper)
• Published (with F. Damiani, M. Lienhardt, F. Mazzanti, L. Paolini, and G. Scarso) FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC. Science of Computer Programming 224 (2022). (abstract,paper)
• Published (with L. Cleophas, I. Schaefer, and M. Leucker) X-by-Construction Meets Runtime Verification. In Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (ISoLA'22), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 13701, Springer, Cham, 2022, 141 - 148. (abstract,paper)
• Published (with D. Basile and V. Ciancia) An Experimental Toolchain for Strategy Synthesis with Spatial Properties. In Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Adaptation and Learning (ISoLA'22), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 13703, Springer, Cham, 2022, 142 - 164. (abstract,paper)
• Published (with M. Seisenberger, X. Fan, A. Ferrari, A. Haxthausen, P. James, A. Lawrence, B. Luttik, J. van de Pol, and S. Wimmer) Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. In Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Practice (ISoLA'22), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 13704, Springer, Cham, 2022, 246 - 268. (abstract,paper)
• Published (with D. Basile, G. Broccia, and A. Ferrari) Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News - Special: Ethical Software Engineering and Ethically Aligned Design 131 (2022), 34 - 35. (abstract,paper)
• Published (with A. Ferrari, F. Mazzanti, and D. Basile) Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Transactions on Software Engineering 48, 11 (2022), 4675 - 4691. (abstract,paper)
• Published (with A. Ferrari) Formal Methods in Railways: A Systematic Mapping Study. ACM Computing Surveys 55, 4 (2022), 69:1 - 69:37. (abstract,paper)

2021:

• PC member of VaMoS 2021: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Krems, Austria, 9-11 February, 2021
• PC chair of QAVS 2021: Second Workshop on Quantitative Aspects of Variant-rich Systems at ETAPS 2021, Luxembourg, 28 March, 2021
• Publicity chair of FSEN 2021: 9th International Conference on Fundamentals of Software Engineering - Theory and Practice, Tehran, Iran, 19-21 May, 2021
• PC member of FormaliSE 2021: 9th International Conference on Formal Methods in Software Engineering, Madrid, Spain, 23-24 May, 2021
• PC member of ABZ 2021: 8th International Conference on Rigorous State Based Methods, Ulm, Germany, 7-11 June, 2021
• PC member of COORDINATION 2021: 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Valletta, Malta, 14-18 June, 2021
• PC member of FORTE 2021: 41st IFIP WG 6.1 International Conference on FORmal TEchniques for Distributed Objects, Components, and Systems, Valletta, Malta, 14-18 June, 2021
• PC member of SPIN 2021: 27th SPIN symposium on Model Checking of Software, Aarhus, Denmark, 14-15 July, 2021
• PC member of FMICS 2021: 26th International Conference on Formal Methods for Industrial Critical Systems, Paris, France, 23-27 August, 2021
• PC chair of SPLC 2021: 25th International Systems and Software Product Line Conference, Leicester, UK, 6-10 September, 2021
• PC member of the Doctoral Symposium of SPLC 2021: 25th International Systems and Software Product Line Conference, Leicester, UK, 6-10 September, 2021
• PC member of MODEVAR 2021: 4th International Workshop on Languages for Modelling Variability, Leicester, UK, 6-10 September, 2021
• PC member of ICTAC 2021: 18th International Colloquium on Theoretical Aspects of Computing, Nur-Sultan, Kazakhstan, 6-10 September, 2021
• PC member of RSSRail 2021: 4th International Conference on Reliability, Safety and Security of Railway Systems, Paris, France, 15-16 November, 2021
• PC member of FM 2021: 24th International Symposium on Formal Methods, Beijing, China, 20-26 November, 2021
• PC member of αFM 2021: 1st International Workshop on Applicable Formal Methods, Beijing, China, 20-26 November, 2021
• PC member of SBMF 2021: 24th Brazilian Symposium on Formal Methods, Campina Grande, Brasile, 6-10 Dicembre, 2021
• Presented talk at the Informatics Seminars 2020/21 of the Department of Informatics of the University of Leicester, UK, March 5.
  Title of talk: Efficient Static Analysis and Verification of Featured Transition Systems. (abstract,slides)
• Participated in SPLC 2021 (25th International Systems and Software Product Line Conference), Leicester, UK, 6-10 September.
  Title of talk: Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC. (abstract,slides)
• Participated in ISoLA 2021 (10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation), Rhodes, Greece, 28 October.
  Title of talk in DisCoRail'20 track: Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. (abstract,slides)
  Title of talk in SMC30 track: 30 Years of Simulation-Based Quantitative Analysis Tools: a Comparison Experiment between Möbius and Uppaal SMC. (abstract,slides)
• Published (with A. Legay, A. Lluch Lafuente, and A. Vandin) Quantitative Security Risk Modeling and Analysis with RisQFLan. arXiv:2101.08677v1 [cs.CR], 2021. (abstract,paper)
• Published (with A. Ferrari, F. Mazzanti, and D. Basile) Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. arXiv:2101.11303v2 [cs.SE], 2021. (abstract,paper)
• Published (with D. Basile) A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. In Proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'21) (F. Damiani and O. Dardha, eds.), Lecture Notes in Computer Science 12717, Springer, Cham, 2021, 225 - 238. (abstract,paper)
• Published (with D. Basile, P. Degano, A. Legay, G.-L. Ferrari, S. Gnesi, and F. Di Giandomenico) Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. In Proceedings of the 41st IFIP WG 6.1 International Conference on FORmal TEchniques for Distributed Objects, Components, and Systems (FORTE'21) (K. Peters and T.A.C. Willemse, eds.), Lecture Notes in Computer Science 12719, Springer, Cham, 2021. 177 - 181. (abstract,paper)
• Published (with A. Legay, A. Lluch Lafuente, and A. Vandin) Quantitative Security Risk Modeling and Analysis with RisQFLan. Computers & Security 109 (2021). (abstract,paper)
• Published (with A. Ferrari) Formal Methods in Railways: a Systematic Mapping Study. arXiv:2107.05413 [cs.SE], 2021. (abstract,paper)
• Published (with G. Cledou, R. Hennicker, and J. Proença) Featured Team Automata. arXiv:2108.01784 [cs.FL], 2021. (abstract,paper)
• Published (with V. Ciancia, D. Latella, M. Massink, and G.O. Spagnolo) Spatial Model Checking for Smart Stations: Research Challenges. In Proceedings of the 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS'21) (A. Lluch Lafuente and A. Mavridou, eds.), Lecture Notes in Computer Science 12863, Springer, Cham, 2021, 39 - 47. (abstract,paper)
• Published (with F. Mazzanti, F. Damiani, L. Paolini, G. Scarso, and M. Lienhardt) Static Analysis and Family-based Model Checking with VMC. In Proceedings of the 25th International Systems and Software Product Line Conference (SPLC'21), Leicester, UK, ACM Press, New York, 2021, 214 - 214. (abstract,paper)
• Published (with F. Mazzanti, F. Damiani, L. Paolini, G. Scarso, M. Valfrè, and M. Lienhardt) Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC. In Proceedings of the 25th International Systems and Software Product Line Conference (SPLC'21), Leicester, UK - Volume 2, ACM Press, New York, 2021, 24 - 27. (abstract,paper)
• Edited (with M. Mousavi, P.-Y. Schobbens, H. Araujo, I. Schaefer, X. Devroey, J.M. Rojas, M. Pinto, L. Teixeira, T. Berger, J. Noppen, I. Reinhartz-Berger, P. Temple, F. Damiani, and J. Petke), Proceedings of the 25th ACM International Systems and Software Product Line Conference (SPLC'21), Volume 1, Leicester, UK. ACM Press, New York, NY, 2021. (welcome message)
• Edited (with M. Mousavi, P.-Y. Schobbens, H. Araujo, I. Schaefer, X. Devroey, J.M. Rojas, R. Rabiser, M. Varshosaz, T. Kishi, and J. Lee) Proceedings of the 25th ACM International Systems and Software Product Line Conference (SPLC'21), Volume 2, Leicester, UK. ACM Press, New York, NY, 2021. (welcome message)
• Edited (with A. McIver) Special Issue with Extended versions of papers presented at FM 2019. Formal Aspects of Computing 33 (2021), 459 - 460. (editorial)
• Edited (with A. McIver) Special Issue: `Best Papers from FM 2019'. Formal Methods in System Design 58, 1-2 (2022). (editorial)
• Published (with G. Cledou, R. Hennicker, and J. Proença) Featured Team Automata. In Proceedings of the 24th International Symposium on Formal Methods (FM'21) (M. Huisman, C. Păsăreanu, and N. Zhan, eds.), Lecture Notes in Computer Science 13047, Springer, Cham, 2021, 483 - 205. (abstract,paper)
• Teaching the PhD course Quantitative Modelling and Analysis of Variability in Highly Configurable Systems of the joint PhD program in Smart Computing of the Universities of Florence, Pisa, and Siena, 12 - 16 Luglio 2021 (slides: intro,intro MC,LTS,CTL,MC CTL,SPL,FTS4VMC)
• Teaching the tutorial Static Analysis and Family-based Model Checking with VMC at SPLC 2021 (25th International Systems and Software Product Line Conference), Leicester, UK, 6-10 September (paper,slides,presentation)

2020:

• PC member of VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg, Germany, 5-7 February, 2020
• PC member of IWBOSE 2020: 3rd International Workshop on Emerging Trends in Software Engineering for Blockchain, London, Ontario, Canada, 18 February, 2020
• Finance chair of REFSQ 2020: 26th International Working Conference on Requirements Engineering: Foundation for Software Quality, Pisa, Italy, 24-27 March, 2020
• PC member of FormaliSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, South Korea, 25-26 May, 2020
• PC member of ABZ 2020: 7th International Conference on Rigorous State Based Methods, Ulm, Germany, 27-29 May, 2020
• PC chair of QAVS 2020: First Workshop on Quantitative Aspects of Variant-rich Systems at QONFEST 2020, Vienna, Austria, 31 August, 2020
• PC chair of FMICS 2020: 25th International Conference on Formal Methods for Industrial Critical Systems at QONFEST 2020, Vienna, Austria, 31 August - 5 September, 2020
• PC member of SEFM 2020: 18th International Conference on Software Engineering and Formal Methods, Amsterdam, The Netherlands, 14-18 September, 2020
• PC member of SPLC 2020: 24th International Systems and Software Product Line Conference, Montréal, Canada, 19-23 October, 2020
• PC member of MODEVAR 2020: 3rd International Workshop on Languages for Modelling Variability, Montréal, Canada, 19-23 October, 2020
• Track chair of the X-by-Construction: Correctness Meets Probability track at the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020), Rhodes, Greece, 26-30 October, 2020
• PC member of iFM 2020: 16th International Conference on integrated Formal Methods, Lugano, Switzerland, 16-20 November, 2020
• PC member of SBMF 2020: 23rd Brazilian Symposium on Formal Methods a Ouro Preto, Brazil, 25-27 November, 2020
• Participated in 14th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'20), Magdeburg, Germany, 5-7 February.
  Title of talk: Variability meets Security: Quantitative Security Modeling and Analysis of Highly Customizable Attack Scenarios. (abstract,slides)
• Presented talk at the online meeting IT MaTTerS? Let's discuss of the project IT MaTTerS, 12 June.
  Title of talk: Quantitative Analysis of Moving Block Railway Signalling Scenarios: Experiences and Outlook. (slides)
• Participated in 22nd International Conference on Coordination Models and Languages (COORDINATION'20), Valletta, Malta, 15-19 June.
  Title of talk: Team Automata@Work: On Safe Communication. (abstract,slides,presentation)
• Published (with D. Basile, P. Degano, A. Legay, G.-L. Ferrari, S. Gnesi, and F. Di Giandomenico) Controller synthesis of service contracts with variability. Science of Computer Programming 187 (2020). (abstract,paper)
• Published (with A. Legay, A. Lluch Lafuente, and A. Vandin) Variability meets Security: Quantitative Security Modeling and Analysis of Highly Customizable Attack Scenarios. In Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'20), Magdeburg, Germany (M. Cordy, M. Acher, D. Beuche, and G. Saake, eds.), ACM, New York, 2020, 11:1 - 11:9. (abstract,paper)
• Published (with S. van Loo, E.P. de Vink, and T.A.C. Willemse) Family-Based SPL Model Checking Using Parity Games with Variability. In Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering (FASE'20), Dublin, Ireland (H. Wehrheim and J. Cabot, eds.), Lecture Notes in Computer Science 12076, Springer-Verlag, Berlin, 2020, 245 - 265. (abstract,paper)
• Published (with D. Basile and R. Pugliese) Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Logical Methods in Computer Science 16, 2 (2020), 9:1 - 9:29. (abstract,paper)
• Published (with R. Hennicker and J. Kleijn) Team Automata@Work: On Safe Communication. In Proceedings of the 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'20), Valletta, Malta (S. Bliudze and L. Bocchi, eds.), Lecture Notes in Computer Science 12134, Springer-Verlag, Berlin, 2020, 77 - 85. (abstract,paper)
• Published (with D. Basile and A. Legay) Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. In Proceedings of the 40th IFIP WG 6.1 International Conference on FORmal TEchniques for Distributed Objects, Components, and Systems (FORTE'20), Valletta, Malta (A. Gotsman and A. Sokolova, eds.), Lecture Notes in Computer Science 12136, Springer-Verlag, Berlin, 2020, 3 - 21. (abstract,paper)
• Published (with A. Ferrari, F. Mazzanti, D. Basile, and A. Fantechi) Comparing Formal Tools for System Design: a Judgment Study. In Proceedings of the 42nd International Conference on Software Engineering (ICSE'20), Seoul, Republic of Korea, ACM Press, New York, 2020, 62 - 74. (abstract,paper)
• Published (with D. Basile and A. Legay) Timed Service Contract Automata. Innovations in Systems and Software Engineering 16, 2 (2020), 199 - 214. (abstract,paper)
• Edited (with D. Ničković) Formal Methods for Industrial Critical Systems - Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS'20), Vienna, Austria. Lecture Notes in Computer Science 12327, Springer, Berlin, 2020. (preface)
• Published (with H. Garavel and J. van de Pol) The 2020 Expert Survey on Formal Methods. In Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS'20), Vienna, Austria (M.H. ter Beek and D. Ničković, eds.), Lecture Notes in Computer Science 12327, Springer, Berlin, 2020, 3 - 69. (abstract,paper)
• Edited (with M. Koutny and G. Rozenberg) A Mosaic of Computational Topics: from Classical to Novel - Special Issue Dedicated to Jetty Kleijn on the Occasion of Her 65th Birthday. Fundamenta Informaticae 175 (2020). (preface)
• Published (with D. Basile, M. Cordy, and A. Legay) Tackling the Equivalent Mutant Problem in Real-Time Systems: The 12 Commandments of Model-Based Mutation Testing. In Proceedings of the 24th International Systems and Software Product Line Conference (SPLC'20), Montréal, Canada, ACM Press, New York, 2020, 252 - 262. (abstract,paper)
• Published (with L. Cleophas, A. Legay, I. Schaefer, and B.W. Watson) X-by-Construction: Correctness Meets Probability. In Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (ISoLA'20), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 12476, Springer, Berlin, 2020, 211 - 215. (abstract,paper)
• Published (with D. Basile, F. Di Giandomenico, A. Fantechi, S. Gnesi, and G.O. Spagnolo) 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. In Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (ISoLA'20), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 12476, Springer, Berlin, 2020, 368 - 384. (abstract,paper)
• Published (with D. Basile, A. Fantechi, A. Ferrari, S. Gnesi, L. Masullo, F. Mazzanti, A. Piattino, and D. Trentini) Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. In Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Applications (ISoLA'20), Rhodes, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 12478, Springer, Berlin, 2020, 467 - 485. (abstract,paper)
• Published (with R. Hennicker, and J. Kleijn) Compositionality of Safe Communication in Systems of Team Automata. Zenodo, 2020. (abstract,paper)
• Published (with R. Hennicker, and J. Kleijn) Compositionality of Safe Communication in Systems of Team Automata. In Proceedings of the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC'20), Macau, China (V.K.I. Pun, A. Simão, and V. Stolz, eds.), Lecture Notes in Computer Science 12545, Springer, Cham, 2020, 200 - 220. (abstract,paper)

2019:

• Member of the evaluation committee for the the Ph.D. defense of Chiara Muzi on Formalisation of BPMN Models: a Focus on Correctness Properties, University of Camerino, Italy, 08/05/2019. Supervisors: Prof. F. Corradini and Prof. F. Tiezzi. %
• Steering Committee member of SPLC: Systems and Software Product Line Conference %
• Steering Committee member of VaMoS: International Workshop on Variability Modeling of Software-Intensive Systems
• PC member of VaMoS 2019: 13th International Workshop on Variability Modeling of Software-Intensive Systems, Leuven, Belgium, 6-8 February, 2019
• PC member of IWBOSE 2019: 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, Hangzhou, Cina, 24 February, 2019
• PC member of InterAVT 2019: Interactive Workshop on the Industrial Application of Verification and Testing, Prague, Czech Republic, 6/7 April, 2019
• PC member of FASE 2019: 22nd International Conference on Fundamental Approaches to Software Engineering, Prague, Czech Republic, 8-11 April, 2019
• PC member of NGPS 2019: Track on Next Generation Programming Paradigms and Systems at the 34th ACM Symposium on Applied Computing (SAC 2019), Limassol, Cyprus, 8-12 April, 2019
• PC member of FormaliSE 2019: 7th International Conference on Formal Methods in Software Engineering, Montréal, Canada, 27 May, 2019
• Publicity chair of FSEN 2019: 8th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, 1-3 May, 2019
• Workshop chair of DisCoTec 2019: 14th International Federated Conference on Distributed Computing Techniques, Lyngby, Denmark, 18-21 June, 2019
• PC member of SACLA 2019: 48th Annual Conference of the Southern African Computer Lecturers' Association, Northern Drakensberg, South Africa, 15-17 July, 2019
• PC member of SPIN 2019: 26th SPIN Symposium on Model Checking of Software, Beijing, China, 15-19 July, 2019
• PC member of FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems, Amsterdam, The Netherlands, 30-31 August, 2019
• PC member of Ctrl + Alt + Q 2019: 1st International Workshop on Control of Alternatives and Quality, Paris, France, 9-10 September, 2019
• PC member of MODEVAR 2019: International Workshop on Languages for Modelling Variability, Paris, France, 9-10 September, 2019
• PC member of the research papers and Data, Demonstrations e Tools tracks of SPLC 2019: 23rd International Systems and Software Product Line Conference, Paris, France, 9-13 September, 2019
• PC member of SEFM 2019: 17th International Conference Software on Engineering and Formal Methods, Oslo, Norway, 16-20 September, 2019
• PC member of AVoCS 2019: 19th International Workshop on Automated Verification of Critical Systems, Grenoble, France, 30 September-1 October, 2019
• PC chair of FM 2019: 23rd International Symposium on Formal Methods, Porto, Portugal, 7-11 October, 2019
• Organizer of SG65: Colloquium in Honour of Stefania Gnesi, Porto, Portugal, 8 October, 2019
• PC member of MSE 2019: Workshop on Microservices: Science and Engineering, Innopolis, Russia, 14-19 October, 2019
• PC member of REMEDY 2019: 2nd International Workshop on foRmal modEls for Mastering heterogeneous multifacEteD sYstems at the 9th International Conference on Model & Data Engineering (MEDI 2019), Toulouse, France, 28 October, 2019
• PC member of SBMF 2019: 22nd Brazilian Symposium on Formal Methods, São Paulo, Brazil, 27-29 November, 2019
• Presented talk at the Huawei European Research Institute Symposium on Foundations of Software: New Directions in Software Research for Cloud, Pipe and Device at Westin Paris - Vendôme in Paris, France, January 16.
  Title of talk: Formal Methods and Tools: Techniques and Experiences. (abstract,slides)
• Moderated panel at the 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'19) in Leuven, Belgium, February 7.
  Title of panel: Quantitative Variability Modeling and Analysis (slides)
• Participated in MODEVAR 2019 (1st International Workshop on Languages for Modelling Variability) at SPLC 2019 (23rd International Systems and Software Product Line Conference), Paris, France, 10 September.
  Title of talk: Textual Variability Modeling Languages: An Overview and Considerations. (abstract,slides)
• Participated in SPLC 2019 (23rd International Systems and Software Product Line Conference), Paris, France, 9-13 September.
  Title of talk: Static Analysis of Featured Transition Systems. (abstract,slides)
• Presented talk at the Kick-off Meeting of IT MaTTerS in Pisa, 14 October.
  Title of talk: WP5: Application and Validation. (slides)
• Participated in iFM 2019 (15th International Conference on integrated Formal Methods), Bergen, Norway, 2-6 December.
  Title of talk: On the Expressiveness of Modal Transition Systems with Variability Constraints. (abstract,slides)
• Participated in iFM 2019 (15th International Conference on integrated Formal Methods), Bergen, Norway, 2-6 December.
  Title of talk: A framework for quantitative modeling and analysis of highly reconfigurable systems. (abstract,slides)
• Published (with F. Damiani, S. Gnesi, F. Mazzanti, and L. Paolini) On the Expressiveness of Modal Transition Systems with Variability Constraints. Science of Computer Programming 169 (2019), 1 - 17. (abstract,paper)
• Published (with A. Legay) Quantitative Variability Modeling and Analysis. In Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'19), Leuven, Belgium (G. Perrouin and D. Weyns, eds.), ACM Press, New York, 2019, 13:1 - 13:2. (paper)
• Published (with A. Fantechi, S. Gnesi, and F. Mazzanti) States and Events in KandISTI: A Retrospective. In Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (T. Margaria, S. Graf, and K.G. Larsen, eds.), Lecture Notes in Computer Science 11200, Springer-Verlag, Berlin, 2019, 110 - 128. (abstract,paper)
• Edited (with A. Legay) Special Issue on Quantitative Variability Modelling and Analysis. International Journal on Software Tools for Technology Transfer 21, 6 (2019), 607 - 612. (introduction)
• Published (with A. Ferrari, F. Mazzanti, D. Basile, A. Fantechi, S. Gnesi, A. Piattino, and D. Trentini) Survey on Formal Methods and Tools in Railways: The ASTRail Approach. In Proceedings of the 3rd International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification (RSSRail'19), Lille, France (S. Collart-Dutilleul, T. Lecomte, and A. Romanovsky, eds.), Lecture Notes in Computer Science 11495, Springer-Verlag, Berlin, 2019, 226 - 241. (abstract,paper)
• Published (with D. Basile and R. Pugliese) Bridging the Gap between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. In Proceedings of the 21st IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'19), Copenhagen, Denmark (H.R. Nielson and E. Tuosto, eds.), Lecture Notes in Computer Science 11533, Springer, Berlin, 2019, 129 - 147. (abstract,paper)
• Published (with S. Gnesi) From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL. In Models, Languages and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday (M. Boreale, F. Corradini, M. Loreti, and R. Pugliese, eds.), Lecture Notes in Computer Science 11665, Springer, Berlin, 2019, 219 - 235. (abstract,paper)
• Published (with D. Basile, A. Ferrari, and A. Legay) Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and UPPAAL SMC. In Proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS'19), Amsterdam, The Netherlands (K.G. Larsen and T. Willemse, eds.), Lecture Notes in Computer Science 11687, Springer, Berlin, 2019, 1 - 21. (abstract,paper)
• Published (with F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini) Static Analysis of Featured Transition Systems. In Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC'19), Paris, France, ACM Press, New York, 2019, 39 - 51. (abstract,paper)
• Published (with K. Schmid, and H. Eichelberger) Textual Variability Modeling Languages: An Overview and Considerations. In Proceedings of the 23rd International Systems and Software Product Line Conference (SPLC'19), Paris, France - Volume 2, ACM Press, New York, 2019, 151 - 157. (abstract,paper)
• Edited (with A. McIver, and J.N. Oliveira) Formal Methods - The Next 30 Years - Proceedings of the Third World Congress on Formal Methods (FM'19), Porto, Portugal. Lecture Notes in Computer Science 11800, Springer-Verlag, Berlin, 2019. (preface)
• Published (with A. Borälv, A. Fantechi, A. Ferrari, S. Gnesi, C. Löfving, and F. Mazzanti) Adopting Formal Methods in an Industrial Setting: The Railways Case. In Formal Methods - The Next 30 Years - Proceedings of the Third World Congress on Formal Methods (FM'19), Porto, Portugal (M.H. ter Beek, A. McIver, and J.N. Oliveira, eds.), Lecture Notes in Computer Science 11800, Springer, Berlin, 2019, 762 - 772. (abstract,paper)
• Edited (with A. Fantechi, and L. Semini) From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer-Verlag, Berlin, 2019. (preface)
• Published (with A. Fantechi, and L. Semini) The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back. In From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (M.H. ter Beek, A. Fantechi, and L. Semini, eds.), Lecture Notes in Computer Science 11865, Springer, Berlin, 2019, 1 - 11. (paper)
• Published (with F. Damiani, S. Gnesi, F. Mazzanti, and L. Paolini) A Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. In Proceedings of the 15th International Conference on Integrated Formal Methods (IFM'19), Bergen, Norway (W. Ahrendt and S.L. Tapia Tarifa, eds.), Lecture Notes in Computer Science 11918, Springer, Berlin, 2019, 547 - 551. (abstract,paper)
• Published (with A. Legay, A. Lluch Lafuente, and A. Vandin) A Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. In Proceedings of the 15th International Conference on Integrated Formal Methods (IFM'19), Bergen, Norway (W. Ahrendt and S.L. Tapia Tarifa, eds.), Lecture Notes in Computer Science 11918, Springer, Berlin, 2019, 542 - 546. (abstract,paper)
• Published (with D. Basile and R. Pugliese) Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. arXiv:1910.00849 [eess.SY], 2019. (abstract,paper)

2018:

%
• Steering Committee member of SPLC: Systems and Software Product Line Conference %
• Steering Committee member of VaMoS: International Workshop on Variability Modeling of Software-Intensive Systems
• PC member of AMARETTO 2018: 3rd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn in conjunction with the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Funchal, Madeira, 22-24 January, 2018
• PC member of VaMoS 2018: 12th International Workshop on Variability Modeling of Software-Intensive Systems, Madrid, Spain, 7-9 February, 2018
• PC member of IWBOSE 2018: 1st International Workshop on Blockchain Oriented Software Engineering, Campobasso, Italy, 19 March, 2018
• Track chair of CAS 2018: Collective Adaptive Systems track of the 33rd ACM Symposium on Applied Computing (SAC 2018), Pau, France, 9-13 April, 2018
• PC member of SOAP 2018: Service Oriented Architectures and Programming track of the 33rd ACM Symposium on Applied Computing (SAC 2018), Pau, France, 9-13 April, 2018
• PC member of ICSR 2018: 17th International Conference on Software Reuse, Madrid, Spain, 21-23 May, 2018
• PC member of FormaliSE 2018: Conference on Formal Methods in Software Engineering, Gothenburg, Sweden, 2 June, 2018
• PC member of SEFM 2018: 16th International Conference on Software Engineering and Formal Methods, Toulouse, France, 27-29 June, 2018
• Workshop Chair of FM 2018: 22nd International Symposium on Formal Methods, Oxford, UK, 15-17 July, 2018
• PC member of the Doctoral Symposium of FM 2018: 22nd International Symposium on Formal Methods, Oxford, UK, 15-17 July, 2018
• PC member of AVoCS 2018: 18th International Workshop on Automated Verification of Critical Systems, Oxford, UK, 18-19 July, 2018
• PC member of FMICS 2018: 23rd International Conference on Formal Methods for Industrial Critical Systems, Maynooth University, Ireland, 3-4 September, 2018
• PC member of research papers track of SPLC 2018: 22nd International Systems and Software Product Line Conference, Gothenburg, Sweden, 10-14 September, 2018
• PC member of Data, Demonstrations e Tools track di SPLC 2018: 22nd International Systems and Software Product Line Conference, Gothenburg, Sweden, 10-14 September, 2018
• Selection Committee member of Journal-First track of SPLC 2018: 22nd International Systems and Software Product Line Conference, Gothenburg, Sweden, 10-14 September, 2018
• PC member of REMEDY 2018: International Workshop on foRmal modEls for Mastering multifacEteD sYstems at the 8th International Conference on Model & Data Engineering (MEDI 2018), Marrakech, Morocco, 24-26 October, 2018
• Presidente (chair) del X-by-Construction track all'ottavo International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) a Limassol, Cipro, 5-9 Novembre, 2018
• Presented talk at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, May 7.
  Title of talk: Communication Requirements for Team Automata. (abstract,slides)
• Participated in SPLC 2018 (22nd International Systems and Software Product Line Conference), Gothenburg, Sweden, 10-14 September.
  Title of talk: Modelling and Analysis with Featured Modal Contract Automata. (abstract,slides)
• Participated in B-Day (Fest in honor of Bernhard Steffen), Limassol, Cyprus, 4 November.
  Title of talk: States and Events in KandISTI: A Retrospective in honour of Bernhard Steffen. (abstract,slides)
• Participated in ISoLA 2018 (8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation), Limassol, Cyprus, 6 November.
  Title of talk: Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC. (abstract,slides)
• Published (with A. Fantechi, A. Ferrari, S. Gnesi, and R. Scopigno) Formal Methods for the Railway Sector. ERCIM News - Special: Quantum Computing 112 (2018), 44 - 45. (abstract,paper)
• Edited (with M. Loreti) Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Transactions on Modeling and Computer Simulation 28, 2 (2018). (guest editorial)
• Published (with M. Loreti) Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Transactions on Modeling and Computer Simulation 28, 2 (2018), 8:1--8:4. (guest editorial)
• Published Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems". ACM Transactions on Modeling and Computer Simulation 28, 2 (2018), 10:1--10:3. (abstract,report)
• Edited (with S. Gnesi and A. Knapp) Special Issue on Formal Methods for Transport Systems. International Journal on Software Tools for Technology Transfer 20, 3 (2018). (introduction)
• Published (with S. Gnesi and A. Knapp) Formal methods for transport systems. International Journal on Software Tools for Technology Transfer 20, 3 (2018), 237-241. (abstract,introduction)
• Edited (with S. Gnesi and A. Knapp) Special Issue on Formal Methods and Automated Verification of Critical Systems. International Journal on Software Tools for Technology Transfer 20, 4 (2018). (introduction)
• Published (with S. Gnesi and A. Knapp) Formal methods and automated verification of critical systems. International Journal on Software Tools for Technology Transfer 20, 4 (2018), 355 - 358. (abstract,introduction)
• Published (with A. Vandin, A. Legay, and A. Lluch Lafuente) QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. In Proceedings of the 22nd International Symposium on Formal Methods (FM'18), Oxford, UK (K. Havelund, J. Peleska, B. Roscoe, E. de Vink, eds.), Lecture Notes in Computer Science 10951, Springer, Berlin, 2018, 329 - 337. (abstract,paper)
• Published (with D. Basile, A. Fantechi, S. Gnesi, F. Mazzanti, A. Piattino, D. Trentini, and A. Ferrari) On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders. In Proceedings of the 14th International Conference on Integrated Formal Methods (IFM'18), Maynooth, Ireland (C.A. Furia and K. Winter, eds.), Lecture Notes in Computer Science 11023, Springer-Verlag, Berlin, 2018, 20 - 29. (abstract,paper)
• Published (with A. Fantechi and S. Gnesi) Product line models of large cyber-physical systems: the case of ERTMS/ETCS. In Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC'18), Gothenburg, Sweden, ACM Press, New York, 2018, 208 - 214. (abstract,paper)
• Published (with D. Basile and S. Gnesi) Modelling and Analysis with Featured Modal Contract Automata. In Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC'18), Gothenburg, Sweden - Volume 2, ACM Press, New York, 2018, 11 - 16. (abstract,paper)
• Published (with D. Basile, A. Legay, and L.-M. Traonouez) Orchestration Synthesis for Real-Time Service Contracts. In Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS'18), Grenoble, France (M.F. Atig, S. Bensalem, S. Bliudze, and B. Monsuez, eds.), Lecture Notes in Computer Science 11181, Springer, Berlin, 2018, 31 - 47. (abstract,paper)
• Published (with L. Cleophas, I. Schaefer, and B.W. Watson) X-by-Construction. In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Modeling (ISoLA'18), Limassol, Cyprus (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 11244, Springer, Berlin, 2018, 359 - 364. (abstract,paper)
• Published (with D. Basile and V. Ciancia) Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC. In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Verification (ISoLA'18), Limassol, Cyprus (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 11245, Springer, Berlin, 2018, 372 - 391. (abstract,paper)
• Published (with A. Legay, A. Vandin, and A. Lluch Lafuente) A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Transactions on Software Engineering 46, 3 (2020), 321 - 345. (abstract,paper)
• Teaching the PhD lecture An Introduction to Software Product Lines and Modelling and Analysing Variability at the Fall Days on Models in Software Engineering of the Institute for Programming research and Algorithmics (IPA), 30 October 2018 (abstract,slides)

2017:

• Opponent for the Licentiate defense of Mahsa Varshosaz on Test Models and Algorithms for Model-Based Testing of Software Product Lines, Halmstad University, Sweden, 29/05/2017. Supervisors: Prof. M.R. Mousavi and Prof. G. Schneider.
• PC chair of VaMoS 2017: 11th International Workshop on Variability Modeling of Software-Intensive Systems, Eindhoven, The Netherlands, 1-3 February, 2017
• PC member of AMARETTO 2017: 2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn in conjunction with the 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal, 19-21 February, 2017
• Track chair of SOAP 2017: Service Oriented Architectures and Programming track of the 32nd ACM Symposium on Applied Computing (SAC 2017), Marrakech, Morocco, 3-7 April, 2017
• PC member of ICSR 2017: 16th International Conference on Software Reuse, Salvador, Brazil, 29-31 May, 2017
• PC member of ICSOFT-PT 2017: 12th International Conference on Software Paradigm Trends, Madrid, Spain, 26-28 July, 2017
• PC member of SPLSeco 2017: Track on Software Product Lines and Software Ecosystems at the 43rd Euromicro conference on Software Engineering and Advanced Applications (SEAA 2017), Vienna, Austria, 30 August - 1 September, 2017
• PC member of FMICS-AVoCS 2017: International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Torino, Italy, 18-20 September, 2017
• PC member of eCAS 2017: 2nd workshop on Engineering Collective Adaptive Systems at the 11th IEEE international conference on Self-Adaptive Self-Organizing Conference (SASO 2017), Tucson, AZ, USA, 18-22 September, 2017
• PC member of SPLC 2017: 21st International Systems and Software Product Line Conference, Sevilla, Spain, 25-29 September, 2017
• Data, Demonstrations and Tools chair of SPLC 2017: 21st International Systems and Software Product Line Conference, Sevilla, Spain, 25-29 September, 2017
• Presented talk at the "Lightning Talks" session of the 11th International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS'17), Eindhoven, The Netherlands, February 2, 2017. Title of talk: Family-based model checking with mCRL2. (slides)
• Presented talk at the QUANTICOL Meeting between ISTI, PisaMo and BicinCittà at the CNR premises in Pisa, January 20.
  Title of talk: Analyzing the Performance of Bike-Sharing Systems. (slides)
• Presented talk at the QUANTICOL Plenary Meeting at ISTI-CNR in Pisa, February 7.
  Title of talk: Family-based model checking with a feature mu-calculus. (slides)
• Presented talk at the VARIETE Closing Workshop at IT University of Copenhagen, Denmark, March 28.
  Title of talk: Family-based model checking with a feature mu-calculus. (slides)
• Presented talk at the 3rd QUANTICOL project review in Lucca, Italy, May 23.
  Title of talk: Family-Based Model Checking. (slides)
• Edited (with N. Siegmund and I. Schaefer) Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'17), Eindhoven, The Netherlands. ACM Press, New York, 2017. (foreword)
• Edited (with A. Lluch Lafuente) Special Issue on Automated Specification and Verification of Web-based Applications. Journal of Logical and Algebraic Methods in Programming 87 (2017). (editorial preface)
• Published (with D. Basile, F. Di Giandomenico, S. Gnesi, P. Degano, G.L. Ferrari, and A. Legay) Controller Synthesis of Contract-based Service Product Lines: Extended Version. Technical Report 2017-TR-003, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2017. (abstract,paper)
• Published (with E.P. de Vink and T.A.C. Willemse) Family-Based Model Checking with mCRL2. In Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering (FASE'17), Uppsala, Sweden (M. Huisman and J. Rubin, eds.), Lecture Notes in Computer Science 10202, Springer, Berlin, 2017, 387 - 405. (abstract,paper)
• Edited (with M. Bartoletti, L. Cruz-Filipe, and H. Melgratti) Special Track on Service-Oriented Architectures and Programming (SOAP). In Proceedings of the 32nd ACM Symposium on Applied Computing (SAC'17), Marrakesh, Morocco, ACM, New York, 2017, 1309 - 1311. (editorial message)
• Published (with J. Carmona, R. Hennicker, and J. Kleijn) Communication Requirements for Team Automata. In Proceedings of the 19th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION'17), Neuchâtel, Switzerland (J.-M. Jacquet and M. Massink, eds.), Lecture Notes in Computer Science 10319, Springer, Berlin, 2017, 256 - 277. (abstract,paper)
• Published (with A. Legay, A. Lluch Lafuente, and A. Vandin) A framework for quantitative modeling and analysis of highly (re)configurable systems. arXiv:1707.08411v1 [cs.SE], 2017. (abstract,paper)
• Edited (with W. Cazzola, O. Diaz, M. La Rosa, R.E. López-Herrejón, T. Thüm, J. Troya, A. Ruiz-Cortés, and D. Benavides) Proceedings of the 21st International Systems & Software Product Line Conference (SPLC'17), Volume 2, Sevilla, Spain. ACM Press, New York, NY, 2017. (welcome message)
• Published (with D. Basile, F. Di Giandomenico, and S. Gnesi) Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. In Proceedings of the 21st International Systems & Software Product Line Conference (SPLC'17), Sevilla, Spain, ACM Press, New York, 2017, 117 - 122. (abstract,paper)
• Teaching the PhD course Modelling and Analysis of Variability in Software Product Lines of the joint PhD program in Smart Computing of the Universities of Florence, Pisa, and Siena, 26 - 30 June 2017 (some slides: SPLE,FTS,mCRL2,FTS2MTS+VMC)

2016:

• PC member of VaMoS 2016: 10th International Workshop on Variability Modeling of Software-Intensive Systems, Salvador, Brazil, 27-29 January, 2016.
• PC member of AMARETTO 2016: Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn at MODELSWARD 2016: 4th International Conference on Model-Driven Engineering and Software Development, Roma, 19-21 February, 2016
• PC member of FMSPLE 2016: 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Eindhoven, The Netherlands, 3 April, 2016
• Track chair of SOAP 2016: Service Oriented Architectures and Programming track of the 30th ACM Symposium on Applied Computing (SAC 2016), Pisa, Italy, 4-8 April, 2016
• PC member of ICSR 2016: 15th International Conference on Software Reuse, Limassol, Cyprus, 5-7 June, 2016
• PC member of the special track: Trust, Security and Privacy of Mobile Multimedia at MobiMedia 2016: 9th EAI International Conference on Mobile Multimedia Communications, Xi'an, China, 18-20 June, 2016
• PC chair of FORECAST 2016: Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, Vienna, Austria, 8 July, 2016
• PC member of ICSOFT-PT 2016: 11th International Conference on Software Paradigm Trends, Lisbon, Portugal, 24-26 July, 2016
• PC member of SPLSeco 2016: Track on Software Product Lines and Software Ecosystems at the 42nd Euromicro conference on Software Engineering and Advanced Applications (SEAA 2016), Limassol, Cyprus, 31 August - 2 September, 2016
• PC member of SPLC 2016: 20th International Systems and Software Product Line Conference, Beijing, China, 19-23 September, 2016
• PC member of SBCARS 2016: 10th Brazilian Symposium on Software Components, Architectures and Reuse, Maringá, Paraná, Brazil, 19-23 September, 2016
• General chair of FMICS-AVoCS 2016: International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems, Pisa, Italy, 26-28 September, 2016
• PC member of ISoLA 2016: 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10-14 October, 2016
• Track chair of Correctness-by-Construction and Post-hoc Verification: friends or foes? A track at the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Corfu, Greece, 10-14 October, 2016
• PC member of the Doctoral Symposium of FM 2016: 21st International Symposium on Formal Methods, Limassol, Cyprus, 7-11 November, 2016
• Presented talk at the Final General Meeting of CINA in Civitanova Marche, January 20.
  Title of talk: From Featured Transition Systems to Modal Transition Systems with Variability Constraints: A Model Transformation. (slides)
• Participated in FMSPLE 2016 (7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering), Eindhoven, The Netherlands, 3 April.
  Title of talk: Towards a Feature mu-Calculus Targeting SPL Verification. (abstract,slides)
• Participated in ISoLA 2016 (7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation), Corfu, Greece, 10-14 October, 2016.
  Title of talk: Statistical Model Checking for Software Product Lines. (abstract,slides)
• Attended ETAPS'16 (18th European Joint Conferences on Theory and Practice of Software), London, UK, 11-18 April.
• Participated in ISoLA 2016 (7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation), Corfu, Greece, 10 October.
  Title of talk: Statistical Model Checking for Product Lines. (abstract,slides)
• Edited (with D. Clarke and I. Schaefer) Special Issue on Formal Methods in Software Product Line Engineering. Journal of Logical and Algebraic Methods in Programming 85, 1 (2016). (editorial preface)
• Published (with A. Fantechi, S. Gnesi, and F. Mazzanti) Modelling and Analysing Variability in Product Families: Model Checking of Modal Transition Systems with Variability Constraints. Journal of Logical and Algebraic Methods in Programming 85, 2 (2016), 287 - 315. (abstract,paper)
• Published (with E.P. de Vink and T.A.C. Willemse) Towards a Feature mu-Calculus Targeting SPL Verification. In Proceedings of the 7th International Workshop on Formal Methods and Analysis for Software Product Line Engineering (FMSPLE'16), Eindhoven, The Netherlands (J. Rubin and T. Thüm, eds.), Electronic Proceedings in Theoretical Computer Science 206, arXiv:1604.00350v1 [cs.LO], 2016, 61 - 75. (abstract,paper)
• Edited (with M. Loreti) Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST'16), Vienna, Austria, 8 July 2016. Electronic Proceedings in Theoretical Computer Science 217, arXiv:1607.02001v1 [cs.LO], 2016. (preface)
• Edited (with H. Melgratti and H. Torres Vieira) Special Track on Service-Oriented Architectures and Programming (SOAP). In Proceedings of the 31st ACM Symposium on Applied Computing (SAC'16), Pisa, Italy, ACM, New York, 2016, 1588 - 1589. (editorial message)
• Edited (with A. Lisitsa, A.P. Nemytykh, and A. Ravara) Special Issue on Automated Specification and Verification of Web Systems. Journal of Logical and Algebraic Methods in Programming 85, 5 (2016). (editorial preface)
• Edited (with S. Gnesi and A. Knapp) Critical Systems: Formal Methods and Automated Verification - Proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS'16), Pisa, Italy, 26-28 September 2016. Lecture Notes in Computer Science 9933, Springer-Verlag, Berlin, 2016. (preface)
• Edited (with S. Gnesi and A. Knapp) Research Ideas FMICS-AVoCS 2016. Technical Report 2016-TR-010, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2016. (report)
• Published (with A. Legay, A. Vandin, and A. Lluch Lafuente) Statistical Model Checking for Product Lines. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 9952, Springer, Berlin, 2016, 114 - 133. (abstract,paper)
• Published (with R. Hähnle and I. Schaefer) Correctness-by-Construction and Post-hoc Verification: Friends or Foes? In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 9952, Springer, Berlin, 2016, 723 - 729. (abstract,paper)
• Published (with J. Carmona and J. Kleijn) Conditions for Compatibility of Components: The Case of Masters and Slaves. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 9952, Springer, Berlin, 2016, 784 - 805. (abstract,paper)
• Published (with M.A. Reniers and E.P. de Vink) Supervisory Controller Synthesis for Product Lines using CIF 3. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 9952, Springer, Berlin, 2016, 856 - 873. (abstract,paper)
• Published (with A. Fantechi, S. Gnesi, and L. Semini) Variability-Based Design of Services for Smart Transportation Systems. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (ISoLA'16), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 9953, Springer, Berlin, 2016, 465 - 481. (abstract,paper)
• Presented lectures at the Department of Computer Science of the University of Pisa, as part of the seminar Modeling and Analysing Variability in Product Families for PhD students, March 4 and 14.
  Title of first lecture: An Introduction to Software Product Lines. (slides)
  Title of second lecture: From Featured Transition Systems to Modal Transition Systems (with variability constraints) and a Variability Model Checker. (slides)

2015:

• External member of the evaluation committee for the M.Sc. Thesis of Tessa Belder: State space reduction for state-based and event-based models of Software Product Lines, Eindhoven University of Technology, The Netherlands, July 2015. Supervisors: Dr. E.P. de Vink and Dr.ir. T.A.C. Willemse.
• External member of the opposition committee for the Ph.D. defense of Rudy van Vliet on DNA Expressions: A Formal Notation for DNA, Leiden University, The Netherlands, 10/12/2015. Supervisors: Prof.dr. J.N. Kok and Dr. H.J. Hoogeboom.
• PC member of ICSR 2015: 14th International Conference on Software Reuse, Miami, FL, USA, 4-6 January, 2015
• PC member of VaMoS 2015: 9th International Workshop on Variability Modeling of Software-Intensive Systems, Hildesheim, Germany, 21-23 January, 2015
• PC member of FMSPLE 2015: 6th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, London, UK, 11 April, 2015
• PC chair of WWV 2015: 11th International Workshop on Automated Specification and Verification of Web Systems, Oslo, Norway, 23 June, 2015
• PC member of ICSOFT-PT 2015: 10th International Conference on Software Paradigm Trends, Colmar, France, 20-22 July, 2015
• PC member of SPLC 2015: 19th International Software Product Line Conference, Nashville, TN, USA, 20-24 July, 2015
• PC member of SPLat 2015: 2nd workshop on Software Product Line Analysis Tools, Nashville, TN, USA, 21 July, 2015
• PC member of SPLSeco 2015: Track on Software Product Lines and Software Ecosystems at the 41st Euromicro conference on Software Engineering and Advanced Applications (SEAA 2015), Funchal, Madeira, Portugal, 26-28 August, 2015
• PC member of VERY* 2015: 2nd Workshop on formal verification for self-* systems, York, UK, 7-8 September, 2015
• PC member of SBCARS 2015: 9th Brazilian Symposium on Software Components, Architectures and Reuse, Belo Horizonte, Brazil, 21-26 September, 2015
• Presented talk at the 3rd General Meeting of CINA in Torino, February 12.
  Title of talk: Feature-based modular verification of software product lines. (slides)
• Participated in FMSPLE 2015 (6th International Workshop on Formal Methods and Analysis in SPL Engineering), London, UK, 11 April.
  Title of talk: Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. (abstract,slides)
• Attended ETAPS'15 (18th European Joint Conferences on Theory and Practice of Software), London, UK, 11-18 April.
• Presented talk at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, July 15.
  Title of talk: Team Automata: Communication and Compatibility. (slides)
• Participated in VERY*SCART 2015 (Workshop on the Art of Service Composition and Formal Verification for Self-* Systems), York, UK, 8 September.
  Title of talk: Towards Automatic Decision Support for Bike-Sharing System Design. (abstract,slides)
• Participated in SEFM 2015 (13th International Conference on Software Engineering and Formal Methods), York, UK, 7-11 September.
  Title of talk: From Featured Transition Systems to Modal Transition Systems with Variability Constraints. (abstract,slides)
• Presented talk at the 2nd QUANTICOL project review in Bruxelles, November 20.
  Title of talk: Towards Variability Analysis for CAS. (slides)
• Published (with S. Gnesi, and F. Mazzanti) From EU Projects to a Family of Model Checkers. In Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (R. De Nicola and R. Hennicker, eds.), Lecture Notes in Computer Science 8950, Springer-Verlag, Berlin, 2015, 312 - 328. (abstract,paper)
• Published (with S. Gnesi and F. Mazzanti) Model Checking Value-Passing Modal Specifications. In Perspectives of System Informatics - Revised selected papers of the 9th International Ershov Informatics Conference (PSI'14), St. Petersburg, Russia (A. Voronkov and I. Virbitskaite, eds.), Lecture Notes in Computer Science 8974, Springer, Berlin, 2015, 304 - 319. (abstract,paper)
• Published (with T. Belder and E.P. de Vink) Coherent branching feature bisimulation. In Proceedings of the 6th International Workshop on Formal Methods and Analysis for Software Product Line Engineering (FMSPLE'15), London, UK (J.M. Atlee and S. Gnesi, eds.), Electronic Proceedings in Theoretical Computer Science 182, arXiv:1504.03474v1 [cs.LO], 2015, 14 - 30. (abstract,paper)
• Published (with A. Legay, A. Lluch Lafuente, and A. Vandin) Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. In Proceedings of the 6th International Workshop on Formal Methods and Analysis for Software Product Line Engineering (FMSPLE'15), London, UK (J.M. Atlee and S. Gnesi, eds.), Electronic Proceedings in Theoretical Computer Science 182, arXiv:1504.03476v1 [cs.LO], 2015, 56 - 70. (abstract,paper)
• Published (with J. Carmona and J. Kleijn) Communication and Compatibility in Systems of Systems: Correctness-by-Construction. ERCIM News - Special: Trustworthy Systems of Systems 102 (2015), 21 - 22. (abstract,paper)
• Published (with A. Legay, A. Lluch Lafuente, and A. Vandin) Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. Extended Versions. QUANTICOL technical report TR-QC-05-2015, 2015. (abstract,paper)
• Edited (with A. Lluch Lafuente) Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems (WWV'15), Oslo, Norway, 23 June 2015. Electronic Proceedings in Theoretical Computer Science 188, arXiv:1508.03389v1 [cs.LO], 2015. (preface)
• Published (with A. Legay, A. Lluch Lafuente, and A. Vandin) Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints. In Proceedings of the 19th International Software Product Line Conference (SPLC'15), Nashville, TN, USA, ACM Press, New York, 2015, 11 - 15. (abstract,paper)
• Published (with A. Fantechi and S. Gnesi) Applying the Product Lines Paradigm to the Quantitative Analysis of Collective Adaptive Systems. In Proceedings of the 19th International Software Product Line Conference (SPLC'15), Nashville, TT, USA, ACM Press, New York, 2015, 321 - 326. (abstract,paper)
• Published (with A. Fantechi, S. Gnesi, and F. Mazzanti) Using FMC for Family-Based Analysis of Software Product Lines. In Proceedings of the 19th International Software Product Line Conference (SPLC'15), Nashville, TN, USA, ACM Press, New York, 2015, 432 - 439. (abstract,paper)
• Published (with F. Damiani, S. Gnesi, F. Mazzanti, and L. Paolini) From Featured Transition Systems to Modal Transition Systems with Variability Constraints. In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM'15), York, UK (R. Calinescu and B. Rumpe, eds.), Lecture Notes in Computer Science 9276, Springer, Berlin, 2015, 344 - 359. (abstract,paper)
• Published (with S. Gnesi, D. Latella, and M. Massink) Towards Automatic Decision Support for Bike-Sharing System Design. In Software Engineering and Formal Methods - Revised Selected Papers of the SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART (D. Bianculli, R. Calinescu and B. Rumpe, eds.), Lecture Notes in Computer Science 9509, Springer, Berlin, 2015, 266 - 280. (abstract,paper)

2014:

• PC member of VaMoS 2014: 8th International Workshop on Variability Modeling of Software-Intensive Systems, Nice, France, 22-24 January, 2014.
• PC chair of WWV 2014: 10th International Workshop on Automated Specification and Verification of Web Systems, Vienna, Austria, 18 July, 2014.
• PC member of the special session SPLSeco: Software Product Lines and Software Ecosystems at SEAA 2014: 40th Euromicro Conference on Software Engineering and Advanced Applications, Verona, Italy, 27-29 August, 2014.
• PC member of WS-FM:FASOCC 2014: 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing, Haifa, Israel, 11-12 September, 2014.
• Co-organiser of SPLC 2014: 18th International Software Product Line Conference, Florence, Italy, 15-19 September, 2014.
• Workshop Co-chair of SPLC 2014: 18th International Software Product Line Conference, Florence, Italy, 15-19 September, 2014.
• PC member of SPLC 2014: 18th International Software Product Line Conference, Florence, Italy, 15-19 September, 2014.
• PC member of SPLat 2014: 1st workshop on Software Product Line Analysis Tools, Florence, Italy, 16 September, 2015.
• PC member of ICTCS 2014: 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, 17-19 September, 2014.
• PC member of SBCARS 2014: 8th Brazilian Symposium on Software Components, Architectures and Reuse, Maceió, Alagoas, Brazil, 28 September - 3 October, 2014.
• PC member of ISoLA 2014: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 8-11 October, 2014.
• Organiser of FMSPLE 2014: 5th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 10 October 2014, held as track of ISoLA 2014: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 8-11 October, 2014.
• Presented talk at the 2nd QUANTICOL plenary meeting in Pisa, February 12.
  Title of talk: Introduction to Software Product Lines and variability analysis (towards analysing quantitative aspects of a bike-sharing product line). (slides)
• Presented talk at the 2nd General Meeting of CINA in Bologna, February 18.
  Title of talk: Combining Declarative and Procedural Views in the Feature-Oriented Specification and Analysis of Product Families. (slides)
• Presented talk at the 2nd General Meeting of CINA in Bologna, February 19.
  Title of talk: Validating Reconfigurations of Reo Circuits in an e-Banking Scenario. (slides)
• Participated in FormaliSE 2014 (2nd FME Workshop on Formal Methods in Software Engineering), Hyderabad, India, 3 June.
  Title of talk: Using mCRL2 for the Analysis of Software Product Lines. (abstract,slides)
• Participated in PSI 2014 (9th International Conference on Perspectives of System Informatics) in St. Petersburg, Russia, 24-27 June.
  Title of talk: Model Checking Value-Passing Modal Specifications. (abstract,slides)
• Participated in SPLat 2014 (First International Workshop on Software Product Line Analysis Tools) in Florence, Italy, 16 September.
  Title of talk: VMC: Recent Advances and Challenges Ahead. (abstract,slides)
• Published (with E.P. de Vink) Using mCRL2 for the Analysis of Software Product Lines (extended version). Technical Report CSR 14/02, Technische Universiteit Eindhoven, The Netherlands, 2014. (abstract,paper)
• Published (with E.P. de Vink) Using mCRL2 for the Analysis of Software Product Lines. In Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE'14), Hyderabad, India, IEEE Computer Society, Los Alamitos, CA, 2014, 31 - 37. (abstract,paper)
• Published (with A. Fantechi, S. Gnesi, and F. Mazzanti) A collection of models of a bike-sharing case study. QUANTICOL technical report TR-QC-07-2014, 2014. (abstract,paper)
• Published (with L. Bortolussi, V. Ciancia, S. Gnesi, J. Hillston, D. Latella, and M. Massink) A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News - Special: Smart Cities 98 (2014), 32. (abstract,paper)
• Published (with J. Kleijn) On Distributed Cooperation and Synchronised Collaboration. Journal of Automata, Languages and Combinatorics 19, 1-4 (2014), 17 - 32. (abstract,paper)
• Edited (with A. Ravara) Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems (WWV'14), Vienna, Austria, 18 July 2014. Electronic Proceedings in Theoretical Computer Science 163, arXiv:1409.2294v1 [cs.LO], 2014. (preface)
• Published (with F. Mazzanti) VMC: Recent Advances and Challenges Ahead. In Proceedings of the First Workshop on Software Product Line Analysis Tools (SPLat'14), Volume 2 of the Proceedings of the 18th International Software Product Line Conference (SPLC'14), Florence, Italy, ACM Press, New York, 2014, 70 - 78. (abstract,paper)
• Published (with E.P. de Vink) Software Product Line Analysis with mCRL2. In Proceedings of the First Workshop on Software Product Line Analysis Tools (SPLat'14), Volume 2 of the Proceedings of the 18th International Software Product Line Conference (SPLC'14), Florence, Italy, ACM Press, New York, 2014, 78 - 85. (abstract,paper)
• Edited (with S. Gnesi, A. Fantechi, G. Botterweck, and M. Becker) Proceedings of the 18th International Software Product Line Conference (SPLC'14), Volume 2: Workshops, Demonstrations and Tools, Florence, Italy. ACM Press, New York, 2014. (front)
• Published (with S. Gnesi and F. Mazzanti) KandISTI: A Family of Model Checkers for the Analysis of Software Designs. ERCIM News - Special: Software Quality 99 (2014), 31 - 32. (abstract,paper)
• Published (with I. Schaefer) Formal Methods and Analyses in Software Product Line Engineering (Track Summary). In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'14), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 8802, Springer, Berlin, 2014, 253 - 256. (paper)
• Published (with A. Fantechi and S. Gnesi) Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'14), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 8802, Springer, Berlin, 2014, 351 - 367. (abstract,paper)
• Published (with E.P. de Vink) Towards Modular Verification of Software Product Lines with mCRL2. In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'14), Corfu, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 8802, Springer, Berlin, 2014, 368 - 385. (abstract,paper)
• Published (with J. Kleijn) Shuffles and Synchronized Shuffles: A Survey. In Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005) (Gh. Paun, G. Rozenberg, and A. Salomaa, eds.), Editura Academiei Romane (The Publishing House of the Romanian Academy), Bucuresti, Romania, 2014, 37 - 50. (abstract,paper)

2013:

%
• Steering Committee member of ISARCS 2013: 4th International ACM Sigsoft Symposium on Architecting Critical Systems, Vancouver, British Columbia, Canada, 17-21 June, 2013. %
• Steering Committee member of FMSPLE 2013: 4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Tokyo, Japan, affiliated with SPLC 2013, 26-30 August, 2013.
• PC member of VaMoS 2013: 7th International Workshop on Variability Modeling of Software-Intensive Systems, Pisa, Italy, 23-25 January, 2013.
• Organiser of VaMoS 2013: 7th International Workshop on Variability Modeling of Software-Intensive Systems, Pisa, Italy, 23-25 January, 2013.
• PC member of SPLC 2013: 17th International Software Product Line Conference, Tokyo, Japan, 26-30 August, 2013.
• PC member of FMSPLE 2013: 4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Tokyo, Japan, 27 August, 2013.
• Organiser of FMSPLE 2013: 4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Tokyo, Japan, 27 August, 2013.
• PC member of WS-FM 2013: 10th International Workshop on Web Services and Formal Methods - Formal Aspects of Service-Oriented and Cloud Computing, Beijing, China, 29-30 August, 2013
• PC member of FOSD 2013: 5th International Workshop on Feature-Oriented Software Development, Indianapolis, IN, USA, 27-28 October, 2013.
• Attended VaMoS'13 (7th International Workshop on Variability Modeling of Software-Intensive Systems), Pisa, Italy, 23-25 January.
• Attended (on invitation) Dagstuhl Seminar 13091 Analysis, Test and Verification in The Presence of Variability in Schloss Dagstuhl, Wadern, Germany, 24 February - 1 March.
  Title of talk: Modelling, analysing and verifying variability by means of Modal Transition Systems. (abstract,slides)
• Attended Theoriedag NVTI (Nederlandse Vereniging voor Theoretische Informatica - Dutch Association for Theoretical Computer Science) in Utrecht, The Netherlands, 5 April.
• Participated in FMSPLE 2013 (4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering), Tokyo, Japan, 27 August.
  Title of talk: Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. (abstract,slides)
• Attended SPLC 2013 (17th International Software Product Line Conference), Tokyo, Japan, 26-30 August.
• Participated in ICTCS 2013 (4th Italian Conference on Theoretical Computer Science), Palermo, Italy, 9-11 September.
  Title of first talk: Validating Reconfigurations of Reo Circuits. (abstract,slides)
  Title of second talk: Combining Declarative and Procedural Views in the Feature-Oriented Specification and Analysis of Product Families. (abstract,slides)
• Presented talk at the Copenhagen Meeting on Variability Analysis presso l'IT Università, Copenhagen, Denmark, 18 November.
  Title of talk: Challenges in modelling and analyzing quantitative aspects of a bike-sharing product line. (abstract,slides)
• Published (with S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni) An Application of Stochastic Model Checking in the Industry: User-centered Modeling and Analysis of Collaboration in thinkteam. Chapter 9 in Formal Methods for Industrial Critical Systems: A Survey of Applications, First Edition (S. Gnesi and T. Margaria, eds.), John Wiley & Sons, Inc., Hoboken, NJ, USA, 2013, 179 - 203. (abstract,paper)
• Published (with S. Gnesi and F. Mazzanti) VMC: A Tool for the Analysis of Variability in Software Product Lines. ERCIM News - Special: Mobile Computing 93 (2013), 50 - 51. (abstract,paper)
• Edited (with N. Lohmann) Web Services and Formal Methods - Revised Selected Papers of the 9th International Workshop on Web Services and Formal Methods (WS-FM 2012), Tallinn, Estonia, 6-7 September 2012. Lecture Notes in Computer Science 7843, Springer-Verlag, Berlin, 2013. (preface)
• Published (with F. Gadducci and F. Santini) Validating Reconfigurations of Reo Circuits in an e-Banking Scenario. In Proceedings of the 4th International ACM Sigsoft Symposium on Architecting Critical Systems (ISARCS'13), Vancouver, British Columbia, Canada (S. Malek, ed.), ACM Press, New York, 2013, 39 - 47. (abstract,paper)
• Published (with D. Clarke, I. Schaefer, S. Apel, and J.M. Atlee) Formal Methods and Analysis in Software Product Line Engineering: 4th edition of FMSPLE workshop series. In Proceedings of the 17th International Software Product Line Conference (SPLC'13), Tokyo, Japan, ACM Press, New York, 2013, 266 - 267. (abstract,paper)
• Published (with A. Lluch Lafuente and M. Petrocchi) Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. In Proceedings of the 4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE'13), Volume 2 of the Proceedings of the 17th International Software Product Line Conference (SPLC'13), Tokyo, Japan, ACM Press, New York, 2013, 10 - 17. (abstract,paper)
• Published (with F. Gadducci and F. Santini) Validating Reconfigurations of Reo Circuits. In Proceedings of the 14th Italian Conference on Theoretical Computer Science (ICTCS'13), Palermo, Italy, Università degli Studi di Palermo, Palermo, 2013, 36 - 44. (abstract,paper)
• Published (with A. Lluch Lafuente and M. Petrocchi) Combining Declarative and Procedural Views in the Feature-Oriented Specification and Analysis of Product Families. In Proceedings of the 14th Italian Conference on Theoretical Computer Science (ICTCS'13), Palermo, Italy, Università degli Studi di Palermo, Palermo, 2013, 69 - 77. (abstract,paper)
• Published (with S. Gnesi and A. Fantechi) Chaining available tools to support the modelling and analysis of a bike-sharing product line: An experience report. QUANTICOL technical report TR-QC-02-2013, 2013. (abstract,paper)
• Published (S. Gnesi and F. Mazzanti) Model Checking Value-Passing Modal Specifications. QUANTICOL technical report TR-QC-03-2013, 2013. (abstract,paper)
• Lecturer for the B.Sc. course Requirements Engineering from the Bachelor Programmes in Computer Science and Computer Science and Economy of Leiden University, The Netherlands

2012:

%
• Steering Committee member of CompArch 2012: International Federation of Events in Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, 25-28 June, 2012. %
• Steering Committee member of ISARCS 2012: 3rd International ACM SIGSOFT Symposium on Architecting Critical Systems, federated with CompArch 2012, Bertinoro, Italy, 25-28 June, 2012.
• PC member of VaMoS 2012: 6th International Workshop on Variability Modeling of Software-Intensive Systems, Leipzig, Germany, 25-27 January, 2012.
• PC Member of SOAP 2012: 27th Annual ACM Symposium on Applied Computing - Track on Service Oriented Architectures and Programming, Riva del Garda (Trento), Italy, 25-29 March, 2012.
• PC member of QSIC 2012: 12th International Conference on Quality Software, Xi'an, China, 27-28 August, 2012.
• PC member of FOSD 2012: 4th International Workshop on Feature-Oriented Software Development, Dresden, Germany, 24-25 September, 2012.
• PC member of MEDI 2012: 2nd International Conference on Model & Data Engineering, Poitiers, Futuroscope, France, 3-5 October, 2012
• Organising chair of iFM & ABZ 2012: joint 9th International Conference on Integrated Formal Methods and Conference ABZ, Pisa, Italy, 18-21 June, 2012.
• Workshop Chair of iFM & ABZ 2012: joint 9th International Conference on Integrated Formal Methods and Conference ABZ, Pisa, Italy, 18-21 June, 2012.
• PC chair of FMSPLE 2012: 3rd International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Salvador, Brazil, 2 September, 2012.
• PC chair of WS-FM 2012: 9th International Workshop on Web Services and Formal Methods, Tallinn, Estonia, 6-7 September, 2012.
• External reviewer of Fabricia Carneiro Roos Frantz' Ph.D. Thesis Automated Analysis of Software Product Lines with Orthogonal Variability Models - Extending the FaMa Ecosystem, University of Seville. Supervisors: Dr. David Benavides Cuevas and Dr. Antonio Ruiz Cortés.
• Attended VaMoS 2012 (6th International Workshop on Variability Modeling of Software-Intensive Systems), Leipzig, Germany, 25-27 January.
• Participated in FM 2012 (18th International Symposium on Formal Methods), Paris, France, 27-31 August.
  Title of talk: VMC: A Tool for Product Variability Analysis. (abstract,slides)
• Participated in SPLC 2012 (16th International Software Product Lines Conference), Salvador, Bahia, Brazil, 2-7 September.
  Title of talk: Demonstration of a model checker for the analysis of product variability. (abstract,slides)
• Participated in FMSPLE 2012 (3rd International Workshop on Formal Methods and Analysis in Software Product Line Engineering), Salvador, Bahia, Brazil, 2 September.
  Title of talk: Towards an Executable Algebra for Product Lines. (on behalf of the paper's authors,slides)
• Participated in WS-FM 2012 (9th International Workshop on Web Services and Formal Methods), Tallinn, Estonia, 6-7 September.
• Published (with H. Muccini and P. Pelliccione) Guaranteeing Correct Evolution of Software Product Lines. ERCIM News - Special: Evolving Software 88 (2012), 40 - 41. (abstract,paper)
• Published (with S. Gnesi, A. Fantechi, and J.L. Fiadeiro) Variability and Rigour in Service Computing Engineering. In Proceedings of the 34th IEEE Software Engineering Workshop (SEW'11), Limerick, Ireland, IEEE Computer Society, Los Alamitos, CA, 2012, 122 - 127. (abstract,paper)
• Published (with J. Kleijn) Vector Team Automata. Theoretical Computer Science 429 (2012), 21 - 29. (abstract,paper)
• Published The Variability Model Checker VMC. Poster and tool demo at the joint 9th International Conference on Integrated Formal Methods and 3rd International Conference on ASM, Alloy, B, VDM, and Z (iFM & ABZ 2012), Pisa, Italy, 2012. (poster,paper)
• Published (with F. Mazzanti and A. Sulova) VMC: A Tool for Product Variability Analysis. In Proceedings of the 18th International Symposium on Formal Methods (FM'12) (D. Giannakopoulou and D. Méry, eds.), Lecture Notes in Computer Science 7436, Springer, Berlin, 2012, 450 - 454. (abstract,paper)
• Published (with A. Classen, I. Schaefer, M. Becker, F. Roos-Frantz, and P.Y.H. Wong) Formal Methods and Analysis in Software Product Line Engineering. In Proceedings of the 16th International Software Product Line Conference (SPLC'12), Salvador, Bahia, Brazil, ACM Press, New York, 2012, 286 - 287. (abstract,paper)
• Published (with S. Gnesi and F. Mazzanti) Demonstration of a model checker for the analysis of product variability. In Proceedings of the 16th International Software Product Line Conference (SPLC'12), Salvador, Bahia, Brazil (Volume II), ACM Press, New York, 2012, 242 - 245. (abstract,paper)
• Published (with H. Muccini, and P. Pelliccione) Assume-Guarantee Testing of Evolving Software Product Line Architectures. In Proceedings of the 4th International Workshop on Software Engineering for Resilient Systems (SERENE'12), Pisa, Italy (P. Avgeriou, ed.), Lecture Notes in Computer Science 7527, Springer, Berlin, 2012, 91 - 105. (abstract,paper)
• Published (with P. Asirelli, A. Fantechi, and S. Gnesi) A Compositional Framework to Derive Product Line Behavioural Descriptions. In Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change (ISoLA'12), Heraklion, Crete, Greece (T. Margaria and B. Steffen, eds.), Lecture Notes in Computer Science 7609, Springer, Berlin, 2012, 146 - 161. (abstract,paper)
• Lecturer for the B.Sc. courses Software Engineering and Studievaardigheden from the Bachelor Programmes in Computer Science and Computer Science and Economy of Leiden University, The Netherlands

2011:

%
• Steering Committee member of CompArch 2011: International Federation of Events in Component-Based Software Engineering and Software Architecture, Boulder, CO, USA, 20-24 June, 2011. %
• Steering Committee member of ISARCS 2011: 2nd International ACM SIGSOFT Symposium on Architecting Critical Systems, federated with CompArch 2011, Boulder, CO, USA, 20-24 June, 2011.
• PC member of SOAP 2011: 26th Annual ACM Symposium on Applied Computing - Track on Service Oriented Architectures and Programming, TaiChung, Taiwan, 21-25 March, 2011.
• PC member of WWV 2011: 7th International Workshop on Automated Specification and Verification of Web Systems, Reykjavik, Iceland, 9 June, 2011.
• PC member of ACSD 2011: 11th International Conference on Application of Concurrency to System Design, Kanazawa, Japan, 20-24 June, 2011.
• PC member of MEDI 2011: 1st International Conference on Model & Data Engineering, Óbidos, Portugal, 28-30 September, 2011.
• Presented talk at the Escuela Técnica Superior de Ingeniería Informatica, University of Seville, Spain, October 21.
  Title of talk: Modelling and Analysing Variability in Product Families. (abstract, slides)
• Presented talk at the Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche (ISTI-CNR), Pisa, November 7.
  Title of talk: Modelling and Analysing Variability in Product Families. (abstract, slides)
• Attended VaMoS 2011 (Fifth International Workshop on Variability Modelling of Software-intensive Systems), Namur, Belgium, 27-29 January.
• Participated in PLEASE 2011 (Second International Workshop on Product LinE Approaches in Software Engineering), Honolulu, Hawaii, USA, 22-23 May.
  Title of talk: Design and Validation of Variability in Product Lines. (abstract,slides)
• Attended ICSE 2011 (33rd International Conference on Software Engineering), Honolulu, Hawaii, USA, 25-28 May.
• Participated in FMOODS/FORTE 2011 (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-9 June.
  Title of talk: A Model-Checking Tool for Families of Services. (abstract,slides)
• Participated in WWV 2011 (7th International Workshop on Automated Specification and Verification of Web Systems), Reykjavik, Iceland, 9 June.
  Title of talk: Product Lines for Service Oriented Applications - PL for SOA. (abstract,slides)
• Participated in SPLC 2011 (15th International Software Product Lines Conference), München, Germany, 21-26 August.
  Title of talk: Formal Description of Variability in Product Families. (abstract,slides)
• Attended FMSPLE 2011 (2nd International Workshop on on Formal Methods and Analysis in Software Product Line Engineering), München, Germany, 26 August.
• Published (with A. Fantechi, S. Gnesi, and F. Mazzanti) A state/event-based model-checking approach for the analysis of abstract system properties. Science of Computer Programming 76, 2 (2011), 119 - 135. (abstract,paper)
• Published (with P. Asirelli, A. Fantechi, S. Gnesi, and F. Mazzanti) Design and Validation of Variability in Product Lines. In Proceedings of the 2nd International Workshop on Product LinE Approaches in Software Engineering (PLEASE'11), Companion Proceedings of the 33rd International Conference on Software Engineering (ICSE'11), Honolulu, Hawaii, ACM Press, New York, 2011, 25 - 30. (abstract,paper)
• Published 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 (M. Wirsing and M. Hölzl, eds.), Lecture Notes in Computer Science 6582, Springer-Verlag, Berlin, 2011, 655 - 677. (abstract,paper)
• Published (with A. Lapadula, M. Loreti, and C. Palasciano) 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 (M. Wirsing and M. Hölzl, eds.), Lecture Notes in Computer Science 6582, Springer-Verlag, Berlin, 2011, 678 - 697. (abstract,paper)
• Published (with E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil) 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 (J. Kelemen and A. Kelemenová, eds.), Lecture Notes in Computer Science 6610, Springer-Verlag, Berlin, 2011, 70 - 89. (abstract,paper)
• Published (with P. Asirelli, A. Fantechi, and S. Gnesi) A Model-Checking Tool for Families of Services. In Formal Techniques for Distributed Systems - Proceedings of the Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'11) and 31st IFIP WG 6.1 International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE'11), Reykjavik, Iceland (R. Bruni and J. Dingel, eds.), Lecture Notes in Computer Science 6722, Springer-Verlag, Berlin, 2011, 44 - 58. (abstract,paper)
• Published (with S. Gnesi and M.N. Njima) Product Lines for Service Oriented Applications - PL for SOA. In Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV'11), Reykjavik, Iceland (L. Kovacs, R. Pugliese, and F. Tiezzi, eds.), Electronic Proceedings in Theoretical Computer Science 61, arXiv:1108.2350v1 [cs.SE], 2011, 34 - 48. (abstract,paper)
• Published (with M.N. Njima and S. Gnesi, Product Line Architectures for SOA. In Proceedings of the 11th International Conference on Software Engineering Research and Practice (SERP'11), Las Vegas, Nevada, USA (H.R. Arabnia, H. Reza, and L. Deligiannidis, eds.), CSREA Press, Athens, GA, 2011, 227 - 232. (abstract,paper)
• Published (with P. Asirelli, A. Fantechi, and S. Gnesi) Formal Description of Variability in Product Families. In Proceedings of the 15th International Software Product Line Conference (SPLC'11), München, Germany, IEEE Computer Society, Los Alamitos, CA, 2011, 130 - 139. (abstract,paper)
• Published (with H. Muccini and P. Pelliccione) Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. In Proceedings of the Third International Workshop on Software Engineering for Resilient Systems (SERENE'11), Geneva, Switzerland (E.A. Troubitsyna, ed.), Lecture Notes in Computer Science 6968, Springer-Verlag, Berlin, 2011, 100 - 105. (abstract,paper)

2010:

• PC member of SOAP 2010: Track on Service Oriented Architectures and Programming al 25th Annual ACM Symposium on Applied Computing, Sierre, Switzerland, 21-26 March, 2010.
• PC member of special session on Trust and Context in Ubiquitous Computing at IMIS 2010, Krakow, Poland, 15-18 February, 2010. %
• Steering Committee member of ISARCS 2010: 1st International Symposium on Architecting Critical Systems, federated with CompArch 2010, Prague, Czech Republic, 23-25 June, 2010.
• Workshop Chair of SEFM 2010: 8th IEEE International Conference on Software Engineering and Formal Methods, Pisa, Italy, 13-18 September 2010.
• Participated in VaMoS 2010 (Fourth International Workshop on Variability Modelling of Software-intensive Systems), Linz, Austria, 27-29 January.
  Title of talk: A deontic logical framework for modelling product families. (abstract,slides)
• Presented talk at the XXL project meeting in Pisa, Italy, June 21.
  Title of talk: A logical framework to deal with variability (research in progress). (slides)
• Participated in ISARCS'10 (1st International Symposium on Architecting Critical Systems), federated with CompArch 2010, Prague, Czech Republic, June 23-25.
• Participated in SEFM'10 (8th IEEE International Conference on Software Engineering and Formal methods), Pisa, Italy, September 13-18.
• Participated in FM+AM'10 (Second International Workshop on Formal Methods and Agile Methods), Pisa, Italy, September 17.
  Title of talk: An Experience on Formal Analysis of a high-level graphical SOA Design. (abstract,slides)
• Participated in ACoTA'10 (First International Workshop on Automated Configuration and Tailoring of Applications), Antwerp, Belgium, September 20.
  Title of talk: Modelling Variability, Evolvability, and Adaptability in Service Computing. (abstract,slides)
• Editorial Board member of the Special Issue Software Engineering in Argentina: Present and Future Trends, SADIO Electronic Journal of Informatics and Operations Research 9, 1 (2010).
• Published (with P. Asirelli, A. Fantechi, and S. Gnesi) A deontic logical framework for modelling product families. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria (D. Benavides, D. Batory, and P. Grünbacher, eds.), ICB Research Report 37, Universität Duisburg Essen, 2010, 37 - 44. (abstract,paper)
• Published (with F. Mazzanti) Modelling and Analysing the Finance Case Study in UMC. Technical Report 2010-TR-007, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2010. (abstract,paper)
• Published (with F. Mazzanti) Manual for Using the UMC Model of the Finance Case Study. SENSORIA report, 2010. (abstract,paper)
• Published (with F. Mazzanti) Manual for Using the UMC Model of the Automotive Case Study. SENSORIA report, 2010. (abstract,paper)
• Published (with F. Mazzanti and A. Sulova) An Experience on Formal Analysis of a high-level graphical SOA Design. In Proceedings of the Second International Workshop on Formal Methods and Agile Methods (FM+AM'10), Pisa, Italy (S. Gruner and B. Rumpe, eds.), Lecture Notes in Informatics 179, Gesellschaft für Informatik, Bonn, 2010, 79 - 98. (abstract,paper)
• Published (with A. Fantechi, S. Gnesi, and G. Zavattaro) Modelling Variability, Evolvability, and Adaptability in Service Computing. In Proceedings of the First International Workshop on Automated Configuration and Tailoring of Applications (ACoTA'10), Antwerp, Belgium (D. Dhungana, R. Rabiser, N. Seyff, G. Botterweck, eds.), CEUR Workshop Proceedings 688, 2010, 14 - 19. (abstract,paper)
• Published (with P. Asirelli, A. Fantechi, and S. Gnesi) A Logical Framework to Deal with Variability. In Proceedings of the 8th International Conference on Integrated Formal Methods (IFM'10), Nancy, France (D. Méry and S. Merz, eds.), Lecture Notes in Computer Science 6396, Springer-Verlag, Berlin, 2010, 43 - 58. (abstract,paper)

2009:

• PC member of YR-SOC 2009: European Young Researchers Workshop on Service-Oriented Computing, Pisa, 17-19 June, 2009
• Organising chair of YR-SOC 2009: European Young Researchers Workshop on Service-Oriented Computing, Pisa, 17-19 June, 2009.
• PC member of ASSE 2009: 10th Argentine Symposium on Software Engineering, Mar del Plata, Argentina, 27-28 August, 2009.
• Presented talk at the SENSORIA Workshop in Munich, Germany, February 10.
  Title of talk: Finance Case Study: UML Specification and Verification with UMC. (slides)
• Participated in ICFI'10 (10th International Conference on Feature Interactions), Lisbon, Portugal, June 11-12.
• Participated in YR-SOC 2009 (European Young Researchers Workshop on Service-Oriented Computing), Pisa, Italy, June 17-19.
• Presented talk at the SENSORIA General Meeting in Milan, Italy, November 25.
  Title of talk: Title of talk: Sensoria Results Applied to the Case Studies. (slides)
• Published (with P. Asirelli, A. Fantechi, and S. Gnesi) Deontic Logics for Modeling Behavioural Variability. In Proceedings of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain (D. Benavides, A. Metzger, and U. Eisenecker, eds.), ICB Research Report 29, Universität Duisburg-Essen, 2009, 71 - 76. (abstract,paper)
• Published (with G.P. Faconti, M. Massink, P. Palanque and M. Winckler) Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach - Full Version. Technical Report 2009-TR-001, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2009. (abstract,paper)
• Published (with S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni) Assisting the Design of a Groupware System - Model Checking Usability Aspects of thinkteam. The Journal of Logic and Algebraic Programming 78, 4 (2009), 191 - 232. (abstract,paper)
• Edited (with A. Aldini and F. Gadducci) Proceedings of the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro, Italy, 30-31 August 2008. Electronic Notes in Theoretical Computer Science 236, Elsevier Science Publishers, 2009. (preface)
• Published (with F. Mazzanti and S. Gnesi) CMC-UMC: A Framework for the Verification of Abstract Service-Oriented Properties. In Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09), Honolulu, Hawaii, USA, ACM Press, 2009, 2111 - 2117. (abstract,paper)
• Published (with J. Kleijn) Associativity of Infinite Synchronized Shuffles and Team Automata. Fundamenta Informaticae 91, 3-4 (2009), 437 - 461. (abstract,paper)
• Published (with S. Gnesi, C. Montangero, and L. Semini) Detecting Policy Conflicts by Model Checking UML State Machines. In Feature Interactions in Software and Communication Systems X (M. Nakamura and S. Reiff-Marganiec, eds.), IOS Press, Amsterdam, 2009, 59 - 74. (abstract,paper)
• Edited Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009), Pisa, Italy, 17-19 June 2009. Electronic Proceedings in Theoretical Computer Science 2, arXiv:0906.4900v1 [cs.SE], 2009. (preface)
• Published (with S. Gnesi, D. Latella, M. Massink, G. Trentanni and M. Sebastianis) thinkteam with Replicated Data Repositories - Stochastic Model Checking in Industry. Technical Report 2009-TR-027, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2009. (abstract,paper)
• Published (with P. Palanque, M. Winckler, J.-F. Ladry, G. Faconti, and M. Massink) A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'09), Pittsburgh, PA, USA (G. Calvary, T.C.N. Graham, and P. Gray, eds.), ACM Press, 2009, 211 - 220. (abstract,paper)
• Published (with G.P. Faconti, M. Massink, P.A. Palanque, and M. Winckler) Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach. In Human-Computer Interaction - INTERACT 2009: Part I of the Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT'09), Uppsala, Sweden (T. Gross et al., eds.), Lecture Notes in Computer Science 5726, Springer-Verlag, Berlin, 2009, 494 - 509. (abstract,paper)
• Published (with A. Bucchiarone and S. Gnesi) Dynamic Software Architecture Development: Towards an Automated Process. In Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'09), Patras, Greece, IEEE Press, 2009, 105 - 108. (abstract,paper)
• Edited (with R. de Lemos, J.-C. Fabre, C. Gacek, and F. Gadducci) Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer-Verlag, Berlin, 2009. (preface)

2008:

• PC member of CHINA 2008: Concurrency metHods: Issues aNd Applications, Xi'an, China, 24 June, 2008.
• PC member of VODCA 2008: the 3rd international workshop on Views On Designing Complex Architectures at Bertinoro, Italy, August 30-31.
• Co-organiser of VODCA 2008: the 3rd international workshop on Views On Designing Complex Architectures at Bertinoro, Italy, August 30-31.
• Co-organiser (local organization chair) of SENSORIA General Meeting (75 participants) at ISTI-CNR, Pisa, June 9-11.
• Presented talk at the SENSORIA Workshop in Munich, Germany, March 13.
  Title of talk: Qualitative and Quantitative Analysis in Automotive Scenarios - A preview of D8.6. (slides)
• Participated in ICSE'08 (30th International Conference on Software Engineering), Leipzig, Germany, May 10 - 18.
  Title of talk: Formal Verification of an Automotive Scenario in Service-Oriented Computing. (abstract, slides)
• Presented talk at the SENSORIA General Meeting at ISTI-CNR, Pisa, June 11.
  Title of talk: Relations between case studies and Theme 2 results - Towards deliverable D8.6. (slides)
• Published (with F. Gadducci and D. Janssens) A Calculus for Team Automata. In Proceedings of the Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Brazil (A. Martins Moreira and L. Ribeiro, eds.), Electronic Notes in Theoretical Computer Science 195, Elsevier Science Publishers, 2008, 41 - 55. (abstract,paper)
• Published (with A. Fantechi, S. Gnesi, and F. Mazzanti) An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. In Formal Methods for Industrial Critical Systems - Revised Selected Papers of the 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany (S. Leue and P. Merino, eds.), Lecture Notes in Computer Science 4916, Springer-Verlag, Berlin, 2008, 133 - 148. (abstract, paper)
• Published (with S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni) Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News - R&D and Technology Transfer 73 (2008), 43 - 44. (abstract,paper)
• Published (with S. Gnesi, N. Koch, and F. Mazzanti) Formal Verification of an Automotive Scenario in Service-Oriented Computing. In Proceedings of the 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, ACM Press, New York, 2008, 613 - 622. (abstract, paper)
• Published (with S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni) Assisting the Design of a Groupware System. Technical Report 2008-TR-13, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2008. (abstract, paper)
• Published (with M. Massink, D. Latella, M. Harrison, and M. Loreti) A Fluid Flow Approach to Usability Analysis of Multi-user Systems - Full Version. Technical Report 2008-TR-14, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2008. (abstract, paper)
• Published (with M. Massink, D. Latella, M. Harrison, and M. Loreti) A Fluid Flow Approach to Usability Analysis of Multi-user Systems. In Engineering Interactive Systems 2008 - Proceedings of the 2nd Conference on Human-Centred Software Engineering (HCSE'08), Pisa, Italy (P. Forbrig and F. Paternò, eds.), Lecture Notes in Computer Science 5247, Springer-Verlag, Berlin, 2008, 166 - 180. (abstract, paper)

2007:

• PC member of ASSE 2007: the 8th Argentine Symposium on Software Engineering, Mar del Plata, Argentine, 29-30 August, 2007.
• Attended (on invitation) IFIP WG 1.3 meeting at ETAPS'07 (10th European Joint Conferences on Theory and Practice of Software) in Braga, Portugal, March 23-24.
• Participated in ICIW'07 (2nd International Conference on Internet and Web Applications and Services), Le Morne, Mauritius, May 13 - 19.
  Title of talk: Web Service Composition Approaches: From Industrial Standards to Formal Methods. (abstract, slides)
• Participated in AICT'07 (3rd Advanced International Conference on Telecommunications), Le Morne, Mauritius, May 13 - 19.
  Title of talk: Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. (abstract, slides)
• Participated in YR-SOC'07 (2nd European Young Researchers Workshop on Service Oriented Computing), Leicester, UK, June 11 - 12.
  Title of talk: Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario. (abstract, slides)
• Participated in SEEFM'07 (3rd South-East European Workshop on Formal Methods), Thessaloniki, Greece, November 30 - December 1.
  Title of talk: Formal Methods for Service Composition. (abstract, slides)
• Edited (with F. Gadducci) Proceedings of the Second International Workshop on Views On Designing Complex Architectures (VODCA 2006), Bertinoro, Italy, 16-17 September 2006. Electronic Notes in Theoretical Computer Science 168, 2007. (preface)
• Published (with J. Kleijn) Infinite Unfair Shuffles and Associativity. Theoretical Computer Science 380, 3 (2007), 401 - 410. (abstract,paper)
• Published (with A. Bucchiarone and S. Gnesi) Web Service Composition Approaches: From Industrial Standards to Formal Methods. In Proceedings of the 2nd International Conference on Internet and Web Applications and Services (ICIW'07), IEEE Computer Society, 2007. (abstract, paper)
• Published (with C. Moiso and M. Petrocchi) Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. In Proceedings of the 3rd Advanced International Conference on Telecommunications (AICT'07), IEEE Computer Society, 2007. (abstract, paper)
• Published (with C. Moiso and M. Petrocchi) Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario. In Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC'07), Leicester, UK (S. Gorton, M. Solanki, and S. Reiff-Marganiec, eds.), University of Leicester, 2007, 94 - 100. (abstract, paper)
• Published (with A. Fantechi, S. Gnesi, and F. Mazzanti) An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications. In Proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany (S. Leue and P. Merino, eds.), Universität Konstanz / Universidad de Málaga, Germany / Spain, 2007, 135 - 147. (abstract, paper)
• Published (with S. Gnesi, F. Martinelli, F. Mazzanti and M. Petrocchi) Formal Modelling and Verification in Service-Oriented Computing. ERCIM News - Special: Service-Oriented Computing 70 (2007), 27 - 28. (abstract,paper)
• Published (with E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil) On Competence in CD Grammar Systems with Parallel Rewriting. International Journal of Foundations of Computer Science 18, 6 (2007), 1425 - 1439. (abstract,paper)
• Published (with A. Bucchiarone and S. Gnesi) Formal Methods for Service Composition. In Proceedings of the 3rd South-East European Workshop on Formal Methods (SEEFM'07), Thessaloniki, Greece (D. Dranidis and I. Sakellariou, eds.), South-East European Research Centre, Thessaloniki, 2007, 65 - 78. (abstract, paper)
• Published (with A. Bucchiarone and S. Gnesi) Formal Methods for Service Composition. Annals of Mathematics, Computing & Teleinformatics 1, 5 (2007), 1 - 10. (abstract,paper)
• Teaching assistant for Software Engineering at the Department of Computer Science of the University of Pisa, Pisa, Italy.

2006:

• PC chair of VODCA 2006: the 2nd international workshop on Views On Designing Complex Architectures at Bertinoro, Italy, September 16-17.
• Co-organiser of VODCA 2006: the 2nd international workshop on Views On Designing Complex Architectures at Bertinoro, Italy, September 16-17.
• Participated in ECOWS'06 (4th IEEE European Conference on Web Services), Zurich, Switzerland, December 4 - 6.
  Title of talk: Formal Modelling and Verification of an Asynchronous Extension of SOAP. (abstract, slides)
• Edited (with F. Gadducci) Proceedings of the First International Workshop on Views On Designing Complex Architectures (VODCA 2004), Bertinoro, Italy, 11-12 September 2004. Electronic Notes in Theoretical Computer Science 142, 2006. (preface)
• Published (with M. Massink and D. Latella) Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In Interactive Systems: Design, Specification, and Verification - Revised papers of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS'05), Newcastle upon Tyne, UK (S.W. Gilroy and M.D. Harrison, eds.), Lecture Notes in Computer Science 3941, Springer, Berlin, 2006, 39 - 50. (abstract,paper)
• Published (with A. Bucchiarone and S. Gnesi) A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods. Technical Report 2006-TR-15, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2006. (abstract,paper)
• Published (with S. Gnesi, F. Mazzanti and C. Moiso) Formal Modelling and Verification of an Asynchronous Extension of SOAP. Technical Report 2006-TR-19, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2006. (abstract,paper)
• Edited (with F. Gadducci) Preproceedings of the Second International Workshop on Views On Designing Complex Architectures (VODCA 2006), Bertinoro, Italy, 16-17 September 2006. Felici Editore, 2006. (preproceedings)
• Published (with F. Gadducci and D. Janssens) A calculus for team automata. In Proceedings of the 9th Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Brazil (L. Ribeiro and A. Martins Moreira, eds.), Istituto de Informatica da UFRGS, Porto Alegre, 2006, 59 - 72. (abstract, paper)
• Published (with S. Gnesi, F. Mazzanti and C. Moiso) Formal Modelling and Verification of an Asynchronous Extension of SOAP. Proceedings of the 4th IEEE European Conference on Web Services (ECOWS'06), Zurich, Switzerland (A. Bernstein, T. Gschwind, and W. Zimmermann, eds.), IEEE Computer Society, Los Alamitos, CA, 2006, 287 - 296. (abstract,paper)
• Published (with C. Moiso and M. Petrocchi) Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. Technical Report 2006-TR-42, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2006. (abstract,paper)
• Published (with G. Lenzini and M. Petrocchi) A Team Automaton Scenario for the Analysis of Security Properties in Communication Protocols. Journal of Automata, Languages and Combinatorics 11, 4 (2006), 345 - 374. (abstract,paper)

2005:

• Presented talk at the SENSORIA meeting at Telecom Lab Italia in Torino, Italy, December 19.
  Title of talk: Model Checking Publish/Subscribe Event Notification. (slides)
• Participated in WORDS'05 (5th International Conference on Words) in Montréal (QC), Canada, September 13 - 17.
  Title of talk: Infinite Unfair Shuffles and Associativity. (abstract, slides)
• Participated as an auditor in Lipari School on Formal Methods: Theory And Practice (17th International School for Computer Science Researchers) in Lipari, Italy, July 10 - 23
• Presented lecture at the Department of Mathematics and Computer Science of the University of Antwerp, Belgium, April 20, as part of the course Seminarie Informatica - Tools for Software Engineering.
  Title of talk: Model Checking with SPIN. (abstract, slides)
• Published (with J. Kleijn) Infinite Unfair Shuffles and Associativity. Technical Report 2005-03, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2005. (abstract,paper)
• Published (with G. Lenzini and M. Petrocchi) Team Automata for Security - A Survey -. In Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04), London, UK (R. Focardi and G. Zavattaro, eds.), Electronic Notes in Theoretical Computer Science 128, 5, Elsevier Science Publishers, 2005, 105 - 119. (abstract,paper)
• Published (with M. Massink and D. Latella) Towards Model Checking Stochastic Aspects of the thinkteam User Interface - FULL VERSION. Technical Report 2005-TR-18, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2005. (abstract,paper)
• Published (with M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis) Model Checking Publish/Subscribe Notification for thinkteam. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), Linz, Austria (J. Bicarregui, A. Butterfield, and A. Arenas, eds.), Electronic Notes in Theoretical Computer Science 133, Elsevier Science Publishers, 2005, 275 - 294. (abstract,paper)
• Published (with M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, A Case Study on the Automated Verification of Groupware Protocols. In Proceedings of the 27th International Conference on Software Engineering (ICSE'05), St. Louis, MO, U.S.A., ACM Press, New York, 2005, 596 - 603. (abstract,paper)
• Published (with J. Kleijn) Modularity for Teams of I/O Automata. Information Processing Letters 95, 5 (2005), 487 - 495. (paper)
• Published (with C. Martín-Vide and V. Mitrana) Synchronized Shuffles. Theoretical Computer Science 341, 1-3 (2005), 263 - 275. (abstract,paper)
• Published (with M. Massink and D. Latella) Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In Proceedings of the 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05), Newcastle upon Tyne, UK, 2005, 25 - 36. (abstract,paper)
• Published (with J. Kleijn) Infinite Unfair Shuffles and Associativity. In Proceedings of the 5th International Conference on Words (WORDS'05), Montréal (QC), Canada (S. Brlek and C. Reutenauer, eds.), Publications du Laboratoire de Combinatoire et d'Informatique Mathématique 36, Université du Québec à Montréal, Montréal, 2005, 129 - 146. (abstract,paper)
• Published (with G. Lenzini and M. Petrocchi) Contributions of Team Automata in Security. ERCIM News - Special: Security and Trust Management 63 (2005), 38 - 39. (abstract,paper)
• Published (with F. Gadducci and D. Janssens) A calculus for team automata. Technical Report 05/13, Department of Mathematics and Computer Science, University of Antwerp, 2005. (abstract,paper)

2004:

• Presented talk at the MURST project SP4 meeting at the Department of Computer Science of the University of Bologna, Italy, December 9.
  Title of talk: The thinkteam Case Study: Overview and Outlook. (slides)
• Organising chair of VODCA: the 1st international workshop on Views On Designing Complex Architectures at Bertinoro, Italy, September 11-12
• PC member of VODCA: the 1st international workshop on Views On Designing Complex Architectures at Bertinoro, Italy, September 11-12
• Presented talk at the MURST project SP4 meeting at the Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche in Pisa, Italy, July 12.
  Title of talk: Model Checking Publish/Subscribe Notification for thinkteam. (slides)
• Participated in COOP'04 (6th International Conference on the Design of Cooperative Systems) in Hyères Les Palmiers, France, May 12 - 14.
  Title of talk: Model Checking Groupware Protocols. (abstract, slides)
• Presented talk at the Institute for Software Technology, Graz University of Technology, Graz, Austria, March 10.
  Title of talk: Team Automata and their Application to Security Analysis. (abstract, slides: part 1, part 2, part 3)
• Published (with E. Csuhaj-Varjú and V. Mitrana) Teams of Pushdown Automata. International Journal of Computer Mathematics 81, 2 (2004), 141 - 156. (abstract,paper)
• Published (with M. Massink, D. Latella, and S. Gnesi) Model Checking Groupware Protocols. In Cooperative Systems Design - Scenario-Based Design of Collaborative Systems (F. Darses, R. Dieng, C. Simone, and M. Zacklad, eds.), Frontiers in Artificial Intelligence and Applications 107, IOS Press, Amsterdam, 2004, 179 - 194. (abstract,paper)
• Published (with G. Lenzini and M. Petrocchi) Team Automata for Security Analysis. Technical Report TR-CTIT-04-13, Centre for Telematics and Information Technology, University of Twente, 2004. (abstract,paper)
• Published (with M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis) Model Checking Publish/Subscribe Notification for thinkteam. Technical Report 2004-TR-20, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2004. (abstract,paper)
• Published (with G. Lenzini and M. Petrocchi) Team Automata for Security - A Survey -. Technical Report IIT TR-06/2004, Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, 2004. (abstract,paper)
• Published (with M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis) Automated Verification of Groupware Protocols. ERCIM News - Special: Automated Software Engineering 58 (2004), 33 - 35. (abstract,paper)
• Published (with G. Lenzini and M. Petrocchi) Team Automata for Security - A Survey -. In Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04) - Satellite workshop of CONCUR 2004, London, UK (R. Focardi and G. Zavattaro, eds.). (abstract,paper)
• Published (with M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, Model Checking Publish/Subscribe Notification for thinkteam. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04) - In conjunction with the 19th IEEE International Conference on Automated Software Engineering (ASE'04), Linz, Austria, Technical Report SEA-SR-03, Institute for Systems Engineering & Automation, Kepler University Linz, 2004, 35--52. (abstract,paper)
• Published (with E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil) On Competence in CD Grammar Systems. In Proceedings of the Eighth International Conference on Developments in Language Theory (DLT'04), Auckland, New Zealand (C.S. Calude et al., eds.), Lecture Notes in Computer Science 3340, Springer-Verlag, Berlin, 2004, 76 - 88. (abstract,paper)
• Edited (with F. Gadducci) Preproceedings of the First International Workshop on Views On Designing Complex Architectures (VODCA 2004), Bertinoro, Italy, 11-12 September 2004.
• Published (with J. Kleijn) Modularity for Teams of I/O Automata. Technical Report 2004-09, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2004. (abstract,paper)

2003:

• Successfully defended Ph.D. thesis at Leiden University in Leiden, The Netherlands, December 10. (opposition committee, thesis)
• Presented talk (voluntary part of the defense formalities) at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, December 8.
  Title of talk: Team Automata - A Formal Approach to the Modeling of Collaboration Between System Components. (abstract,slides)
• Presented talk at the MURST project SP4 meeting at the Politecnico di Milano in Milano, Italy, December 2.
  Title of talk: Model Checking Groupware Protocols. (abstract, slides)
• Participated in FM 2003 (12th International Symposium of Formal Methods Europe) in Pisa, Italy, September 8 - 14.
  Title of talk: Team Automata Satisfying Compositionality. (abstract,slides)
• Attended FM 2003 Workshop ST.EVE on State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specification and Software Engineering (A Satellite Workshop to FM 2003) in Pisa, Italy, September 13.
• Attended FM 2003 Workshop FAST on Formal Aspects in Security and Trust (A Satellite Workshop to FM 2003) in Pisa, Italy, September 8 - 9.
• Attended FM 2003 Tutorial on Hybrid Systems for Computer Scientists (A Satellite Event to FM 2003) in Pisa, Italy, September 9.
• Attended FM 2003 Tutorial on Advanced SPIN model checking (A Satellite Event to FM 2003) in Pisa, Italy, September 8.
• Participated in PSI'03 (5th International Conference on Perspectives of System Informatics) in Novosibirsk, Akademgorodok, Russia, July 9 - 12.
  Title of talk: Teams of Pushdown Automata. (abstract,slides)
• Attended ATPN 2003 (24th International Conference on Application and Theory of Petri Nets) in Eindhoven, The Netherlands, June 23 - 27.
• Participated in WISP'03 ATPN-Workshop on Issues in Security and Petri Nets (A Satellite Workshop to ATPN 2003) in Eindhoven, The Netherlands, June 23.
  Title of talk: Team Automata for Security Analysis of Multicast/Broadcast Communication. (abstract,slides)
• Presented talk at the MURST project SP4 meeting at the Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche in Pisa, Italy, June 19.
  Title of talk: Model Checking Groupware Protocols - bringing together theory & practice. (slides)
• Presented talk at the Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche in Pisa, Italy, January 7.
  Title of talk: Team Automata. (abstract, slides)
• Published Animal Farm: An Eco-Grammar System in Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back (C. Martin-Vide and V. Mitrana, eds.), Topics in Computer Mathematics 9, Taylor and Francis, London, 2003, 9 - 16. (abstract,paper)
• Published (with C.A. Ellis, J. Kleijn, and G. Rozenberg) Synchronizations in Team Automata for Groupware Systems in Computer Supported Cooperative Work - The Journal of Collaborative Computing, 12, 1 (2003), 21 - 69. (abstract,paper)
• Published (with E. Csuhaj-Varjú and V. Mitrana) Teams of Pushdown Automata in Perspectives of System Informatics: Revised papers of the Fifth International Andrei Ershov Memorial Conference (PSI 2003), Akademgorodok, Novosibirsk, Russia (M. Broy and A.V. Zamulin, eds.), Lecture Notes in Computer Science 2890, Springer-Verlag, Berlin, 2003, 329 - 337. (abstract,paper)
• Published (with G. Lenzini and M. Petrocchi) Team Automata for Security Analysis of Multicast/Broadcast Communication. Technical Report 2003-TR-13, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003. (abstract,paper)
• Published (with G. Lenzini and M. Petrocchi) Team Automata for Security Analysis of Multicast/Broadcast Communication in Proceedings of the ATPN-Workshop on Issues in Security and Petri Nets (WISP'03), Eindhoven, The Netherlands (N. Busi, R. Gorrieri, and F. Martinelli, eds.), Beta Research School for Operations Management and Logistics, Department of Technology Management, Eindhoven University of Technology, 2003, 57 - 71. (abstract,paper)
• Published (with J. Kleijn) Team Automata Satisfying Compositionality. Technical Report 2003-TR-17, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003. (abstract,paper)
• Published (with J. Kleijn) Team Automata Satisfying Compositionality In Proceedings of FME 2003: Formal Methods - the 12th International Symposium of Formal Methods Europe, Pisa, Italy (K. Araki, S. Gnesi, and D. Mandrioli, eds.), Lecture Notes in Computer Science 2805, Springer-Verlag, Berlin, 2003, 381 - 400. (abstract,paper)
• Published (with C. Martin-Vide and V. Mitrana) Synchronized Shuffles. Technical Report 2003-TR-40, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003. (abstract,paper)
• Published (with M. Massink, D. Latella, and S. Gnesi) Model Checking Groupware Protocols. Technical Report 2003-TR-61, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003. (abstract,paper)
• Published Team Automata - A Formal Approach to the Modeling of Collaboration Between System Components as Ph.D. thesis, Leiden Institute of Advanced Computer Science, Leiden University, December 2003. (abstract,thesis)
• Teaching assistant for Laboratorium of Introduction to Programming at the Department of Computer Science of the University of Pisa, Pisa, Italy.

2002:

• Attended the Annual meeting of the project MolCoNet in Budapest, Hungary, November 29 - 30.
• Attended AFL'02 (10th International Conference on Automata and Formal Languages) in Debrecen, Hungary, August 13 - 18.
• Presented talk at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, June 12.
  Title of talk: Behaviour of Team Automata. (abstract,slides)
• Presented talk at the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI) in Budapest, Hungary, May 30.
  Title of talk: Team Automata for Spatial Access Control. (abstract,slides)
• Presented talk within Seminar on Automata Theory at the Department of Computer Science of the University of Szeged in Szeged, Hungary, April 23.
  Title of talk: Team Automata for Spatial Access Control. (abstract,slides)
• Participated in Escuela Internacional de Bioinformática under auspician of UNESCO-CISM "Education in Basic Sciences for Informatics" in La Habana, Cuba, January 7 - 16.
• Published (with J. Kleijn) Petri Net Control for Grammar Systems in Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg (W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa, eds.), Lecture Notes in Computer Science 2300, Springer-Verlag, Berlin, 2002, 220 - 243. (abstract,paper)
• Published (with E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil) On Competence in Cooperating Distributed Grammar Systems. Technical Report 2002/1, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002. (abstract)
• Published (with E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil) On Competence in Cooperating Distributed Grammar Systems, part II. Technical Report 2002/2, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002. (abstract)
• Published (with E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil) On Competence in Cooperating Distributed Grammar Systems, part III. Technical Report 2002/3, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002. (abstract)
• Published (with E. Csuhaj-Varjú and V. Mitrana) Teams of Pushdown Automata, Technical Report 2002/4, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002. (abstract, paper)

2001:

• Attended FUN 2001 (2nd International Conference on Fun with Algorithms) on Isola d'Elba, Italy, May 29 - 31.
• Participated in ECSCW 2001 (7th European Conference on Computer Supported Cooperative Work) in Bonn, Germany, September 16 - 20.
  Title of talk: Team Automata for Spatial Access Control. (slides)
• Published (with C.A. Ellis, J. Kleijn, and G. Rozenberg) Team Automata for Spatial Access Control as Technical Report TR-01-03, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2001. (abstract, paper)
• Published (with C.A. Ellis, J. Kleijn, and G. Rozenberg) Team Automata for Spatial Access Control in Proceedings of the Seventh European Conference on Computer-Supported Cooperative Work (ECSCW 2001), Bonn, Germany (W. Prinz, M. Jarke, Y. Rogers, K. Schmidt, and V. Wulf, eds.), Kluwer Academic Publishers, Dordrecht, 2001, 59 - 77. (abstract,paper)
• Published (with C.A. Ellis, J. Kleijn, and G. Rozenberg) Team Automata for CSCW as Technical Report TR-01-07, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2001. (abstract, paper)
• Published (with C.A. Ellis, J. Kleijn, and G. Rozenberg) Team Automata for CSCW in Proceedings of the Second International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany (H. Weber, H. Ehrig, and W. Reisig, eds.), Fraunhofer Institute for Software and Systems Engineering, Berlin, Germany, 2001, 1 - 20. (abstract,paper)
• Teaching assistant for Formal Languages and Automata, Introduction to Fundamental Computer Science, and Theory of Concurrency at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, Leiden, The Netherlands.

2000:

• Attended Theoriedag NVTI (Nederlandse Vereniging voor Theoretische Informatica - Dutch Association for Theoretical Computer Science) in Utrecht, The Netherlands, March 10.
• Presented talk within the Theoretical Computer Science Colloquium (TIC) at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, May 10.
  Title of talk: Team Automata for Spatial Access Control. (abstract, slides)
• Attended COOP'2000 Workshop on Modelling Human Activity in Sophia Antipolis, France, May 23.
• Attended COOP'2000 (Fourth International Conference on the Design of Cooperative Systems) in Sophia Antipolis, France, May 23 - 26.
• Published (with P.J. 't Hoen) A Conflict-Free Strategy for Team-Based Model Development in Proceeedings of Second International Workshop on Process support for Distributed Team-based Software Development (PDTSD'00) in conjunction with the Fourth World MultiConference on Systemics, Cybernetics and Informatics (SCI 2000), Orlando, Florida. Volume IX: Industrial Systems (B. Sanchez, R. Hammel II, M. Soriano, and P. Tiako, eds.), International Institute of Informatics and Systemics, 2000, 720 - 725. (abstract, paper)
• Teaching assistant for Formal Languages and Automata and Theory of Concurrency at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, Leiden, The Netherlands.

1999:

• Participated in Seminar Recent Trends in Language Theoretic Models of Multi-Agent Systems at the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI) in Budapest, Hungary, March 30.
  Title of talk: Petri Net Controlled Grammar Systems. (slides)
• Organized (with J.I. van Hemert) PhD conference IAC'99 at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, December 14 - 15. (program)
• Participated in PhD conference IAC'99 at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, December 14 - 15.
  Title of talk: Collaboration and Cooperation in Team Automata. (abstract,slides)
• Published Simple Eco-Grammar Systems with Prescribed Teams in Grammatical Models of Multi-Agent Systems (Gh. Paun and A. Salomaa, eds.), Topics in Computer Mathematics 8, Gordon and Breach, London, 1999, 113 - 135. (abstract,paper)
• Published (with C.A. Ellis, J. Kleijn, and G. Rozenberg) Synchronizations in Team Automata for Groupware Systems as Technical Report TR-99-12, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 1999. (abstract, paper)
• Edited (with J.I. van Hemert) Proceedings of the Internal AIO Conference (IAC'99), Leiden Institute of Advanced Computer Science, Universiteit Leiden, 14-15 December 1999.
• Teaching assistant for Formal Languages and Automata and Theory of Concurrency at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, Leiden, The Netherlands.

1998:

• Attended Theoriedag NVTI (Nederlandse Vereniging voor Theoretische Informatica - Dutch Association for Theoretical Computer Science) in Utrecht, The Netherlands, March 13.
• Attended Natural Computing Day of the Leiden Center for Natural Computing (LCNC) at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, June 10.
• Participated in the Pascal lectures on DNA Computing - Design of Experiments held by prof. T. Head (State University of New York at Binghamton, USA) in his function as Pascal Professor at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, June 3, 17 and 24, and July 1.
• Attended Ongoing Workshop on DNA Computing at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, June 29 - July 3 and July 13 - 17.
• Attended (on invitation) Dagstuhl Seminar 98271 Petri Nets and Business Process Management in Schloss Dagstuhl, Wadern, Germany, July 6 - 10. (report as it appeared in volume 66 of the Bulletin of the European Association for Theoretical Computer Science and in volume 55 of the Petri Net Newsletter)
• Attended MFCS'98 (23rd International Symposium on Mathematical Foundations of Computer Science) in Brno, Czech Republic, August 24 - 28.
• Participated in MFCS'98 Workshop on Grammar Systems (A Satellite Workshop to MFCS'98) in Brno, Czech Republic, August 22 - 23. (report as it appeared in volume 66 of the Bulletin of the European Association for Theoretical Computer Science)
  Title of talk: Petri Net Controlled Grammar Systems. (slides)
• Attended MFCS'98 Workshop on Molecular Computing (A Satellite Workshop to MFCS'98) in Brno, Czech Republic, August 24 - 26.
• Attended MFCS'98 Workshop on Mathematical Linguistics (A Satellite Workshop to MFCS'98) in Brno, Czech Republic, August 27 - 28.
• Attended MFCS'98 Workshop on Concurrency - Algorithms and Tools (A Satellite Workshop to MFCS'98) in Brno, Czech Republic, August 27 - 29.
• Presented talk within the Theoretical Computer Science Colloquium (TIC) at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, September 30.
  Title of talk: Petri net controlled grammar systems. (abstract,slides)
• Presented talk within the Theoretical Computer Science Colloquium (TIC) at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, November 13.
  Title of talk: Team automata for groupware systems. (abstract,slides)
• Participated in Course on Algorithms and Complexity organized by the Institute for Programming Research and Algorithmics (IPA) in Utrecht, The Netherlands, October 5, 12, 19 and 26, and November 9, 16, 23 and 30.
• Teaching assistant for Theory of Concurrency at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, Leiden, The Netherlands.

1997:

• Attended Theoriedag NVTI (Nederlandse Vereniging voor Theoretische Informatica - Dutch Association for Theoretical Computer Science) in Utrecht, The Netherlands, February 28.
• Participated in Course on Formal Methods organized by the Institute for Programming Research and Algorithmics (IPA) in Utrecht, The Netherlands, April 14, 16, 22 and 24, and in Eindhoven, The Netherlands, April 15 and 23.
• Attended Themadag on Cooperative Systems of the School for Information and Knowledge Systems (SIKS) in Amsterdam, The Netherlands, May 12.
• Presented talk within the Theoretical Computer Science Colloquium (TIC) at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University in Leiden, The Netherlands, May 15.
  Title of talk: Logic grammars and natural language. (abstract,slides)
• Participated in Colloquium Evolutionary Aspects of Multi-Agent Systems at the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI) in Budapest, Hungary, June 24.
  Title of talk: Team behaviour in eco-grammar systems. (slides)
• Participated in School on Computational and Syntactic Methods organized by the European Educational Forum (EEF) in Mierlo, The Netherlands, August 11 - 22.
• Participated in the School on NAtural Computation (SNAC) organized by the European Educational Forum (EEF) in Turku, Finland, August 25 - 29.
• Published Teams in Grammar Systems: Sub-Context-Free Cases in New Trends in Formal Languages: Control, Cooperation and Combinatorics (Gh. Paun and A. Salomaa, eds.), Lecture Notes in Computer Science 1218, Springer-Verlag, Berlin, 1997, 197 - 216. (abstract,paper)
• Teaching assistant for Artificial Intelligence and Theory of Concurrency at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University, Leiden, The Netherlands.

1996:

• Participated in Workshop Grammar Systems: Recent Results and Perspectives at the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI) in Budapest, Hungary, July 26 - 27.
  Title of talk: Simple eco-grammar systems with prescribed teams. (slides)
• Attended AFL'96 (8th International Conference on Automata and Formal Languages) in Salgotarjan, Hungary, July 29 - August 2.
• Attended CSN'96 (Computer Science in The Netherlands) in Utrecht, The Netherlands, November 19.
• Presented talk (mandatory part of the graduation formalities) in Department of Computer Science, Leiden University, Leiden, September 26.
  Title of talk: Simple eco-grammar systems with prescribed teams. (abstract,slides)
• Published Teams in grammar systems as Master's thesis, Internal Report 96-32, Department of Computer Science, Leiden University, September 1996. (abstract,thesis)
• Published Teams in Grammar Systems: Hybridity and Weak Rewriting in Acta Cybernetica - Selected Papers of the Workshop Grammar Systems: Recent Results and Perspectives, Budapest, July 1996, 12, 4 (1996), 427 - 444. (abstract,paper)
• Teaching assistant for Operating Systems at the Department of Computer Science of Leiden University, Leiden, The Netherlands.

1995:

• Attended ICALP'95 (22nd International Colloquium on Automata, Languages and Programming) in Szeged, Hungary, July 10 - 14.
• Presented talk (announced as a Theoretical Computer Science presentation by me reporting on the results available at that time for later inclusion in my master's thesis) at the Department of Computer Science of Leiden University, Leiden, December 20.
  Title of talk: Teams in grammar systems. (abstract, slides)
• Teaching assistant for Logic for Computer Scientists at the Department of Computer Science of Leiden University, Leiden, The Netherlands.

1994:

• Teaching assistant for Theory of Databases at the Department of Computer Science of Leiden University, Leiden, The Netherlands.