Publications of
Arnaud Hamon, Philippe Palanque, José Luis Silva, Yannick Deleris, Eric Barboni
Formal description of multi-touch interactions (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2013), City University London, UK, 25/06/13-27/06/13, ACM : Association for Computing Machinery, pp. 207-216, 2013.
Tiago Gomes, Tiago Abade, José Luis Silva, José Creissac Campos
Desenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma (regular paper)
In : Interação, Vila Real – Portugal, 07/11/13-08/11/13, Universidade de Trás-os-Montes e Alto Douro, pp. 90-97, 2013.
Abstract URL : http://hdl.handle.net/1822/26591 – https://oatao.univ-toulouse.fr/12670/
BibTeXJoão Carlos Silva, José Luis Silva, José Creissac Campos, João António Saraiva
A Model-based Approach for Test Cases Generation (short paper)
In : IEEE Iberian Conference on Information Systems and Technologies (CISTI 2013), Lisbonne, 19/06/13-22/06/13, IEEExplore digital library, pp. 213-218, August 2013.
José Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe Palanque, Celia Martinie De Almeida, Eric Barboni
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification (regular paper)
In : International Workshop on Formal Methods for Interactive Systems (FMIS 2013), London, 24/06/13, Electronic Communications of the EASST, (electronic medium), June 2013.
Celia Martinie De Almeida, Philippe Palanque, José Luis Silva, David Navarre
Properties verification of interactive systems by tool-supported analysis of its formal specification
Diffusion scientifique. April 2013.
URL : http://www.irit.fr/~Celia.Martinie-De-Almeida/Technical_report_on_properties_verification_April_2013.pdf
BibTeX