Edit Profile (opens in new tab) Massink, Mieke Compute Distance To: Compute Author ID: massink.mieke Published as: Massink, Mieke; Massink, M. Documents Indexed: 25 Publications since 1998 6 Contributions as Editor Co-Authors: 26 Co-Authors with 31 Joint Publications 587 Co-Co-Authors all top 5 Co-Authors 0 single-authored 21 Latella, Diego 12 Loreti, Michele 6 Ciancia, Vincenzo 4 De Nicola, Rocco 4 Faconti, G. P. 3 Gnesi, Stefania 3 Katoen, Joost-Pieter 2 Doherty, Gavin J. 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 de Vink, Erik P. 1 Gabelaia, David 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 31 Computer science (68-XX) 6 General and overarching topics; collections (00-XX) 6 Mathematical logic and foundations (03-XX) 3 Probability theory and stochastic processes (60-XX) 2 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 85 times in 54 Documents Cited by ▼ Year ▼ Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Zbl 0966.68124Latella, Diego; Majzik, Istvan; Massink, Mieke 14 1999 A uniform definition of stochastic process calculi. Zbl 1288.68184Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke 11 2013 Rate-based transition systems for stochastic process calculi. Zbl 1248.68350De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke 7 2009 Towards a formal operational semantics of UML statechart diagrams. Zbl 0928.68072Latella, Diego; Majzik, Istvan; Massink, Mieke 6 1999 Specifying and verifying properties of space. Zbl 1417.68101Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 6 2014 Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M. 5 2018 Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. Zbl 1008.68074Gnesi, Stefania; Latella, Diego; Massink, Mieke 4 2002 Automatic verification of a lip-synchronisation protocol using UPPAAL. Zbl 0951.68533Bowman, H.; Faconti, G.; Katoen, J.-P.; Latella, D.; Massink, M. 4 1998 Model checking spatial logics for closure spaces. Zbl 1398.68335Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 4 2016 Model checking mobile stochastic logic. Zbl 1159.68478De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2007 First passage time analysis of stochastic process algebra using partial orders. Zbl 0978.68103Ruys, Theo C.; Langerak, Rom; Katoen, Joost-Pieter; Latella, Diego; Massink, Mieke 3 2001 Bisimulation of labelled state-to-function transition systems coalgebraically. Zbl 1448.68345Latella, Diego; Massink, Mieke; de Vink, Erik P. 3 2015 Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2016 MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2009 Mobile UML statecharts with localities. Zbl 1111.68353Latella, Diego; Massink, Mieke; Baumeister, Hubert; Wirsing, Martin 2 2005 On testing UML statecharts. Zbl 1101.68014Massink, Mieke; Latella, Diego; Gnesi, Stefania 2 2006 An experimental spatio-temporal model checker. Zbl 1461.68113Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke 2 2015 On-the-fly fast mean-field model-checking. Zbl 1348.68144Latella, Diego; Loreti, Michele; Massink, Mieke 2 2014 Geometric model checking of continuous space. Zbl 07639915Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianluca; Latella, Diego; Massink, Mieke 1 2022 Geometric model checking of continuous space. Zbl 07639915Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianluca; Latella, Diego; Massink, Mieke 1 2022 Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M. 5 2018 Model checking spatial logics for closure spaces. Zbl 1398.68335Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 4 2016 Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2016 Bisimulation of labelled state-to-function transition systems coalgebraically. Zbl 1448.68345Latella, Diego; Massink, Mieke; de Vink, Erik P. 3 2015 An experimental spatio-temporal model checker. Zbl 1461.68113Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke 2 2015 Specifying and verifying properties of space. Zbl 1417.68101Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke 6 2014 On-the-fly fast mean-field model-checking. Zbl 1348.68144Latella, Diego; Loreti, Michele; Massink, Mieke 2 2014 A uniform definition of stochastic process calculi. Zbl 1288.68184Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke 11 2013 Rate-based transition systems for stochastic process calculi. Zbl 1248.68350De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke 7 2009 MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2009 Model checking mobile stochastic logic. Zbl 1159.68478De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke 3 2007 On testing UML statecharts. Zbl 1101.68014Massink, Mieke; Latella, Diego; Gnesi, Stefania 2 2006 Mobile UML statecharts with localities. Zbl 1111.68353Latella, 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.68074Gnesi, Stefania; Latella, Diego; Massink, Mieke 4 2002 First passage time analysis of stochastic process algebra using partial orders. Zbl 0978.68103Ruys, 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.68124Latella, Diego; Majzik, Istvan; Massink, Mieke 14 1999 Towards a formal operational semantics of UML statechart diagrams. Zbl 0928.68072Latella, Diego; Majzik, Istvan; Massink, Mieke 6 1999 Automatic verification of a lip-synchronisation protocol using UPPAAL. Zbl 0951.68533Bowman, H.; Faconti, G.; Katoen, J.-P.; Latella, D.; Massink, M. 4 1998 all cited Publications top 5 cited Publications all top 5 Cited by 122 Authors 8 Loreti, Michele 7 Massink, Mieke 6 Latella, Diego 5 Gnesi, Stefania 4 Bernardo, Marco 3 Bortolussi, Luca 3 Ciancia, Vincenzo 3 De Nicola, Rocco 3 Gomez, Rodolfo 3 Nenzi, Laura 3 Tribastone, Mirco 2 Bartocci, Ezio 2 Cavalcanti, Ana 2 Gaudel, Marie-Claude 2 Katoen, Joost-Pieter 2 Sevegnani, Michele 2 ter Beek, Maurice H. 2 Tschaikowski, Max 2 Vandin, Andrea 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 Calder, Muffy 1 Cardelli, Luca 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 Gabelaia, David 1 Grilletti, Gianluca 1 Haar, Stefan 1 Hassaïne, Fawzi 1 Hermanns, Holger 1 Hillston, Jane 1 Inverso, Omar 1 Jarraya, Yosr 1 Jurdziński, Marcin 1 Karsai, Gabor 1 Klin, Bartek 1 Knapp, Alexander 1 Kolesnichenko, Anna 1 König, Barbara 1 Krstić, Srđan 1 Küpper, Sebastian 1 Linker, Sven 1 Lourenço, João M. 1 Markey, Nicolas 1 Mazzanti, Franco 1 Melgratti, Hernán 1 Merz, Stephan 1 Miculan, Marino 1 Mohammadinejad, Sara 1 Möller, Michael 1 Mullins, John 1 Narayanan, Anantha 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 Pourranjabar, Alireza 1 Pugliese, Rosario 1 Qu, Hongyang 1 Rafe, Vahid 1 Rahmani, Adel T. 1 Rasch, Holger 1 Remke, Anne 1 Rosario, Sidney 1 Rossi, Matteo A. C. 1 Rufino, José 1 Sánchez, César 1 Sankur, Ocan 1 Sassone, Vladimiro 1 Schneider, Gerardo 1 Sebastianis, Maurizio ...and 22 more Authors all top 5 Cited in 14 Serials 7 Theoretical Computer Science 6 Formal Aspects of Computing 5 Journal of Logical and Algebraic Methods in Programming 4 Information and Computation 4 Logical Methods in Computer Science 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 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Journal of Zhejiang University. Science A all top 5 Cited in 11 Fields 53 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 4 Probability theory and stochastic processes (60-XX) 3 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) 1 Ordinary differential equations (34-XX) 1 General topology (54-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year