Rui Couto

Proceedings of the International Conference on Graphics and Interaction, 2019

High Assurance on Cyber-Physical Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings HCI Engineering 2019, 2019

IVY 2: a model-based analysis tool.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2019

2017

Pattern based software development

[BibT_eX]

[DOI]

PhD thesis, 2017

MODUS: model-based user interfaces prototyping.

[BibT_eX]

[DOI]

Marina Machado

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2017

2015

Exploring Ticketing Approaches Using Mobile Technologies: QR Codes, NFC and BLE.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014

A Study on the Viability of Formalizing Use Cases.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

The Modelery: A Collaborative Web Based Repository.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2012

A Patterns Based Reverse Engineering Approach for Java Source Code.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

MapIt: A Model Based Pattern Recovery Tool.

[BibT_eX]

[DOI]