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

Nicoletta De Francesco Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Giuseppe Lettieri, Luca Martini: Celer: an Efficient Program for Genotype Elimination AMCA-POP 2010: 56-70
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Nicoletta De Francesco, Luca Tesei: An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53(6): 679-700 (2010)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini: Partial model checking via abstract interpretation. Inf. Process. Lett. 110(3): 99-103 (2010)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta 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)
2008
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Luca Martini: Instruction-level security analysis for information flow in stack-based assembly languages. Inf. Comput. 205(9): 1334-1370 (2007)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Antonella Santone, Gigliola Vaglini: A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. 177(1): 299-311 (2007)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Luca Martini: Instruction-level security typing by abstract interpretation. Int. J. Inf. Sec. 6(2-3): 85-106 (2007)
2005
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47(1): 25-45 (2004)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia 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)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Nicoletta De Francesco, Luca Martini: Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops 2003: 425-436
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Marinella Petrocchi: Authenticity in a Reliable Protocol for Mobile Computing. SAC 2003: 318-324
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta 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)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Giuseppe Lettieri: Checking security properties by model checking. Softw. Test., Verif. Reliab. 13(3): 181-196 (2003)
2002
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri: Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC 2002: 850-855
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Checking security of Java bytecode by abstract interpretation. SAC 2002: 229-236
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco: Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Nicoletta De Francesco: Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. VMCAI 2002: 1-15
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei: A Notion of Non-Interference for Timed Automata. Fundam. Inform. 51(1-2): 1-11 (2002)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco: Abstract interpretation of operational semantics for secure information flow. Inf. Process. Lett. 83(2): 101-108 (2002)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Antonella Santone: A Formula-Driven Modular Attack on State Explosion. Int. J. Found. Comput. Sci. 13(5): 719-731 (2002)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Antonella Santone: A tool supporting efficient model checking of concurrent specifications. Microprocessors and Microsystems 25(9-10): 401-407 (2002)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia 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)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Antonella Santone: Syntactic reductions for efficient deadlock analysis. Softw. Test., Verif. Reliab. 12(3): 173-186 (2002)
2001
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMieke Massink, Nicoletta De Francesco: Modelling Free Flight with Collision Avoidance. ICECCS 2001: 270-280
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone: Efficient Verification of a Multicast Protocol for Mobile Computing. Comput. J. 44(1): 21-30 (2001)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Nicoletta De Francesco, Luca Tesei: Timed Automata with non-Instantaneous Actions. Fundam. Inform. 47(3-4): 189-200 (2001)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. 70(2): 69-78 (1999)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Antonella Santone: A Transformation System for Concurrent Processes. Acta Inf. 35(12): 1037-1073 (1998)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Antonella Santone, Gigliola Vaglini: State Space Reduction by Non-Standard Semantics for Deadlock Analysis. Sci. Comput. Program. 30(3): 309-338 (1998)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE 1997: 519-534
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Nicoletta De Francesco, Antonella Santone: Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Inf. 34(6): 449-489 (1997)
1996
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Antonella Santone, Gigliola Vaglini: A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS 1996: 370-387
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Antonella Santone: Unfold/Fold Transformations of Concurrent Processes. PLILP 1996: 167-181
1995
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Nicoletta De Francesco, Antonella Santone: Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 547-561
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi: Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini: A Petri Nets Semantics for Data Flow Networks. Acta Inf. 32(4): 347-374 (1995)
1994
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Ugo Montanari, Gioia Ristori: Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994: 403-422
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Paola Inverardi: Proving Finiteness of CCS Processes by Non-Standard Semantics. Acta Inf. 31(1): 55-80 (1994)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Ugo Montanari, Daniel Yankelevich: Axiomatizing CCS, Nets and Processes. Sci. Comput. Program. 21(3): 225-261 (1993)
1992
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz: Specification of Concurrency Control in Persistent Programming Languages. POS 1992: 126-143
1991
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Paola Inverardi: A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991: 266-276
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco: Towards innovative software engineering environments. Journal of Systems and Software 14(1): 17-29 (1991)
1989
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini: Shared Abstract Data Types: An Algebraic Methodology for Their Specification. MFDBS 1989: 53-67
1988
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta De Francesco, Gigliola Vaglini: Description of a Tool for Specifying and Prototyping Concurrent Programs. IEEE Trans. Software Eng. 14(11): 1554-1564 (1988)
1986
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini: Development of a Debugger for a Concurrent Language. IEEE Trans. Software Eng. 12(4): 547-553 (1986)
1985
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicoletta 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] [57]
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] [55] [56] [58]
15Paolo Mancarella [19]
16Luigi V. Mancini (Luigi Vincenzo Mancini) [7]
17Luca Martini [45] [46] [50] [51] [53] [54] [55] [56] [58]
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] [57]
26Gigliola Vaglini [1] [2] [3] [4] [7] [9] [12] [16] [18] [20] [22] [23] [24] [25] [26] [27] [49] [52] [56]
27Daniel Yankelevich [8]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page