P. Masci
发表
Francesca Lonetti,
Eda Marchetti,
Valérie Issarny,
2012
.
Neeraj Suri,
Philippe A. Palanque,
Miguel Correia,
2008
.
Philippe A. Palanque,
Célia Martinie,
Michael D. Harrison,
2017,
F-IDE@FM.
P. Masci,
2022,
Journal of Logical and Algebraic Methods in Programming.
Michael D. Harrison,
Paul Curzon,
José Creissac Campos,
2017,
Handbook of Formal Methods in Human-Computer Interaction.
Yi Zhang,
Paolo Masci,
Paul Jones,
2015
.
Philippe A. Palanque,
C. Cachin,
R. Bloomfield,
2009
.
Paul Curzon,
Harold Thimbleby,
Paolo Masci,
2015,
International Conference on Computer Aided Verification.
Ann Blandford,
Paul Curzon,
Dominic Furniss,
2015,
J. Biomed. Informatics.
Philippe A. Palanque,
Célia Martinie,
Michael D. Harrison,
2020,
ACM Trans. Comput. Hum. Interact..
Yi Zhang,
José Creissac Campos,
Paul L. Jones,
2017,
SEFM.
Harold W. Thimbleby,
Paul Curzon,
Paolo Masci,
2012,
BCS HCI.
Harold W. Thimbleby,
Shouqian Sun,
Sharon Xianghua Ding,
2013,
CHI Extended Abstracts.
Antonello Calabrò,
Felicita Di Giandomenico,
Antonia Bertolino,
2011,
2011 Tenth International Symposium on Autonomous Decentralized Systems.
Valérie Issarny,
Silvano Chiaradonna,
Felicita Di Giandomenico,
2011
.
Felicita Di Giandomenico,
Paolo Masci,
Marco Martinucci,
2011,
2011 Tenth International Symposium on Autonomous Decentralized Systems.
Valérie Issarny,
Silvano Chiaradonna,
Felicita Di Giandomenico,
2010
.
Francesco Flammini,
Krishna M. Sivalingam,
Alfredo Cuzzocrea,
2020,
EDCC Workshops.
C. Bernardeschi,
P. Masci,
Maurizio Palmieri,
2019,
Software and Systems Modeling.
Andrea Domenici,
Cinzia Bernardeschi,
Paolo Masci,
2018,
IEEE Transactions on Software Engineering.
Cinzia Bernardeschi,
Paolo Masci,
Maurizio Palmieri,
2017,
SEFM Workshops.
Harold W. Thimbleby,
Paul Curzon,
Paul L. Jones,
2014,
NASA Formal Methods.
Nicoletta De Francesco,
Marco Avvenuti,
Cinzia Bernardeschi,
2012,
J. Syst. Softw..
Harold W. Thimbleby,
Paul Curzon,
Paolo Masci,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Silvano Chiaradonna,
Felicita Di Giandomenico,
Paolo Masci,
2010,
2010 European Dependable Computing Conference.
Michael D. Harrison,
Paul Curzon,
Paolo Masci,
2012,
NASA Formal Methods.
Andrea Domenici,
Cinzia Bernardeschi,
Luca Cassano,
2011
.
Alessio Vecchio,
Paolo Corsini,
Paolo Masci,
2006,
2006 International Conference on Wireless and Mobile Communications (ICWMC'06).
Alessio Vecchio,
Paolo Corsini,
Paolo Masci,
2006,
Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).
Michael D. Harrison,
Paul Curzon,
José Creissac Campos,
2017,
IEEE Transactions on Human-Machine Systems.
Michael D. Harrison,
José Creissac Campos,
Paolo Masci,
2018,
STAF Workshops.
Valérie Issarny,
Antinisca Di Marco,
Fabio Martinelli,
2010
.
Philippe A. Palanque,
Kristof Van Laerhoven,
M. Harrison,
2021,
INTERACT.
Cinzia Bernardeschi,
Luca Cassano,
Andrea Domenici,
2011
.
Yi Zhang,
Paolo Masci,
Carlos Silva,
2019,
SIGBED.
Yi Zhang,
Paolo Masci,
Paul Jones,
2019,
Biomedical instrumentation & technology.
Paul Curzon,
Harold Thimbleby,
Paolo Masci,
2015
.
Ann Blandford,
Paul Curzon,
Dominic Furniss,
2014,
Applied ergonomics.
Felicita Di Giandomenico,
Paolo Masci,
Nicola Nostro,
2014,
Reliab. Eng. Syst. Saf..
Michael D. Harrison,
José Creissac Campos,
Paolo Masci,
2019,
IEEE Transactions on Software Engineering.
Michael D. Harrison,
José Creissac Campos,
Paolo Masci,
2016
.
Paul Curzon,
Paolo Masci,
P. Curzon,
2011,
USAB.
M. Consiglio,
P. Masci,
V. A. Carreño,
2022,
2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC).
Harold W. Thimbleby,
Paul Curzon,
Paolo Masci,
2013,
Innovations in Systems and Software Engineering.
H. Thimbleby,
P. Curzon,
P. Masci,
2011
.
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis
Felicita Di Giandomenico,
Paolo Masci,
Nicola Nostro,
2011,
SERENE.
Maurizio Palmieri,
Cinzia Bernardeschi,
Paolo Masci,
2019,
Software and Systems Modeling.
Harold W. Thimbleby,
Paul Curzon,
Paolo Masci,
2015,
EAI Endorsed Trans. Collab. Comput..
Piergiuseppe Mallozzi,
P. Curzon,
G. Serugendo,
2015
.
Michael D. Harrison,
Paul Curzon,
José Creissac Campos,
2015
.
Peter Gorm Larsen,
Paul Curzon,
Paolo Masci,
2015
.
Nicoletta De Francesco,
Giuseppe Lettieri,
Luca Martini,
2008,
TOPL.
Giuseppe Lettieri,
Luca Martini,
Cinzia Bernardeschi,
2006,
Comput. J..
Giuseppe Lettieri,
Luca Martini,
Cinzia Bernardeschi,
2005,
Bytecode@ETAPS.
Luca Martini,
Cinzia Bernardeschi,
Paolo Masci,
2004,
IASTED Conf. on Software Engineering and Applications.
Yi Zhang,
Harold W. Thimbleby,
Paul Curzon,
2015,
CAV.
Michael D. Harrison,
José Creissac Campos,
Paolo Masci,
2019,
Sci. Comput. Program..