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

Nicoletta De Francesco

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

2008
54EECinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci: Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1): (2008)
2007
53EENicoletta De Francesco, Luca Martini: Instruction-level security analysis for information flow in stack-based assembly languages. Inf. Comput. 205(9): 1334-1370 (2007)
52EENicoletta De Francesco, Antonella Santone, Gigliola Vaglini: A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. 177(1): 299-311 (2007)
51EENicoletta De Francesco, Luca Martini: Instruction-level security typing by abstract interpretation. Int. J. Inf. Sec. 6(2-3): 85-106 (2007)
2005
50EENicoletta De Francesco, Luca Martini: Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. Formal Aspects in Security and Trust 2005: 63-80
49EERoberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Reduced Models for Efficient CCS Verification. Formal Methods in System Design 26(3): 319-350 (2005)
2004
48EERoberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47(1): 25-45 (2004)
47EECinzia 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)
46EECinzia 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
45EECinzia Bernardeschi, Nicoletta De Francesco, Luca Martini: Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops 2003: 425-436
44 Nicoletta De Francesco, Marinella Petrocchi: Authenticity in a Reliable Protocol for Mobile Computing. SAC 2003: 318-324
43EENicoletta De Francesco, Antonella Santone, Luca Tesei: Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. Fundam. Inform. 54(2-3): 195-211 (2003)
42EENicoletta De Francesco, Giuseppe Lettieri: Checking security properties by model checking. Softw. Test., Verif. Reliab. 13(3): 181-196 (2003)
2002
41EECinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC 2002: 850-855
40EERoberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Checking security of Java bytecode by abstract interpretation. SAC 2002: 229-236
39EERoberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco: Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382
38EECinzia Bernardeschi, Nicoletta De Francesco: Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. VMCAI 2002: 1-15
37 Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei: A Notion of Non-Interference for Timed Automata. Fundam. Inform. 51(1-2): 1-11 (2002)
36EERoberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83(2): 101-108 (2002)
35EENicoletta De Francesco, Antonella Santone: A Formula-Driven Modular Attack on State Explosion. Int. J. Found. Comput. Sci. 13(5): 719-731 (2002)
34EENicoletta De Francesco, Antonella Santone: A tool supporting efficient model checking of concurrent specifications. Microprocessors and Microsystems 25(9-10): 401-407 (2002)
33EECinzia 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)
32 Nicoletta De Francesco, Antonella Santone: Syntactic reductions for efficient deadlock analysis. Softw. Test., Verif. Reliab. 12(3): 173-186 (2002)
2001
31EEMieke Massink, Nicoletta De Francesco: Modelling Free Flight with Collision Avoidance. ICECCS 2001: 270-280
30EEGiuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone: Efficient Verification of a Multicast Protocol for Mobile Computing. Comput. J. 44(1): 21-30 (2001)
29EENicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001)
28 Roberto Barbuti, Nicoletta De Francesco, Luca Tesei: Timed Automata with non-Instantaneous Actions. Fundam. Inform. 47(3-4): 189-200 (2001)
27 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
26 Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Logic Based Abstractions of Real-Time Systems. Formal Methods in System Design 17(3): 201-220 (2000)
1999
25EERoberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Formula Based Abstractions of Transition Systems for Real-Time Model Checking. World Congress on Formal Methods 1999: 289-306
24EERoberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. 70(2): 69-78 (1999)
23 Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. J. Comput. Syst. Sci. 59(3): 537-556 (1999)
22 Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Softw., Pract. Exper. 29(12): 1123-1147 (1999)
1998
21EENicoletta De Francesco, Antonella Santone: A Transformation System for Concurrent Processes. Acta Inf. 35(12): 1037-1073 (1998)
20 Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: State Space Reduction by Non-Standard Semantics for Deadlock Analysis. Sci. Comput. Program. 30(3): 309-338 (1998)
19 Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone: Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. 32(1-3): 145-176 (1998)
1997
18 Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE 1997: 519-534
17 Roberto Barbuti, Nicoletta De Francesco, Antonella Santone: Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Inf. 34(6): 449-489 (1997)
1996
16 Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS 1996: 370-387
15 Nicoletta De Francesco, Antonella Santone: Unfold/Fold Transformations of Concurrent Processes. PLILP 1996: 167-181
1995
14 Roberto Barbuti, Nicoletta De Francesco, Antonella Santone: Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 547-561
13 Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215
12 Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini: A Petri Nets Semantics for Data Flow Networks Acta Inf. 32(4): 347-374 (1995)
1994
11 Nicoletta De Francesco, Ugo Montanari, Gioia Ristori: Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994: 403-422
10 Nicoletta De Francesco, Paola Inverardi: Proving Finiteness of CCS Processes by Non-Standard Semantics. Acta Inf. 31(1): 55-80 (1994)
9EENicoletta De Francesco, Gigliola Vaglini: Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases. Distributed and Parallel Databases 2(1): 33-58 (1994)
1993
8 Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich: Axiomatizing CCS, Nets and Processes. Sci. Comput. Program. 21(3): 225-261 (1993)
1992
7EENicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz: Specification of Concurrency Control in Persistent Programming Languages. POS 1992: 126-143
1991
6 Nicoletta De Francesco, Paola Inverardi: A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991: 266-276
5EEVincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco: Towards innovative software engineering environments. Journal of Systems and Software 14(1): 17-29 (1991)
1989
4EEAndrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
1988
3EENicoletta De Francesco, Gigliola Vaglini: Description of a Tool for Specifying and Prototyping Concurrent Programs. IEEE Trans. Software Eng. 14(11): 1554-1564 (1988)
1986
2 Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini: Development of a Debugger for a Concurrent Language. IEEE Trans. Software Eng. 12(4): 547-553 (1986)
1985
1 Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: An Interactive Debugger for a Concurrent Language. ICSE 1985: 320-329

Coauthor Index

1Vincenzo Ambriola [5]
2Giuseppe Anastasi [30]
3Fabrizio Baiardi [2]
4Roberto Barbuti [14] [17] [18] [19] [22] [23] [24] [25] [26] [28] [36] [37] [39] [40] [48] [49]
5Alberto Bartoli [30]
6Cinzia Bernardeschi [12] [27] [33] [36] [38] [39] [40] [41] [45] [46] [47] [48] [54]
7Andrea Bondavalli [4]
8Paolo Ciancarini [5]
9Andrea Corradini [5]
10Alessandro Fantechi [13] [29]
11Stefania Gnesi [13] [29]
12Paola Inverardi [6] [10] [13] [29]
13Diego Latella [1] [4]
14Giuseppe Lettieri [33] [41] [42] [46] [47] [54]
15Paolo Mancarella [19]
16Luigi V. Mancini [7]
17Luca Martini [45] [46] [50] [51] [53] [54]
18Paolo Masci [54]
19Mieke Massink [31]
20Ugo Montanari [8] [11]
21A. Pereira Paz [7]
22Marinella Petrocchi [44]
23Gioia Ristori [11]
24Antonella Santone [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [30] [32] [34] [35] [37] [43] [49] [52]
25Luca Tesei [28] [37] [39] [43]
26Gigliola Vaglini [1] [2] [3] [4] [7] [9] [12] [16] [18] [20] [22] [23] [24] [25] [26] [27] [49] [52]
27Daniel Yankelevich [8]

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