Dr. Mieke Massink
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 or +39 348 8283102
fax : +39 0503138091 or +39 0503138092
email: mieke.massink 
isti.cnr.it
http://www.isti.cnr.it/People/M.Massink
Last update: October 2009 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 with Prof.
dr. ir. R. T. Boute. Her thesis was 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. Her
current research interest are the development
and application of Formal Methods for stochastic model checking of
mobile systems and the modelling and verification
of groupware applications.
Click here for a complete Curriculum Vitae (in
Italian).
Present Research Interests
My main research interests fall in the area of formal specification and
verification models and tools for concurrent systems
and their application. In particular, I am interested in semantic
models for process algebras and automata, including statecharts,
and their quantitative extensions, mainly deterministic-timed
and/or stochastic-timed and/or probabilistic ones. Moreover,
I am working on the application and development of 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.
Membership of Programme Committees
- EICS 2010, 2nd ACM
Symposium on Engineering Interactive Computing Systems, Berlin, June
20-23, 2010.
- QAPL 2010, 8th Workshop
on Quantitative Aspects of Progarmming 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, Co-Chair. Satellite of FM 2009.
- TAMODIA09, 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.
- QAPL08, Sixth
Workshop on Quantitative Aspects of Programming Languages, March 29-30,
2008, Budapest, Hungary, satellite WS of ETAPS2008
- TAMODIA07, 6th
International Workshop on TAsk MOdels and DIAgrams, Toulouse, France,
November 7-9, 2007,
- EIS07(DSVIS07),
Engineering Interactive Systems, Salamanca, Spain, March 22-24, 2007
- QAPL07, 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, Co-Chair.
- PDS
2005 (@DSN2005), Performance and Dependability Symposium.
- DSVIS 2005,
Design, Specification and Verification of Interactive Systems.
Participation in Projects
- 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).
- 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.
- 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.
Participation to Previous Projects
- FAERUS,
International Mini-project in the context of the
EU-project RESIST Network of
Excellence,
2008 (coordinater).
- 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
- Methods and Tools for Analysis and Verification, Corso di Laurea
Specialistica in Scienze e Technologie 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
Previous Courses and Tutorials
- Methods and Tools for Analysis and Verification, Corso di Laurea
Specialistica in Scienze e Technologie 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 Technologie dell'Informazione,
Univ. of Florence, 2006-2007
- Electronic Voting, Integrated course on Election Procedures,
Corso di Laurea in Scinze 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 50 published papers in the areas of formal verification methods,
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 the Formal
Methods and Tools web-page (see publications).
Selected publications
- M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, M.
Sebastianis, and G. Trentanni
Assisting the Design of a
Groupware System - Model Checking Usability Aspects of thinkteam.
In The Journal of Logic and Algebraic Programming 78, 4 (2009), pages
191 - 232.
- R. De Nicola, J.-P. Katoen, D. Latella, M. Loreti and M.
Massink
Model
Checking Mobile Stochastic Logic. Theoretical Computer Science.
Elsevier, 382(1):42-70, 2007,
http://dx.doi.org/10.1016/j.tcs.2007.05.008
- M. Massink, D. Latella and S. Gnesi
On
Testing UML Statecharts. The Journal of Logic and Algebraic
Programming.
Elsevier, 69(1-2):1-74, 2006
- M. Massink, G. Faconti.
A Reference Framework for Continuous Interaction.
In Doherty et al. (Eds.) International Journal Universal Access in the
Information Society.
Springer Verlag, 1(4):237--251, 2002
- S. Gnesi, D. Latella, M. Massink.
Modular Semantics for a UML Statechart Diagrams Kernel and
their extension to Multicharts and Branching Time Model Checking.
The Journal of Logic and Algebraic Programming. Elsevier Science,
51(1):43-75, 2002.
- G. Doherty, M. Massink, and G. Faconti.
Using hybrid automata to support human factors analysis in a
critical system.
Formal Methods in System Design. An International Journal. Kluwer
Academic
Publishers, 19(2):143-164 2001.
- G. Faconti, M. Massink, M. Bordegoni, F. De Angelis,
and S. Booth.
Haptic cues for image disambiguation.
Computer Graphics Forum. Blackwell, 19(3):169-178, 2000.
- D. Latella, I. Majzik, and M. Massink.
Automatic verification of a behavioural subset of UML
statechart diagrams using the SPIN model-checker.
Formal Aspects of Computing. The International Journal of Formal
Methods. Springer, 11(6):637--664, 1999.
- S. Smith, D. Duke, and M. Massink.
The hybrid world of virtual environments.
Computer Graphics Forum. Blackwell, 18(3):297-307, 1999.
- H. Bowman, G. Faconti, J. Katoen, D. Latella, and M.
Massink.
Automatic verification of a lip-synchronisation protocol
using UPPAAL.
Formal Aspects of Computing. Springer-Verlag, 10(5-6):550--575, 1998.
- G. Faconti and M. Massink.
Modelling and verification of PREMO synchronisable objects.
Formal Aspects of Computing. Springer-Verlag, 10(4):405--434,
1998.
- Books and Proceedings of Conferences and Workshops:
- P. Palanque, M. Winckler, J.-F.
Ladry, M.H. ter Beek, 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, pp. 211 - 220, 2009.
- De Nicola R., Latella D., Loreti M., Massink M.
"Rate-based transition systems for stochastic process
calculi". In: ICALP 2009 -
Automata, Languages and Programming. 36th
International Colloquium
(Rhodes, Greece, 5-12 July 2009). Proceedings,
vol. II pp. 435 - 446. (Lecture Notes in Computer Science, vol. 5556).
Springer Verlag, 2009.
- Harrison M. D., Massink M., Latella D.
"Engineering crowd interaction within smart
environments". In: EICS 2009 - ACM
SIGCHI Symposium on Engineering Interactive
Computing Systems
(Carnegie Mellon University, Pittsburgh, USA, 14-17
luglio 2009). Proceedings, pp. 117 - 122. ACM, 2009.
- De Nicola R., Latella D., Loreti M., Massink M.
"MarCaSPiS: a Markovian extension of a Calculus for
Services". In: Electronic Notes in
Theoretical Computer Science,
vol. 229 (4) pp. 11 - 26. M. Hennessy, B. Klin (eds.). Elsevier, 2009.
- M.H. ter Beek, G.P. Faconti, M. Massink, P. Palanque and M.
Winckler
"Resilience of interaction techniques to interrupts -
A formal model-based approach". In: INTERACT 2009 -
Human-Computer Interaction.
12th IFIP TC 13
International Conference (Uppsala, Sweden, 24-28 August 2009).
Proceedings, vol. I pp. 494 - 509.
(Lecture Notes in Computer Science,
vol. 5726). Springer Verlag, 2009.
- M. Bravetti, D. Latella, M.
Loreti, M. Massink, G. Zavattaro
"Combining Timed Coordination Primitives and
Probabilistic Tuple Spaces". In Proc. of Trustworthy
Global Computing,
Fourth Symposium (TGC'08),
Barcelona (Spain), November 2008, LNCS 5474, pages: 52-68,
Springer-Verlag, 2009.
- M.
Massink, D. Latella, M.H. ter Beek, 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-Centered Software Engineering (HCSE'08), Pisa,
Italy (P. Forbrig and F. Paternò, eds.),
Lecture Notes in Computer
Science 5247, Springer-Verlag, Berlin, 2008, 166 - 180.
- M.-C. Palmeri, R. De Nicola and M. Massink
Basic
Observables for Probabilistic May Testing. In proceedings of the
Fourth International Conference on the Quantitative Evaluation of
Systems. Edinburgh, Scotland,
17-19 September 2007, pp. 189-198, IEEE Computer Society, 2007.
- G. Faconti and M. Massink
Analysis
of a Pointing Task on a White
Board. In G. Doherty and A. Blandford (eds.), Interactive
Systems,
Design, Specification and
Verification. 13th International Workshop, DSVIS06. Dublin, Ireland,
July 2006. LNCS volume 4323, pp. 185-198, Springer-Verlag, 2007.
- M. ter
Beek, M.
Massink and D. Latella
Towards Model
Checking
Stochastic
Aspects of the Thinkteam User Interface. In M.
Harrison
and S.
Gilroy, editors, Design, Specification and Verification of Interactive
Systems.
Participant Proceedings. LFCS, Univ. of Newcastle upon Tyne, 2005.
LNCS volume 3941, pp. 39-50, Springer-Verlag, 2006.
- R. De
Nicola,
J.-P. Katoen, D. Latella and M. Massink,
Towards a Logic for
Performance and Mobility. In A. Cerone and H.
Wiklicky,
editors, 3rd Workshop on Quantitative Aspects of Programming Languages.
Participant Proceedings, pages 132--146. LFCS, Univ. of Edinburgh, 2005
and in A. Cerone and H. Wiklicky (eds.) Proceedings of the
Third Workshop on Quantitative Aspects of Programming Languages (QAPL
2005), volume 153(2) of Electronic Notes in Theoretical Computer
Science, pp. 161-175. Elsevier Science Publishers B.V., 2006.
- R. De Nicola, D. Latella, and
M. Massink.
Formal modeling and
quantitative analysis of KLAIM-based mobile systems., In H.
Haddad, L. Liebrock, A. Omicini, R. Wainwright, M. Palakal, M. Wilds,
and H. Clausen, editors, APPLIED COMPUTING 2005. Proceedings of the
20th Annual ACM Symposium on
Applied Computing, pages 428--435. Association for Computing Machinery
-
ACM, 2005. ISBN 1-58113-964-0
- Massink, M., Katoen, J-P., and Latella, D.
Model Checking
Dependability Attributes of
Wireless Group Communication.In 2004
International
Conference on Dependable Systems & Networks, pages 711--720. IEEE
Computer
Society Press, 2004. ISBN 0-7695-2052-9.
- Gnesi S., Latella D.,
Massink M.
Formal Test-case
Generation for UML Statecharts. 9th IEEE International Conference
on Engineering of Complex Computer Systems (Florence, Italy, April
14-16, 2004). Proceedings, p. 75-84. Bellini, P., Bohner, S. and
Steffen, B. (eds.). IEEE Computer Society Press, 2004.
- Massink M., Katoen J.-P.,
Latella D.
Model checking
dependability attributes of wireless group communication. In
2004 International Conference on Dependable Systems & Networks,
pages 711--720. IEEE Computer Society Press, 2004. (ISBN 0-7695-2052-9.)
- ter Beek M., Massink M., Latella
D., Gnesi S.
Model checking
groupware protocols. In: Cooperative Systems Design -
Scenario-Based Design of Collaborative Systems, Vol. 107, p. 179-194
(ISBN: 1 58603 422 7). Frontiers in Artificial Intelligence and
Applications. Francoise Darses, Rose Dieng, Carla Simone, and Manuel
Zacklad (eds.). Amsterdam, IOS Press, 2004.
- D. Latella and M.
Massink.
On mobility extensions
of UML Statecharts; a pragmatic approach. In E. Najm, U. Nestmann
and P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed
Systems, LNCS 2884, 6th IFIP WG 6.1 Int. Conf., FMOODS 2003, Paris,
Nov. 2003.
Deriving
manuals from formal specifications. HCI International 2003,
n.10 (Crete, Greece 22-27/06/2003). Proceedings, vol.1, p.163-167.
Jacko, J. and Stephanidis, Constantine. Lawrence Erlbaum Associates
Publisher, 2003.
On Mobility
Extensions of
UML Statecharts. A Pragmatic Approach. Formal Methods for Open
Object-Based Distributed Systems. 6th IFIP WG 6.1 International
Conference, FMOODS 2003 (Paris, France, November 19-21, 2003).
Proceedings LNCS 2884, p. 199-213. Najm Elie, Nestmann Uwe, Stevens,
Perdita (Eds.). Springer, 2003.
- D. Latella and M. Massink.
On testing and conformance relations of UML Statechart
Diagrams Behaviours.
In International Symposium on Software Testing and Analysis.
Association for Computing Machinery - ACM, 2002.
- G. Doherty, M. Massink and G. Faconti.
Reasoning about interactive systems with stochastic models.
In C. Johnson, editor, Interactive Systems: Design, Specification
and Verification, volume 2220 of Lecture Notes in Computer Science.
Springer-Verlag, 2001.
- T. Ruys, R. Langerak, J. Katoen, D. Latella and M.
Massink.
Mean run-time analysis of stochastic process algebra using
partial orders.
In T. Margaria and W. Yi, editors, Tools and Algorithms for
the Construction and Analysis of Systems, volume 2031 of Lecture Notes
in Computer Science, pp. 220-235. Springer-Verlag, 2001.
- G. Faconti and M. Massink.
Continuous Interaction with computers: Issues and Requirements.
In C. Stephanidis, editor, Universal Access in HCI - Vol. 3 of the
proceedings of HCI International 2001,
pp. 301-304, 2001. ISBN 0-8058-3609-8.
- D. Latella and M. Massink.
A formal framework for UML Statechart Diagrams Behaviours:
From Theory to Automatic Verification.
In A. Jacobs, editor, Sixth IEEE International High-Assurance Systems
Engineering Symposium,
pages 11--22. IEEE Computer Society Press, 2001. ISBN 0-7695-1275-5.
- M. Massink and N. De Francesco.
Modeling Free Flight with Collision Avoidance.
In S. Andler, M. Hinchey, and J. Offutt, editors, 7th IEEE
International Conference on Engineering of
Complex Computer Systems, pages 270--279. IEEE, IEEE Computer Society
Press, 2001.
ISBN 0-7695-1159-7.
- G. Doherty, G. Faconti, and M. Massink.
Formal verification in the design of gestural interaction.
In H. Bowman, editor, Formal Methods Elsewhere 2000, volume 43 of
Electronic Notes In Theoretical
Computer Science. Elsevier Science, 2001.
- H. Bowman, G. Faconti, and M. Massink.
Towards integrated cognitive and interface analysis.
In H. Bowman, editor, Formal Methods Elsewhere 2000, volume 43 of
Electronic Notes In Theoretical
Computer Science. Elsevier Science, 2001.
- G. Doherty and M. Massink.
Continuous interaction and human control.
In J.Alty, editor, Proceedings of the XVIII European Annual
Conference on Human Decision Making and Manual Control pages 80--96.
Group D Publications, 2000, ISBN 1-874152-08-X.S.
- G. Gnesi, D. Latella, and M. Massink.
A stochastic extension of a behavioural subset of UML
statechart diagrams.
In L. Palagi and R. Bilof, editors,
Fifth IEEE International High-Assurance Systems Engineering Symposium,
pages 55--64. IEEE Computer Society Press, 2000. ISBN 0-7695-0927-4.
- D. Dams, R. Gerth, S. Leue, and M. Massink, editors.
Theoretical and Practical Aspects of SPIN Model Checking.
5th and 6th Int. SPIN Workshops, volume 1680 of Lecture Notes in
Computer
Science. Springer-Verlag, 1999.
- G. Doherty, M. Massink, and G. Faconti.
Using hybrid automata to support human factors analysis in a
critical
system.
In S.Gnesi and D.Latella, editors, Proceedings of the 4th workshop on
Formal Methods for Industrial Critical Systems, Trento.
S.T.A.R.- CNR, Pisa, July 1999. ISBN 88-7958-009-4.
- S. Gnesi, D. Latella, and M. Massink.
Model checking UML statechart diagrams using JACK.
In A. Williams, editor,
Fourth IEEE International High-Assurance Systems Engineering Symposium,
pages 46--55. IEEE Computer Society Press, 1999. ISBN 0-7695-0418-3.
- D. Latella, I. Majzik, and M. Massink.
Towards a formal operational semantics of UML statechart
diagrams.
In P. Ciancarini and R. Gorrieri, editors,
IFIP TC6/WG6.1 Third International Conference on Formal Methods
for Open Object-Oriented Distributed Systems, pages 331--347. Kluwer
Academic Publishers, 1999, ISBN 0-7923-8429-6
- M. Massink, D. Duke, and S. Smith.
Towards hybrid interface specification for virtual
environments.
In D. Duke and A. Puerta, editors, Design, Specification and
Verification of Interactive Systems '99, pages 30--51.
Springer Computer Science, 1999. ISSN 0946-2767.
- H. Bowman, G. Faconti, and M. Massink.
Specification and verification of media constraints using
UPPAAL.
In P. Markopoulos and P. Johnos, editors, Design, Specification
and Verification of Interactive Systems '98, pages 261--277. Springer,
1998.
ISBN 3-211-83212-2.
- H. Bowman, G. Faconti, J. Katoen, D. Latella, and M.
Massink.
Automatic verification of a lip synchronisation algorithm
using UPPAAL - extended version.
In J.F. Groote, editor, Proceedings of the 3th workshop on Formal
Methods for Industrial Critical Systems, Amsterdam, pages
97--123.
CWI, May 1998, ISBN 9061964806.
- G. Faconti and M. Massink.
Investigating the behaviour of PREMO synchronisable objects.
In M. Harrison and J. Torres, editors, Design, Specification and
Verification of Interactive Systems '97, pages 125--141. Springer,
1997.
ISBN 3-211-83055-3.
- G. Faconti and M. Massink.
Using LOTOS for the evaluation of design options in the PREMO
standard.
In D. Duke and A. Evans, editors, BCS-FACS Second Northern Formal
Methods Workshop, Electronic Workshops in Computing. Springer-Verlag,
1997.
- M. Massink.
Functional Techniques in Concurrency.
Ph. D. thesis, University of Nijmegen, February 1996.
ISBN 90-9008940-3.
- M. van Lieshout, and M. Massink.
Constructing a vulnerable society.
In J. Berleur, C. Beardon, and R. Laufer, editors, Facing the Challenge
of Risk and Vulnerability in Information Society, volume A-33 of IFIP
Transactions, pages 27--37. North-Holland Publishing Company, 1993.
- M. Massink and L. Rooijakkers.
Completeness of the equational semantics for basic LOTOS.
In Proceedings of the Fourth Workshop on Future Trends of Distributed
Computing Systems, pages 396--403. IEEE, IEEE Computer Society Press,
1993.
- M. van Lieshout and M. Massink.
Responsible scientists - a social-constructivist approach.
In R. Aiken, editor, Proceedings of the 1992 IFIP Congress - Education
and Society,
pages 336--343. IFIP, Elsevier Science Publishers B.V., 1992.
- M. Massink and L. Rooijakkers.
Equational semantics for basic LOTOS and an example of its use
in a
transformational proof style.
In P. Dewilde and Vandewalle J., editors, Computer Systems and Software
Egineering -
the 6th Annual European Computer Conference, pages 532--537. IEEE, IEEE
Computer Society Press, 1992.
The complete list of publications can be found in the Curriculum Vitae (in italian).