ProfileOfResearchers

TÃTULO: Formal Verification of Interactive Computing Systems: Opportunities, Challenges PDF
AUTORES: José Creissac Campos ; Michael D Harrison;
PUBLICAÇÃO: 2019, FONTE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503

INDEXADO EM:

Scopus

DBLP

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: High Assurance on Cyber-Physical Interactive Systems PDF
AUTORES: Rui Couto ; José Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: 2019 Joint HCI Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, HCI Engineering 2019 in Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019., VOLUME: 2503

INDEXADO EM:

Scopus

DBLP

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: IVY 2-A model-based analysis tool
AUTORES: Rui Couto ; Jose Creissac Campos ;
PUBLICAÇÃO: 2019, FONTE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'19)

INDEXADO EM:

Scopus

WOS

DBLP

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets
AUTORES: Alexandre Canny; David Navarre; José Creissac Campos ; Philippe A Palanque;
PUBLICAÇÃO: 2019, FONTE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, VOLUME: 12232

INDEXADO EM:

Scopus

DBLP

CrossRef: 2

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Trends on Engineering Interactive Systems: an overview of works presented in workshops at EICS 2019. an overview of works presented in workshops at EICS 2019
AUTORES: Distante, D; Winckler, M; Bernhaupt, R; Bowen, J; Campos, JC ; Müller, F; Palanque, P; Van Den Bergh, J; Weyers, B; Voit, A;
PUBLICAÇÃO: 2019, FONTE: 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'19)

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Verification Templates for the Analysis of User Interface Software Design Full Text
AUTORES: Harrison, MD; Masci, P; Campos, JC ;
PUBLICAÇÃO: 2019, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 45, NÚMERO: 8

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 8

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Formal Modelling as a Component of User Centred Design
AUTORES: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLICAÇÃO: 2018, FONTE: International Conference on Software Technologies: Applications and Foundations, STAF 2018 in Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers, VOLUME: 11176

INDEXADO EM:

Scopus

DBLP

CrossRef: 5

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Improving the Visualization of Alloy Instances PDF Full Text
AUTORES: Couto, R ; Campos, JC ; Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2018, FONTE: 4th Workshop on Formal Integrated Development Environment (F-IDE) held as a Satellite Workshop of FLoC in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 284, NÚMERO: 284

INDEXADO EM:

Scopus

WOS

DBLP