Searching for authors named "Mieke Massink" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

The Hybrid World of Virtual Environments
by Shamus Smith, David Duke, Mieke Massink — 1999 — Proc. Human Factors and Ergonomics Soc. 48th Ann. Meeting, Human Factors and Ergonomics Soc
… Massink CNR-Istituto CNUCE Via S. Maria 36 I56126 - Pisa - Italy M.Massink@(email omitted); Abstract…
Cited by 16 (4 self) – Add To MetaCart

Using Hybrid Automata to Support Human Factors Analysis in a Critical System
by Gavin Doherty, Mieke Massink, Giorgio Faconti — 1999 — Formal Methods in System Design
… Massink and Giorgio Faconti Istituto CNUCE, Pisa Abstract. As continuous interaction devices…
Cited by 5 (3 self) – Add To MetaCart

Towards A Formal Operational Semantics Of Uml Statechart Diagrams
by Diego Latella, Istvan Majzik, Mieke Massink — 1999
…: Statechart Diagrams are a notation for describing behaviours in the framework of UML, the Unified Modeling Language of object-oriented systems. UML is a semi-formal language, with a precisely defined syntax and static semantics but with an only informally specified dynamic semantics. UML Statec…
Cited by 50 (10 self) – Add To MetaCart

Formal test-case generation for uml statecharts
by Stefania Gnesi, Diego Latella, Mieke Massink, Via Moruzzi, I Pisa — 2004 — Proc. 9th IEEE Int. Conf. on Engineering of Complex Computer Systems
…Formal Test-case Generation for UML Statecharts Stefania Gnesi, Diego Latella and Mieke Massink…
Cited by 3 (1 self) – Add To MetaCart

Specification and Verification of Media Constraints using UPPAAL
by Howard Bowman, Giorgio P. Faconti, Mieke Massink — 1998
…. Faconti 2 and Mieke Massink 3 1 Computing Lab., U. of Kent, Canterbury, Kent, CT2 7NF, UK 2 CNR…
Cited by 7 (4 self) – Add To MetaCart

Two Formal Approaches to Modelling Cognitive Aspects of HCI
by Giorgio Faconti Mieke, Giorgio Faconti, Mieke Massink, David Duke
…1 Two Formal Approaches to Modelling Cognitive Aspects of HCI Giorgio Faconti, Mieke Massink…
Add To MetaCart

Towards Model Checking Stochastic Aspects of the thinkteam User Interface—FULL VERSION
by Maurice H. Ter Beek, Mieke Massink, Diego Latella — 2005 — In Proc. 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS’05
…, Mieke Massink, and Diego Latella CNR/ISTI – ‘A. Faedo’, Via G. Moruzzi 1, 56124 Pisa, ¡ Italy @isti…
Cited by 1 (0 self) – Add To MetaCart

Model checking groupware protocols
by Maurice H. Beek, Mieke Massink, Diego Latella, Stefania Gnesi — 2004 — In COOP
…Model Checking Groupware Protocols Maurice H. ter Beek Mieke Massink Diego Latella Stefania Gnesi…
Cited by 4 (2 self) – Add To MetaCart

Towards Hybrid Interface Specification for Virtual Environments
by Mieke Massink, David Duke, Shamus Smith, Via S. Maria — 1999
…Towards Hybrid Interface Specification for Virtual Environments Mieke Massink 1 , David Duke 2…
Cited by 9 (3 self) – Add To MetaCart

A case study on the automated verification of groupware protocols
by Maurice H. Ter Beek, Via G. Moruzzi, Stefania Gnesi, Via G. Moruzzi, Mieke Massink, Alessandro Forghieri, Maurizio Sebastianis — 2005 — In Proc. of the 27 th Int. Conf. on Software engineering (ICSE05
… 2005 ACM 1-58113-963-2/05/0005 ...$5.00. Mieke Massink ISTI–CNR Via G. Moruzzi 1 56124 Pisa, Italy m.massink…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB