2008 |
30 | EE | Cinzia Bernardeschi,
Paolo Masci,
Holger Pfeifer:
Early Prototyping of Wireless Sensor Network Algorithms in PVS.
SAFECOMP 2008: 346-359 |
29 | EE | 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 |
28 | EE | Cinzia Bernardeschi,
Giuseppe Lettieri,
Luca Martini,
Paolo Masci:
Using Control Dependencies for Space-Aware Bytecode Verification.
Comput. J. 49(2): 234-248 (2006) |
27 | EE | 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 |
26 | | Cinzia Bernardeschi,
Gianluca Dini,
Andrea Domenici:
FACT: A Tool for Code Generation from Communicating Automata.
IASTED Conf. on Software Engineering 2005: 313-318 |
25 | EE | 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 |
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 |
22 | EE | Roberto Barbuti,
Cinzia Bernardeschi,
Nicoletta De Francesco:
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation.
Comput. J. 47(1): 25-45 (2004) |
21 | EE | 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) |
20 | EE | 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 |
19 | EE | 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 |
18 | EE | Cinzia Bernardeschi,
Nicoletta De Francesco,
Giuseppe Lettieri:
Using Standard Verifier to Check Secure Information Flow in Java Bytecode.
COMPSAC 2002: 850-855 |
17 | EE | Roberto Barbuti,
Cinzia Bernardeschi,
Nicoletta De Francesco:
Checking security of Java bytecode by abstract interpretation.
SAC 2002: 229-236 |
16 | EE | Roberto Barbuti,
Luca Tesei,
Cinzia Bernardeschi,
Nicoletta De Francesco:
Fixing the Java bytecode verifier by a suitable type domain.
SEKE 2002: 377-382 |
15 | EE | Cinzia Bernardeschi,
Nicoletta De Francesco:
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.
VMCAI 2002: 1-15 |
14 | EE | Roberto Barbuti,
Cinzia Bernardeschi,
Nicoletta De Francesco:
Abstract interpretation of operational semantics for secure information flow.
Inf. Process. Lett. 83(2): 101-108 (2002) |
13 | EE | 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) |
12 | EE | Cinzia 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 |
9 | EE | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi:
Formal Validation of the GUARDS Inter-Consistency Mechanism.
SAFECOMP 1999: 420-430 |
1998 |
8 | EE | Cinzia 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 |
6 | EE | Cinzia 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 |