José Luís Cardoso da Silva


AuthID: R-001-MHY

Confirmed Publications: 18



11
TITLE: Rapid development of first person serious games using the APEX platform: The Asthma Game. the asthma game  Full Text
AUTHORS: Gomes, T; Abade, T; Campos, JC ; Harrison, M ; Silva, JL ;
PUBLISHED: 2014, SOURCE: 29th Annual ACM Symposium on Applied Computing, SAC 2014 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
12
TITLE: A Model-based Approach for Test Cases Generation
AUTHORS: Silva, JC; Silva, JL ; Campos, JC ; Saraiva, JA ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: Scopus WOS
IN MY: ORCID
13
TITLE: Formal description of multi-touch interactions
AUTHORS: Hamon, A; Palanque, P; Silva, JL ; Deleris, Y; Barboni, E;
PUBLISHED: 2013, SOURCE: 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2013 in EICS 2013 - Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXED IN: Scopus
IN MY: ORCID
14
TITLE: Formal analysis of ubiquitous computing environments through the APEX framework
AUTHORS: José Luís Silva ; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2012, SOURCE: 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12 in ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012
INDEXED IN: Scopus DBLP CrossRef Handle
IN MY: ORCID
15
TITLE: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
AUTHORS: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID
16
TITLE: An Infrastructure for Experience Centered Agile Prototyping of Ambient Intelligence
AUTHORS: Silva, JL ; Campos, JC ; Harrison, MD ;
PUBLISHED: 2009, SOURCE: ACM SIGCHI Symposium on Engineering Interactice Computing Systems in EICS'09: PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID
17
TITLE: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTHORS: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 208, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef Handle
IN MY: ORCID
18
TITLE: Combining formal methods and functional strategies regarding the reverse engineering of interactive applications
AUTHORS: Silva, JC ; Jose Creissac Campos ; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323
INDEXED IN: Scopus WOS DBLP CrossRef: 3
Page 2 of 2. Total results: 18.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service