Dr. Mieke Massink

Senior Researcher

Consiglio Nazionale delle Ricerche
Istituto ISTI (former CNUCE)
Formal Methods && Tools Group
Area della Ricerca CNR
Via Moruzzi 1
I-56124 Pisa (PI)
ITALY

phone: +39 0503152981
fax : +39 0503138091 or +39 0503138092
email: mieke.massink isti.cnr.it
http://www1.isti.cnr.it/~Massink
http://www.isti.cnr.it/People/M.Massink

Last update: December 2023 by Mieke Massink

Brief Biography

Mieke Massink studied Computer Science at the University of Nijmegen (now Radboud University Nijmegen) where she
graduated in 1988 in Computer Science. In 1989 she was research assistant at the University of Twente and teaching assistant
at the University of Nijmegen. From 1989 to 1995 she was employed by the Dutch Organisation for Scientific Research (NWO)
in the research group on declarative formalisms at the University of Nijmegen were she received her
Ph. D. degree in 1996 supervised by Prof. dr. ir. R. T. Boute. The topic of her thesis concerned a study on a Functional Approach to Concurrency Theory
combining declarative specification techniques with those of process algebra.
During her Ph. D. studies she spent several times a few months at C.N.R.-Ist. CNUCE,
Pisa, Italy as Visiting Researcher. From 1996 to 1997 she was Visiting Researcher at CNUCE in the context of the
European Human Capital and Mobility (HCM) programme for the IRIS project (Interactionally Rich Immersive Systems)
in the IRS Research Network (Interactively Rich Systems). Her scientific activity within that network was to apply and develop
formal methods for the specification, design and verification of Human Computer Interfaces.
In 1997 and 1998 she has been teaching a course on Social Responsibility of Computer Scientists at the University of Pisa.
In 1998 she was Visiting Researcher at the University of York, U.K., in the context of the European TMR research
network TACIT (Theory and Application of Continuous Interaction Techniques) were she was hosted by the
Human Computer Interaction group. She continued her TMR TACIT fellowship from 1998 to June 2000 at CNUCE.
In June 2000 she joined CNUCE as a researcher. In 2002 CNUCE and IEI joined to form the research institute ISTI where
she continued her research in the Formal Methods and Tools Group. She is currently Senior Researcher in the same group.

Present Research Interests

My current main research interests are in formal specification and verification of semantic models and the design of related tools for concurrent systems, in particular:

Semantic models for process algebras and automata, and their quantitative extensions;
Collective adaptive systems;
Spatial and Spatio-temporal model checking;
Formal techniques and tools for the specification, design and verification of Human Computer Interaction.

Computers and computer technology can be used in many ways and have often quite some impact on the way society is being
shaped. I'm interested in studying the issues at stake and involve a wider public in discussion and decision making on these issues.

Selected recent presentations

Invited presentations:

Keynote on "Verification of Data in Space and Time" at the 8th International Symposium "From Data to Models and Back" (DataMod 2019). Related slides.
Invited presentation on "Mean Field Model Checking of Population Models" at "Swarm Robotics: Pushing the State of the Art", Rome, Italy, October 25-26, 2018. Related slides.

Conferences and Workshops:

Membership of Programme Committees

COORDINATION 2024, 26th International Conference on Coordination Models and Languages, Groningen, The Netherlands, June 17-21, 2024. Coordination: PC member and SC chair. A main conference of DisCoTec 2024.
DisCoTec: SC member.
FM 2024, 26th International Symposium on Formal Methods (FM 2024), September 9-13, Milan, Italy
COORDINATION 2023, 25th International Conference on Coordination Models and Languages, Lisbon, Portugal, June 19-23, 2023. Coordination: PC member and SC chair. A main conference of DisCoTec 2023.
DisCoTec: SC member.
FormaliSE 2023, 11th International Conference on Formal Methods in Software Engineering, Melbourne, Victoria, Australia, 14-15 May, 2023. Co-located with ICSE 2023.
FM 2023, 25th International Symposium on Formal Methods (FM 2023), March 7-9, Leubeck, Germany
FSEN 2023, 10th IPM International Conference on Fundamentals of Software Engineering (FSEN 2023), May 3-5, Tehran, Iran.
FormaliSE 2022, 10th International Conference on Formal Methods in Software Engineering, Pittsburgh, PA, USA, 21-29 May, 2022. Co-located with ICSE 2022.
COORDINATION 2022, 24st International Conference on Coordination Models and Languages, Lucca, Italy, June 13-17, 2022. Coordination: PC member and SC chair. A main conference of DisCoTec 2022.
DisCoTec: SC member.
CIFMA 2021, Cognition: Interdisciplinary Foundations, Models and Applications, Virtual Event hosted by Nazarbayev University, Nur-Sultan, Kazakhstan and the University of York, UK, Monday 6 December, 2021. Co-located with SEFM 2021.
FACS 2021, 17th International Formal Aspects of Component Software (FACS 2021), October 28-29, Virtual Conference (originally Grenoble, France).
QAVS2021 Workshop, Second Workshop on Quntitative Aspects of Variant-rich Systems, virtual, 28 March 2021. Co-located with ETAPS 2021.
COORDINATION 2021, 23st International Conference on Coordination Models and Languages, Valletta, Malta, June 14-18, 2021. Coordination: PC member and SC chair. A main conference of DisCoTec 2021.
DisCoTec: SC member.
TACAS 2021 Conference, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg, Luxembourg, March 27 to April 1, 2021. A main conference of ETAPS 2021.
FormaliSE 2021, 9th International Conference on Formal Methods in Software Engineering, Madrid, Spain, 23-24 May, 2021. Co-located with ICSE 2021.
FSEN 2021, 9th IPM International Conference on Fundamentals of Software Engineering (FSEN 2021), May 19-21, Tehran, Iran. PC Co-Chair.
QAVS2020 Workshop, First Workshop on Quntitative Aspects of Variant-rich Systems, Vienna, Austria, August 31, 2020. Co-located with QONFEST 2020.
SEFM 2020 Workshops, 18th International Conference on Software Engineering and Formal Methods, Amsterdam, The Netherlands, September 14-18, 2020. Workshop PC Co-Chair.
COORDINATION 2020, 22st International Conference on Coordination Models and Languages, Valletta, Malta, June 15-19, 2020. PC member and SC member. A main conference of DisCoTec 2020.
FormaliSE 2020, 8th International Conference on Formal Methods in Software Engineering, Seoul, South-Korea, 23-29 May, 2020. Co-located with ICSE 2020.
ADAPTIVE 2020, The Twelfth International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE), April 26-30, Nice, France.
FMIS 2019, 8th International Workshop on Formal Methods for Interactive Systems, Porto, October 7, 2019. Co-located with FM 2019.
FACS 2019, 16th International Formal Aspects of Component Software (FACS 2019), October 23-25, Amsterdam, The Netherlands.
ADAPTIVE 2019, The Eleventh International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE), May 5-9, Venice, Italy.
eCAS2019, 4th Workshop on Engineering Collective Adaptive Systems. In conjunction with the 16th IEEE International Conference on Autonomic Computing (ICAC 2019) and the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2019), June 16-20, Umea, Sweden.
COORDINATION 2019, 21st International Conference on Coordination Models and Languages, Copenhaghen, Denmark, June 18-21, 2019. PC member and SC member. A main conference of DisCoTec 2019.
FSEN 2019, 8th IPM International Conference on Fundamentals of Software Engineering (FSEN 2019), May 1-3, Tehran, Iran. PC Co-Chair.
eCAS2018, 3rd Workshop on Engineering Collective Adaptive Systems. In conjunction with the 15th IEEE International Conference on Autonomic Computing (ICAC 2018) and the 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2018) FAS*, September 3-7, Trento, Italy.
FM 2018, 23st International Symposium on Formal Methods (FM 2018), July 15-17, Oxford, U.K.
COORDINATION 2018, 20th International Conference on Coordination Models and Languages, Madrid, Spain, June 18-21, 2018. PC member and SC member. A main conference of DisCoTec 2018.
ADAPTIVE 2018, The Tenth International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE), February 18-22, Barcelona, Spain.
FMIS 2018, 7th International Workshop on Formal Methods for Interactive Systems, Toulouse, June 25-26, 2018. Co-located with STAF 2018.
VALID 2018, The Tenth International Conference on Advances in System Testing and Validation Lifecycle (VALID), October 14-18, Nice, France.
FACS 2017, 14th International Formal Aspects of Component Software (FACS 2017), October 10-13, Braga, Portugal.
FSEN 2017, 7th IPM International Conference on Fundamentals of Software Engineering (FSEN 2017), April 26-28, Tehran, Iran.
COORDINATION 2017, 19th International Conference on Coordination Models and Languages, Neuchatel, Switzerland, June 19-22, 2017. PC Co-Chair. A main conference of DisCoTec 2017.
QAPL 2017, 15th Workshop on Quantitative Aspects of Programming Languages, Eindhoven, NL, April 23, 2017. Satellite WS of ETAPS2017.
ADAPTIVE 2017, The Ninth International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE), February 19-23, Athens, Greece.
FORECAST 2016, FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST), July 8, 2016, Vienna, Austria.
GAM 2016, Workshop on Graphs as Models, Eindhoven, NL, April 2-3, 2016. Satellite WS of ETAPS2016.
QAPL 2016, 14th Workshop on Quantitative Aspects of Programming Languages, Eindhoven, NL, April 2-3, 2016. Satellite WS of ETAPS2016.
FM 2016, 21st International Symposium on Formal Methods (FM 2016), November 7-11, Limassol, Cyprus.
ECAS 2016, 1st eCAS Workshop on Engineering Collective Adaptive Systems (eCAS 2016), co-located with SASO 2016, Augsburg, Germany, 12-16 September 2016.
ADAPTIVE 2016, The Eighth International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE), March 20-24, Rome, Italy.
COORDINATION 2016, 18th IFIP International Conference on Coordination Models and Languages (COORDINATION), co-located with DISCOTEC 2016, Heraklion, Crete, Greece, June 6-9, 2016.
SCOPES 2015, First International Workshop on Spatial and COllective PErvasive Computing Systems (SCOPES), co-located with IEEE SASO 2015, MIT, Cambridge, USA, September 21, 2015.
FoMHCI 2015, 1st Workshop on Formal Methods in Human Computer Interaction, co-located with EICS2015, Duisburg, Germany, June 23-26, 2015.
QAPL 2015, 13th Workshop on Quantitative Aspects of Programming Languages, London, UK, April 11-12, 2015. Satellite WS of ETAPS2015.
QAPL 2014, 12th Workshop on Quantitative Aspects of Programming Languages, Grenoble, France, April 12-13, 2014. Satellite WS of ETAPS2014.
GRAPHITE 2014, 3rd Workshop on GRAPH inspection and Traversal Engineering, Grenoble, France, April, 2014. Satellite WS of ETAPS2014.
EICS 2013, 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, City University, London, U.K., June 24-27, 2013.
FMIS 2013, 5th International Workshop on Formal Methods for Interactive Systems, City University, London, U.K., June 24, 2013. Co-located with EICS 2013.
COORDINATION 2013, 15th International Conference on Coordination Models and Languages, Florence, Italy, June 3-6, 2013. A main conference of DisCoTec 2013.
QAPL 2013, 11th Workshop on Quantitative Aspects of Programming Languages, Rome, Italy, March 23-24, 2013. Satellite WS of ETAPS2013.
QAPL 2012, 10th Workshop on Quantitative Aspects of Programming Languages, Tallinn, Estonia, March 31 - April 1, 2012. PC Co-Chair. Satellite WS of ETAPS2012.
ICTAC 2011, 8th International Colloquium on Theoretical Aspects of Computing, Johannesburg, South Africa, 31 August -2 September, 2011.
FMIS 2011, 4th International Workshop on Formal Methods for Interactive Systems, Limerick, U.K., June 2011. Satellite of FM2011.
QAPL 2011, 9th Workshop on Quantitative Aspects of Programming Languages, Saarbruecken, Germany, April 1-3, 2011. PC Co-Chair. Satellite WS of ETAPS2011.
EICS 2010, 2nd ACM Symposium on Engineering Interactive Computing Systems, Berlin, June 20-23, 2010.
QAPL 2010, 8th Workshop on Quantitative Aspects of Programming Languages, Paphos, Cyprus, March 27-28, 2010. Satellite WS of ETAPS 2010.
FMIS 2009, 3rd International Workshop on Formal Methods for Interactive Systems, Eindhoven, The Netherlands, November 2, 2009, PC Co-Chair. Satellite of FM 2009.
TAMODIA 09, 8th International Workshop on TAsk MOdels and DIAgrams, Brussels, September 23-25, 2009.
QAPL 2009, 7th Workshop on Quantitative Aspects of Programming Languages, York, U.K., March 28-29, 2009. Satellite WS of ETAPS 2009.
SEFM 2008, Special Track on Service Engineering for Next Generation Networks and Converged Telecom and Web 2.0 Services, Cape Town, South Africa, 10-14 Nov. 2008.
DSVIS 2008, Design, Specification and Verification of Interactive Systems, July 16-18, 2008, Kingston, Ontario, Canada.
QAPL 08, Sixth Workshop on Quantitative Aspects of Programming Languages, March 29-30, 2008, Budapest, Hungary, satellite WS of ETAPS2008
TAMODIA 07, 6th International Workshop on TAsk MOdels and DIAgrams, Toulouse, France, November 7-9, 2007,
EIS 07(DSVIS07), Engineering Interactive Systems, Salamanca, Spain, March 22-24, 2007
QAPL 07, 4th Workshop on Quantitative Aspects of Programming Languages.
FASE 2007, 10th International Conference on Fundamental Approaches to Software Engineering
QAPL 2006, 4th Workshop on Quantitative Aspects of Programming.
DSVIS 2006, Design, Specification and Verification of Interactive Systems.
PDS 2006, Performance and Dependability Symposium.
FMICS 2005 Formal Methods for Industrial Critical Systems, PC Co-Chair.
PDS 2005 (@DSN2005), Performance and Dependability Symposium.
DSVIS 2005, Design, Specification and Verification of Interactive Systems.

Participation in Projects

Stendhal, EU-NG MUR-PRIN 2022 project Stendhal: Spatio-Temporal Enhancement of neural Nets for Deeply Hierarchical Automatised Logic, 01/10/2023 - 30/09/2025.
THE - Tuscany Health Ecosystem, MUR - PNRR Italy, 01/07/2022-30/06/2025.
Model Checking for Polyhedral Logic, 2022 Bilateral Collaboration between CNR and SRNSF, 01/01/2023 - 31/12/2024.

Participation to Previous Projects

IT MaTTerS, MIUR-PRIN 2017 project IT MaTTerS: Methods and Tools for Trustworthy Smart Systems, 29/08/2019-28/08/2022 extended to 28/02/2023.
QUANTICOL, EU-IST-FET-Proactive-STREP project (n. 600708) on a Quantitative Approach to Management and Design of Collective and Adaptive Behaviours, 01/04/2013-31/03/2017 (WP leader).
CINA, Compositionality, Interaction, Negotiation and Autonomicity for the future ICT society. Italian national PRIN 2010 project, 2013-2016.
ASCENS, Third-party in EU-IST-FET-IP project (n. 257414) on Autonomic Service-component Ensembles, 2010-2015.
XXL, CNR-RSTL (Ricerca Spontanea a Tema Libero) project on Advanced Tools and Techniques for the Specification and Verification of Systems with Elevated Granularity, 2008-2010 (coordinator).
PaCo: Performability-Aware Computing: Logics, Models, and Languages. Italian National Scientific Research Programme. Call published with D.M. 1175 del 18/09/2007 (PRIN 2007). Approved with nota 95 of 23/07/2008. September 2008 - August 2010.
SENSORIA, EU-IST-FET project on Software Engineering for Service-Oriented Overlay Computers, 2005-2010.
TOCAI.IT, Italian national basic research project (FIRB) on Knowlegde Based Tecnologies for the Aggregation of Industries in Internet, 2006-2010.
FAERUS, International Mini-project in the context of the EU-project RESIST Network of Excellence, 2008 (coordinator).
AGILE, EU-IST project on Architectures for Mobility, 2002-2005
Architetture Software ad Alta Qualita' di Servizio per Global Computing su Cooperative Wide Area Networks. High-Quality Service Software Architecture for Global Computing on Co-operative Wide Area Networks (MURST 5%), 2002-2004
AMSD, EU-AM, Accompanying Measures System Dependability, 2002-2003
DimmiBene, Agenzia 2000 project on Supports to Interactive and Multimedia Self-illustration of Consumer Electronics, 2001-2003
PRIDE, ASI (Italian Space Agency) project on an Integrated Design Environment for Dependable Systems, 2002-2003
TACIT, EU-TMR project on Theory and Application of Continuous Interaction, 1998-2002
IRS, EU-HCM project on Interactionally Rich Systems, 1994-1997

Teaching

Stochastic Model Checking (SMC), PhD Program in Smart Computing Universities of Florence, Pisa and Siena, 2022-2023

Previous Courses and Tutorials

Stochastic Model Checking (SMC), PhD Program in Smart Computing Universities of Florence, Pisa and Siena, 2020-2021
Stochastic Model Checking (SMC), PhD Program in Smart Computing Universities of Florence, Pisa and Siena, 2019-2020
Stochastic Model Checking (SMC), PhD Program in Smart Computing Universities of Florence, Pisa and Siena, 2018-2019
Stochastic Model Checking (SMC), PhD Program in Smart Computing Universities of Florence, Pisa and Siena, 2017-2018
Stochastic Model Checking (SMC), PhD Program in Smart Computing Universities of Florence, Pisa and Siena, 2016-2017
16th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems, Laurea, University Residential Center of Bertinoro, 20-24 June, 2016, Bertinoro, Italy SFM-school
Stochastic Model Checking (SMC), PhD Program in Smart Computing Universities of Florence, Pisa and Siena, 2015-2016
Formal Methods and System Verification (MFVS), Corso di Laurea Magistrale in Informatica, Univ. of Florence, 2014-2015
Formal Methods and System Verification (MFVS), Corso di Laurea Magistrale in Informatica, Univ. of Florence, 2013-2014
Formal Methods and System Verification (MFVS), Corso di Laurea Magistrale in Informatica, Univ. of Florence, 2012-2013
System Verification and Evaluation Techniques (TVVS), Corso di Laurea Specialistica in Scienze e Tecnologie dell'Informazione, Univ. of Florence, 2010-2011
Methods and Tools for Analysis and Verification, Corso di Laurea Specialistica in Scienze e Tecnologie dell'Informazione, Univ. of Florence, 2009-2010
Methods and Tools for Analysis and Verification, Corso di Laurea Specialistica in Scienze e Tecnologie dell'Informazione, Univ. of Florence, 2008-2009
Risks and opportunities of Electronic Voting and e-Democracy, Corso di Laurea in Scienze per la Pace, University of Pisa, 2008-2009
Methods and Tools for Analysis and Verification, Corso di Laurea Specialistica in Scienze e Tecnologie dell'Informazione, Univ. of Florence, 2007-2008
Risks and opportunities of Electronic Voting and e-Democracy, Corso di Laurea in Scienze per la Pace, University of Pisa, 2007-2008
Methods and Tools for Analysis and Verification, Corso di Laurea Specialistica in Scienze e Tecnologie dell'Informazione, Univ. of Florence, 2006-2007
Electronic Voting, Integrated course on Election Procedures, Corso di Laurea in Scienze per la Pace, University of Pisa, 2006-2007
Modelling and Verification of Distributed Systems, Integrated course on Stochastic Model Checking, 2005-2006, Univ. of Florence
Electronic Voting, Integrated course on Election Procedures, University of Pisa, 2005-2006
Tools for Automatic verification of Concurrent Systems, 2001-2002, integrated course, Univ. of Florence.
Model-checking of timed and hybrid automata. Tutorial at the Dept. of Mathematics of the Univ. of Siena and Florence, 2001
Social Responsability of Computer Professionals. Integrated course at the Univ. of Pisa, 1997 and 1998
Computer Science and Society. Teaching assistant Univ. of Nijmegen, 1987-1989
Programming Methods in Functional Languages. Teaching assistant Univ. of Nijmegen, 1988-1989
Networks. Teaching assistant Univ. of Nijmegen, 1986
Introduction to programming for non-computer scientists. Teaching assistant Univ. of Nijmegen, 1986

Publications

Over 80 published papers in the areas of formal verification methods, large scale formal verification of Collective Adaptive Systems, Spatial and Spatio-temporal Model Checking, Global Computing, formal verification in HCI, continuous interaction, formal semantics of UML, testing theory, computer science and society. A selection of these papers can be downloaded from my list of publications at the ISTI publications site (upto 2016) and from my list of publications via the ISTI Open Portal. See also the list on DBLP.
e/html>