ProfileOfResearchers

TÃTULO: Towards a Simulation-Based Medical Education Platform for PVSio-Web
AUTORES: Silva, C; Campos, JC ;
PUBLICAÇÃO: 2018, FONTE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef

NO MEU:

ORCID |

DBLP

TÃTULO: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices
AUTORES: Paolo Masci ; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: 15th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2017 in Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, VOLUME: 10469

INDEXADO EM:

Scopus

DBLP

CrossRef: 4

NO MEU:

ORCID |

DBLP

TÃTULO: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTORES: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLICAÇÃO: 2017, FONTE: PACMHCI, VOLUME: 1, NÚMERO: 1

INDEXADO EM:

Scopus

DBLP

CrossRef: 10

NO MEU:

ORCID |

DBLP

TÃTULO: Demonstrating that Medical Devices Satisfy User Related Safety Requirements
AUTORES: Harrison, MD; Masci, P ; Campos, JC ; Curzon, P;
PUBLICAÇÃO: 2017, FONTE: 4th International Symposium on Foundations of Health Information Engineering and Systems (FHIES) / 6th International Workshop on Software Engineering in Healthcare (SEHC) in SOFTWARE ENGINEERING IN HEALTH CARE, SEHC 2014, VOLUME: 9062

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef

Handle

NO MEU:

ORCID |

DBLP

TÃTULO: Don't go in there! using the APEX framework in the design of ambient assisted living systems
AUTORES: Campos, JC ; Abade, T; Silva, JL; Harrison, MD;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, VOLUME: 8, NÚMERO: 4

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef

Handle

NO MEU:

ORCID |

DBLP

TÃTULO: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF Full Text
AUTORES: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLICAÇÃO: 2017, FONTE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, NÚMERO: 240

INDEXADO EM:

Scopus

WOS

DBLP

arXiv

CrossRef: 1

NO MEU:

ORCID |

DBLP

TÃTULO: MODUS: model-based user interfaces prototyping. model-based user interfaces prototyping
AUTORES: Marina Machado; Rui Couto ; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017

INDEXADO EM:

Scopus

DBLP

CrossRef

Handle

NO MEU:

ORCID |

DBLP

TÃTULO: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017
AUTORES: José Creissac Campos ; Nuno Nunes; Pedro Campos; Gaëlle Calvary; Jeffrey Nichols; Célia Martinie; José Luís Silva;
PUBLICAÇÃO: 2017, FONTE: EICS

INDEXADO EM:

DBLP

CrossRef: 2

NO MEU:

ORCID |

DBLP

TÃTULO: Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
AUTORES: Harrison, MD; Drinnan, M; Campos, JC ; Masci, P ; Freitas, L; di Maria, C; Whitaker, M;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 3

NO MEU:

ORCID |

DBLP