Edit Profile (opens in new tab) Massink, Mieke Co-Author Distance Author ID: massink.mieke Published as: Massink, Mieke; Massink, M. Documents Indexed: 29 Publications since 1998 6 Contributions as Editor Co-Authors: 27 Co-Authors with 35 Joint Publications 715 Co-Co-Authors all top 5 Co-Authors 0 single-authored 25 Latella, Diego 12 Loreti, Michele 10 Ciancia, Vincenzo 4 De Nicola, Rocco 4 de Vink, Erik P. 4 Faconti, G. P. 3 Gnesi, Stefania 3 Katoen, Joost-Pieter 2 Doherty, Gavin J. 2 Gabelaia, David 2 Grilletti, Gianluca 2 Hojjat, Hossein 2 Majzik, Istvan 2 Norman, Gethin 2 Wiklicky, Herbert 1 Baumeister, Hubert 1 Bezhanishvili, Nick 1 Bortolussi, Luca 1 Cleophas, Loek Gerard 1 Groote, Jan Friso 1 Langerak, Rom 1 Nenzi, Laura 1 Ruys, Theo C. 1 Sebastianis, Maurizio 1 ter Beek, Maurice H. 1 Trentanni, Gianluca 1 Wirsing, Martin all top 5 Serials 4 Logical Methods in Computer Science 3 Formal Aspects of Computing 3 The Journal of Logic and Algebraic Programming 3 Lecture Notes in Computer Science 2 Theoretical Computer Science 2 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 ACM Computing Surveys 1 Formal Methods in System Design Fields 35 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 3 General topology (54-XX) 3 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 24 Publications have been cited 123 times in 67 Documents Cited by ▼ Year ▼ Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Zbl 0966.68124 Latella, Diego; Majzik, Istvan; Massink, Mieke 14 1999 A uniform definition of stochastic process calculi. Zbl 1288.68184 Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke 13 2013 Specifying and verifying properties of space. Zbl 1417.68101 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 12 2014 Model checking spatial logics for closure spaces. Zbl 1398.68335 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 9 2016 Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313 Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M. 9 2018 Rate-based transition systems for stochastic process calculi. Zbl 1248.68350 De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke 7 2009 Towards a formal operational semantics of UML statechart diagrams. Zbl 0928.68072 Latella, Diego; Majzik, Istvan; Massink, Mieke 6 1999 An experimental spatio-temporal model checker. Zbl 1461.68113 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke 6 2015 Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 5 2016 Geometric model checking of continuous space. Zbl 07639915 Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianluca; Latella, Diego; Massink, Mieke 5 2022 Model checking mobile stochastic logic. Zbl 1159.68478 De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke 4 2007 Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. Zbl 1008.68074 Gnesi, Stefania; Latella, Diego; Massink, Mieke 4 2002 Automatic verification of a lip-synchronisation protocol using UPPAAL. Zbl 0951.68533 Bowman, H.; Faconti, G.; Katoen, J.-P.; Latella, D.; Massink, M. 4 1998 Bisimulation of labelled state-to-function transition systems coalgebraically. Zbl 1448.68345 Latella, Diego; Massink, Mieke; de Vink, Erik P. 4 2015 On-the-fly fast mean-field model-checking. Zbl 1348.68144 Latella, Diego; Loreti, Michele; Massink, Mieke 3 2014 First passage time analysis of stochastic process algebra using partial orders. Zbl 0978.68103 Ruys, Theo C.; Langerak, Rom; Katoen, Joost-Pieter; Latella, Diego; Massink, Mieke 3 2001 MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157 De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2009 Back-and-forth in space: on logics and bisimilarity in closure spaces. Zbl 1524.68213 Ciancia, Vincenzo; Latella, Diego; Massink, Mieke; de Vink, Erik P. 3 2022 On testing UML statecharts. Zbl 1101.68014 Massink, Mieke; Latella, Diego; Gnesi, Stefania 2 2006 Mobile UML statecharts with localities. Zbl 1111.68353 Latella, Diego; Massink, Mieke; Baumeister, Hubert; Wirsing, Martin 2 2005 Minimisation of spatial models using branching bisimilarity. Zbl 1529.68155 Ciancia, Vincenzo; Groote, Jan Friso; Latella, Diego; Massink, Mieke; de Vink, Erik P. 2 2023 FlyFast: a scalable approach to probabilistic model-checking based on mean-field approximation. Zbl 1498.68162 Latella, Diego; Loreti, Michele; Massink, Mieke 1 2017 Fundamentals of software engineering. 8th international conference, FSEN 2019, Tehran, Iran, May 1–3, 2019. Revised selected papers. Zbl 1419.68011 1 2019 Embedding RCC8D in the collective spatial logic CSLCS. Zbl 1534.03037 Ciancia, Vincenzo; Latella, Diego; Massink, Mieke 1 2019 Minimisation of spatial models using branching bisimilarity. Zbl 1529.68155 Ciancia, Vincenzo; Groote, Jan Friso; Latella, Diego; Massink, Mieke; de Vink, Erik P. 2 2023 Geometric model checking of continuous space. Zbl 07639915 Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianluca; Latella, Diego; Massink, Mieke 5 2022 Back-and-forth in space: on logics and bisimilarity in closure spaces. Zbl 1524.68213 Ciancia, Vincenzo; Latella, Diego; Massink, Mieke; de Vink, Erik P. 3 2022 Fundamentals of software engineering. 8th international conference, FSEN 2019, Tehran, Iran, May 1–3, 2019. Revised selected papers. Zbl 1419.68011 1 2019 Embedding RCC8D in the collective spatial logic CSLCS. Zbl 1534.03037 Ciancia, Vincenzo; Latella, Diego; Massink, Mieke 1 2019 Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313 Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M. 9 2018 FlyFast: a scalable approach to probabilistic model-checking based on mean-field approximation. Zbl 1498.68162 Latella, Diego; Loreti, Michele; Massink, Mieke 1 2017 Model checking spatial logics for closure spaces. Zbl 1398.68335 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 9 2016 Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 5 2016 An experimental spatio-temporal model checker. Zbl 1461.68113 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke 6 2015 Bisimulation of labelled state-to-function transition systems coalgebraically. Zbl 1448.68345 Latella, Diego; Massink, Mieke; de Vink, Erik P. 4 2015 Specifying and verifying properties of space. Zbl 1417.68101 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 12 2014 On-the-fly fast mean-field model-checking. Zbl 1348.68144 Latella, Diego; Loreti, Michele; Massink, Mieke 3 2014 A uniform definition of stochastic process calculi. Zbl 1288.68184 Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke 13 2013 Rate-based transition systems for stochastic process calculi. Zbl 1248.68350 De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke 7 2009 MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157 De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2009 Model checking mobile stochastic logic. Zbl 1159.68478 De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke 4 2007 On testing UML statecharts. Zbl 1101.68014 Massink, Mieke; Latella, Diego; Gnesi, Stefania 2 2006 Mobile UML statecharts with localities. Zbl 1111.68353 Latella, Diego; Massink, Mieke; Baumeister, Hubert; Wirsing, Martin 2 2005 Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. Zbl 1008.68074 Gnesi, Stefania; Latella, Diego; Massink, Mieke 4 2002 First passage time analysis of stochastic process algebra using partial orders. Zbl 0978.68103 Ruys, Theo C.; Langerak, Rom; Katoen, Joost-Pieter; Latella, Diego; Massink, Mieke 3 2001 Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Zbl 0966.68124 Latella, Diego; Majzik, Istvan; Massink, Mieke 14 1999 Towards a formal operational semantics of UML statechart diagrams. Zbl 0928.68072 Latella, Diego; Majzik, Istvan; Massink, Mieke 6 1999 Automatic verification of a lip-synchronisation protocol using UPPAAL. Zbl 0951.68533 Bowman, H.; Faconti, G.; Katoen, J.-P.; Latella, D.; Massink, M. 4 1998 all cited Publications top 5 cited Publications all top 5 Cited by 141 Authors 10 Loreti, Michele 10 Massink, Mieke 9 Latella, Diego 7 Ciancia, Vincenzo 5 Gnesi, Stefania 4 Bernardo, Marco 4 Bortolussi, Luca 4 Nenzi, Laura 4 Tribastone, Mirco 3 De Nicola, Rocco 3 de Vink, Erik P. 3 Gomez, Rodolfo 3 Hillston, Jane 3 Tschaikowski, Max 3 Vandin, Andrea 2 Bartocci, Ezio 2 Cardelli, Luca 2 Cavalcanti, Ana 2 Gabelaia, David 2 Gaudel, Marie-Claude 2 Groote, Jan Friso 2 Katoen, Joost-Pieter 2 Sevegnani, Michele 2 ter Beek, Maurice H. 1 Ahrendt, Wolfgang 1 Alawneh, Luay 1 Aldini, Alessandro 1 André, Étienne 1 Archibald, Blair 1 Bacciu, Davide 1 Banti, Federico 1 Baresi, Luciano 1 Benmoussa, Mohamed Mahdi 1 Beohar, Harsh 1 Bezhanishvili, Nick 1 Bianculli, Domenico 1 Boreale, Michele 1 Bouillard, Anne 1 Bouyer, Patricia 1 Bowman, Howard 1 Bravetti, Mario 1 Bruni, Roberto 1 Bussi, Laura 1 Calder, Muffy 1 Carta, Antonio 1 Choppy, Christine 1 Colombo, Christian 1 Corradini, Flavio 1 D’Argenio, Pedro Rubén 1 Debbabi, Mourad 1 Deshmukh, Jyotirmoy V. 1 Eshuis, Rik 1 Falcone, Yliès 1 Fantechi, Alessandro 1 Francalanza, Adrian 1 Gadducci, Fabio 1 Grilletti, Gianluca 1 Haar, Stefan 1 Hassaïne, Fawzi 1 Hermanns, Holger 1 Hojjat, Hossein 1 Inverso, Omar 1 Jarraya, Yosr 1 Jurdziński, Marcin 1 Karsai, Gabor 1 Khosrowjerdi, Hojat 1 Klin, Bartek 1 Knapp, Alexander 1 Kolesnichenko, Anna 1 König, Barbara 1 Krstić, Srđan 1 Küpper, Sebastian 1 Labbaf, Faezeh 1 Lanciani, Roberta 1 Linker, Sven 1 Lourenço, João M. 1 Luisa Vissat, Ludovica 1 Marion, Glenn 1 Markey, Nicolas 1 Mazzanti, Franco 1 Meinke, Karl 1 Melgratti, Hernán 1 Merz, Stephan 1 Miculan, Marino 1 Mohammadinejad, Sara 1 Möller, Michael 1 Mousavi, Mohammadreza 1 Mullins, John 1 Narayanan, Anantha 1 Nemati, Hamed 1 Nickovic, Dejan 1 Oarga, Raveca 1 Olderog, Ernst-Rüdiger 1 Pace, Gordon J. 1 Padovani, Luca 1 Papacchini, Fabio 1 Peled, Doron A. 1 Peressotti, Marco 1 Piho, Paul 1 Pourranjabar, Alireza ...and 41 more Authors all top 5 Cited in 16 Serials 7 Theoretical Computer Science 6 Formal Aspects of Computing 6 Journal of Logical and Algebraic Methods in Programming 5 Logical Methods in Computer Science 4 Information and Computation 3 The Journal of Logic and Algebraic Programming 2 Science of Computer Programming 1 Acta Informatica 1 International Journal of General Systems 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 ACM Transactions on Modeling and Computer Simulation 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Journal of Zhejiang University. Science A all top 5 Cited in 11 Fields 65 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 8 Probability theory and stochastic processes (60-XX) 4 Biology and other natural sciences (92-XX) 3 Systems theory; control (93-XX) 2 Ordinary differential equations (34-XX) 2 General topology (54-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) Citations by Year