Cinzia Bernardeschi
AuthID: R-00G-XF9
11
TÃTULO: Modeling Communication Network Requirements for an Integrated Clinical Environment in the Prototype Verification System
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLICAÇÃO: 2016, FONTE: IEEE Symposium on Computers and Communication (ISCC) in 2016 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC), VOLUME: 2016-August
AUTORES: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLICAÇÃO: 2016, FONTE: IEEE Symposium on Computers and Communication (ISCC) in 2016 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC), VOLUME: 2016-August
12
TÃTULO: Combining PVSio with Stateflow
AUTORES: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium, NFM 2014 in NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, VOLUME: 8430
AUTORES: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLICAÇÃO: 2014, FONTE: 6th NASA Formal Methods Symposium, NFM 2014 in NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, VOLUME: 8430
13
TÃTULO: Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models
AUTORES: Andrea Domenici; Cinzia Bernardeschi; Paolo Masci ;
PUBLICAÇÃO: 2014, FONTE: Proceedings of the 2nd International Congress on Cardiovascular Technologies
AUTORES: Andrea Domenici; Cinzia Bernardeschi; Paolo Masci ;
PUBLICAÇÃO: 2014, FONTE: Proceedings of the 2nd International Congress on Cardiovascular Technologies
14
TÃTULO: Integrated simulation of implantable cardiac pacemaker software and heart models
AUTORES: Bernardeschi, C; Domenici, A; Masci, P ;
PUBLICAÇÃO: 2014, FONTE: 2nd International Congress on Cardiovascular Technologies, CARDIOTECHNIX 2014 in CARDIOTECHNIX 2014 - Proceedings of the 2nd International Congress on Cardiovascular Technologies
AUTORES: Bernardeschi, C; Domenici, A; Masci, P ;
PUBLICAÇÃO: 2014, FONTE: 2nd International Congress on Cardiovascular Technologies, CARDIOTECHNIX 2014 in CARDIOTECHNIX 2014 - Proceedings of the 2nd International Congress on Cardiovascular Technologies
INDEXADO EM: 
Scopus
Scopus15
TÃTULO: JCSI: A tool for checking secure information flow in Java Card applications Full Text
AUTORES: Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco; Paolo Masci ;
PUBLICAÇÃO: 2012, FONTE: Journal of Systems and Software, VOLUME: 85, NÚMERO: 11
AUTORES: Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco; Paolo Masci ;
PUBLICAÇÃO: 2012, FONTE: Journal of Systems and Software, VOLUME: 85, NÚMERO: 11
16
TÃTULO: Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
AUTORES: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009 in Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, VOLUME: 5873
AUTORES: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009 in Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, VOLUME: 5873
17
TÃTULO: Decomposing bytecode verification by abstract interpretation
AUTORES: Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2008, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 31, NÚMERO: 1
AUTORES: Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2008, FONTE: ACM Trans. Program. Lang. Syst., VOLUME: 31, NÚMERO: 1
18
TÃTULO: Early Prototyping of Wireless Sensor Network Algorithms in PVS
AUTORES: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLICAÇÃO: 2008, FONTE: 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008 in Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, VOLUME: 5219
AUTORES: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLICAÇÃO: 2008, FONTE: 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008 in Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, VOLUME: 5219
19
TÃTULO: Using Control Dependencies for Space-Aware Bytecode Verification
AUTORES: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2006, FONTE: Comput. J., VOLUME: 49, NÚMERO: 2
AUTORES: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2006, FONTE: Comput. J., VOLUME: 49, NÚMERO: 2
20
TÃTULO: Using postdomination to reduce space requirements of data flow analysis Full Text
AUTORES: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2006, FONTE: Inf. Process. Lett., VOLUME: 98, NÚMERO: 1
AUTORES: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLICAÇÃO: 2006, FONTE: Inf. Process. Lett., VOLUME: 98, NÚMERO: 1
