dblp.uni-trier.dewww.uni-trier.de

Cinzia Bernardeschi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)