Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Paolo Manuel Masci
AuthID:
R-00G-VYY
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (47)
Article (27)
Book Chapter (2)
Editorial Material (2)
Unpublished (1)
Proceedings (1)
Year Start - End:
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 80
1
TÃTULO:
Formal techniques in the safety analysis of software components of a new dialysis machine
Full Text
AUTORES:
Michael D Harrison
; Leo Freitas; Michael Drinnan;
Jose C Campos
;
Paolo Masci
; Costanzo di Maria; Michael Whitaker;
PUBLICAÇÃO:
2019
,
FONTE:
SCIENCE OF COMPUTER PROGRAMMING,
VOLUME:
175
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
8
NO MEU:
ORCID
|
DBLP
2
TÃTULO:
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems
AUTORES:
Maurizio Palmieri;
Cinzia Bernardeschi
;
Paolo Masci
;
PUBLICAÇÃO:
2018
,
FONTE:
Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers,
VOLUME:
11176
INDEXADO EM:
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
3
TÃTULO:
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
Full Text
AUTORES:
Cinzia Bernardeschi
; Andrea Domenici;
Paolo Masci
;
PUBLICAÇÃO:
2018
,
FONTE:
IEEE Trans. Software Eng.,
VOLUME:
44,
NÚMERO:
6
INDEXADO EM:
DBLP
CrossRef
:
4
NO MEU:
ORCID
|
DBLP
4
TÃTULO:
Data Leakage in Java Applets with Exception Mechanism
PDF
AUTORES:
Cinzia Bernardeschi
;
Paolo Masci
; Antonella Santone;
PUBLICAÇÃO:
2018
,
FONTE:
2nd Italian Conference on Cyber Security, ITASEC 2018
in
Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to - 9th, 2018.,
VOLUME:
2058
INDEXADO EM:
Scopus
DBLP
NO MEU:
ORCID
|
DBLP
5
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
:
2
NO MEU:
ORCID
|
DBLP
6
TÃTULO:
Integrating User Design and Formal Models within PVSio-Web
PDF
Full Text
AUTORES:
Nathaniel Watson; Steve Reeves;
Paolo Masci
;
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
arXiv
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
7
TÃTULO:
Modeling and Analysis of Human Memory Load in Multitasking Scenarios. Late-Breaking Results
AUTORES:
Giovanna Broccia;
Paolo Masci
;
Paolo Milazzo
;
PUBLICAÇÃO:
2018
,
FONTE:
10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS)
in
PROCEEDINGS OF THE ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS (EICS'18)
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
8
TÃTULO:
Preface
Full Text
AUTORES:
Masci, P
; Monahan, R; Prevosto, V;
PUBLICAÇÃO:
2018
,
FONTE:
4th Workshop on Formal Integrated Development Environment, F-IDE 2018
in
Electronic Proceedings in Theoretical Computer Science, EPTCS,
VOLUME:
284
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
9
TÃTULO:
Proceedings 4th Workshop on Formal Integrated Development Environment Oxford, England, 14 July 2018 Preface
PDF
AUTORES:
Paolo Masci
; Rosemary Monahan; Virgile Prevosto;
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:
WOS
DBLP
arXiv
NO MEU:
ORCID
|
DBLP
10
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
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 1 de 8. Total de resultados: 80.
<<
<
1
2
3
4
5
6
7
8
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service
