Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Nicoletta De Francesco
2010 – today
- 2012
[j40]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)- [j39]Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Efficient Genotype Elimination via Adaptive Allele Consolidation. IEEE/ACM Trans. Comput. Biology Bioinform. 9(4): 1180-1189 (2012)
- 2010
- [j38]Roberto Barbuti, Nicoletta De Francesco, Luca Tesei: An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53(6): 679-700 (2010)
- [j37]Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini: Partial model checking via abstract interpretation. Inf. Process. Lett. 110(3): 99-103 (2010)
- [j36]Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Using abstract interpretation to add type checking for interfaces in Java bytecode verification. Theor. Comput. Sci. 411(22-24): 2174-2201 (2010)
- [c20]Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Celer: an Efficient Program for Genotype Elimination. AMCA-POP 2010: 56-70
2000 – 2009
- 2008
- [j35]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)
- 2007
- [j34]Nicoletta De Francesco, Luca Martini: Instruction-level security analysis for information flow in stack-based assembly languages. Inf. Comput. 205(9): 1334-1370 (2007)
- [j33]Nicoletta De Francesco, Luca Martini: Instruction-level security typing by abstract interpretation. Int. J. Inf. Sec. 6(2-3): 85-106 (2007)
- [j32]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. 177(1): 299-311 (2007)
- 2005
- [j31]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Reduced Models for Efficient CCS Verification. Formal Methods in System Design 26(3): 319-350 (2005)
- [c19]Nicoletta 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
- 2004
- [j30]Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47(1): 25-45 (2004)
- [j29]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)
- [j28]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
- [j27]Nicoletta 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)
- [j26]Nicoletta De Francesco, Giuseppe Lettieri: Checking security properties by model checking. Softw. Test., Verif. Reliab. 13(3): 181-196 (2003)
- [c18]Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini: Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops 2003: 425-436
- [c17]Nicoletta De Francesco, Marinella Petrocchi: Authenticity in a Reliable Protocol for Mobile Computing. SAC 2003: 318-324
- 2002
- [j25]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)
- [j24]Nicoletta De Francesco, Antonella Santone: A Formula-Driven Modular Attack on State Explosion. Int. J. Found. Comput. Sci. 13(5): 719-731 (2002)
- [j23]Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83(2): 101-108 (2002)
- [j22]Nicoletta De Francesco, Antonella Santone: A tool supporting efficient model checking of concurrent specifications. Microprocessors and Microsystems 25(9-10): 401-407 (2002)
- [j21]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)
- [j20]Nicoletta De Francesco, Antonella Santone: Syntactic reductions for efficient deadlock analysis. Softw. Test., Verif. Reliab. 12(3): 173-186 (2002)
- [c16]Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC 2002: 850-855
- [c15]Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Checking security of Java bytecode by abstract interpretation. SAC 2002: 229-236
- [c14]Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco: Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382
- [c13]Cinzia Bernardeschi, Nicoletta De Francesco: Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. VMCAI 2002: 1-15
- 2001
- [j19]Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone: Efficient Verification of a Multicast Protocol for Mobile Computing. Comput. J. 44(1): 21-30 (2001)
- [j18]Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001)
- [j17]Roberto Barbuti, Nicoletta De Francesco, Luca Tesei: Timed Automata with non-Instantaneous Actions. Fundam. Inform. 47(3-4): 189-200 (2001)
- [j16]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)
- [c12]Mieke Massink, Nicoletta De Francesco: Modelling Free Flight with Collision Avoidance. ICECCS 2001: 270-280
- 2000
- [j15]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)
1990 – 1999
- 1999
- [j14]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. 70(2): 69-78 (1999)
- [j13]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)
- [j12]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)
- [c11]Roberto 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
- 1998
- [j11]Nicoletta De Francesco, Antonella Santone: A Transformation System for Concurrent Processes. Acta Inf. 35(12): 1037-1073 (1998)
- [j10]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)
- [j9]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
- [j8]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone: Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Inf. 34(6): 449-489 (1997)
- [c10]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
- 1996
- [c9]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS 1996: 370-387
- [c8]Nicoletta De Francesco, Antonella Santone: Unfold/Fold Transformations of Concurrent Processes. PLILP 1996: 167-181
- 1995
- [j7]Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini: A Petri Nets Semantics for Data Flow Networks. Acta Inf. 32(4): 347-374 (1995)
- [c7]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone: Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 547-561
- [c6]Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215
- 1994
- [j6]Nicoletta De Francesco, Paola Inverardi: Proving Finiteness of CCS Processes by Non-Standard Semantics. Acta Inf. 31(1): 55-80 (1994)
- [j5]Nicoletta 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)
- [c5]Nicoletta De Francesco, Ugo Montanari, Gioia Ristori: Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994: 403-422
- 1993
- [j4]Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich: Axiomatizing CCS, Nets and Processes. Sci. Comput. Program. 21(3): 225-261 (1993)
- 1992
- [c4]Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz: Specification of Concurrency Control in Persistent Programming Languages. POS 1992: 126-143
- 1991
- [j3]Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco: Towards innovative software engineering environments. Journal of Systems and Software 14(1): 17-29 (1991)
- [c3]Nicoletta De Francesco, Paola Inverardi: A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991: 266-276
1980 – 1989
- 1989
- [c2]Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
- 1988
- [j2]Nicoletta De Francesco, Gigliola Vaglini: Description of a Tool for Specifying and Prototyping Concurrent Programs. IEEE Trans. Software Eng. 14(11): 1554-1564 (1988)
- 1986
- [j1]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
- [c1]Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: An Interactive Debugger for a Concurrent Language. ICSE 1985: 320-329
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:30 CET by the dblp team