Cinzia Bernardeschi

Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco, Paolo Masci: JCSI: A tool for checking secure information flow in Java Card applications. Journal of Systems and Software 85(11): 2479-2493 (2012)

Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Luca Sterpone: Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs. DFT 2012: 115-120

Cinzia Bernardeschi, Luca Cassano, Andrea Domenici: SEU-X: A SEu un-excitability prover for SRAM-FPGAs. IOLTS 2012: 25-30

Cinzia Bernardeschi, Luca Cassano, Andrea Domenici: Failure probability of SRAM-FPGA systems with Stochastic Activity Networks. DDECS 2011: 293-296

Cinzia Bernardeschi, Luca Cassano, Andrea Domenici: Failure Probability and Fault Observability of SRAM-FPGA Systems. FPL 2011: 385-388

Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer: Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS 2009: 105-119

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci: Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1) (2008)

Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer: Early Prototyping of Wireless Sensor Network Algorithms in PVS. SAFECOMP 2008: 346-359

Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49(2): 234-248 (2006)

Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: Using postdomination to reduce space requirements of data flow analysis. Inf. Process. Lett. 98(1): 11-18 (2006)

Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: A Space-Aware Bytecode Verifier for Java Cards. Electr. Notes Theor. Comput. Sci. 141(1): 237-254 (2005)

Cinzia Bernardeschi, Gianluca Dini, Andrea Domenici: FACT: A Tool for Code Generation from Communicating Automata. IASTED Conf. on Software Engineering 2005: 313-318

Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47(1): 25-45 (2004)

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundam. Inform. 60(1-4): 81-98 (2004)

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. Softw., Pract. Exper. 34(13): 1225-1255 (2004)

Cinzia Bernardeschi, Luca Martini: Enforcement of applet boundaries in Java card systems. IASTED Conf. on Software Engineering and Applications 2004: 96-101

Cinzia Bernardeschi, Luca Martini, Paolo Masci: Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications 2004: 559-564

Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini: Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops 2003: 425-436

Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83(2): 101-108 (2002)

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: An abstract semantics tool for secure information flow of stack-based assembly programs. Microprocessors and Microsystems 26(8): 391-398 (2002)

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Model checking fault tolerant systems. Softw. Test., Verif. Reliab. 12(4): 251-275 (2002)

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC 2002: 850-855

Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Checking security of Java bytecode by abstract interpretation. SAC 2002: 229-236

Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco: Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382

Cinzia Bernardeschi, Nicoletta De Francesco: Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. VMCAI 2002: 1-15

Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini: An approach to system design based on P/T net simulation. Information & Software Technology 43(10): 591-605 (2001)

Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formally Verifying Fault Tolerant System Designs. Comput. J. 43(3): 191-205 (2000)

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430

Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini: Temporal analysis of data flow control systems. Automatica 34(2): 169-182 (1998)

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano: A Formal Verification Environment for Railway Signaling System Design. Formal Methods in System Design 12(2): 139-161 (1998)

Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi: Validating the Design of Dependable Systems. ISORC 1998: 364-372

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: An industrial application for the JACK environment. Journal of Systems and Software 39(3): 249-264 (1997)

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi: Proving Safety Properties for Embedded Control Systems. EDCC 1996: 321-332

Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini: A Petri Nets Semantics for Data Flow Networks. Acta Inf. 32(4): 347-374 (1995)

Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini: Using Process Algebras for the Semantic Analysis of Data Flow Networks. IEICE Transactions 78-D(8): 959-968 (1995)

Cinzia Bernardeschi, Alessandro Fantechi, Fabio Paternò: Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. SEKE 1995: 234-243

Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC 1994: 77-94

Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini: From Data Flow Networks to Process Algebras. PARLE 1993: 740-743