The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mieke Massink: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi
    Model Checking Groupware Protocols. [Citation Graph (0, 0)][DBLP]
    COOP, 2004, pp:179-194 [Conf]
  2. Mieke Massink, Joost-Pieter Katoen, Diego Latella
    Model Checking Dependability Attributes of Wireless Group Communication. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:711-720 [Conf]
  3. Giorgio P. Faconti, Mieke Massink
    Investigating the behaviour of PREMO synchronizable objects. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1997, pp:125-141 [Conf]
  4. Maurice H. ter Beek, Mieke Massink, Diego Latella
    Towards Model Checking Stochastic Aspects of the thinkteam User Interface. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:39-50 [Conf]
  5. Howard Bowman, Giorgio P. Faconti, Mieke Massink
    Specification and Verification of Media Constraints using UPAAL. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1998, pp:261-277 [Conf]
  6. Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
    Reasoning about Interactive Systems with Stochastic Models. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2001, pp:144-163 [Conf]
  7. Gavin J. Doherty, Lydie du Bousquet, José Creissac Campos, El Mustapha El Atifi, Gilles Falquet, Mieke Massink, Carmen Santoro
    Ambience and Mobility. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2005, pp:264- [Conf]
  8. Mieke Massink, David J. Duke, Shamus P. Smith
    Towards Hybrid Interface Specifications for Virtual Environments. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1999, pp:30-51 [Conf]
  9. Giorgio P. Faconti, Mieke Massink
    Analysis of Pointing Tasks on a White Board. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2006, pp:185-198 [Conf]
  10. Diego Latella, Mieke Massink
    On Mobility Extensions of UML Statecharts. A Pragmatic Approach. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:199-213 [Conf]
  11. Diego Latella, István Majzik, Mieke Massink
    Towards a Formal Operational Semantics of UML Statechart Diagrams. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  12. Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
    Mobile UML Statecharts with Localities. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:34-58 [Conf]
  13. Diego Latella, Mieke Massink
    A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. [Citation Graph (0, 0)][DBLP]
    HASE, 2001, pp:11-22 [Conf]
  14. Stefania Gnesi, Diego Latella, Mieke Massink
    Model Checking UML Statechart Diagrams Using JACK. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:46-55 [Conf]
  15. Giorgio P. Faconti, Mieke Massink
    Continuous interaction with computers: issues and requirements. [Citation Graph (0, 0)][DBLP]
    HCI, 2001, pp:301-305 [Conf]
  16. Stefania Gnesi, Diego Latella, Mieke Massink
    Formal Test-Case Generation for UML Statecharts. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:75-84 [Conf]
  17. Mieke Massink, Nicoletta De Francesco
    Modelling Free Flight with Collision Avoidance. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:270-280 [Conf]
  18. Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
    A case study on the automated verification of groupware protocols. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:596-603 [Conf]
  19. Marc van Lieshout, Mieke Massink
    Responsible Scientists - A Social-Constructivist Approach. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (2), 1992, pp:336-343 [Conf]
  20. Diego Latella, Mieke Massink
    On testing and conformance relations for UML statechart diagrams behaviours. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:144-153 [Conf]
  21. Rocco De Nicola, Diego Latella, Mieke Massink
    Formal modeling and quantitative analysis of KLAIM-based mobile systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:428-435 [Conf]
  22. Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
    First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:220-235 [Conf]
  23. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
    AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  24. Giorgio P. Faconti, Mieke Massink, Monica Bordegoni, Franco De Angelis, S. Booth
    Haptic Cues for Image Disambiguation. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 2000, v:19, n:3, pp:- [Journal]
  25. Shamus P. Smith, David J. Duke, Mieke Massink
    The Hybrid World of Virtual Environments. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1999, v:18, n:3, pp:297-308 [Journal]
  26. Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis
    Model Checking Publish/Subscribe Notification for thinkteam®. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:275-294 [Journal]
  27. Howard Bowman, Giorgio P. Faconti, Mieke Massink
    Towards Integrated Cognitive and Interface Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
  28. Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink
    Formal Verification in the Design of Gestural Interaction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
  29. Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
    Towards a Logic for Performance and Mobility. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:161-175 [Journal]
  30. Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
    Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:5-6, pp:550-575 [Journal]
  31. Giorgio P. Faconti, Mieke Massink
    Modelling and Verification of PREMO Synchronisable Objects. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:4, pp:405-434 [Journal]
  32. Diego Latella, István Majzik, Mieke Massink
    Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:6, pp:637-664 [Journal]
  33. Gavin J. Doherty, Mieke Massink, Giorgio P. Faconti
    Using Hybrid Automata to Support Human Factors Analysis in a Critical System. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:2, pp:143-164 [Journal]
  34. Stefania Gnesi, Diego Latella, Mieke Massink
    Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:51, n:1, pp:43-75 [Journal]
  35. Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink, Michael Wilson
    Continuous interaction in future computing systems. [Citation Graph (0, 0)][DBLP]
    Universal Access in the Information Society, 2002, v:1, n:4, pp:235-236 [Journal]
  36. Mieke Massink, Giorgio P. Faconti
    A reference framework for continuous interaction. [Citation Graph (0, 0)][DBLP]
    Universal Access in the Information Society, 2002, v:1, n:4, pp:237-251 [Journal]
  37. Mieke Massink, Diego Latella, Stefania Gnesi
    On testing UML statecharts. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:69, n:1-2, pp:1-74 [Journal]
  38. Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
    Model checking mobile stochastic logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:382, n:1, pp:42-70 [Journal]

  39. Rate-Based Transition Systems for Stochastic Process Calculi. [Citation Graph (, )][DBLP]


  40. Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. [Citation Graph (, )][DBLP]


  41. Basic Observables for Probabilistic May Testing. [Citation Graph (, )][DBLP]


  42. Scalable analysis of collective behaviour in smart service systems. [Citation Graph (, )][DBLP]


  43. A Fluid Flow Approach to Usability Analysis of Multi-user Systems. [Citation Graph (, )][DBLP]


  44. Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. [Citation Graph (, )][DBLP]


  45. On a Uniform Framework for the Definition of Stochastic Process Languages. [Citation Graph (, )][DBLP]


  46. Engineering crowd interaction within smart environments. [Citation Graph (, )][DBLP]


  47. A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. [Citation Graph (, )][DBLP]


  48. MarCaSPiS: a Markovian Extension of a Calculus for Services. [Citation Graph (, )][DBLP]


  49. Modelling Interactive Experience, Function and Performance in Ubiquitous Systems. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002