Cinzia Bernardeschi

	2011
35		Cinzia Bernardeschi, Luca Cassano, Andrea Domenici: Failure probability of SRAM-FPGA systems with Stochastic Activity Networks. DDECS 2011: 293-296
34		Cinzia Bernardeschi, Luca Cassano, Andrea Domenici: Failure Probability and Fault Observability of SRAM-FPGA Systems. FPL 2011: 385-388
	2009
33		Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer: Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. SSS 2009: 105-119
	2008
32		Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer: Early Prototyping of Wireless Sensor Network Algorithms in PVS. SAFECOMP 2008: 346-359
31		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)
	2006
30		Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci: Using Control Dependencies for Space-Aware Bytecode Verification. Comput. J. 49(2): 234-248 (2006)
29		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)
	2005
28		Cinzia Bernardeschi, Gianluca Dini, Andrea Domenici: FACT: A Tool for Code Generation from Communicating Automata. IASTED Conf. on Software Engineering 2005: 313-318
27		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)
	2004
26		Cinzia Bernardeschi, Luca Martini, Paolo Masci: Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications 2004: 559-564
25		Cinzia Bernardeschi, Luca Martini: Enforcement of applet boundaries in Java card systems. IASTED Conf. on Software Engineering and Applications 2004: 96-101
24		Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47(1): 25-45 (2004)
23		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)
22		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)
	2003
21		Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini: Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops 2003: 425-436
	2002
20		Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC 2002: 850-855
19		Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Checking security of Java bytecode by abstract interpretation. SAC 2002: 229-236
18		Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco: Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382
17		Cinzia Bernardeschi, Nicoletta De Francesco: Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. VMCAI 2002: 1-15
16		Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83(2): 101-108 (2002)
15		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)
14		Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Model checking fault tolerant systems. Softw. Test., Verif. Reliab. 12(4): 251-275 (2002)
	2001
13		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)
	2000
12		Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formally Verifying Fault Tolerant System Designs. Comput. J. 43(3): 191-205 (2000)
	1999
11		Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430
	1998
10		Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi: Validating the Design of Dependable Systems. ISORC 1998: 364-372
9		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)
8		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)
	1997
7		Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi: An industrial application for the JACK environment. Journal of Systems and Software 39(3): 249-264 (1997)
	1996
6		Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi: Proving Safety Properties for Embedded Control Systems. EDCC 1996: 321-332
	1995
5		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
4		Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini: A Petri Nets Semantics for Data Flow Networks. Acta Inf. 32(4): 347-374 (1995)
3		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)
	1994
2		Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC 1994: 77-94
	1993
1		Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini: From Data Flow Networks to Process Algebras. PARLE 1993: 740-743

Coauthor Index

1	Roberto Barbuti	[16] [18] [19] [24]
2	Andrea Bondavalli	[1] [3] [9]
3	Luca Cassano	[34] [35]
4	György Csertán	[9]
5	Gianluca Dini	[28]
6	Andrea Domenici	[28] [34] [35]
7	Alessandro Fantechi	[2] [5] [6] [7] [8] [10] [11] [12] [14]
8	Nicoletta De Francesco	[4] [13] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [31]
9	Stefania Gnesi	[6] [7] [8] [11] [14]
10	Salvatore Larosa	[8]
11	Giuseppe Lettieri	[15] [20] [22] [23] [27] [29] [30] [31]
12	István Majzik	[9]
13	Luca Martini	[21] [22] [25] [26] [27] [29] [30] [31]
14	Paolo Masci	[26] [27] [29] [30] [31] [32] [33]
15	Giorgio Mongardi	[6] [8]
16	Fabio Paternò	[5]
17	Holger Pfeifer	[32] [33]
18	Dario Romano	[8]
19	Luca Simoncini	[1] [2] [3] [9] [10] [12]
20	Luca Tesei	[18]
21	Gigliola Vaglini	[4] [13]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page