Cinzia Bernardeschi
AuthID: R-00G-XF9
11
TITLE: Modeling Communication Network Requirements for an Integrated Clinical Environment in the Prototype Verification System
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLISHED: 2016, SOURCE: IEEE Symposium on Computers and Communication (ISCC) in 2016 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC), VOLUME: 2016-August
AUTHORS: Cinzia Bernardeschi; Andrea Domenici; Paolo Masci ;
PUBLISHED: 2016, SOURCE: IEEE Symposium on Computers and Communication (ISCC) in 2016 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATION (ISCC), VOLUME: 2016-August
12
TITLE: Combining PVSio with Stateflow
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2014, SOURCE: 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
TITLE: Integrated Simulation of Implantable Cardiac Pacemaker Software and Heart Models
AUTHORS: Andrea Domenici; Cinzia Bernardeschi; Paolo Masci ;
PUBLISHED: 2014, SOURCE: Proceedings of the 2nd International Congress on Cardiovascular Technologies
AUTHORS: Andrea Domenici; Cinzia Bernardeschi; Paolo Masci ;
PUBLISHED: 2014, SOURCE: Proceedings of the 2nd International Congress on Cardiovascular Technologies
14
TITLE: Integrated simulation of implantable cardiac pacemaker software and heart models
AUTHORS: Bernardeschi, C; Domenici, A; Masci, P ;
PUBLISHED: 2014, SOURCE: 2nd International Congress on Cardiovascular Technologies, CARDIOTECHNIX 2014 in CARDIOTECHNIX 2014 - Proceedings of the 2nd International Congress on Cardiovascular Technologies
AUTHORS: Bernardeschi, C; Domenici, A; Masci, P ;
PUBLISHED: 2014, SOURCE: 2nd International Congress on Cardiovascular Technologies, CARDIOTECHNIX 2014 in CARDIOTECHNIX 2014 - Proceedings of the 2nd International Congress on Cardiovascular Technologies
INDEXED IN: 
Scopus
Scopus15
TITLE: JCSI: A tool for checking secure information flow in Java Card applications Full Text
AUTHORS: Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco; Paolo Masci ;
PUBLISHED: 2012, SOURCE: Journal of Systems and Software, VOLUME: 85, ISSUE: 11
AUTHORS: Marco Avvenuti; Cinzia Bernardeschi; Nicoletta De Francesco; Paolo Masci ;
PUBLISHED: 2012, SOURCE: Journal of Systems and Software, VOLUME: 85, ISSUE: 11
16
TITLE: Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
AUTHORS: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLISHED: 2009, SOURCE: 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
AUTHORS: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLISHED: 2009, SOURCE: 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
TITLE: Decomposing bytecode verification by abstract interpretation
AUTHORS: Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2008, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 31, ISSUE: 1
AUTHORS: Cinzia Bernardeschi; Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2008, SOURCE: ACM Trans. Program. Lang. Syst., VOLUME: 31, ISSUE: 1
18
TITLE: Early Prototyping of Wireless Sensor Network Algorithms in PVS
AUTHORS: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLISHED: 2008, SOURCE: 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
AUTHORS: Cinzia Bernardeschi; Paolo Masci ; Holger Pfeifer;
PUBLISHED: 2008, SOURCE: 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
TITLE: Using Control Dependencies for Space-Aware Bytecode Verification
AUTHORS: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2006, SOURCE: Comput. J., VOLUME: 49, ISSUE: 2
AUTHORS: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2006, SOURCE: Comput. J., VOLUME: 49, ISSUE: 2
20
TITLE: Using postdomination to reduce space requirements of data flow analysis Full Text
AUTHORS: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2006, SOURCE: Inf. Process. Lett., VOLUME: 98, ISSUE: 1
AUTHORS: Cinzia Bernardeschi; Giuseppe Lettieri; Luca Martini; Paolo Masci ;
PUBLISHED: 2006, SOURCE: Inf. Process. Lett., VOLUME: 98, ISSUE: 1
