Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by José Creissac Campos

2017

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017

Authors
Campos, JC; Nunes, N; Campos, P; Calvary, G; Nichols, J; Martinie, C; Silva, JL;

Publication
EICS

Abstract

2014

A Virtual Environment based Serious Game to Support Health Education

Authors
Gomes, T; Abade, T; Campos, JC; Harrison, MD; Silva, JL;

Publication
ICST Trans. Ambient Systems

Abstract

2013

Combining static and dynamic analysis for the reverse engineering of Web applications

Authors
Silva, CE; Campos, JC;

Publication
EICS 2013 - Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Abstract
Software has become so complex that it is increasingly hard to have a complete understanding of how a particular system will behave. Web applications, their user interfaces in particular, are built with a wide variety of technologies making them particularly hard to debug and maintain. Reverse engineering techniques, either through static analysis of the code or dynamic analysis of the running application, can be used to help gain this understanding. Each type of technique has its limitations. With static analysis it is difficult to have good coverage of highly dynamic applications, while dynamic analysis faces problems with guaranteeing that generated models fully capture the behavior of the system. This paper proposes a new hybrid approach for the reverse engineering of web applications' user interfaces. The approach combines dynamic analyzes of the application at runtime, with static analyzes of the source code of the event handlers found during interaction. Information derived from the source code is both directly added to the generated models, and used to guide the dynamic analysis. Copyright 2013 ACM.

2014

Characterizing the Control Logic of Web Applications' User Interfaces

Authors
Silva, CE; Campos, JC;

Publication
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014

Abstract
In order to develop an hybrid approach to the Reverse Engineer of Web applications, we need first to understand how much of the control logic of the user interface can be obtained from the analysis of event listeners. To that end, we have developed a tool that enables us to perform such analysis, and applied it to the implementation of the one thousand most widely used Websites (according to Alexa Top Sites). This paper describes our approach for analyzing the user interface layer of those Websites, and the results we got from the analysis. The conclusions drawn from the exercise will be used to guide the development of the proposed hybrid reverse engineering tool.

2014

Formal Verification of Safety-Critical User Interfaces: a space system case study

Authors
Sousa, M; Campos, JC; Bergue Alves, MC; Harrison, MD;

Publication
2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014

Abstract
Safe operation of safety critical systems depends on appropriate interactions between the human operator and the computer system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analysis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces based on model checking techniques. Copyright

2014

Correction: Depth cues and perceived audiovisual synchrony of biological motion (PLoS ONE)

Authors
Silva, CC; Mendonca, C; Mouta, S; Silva, R; Campos, JC; Santos, J;

Publication
PLoS ONE

Abstract

  • 7
  • 24