| 2008 |
|---|
| 54 | 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) |
| 2007 |
|---|
| 53 | EE | Nicoletta De Francesco,
Luca Martini:
Instruction-level security analysis for information flow in stack-based assembly languages.
Inf. Comput. 205(9): 1334-1370 (2007) |
| 52 | EE | 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) |
| 51 | EE | Nicoletta De Francesco,
Luca Martini:
Instruction-level security typing by abstract interpretation.
Int. J. Inf. Sec. 6(2-3): 85-106 (2007) |
| 2005 |
|---|
| 50 | EE | 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 |
| 49 | EE | 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) |
| 2004 |
|---|
| 48 | 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) |
| 47 | 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) |
| 46 | 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 |
|---|
| 45 | 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 |
| 44 | | Nicoletta De Francesco,
Marinella Petrocchi:
Authenticity in a Reliable Protocol for Mobile Computing.
SAC 2003: 318-324 |
| 43 | EE | 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) |
| 42 | EE | Nicoletta De Francesco,
Giuseppe Lettieri:
Checking security properties by model checking.
Softw. Test., Verif. Reliab. 13(3): 181-196 (2003) |
| 2002 |
|---|
| 41 | EE | Cinzia Bernardeschi,
Nicoletta De Francesco,
Giuseppe Lettieri:
Using Standard Verifier to Check Secure Information Flow in Java Bytecode.
COMPSAC 2002: 850-855 |
| 40 | EE | Roberto Barbuti,
Cinzia Bernardeschi,
Nicoletta De Francesco:
Checking security of Java bytecode by abstract interpretation.
SAC 2002: 229-236 |
| 39 | EE | Roberto Barbuti,
Luca Tesei,
Cinzia Bernardeschi,
Nicoletta De Francesco:
Fixing the Java bytecode verifier by a suitable type domain.
SEKE 2002: 377-382 |
| 38 | EE | Cinzia 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) |
| 36 | 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) |
| 35 | EE | Nicoletta De Francesco,
Antonella Santone:
A Formula-Driven Modular Attack on State Explosion.
Int. J. Found. Comput. Sci. 13(5): 719-731 (2002) |
| 34 | EE | Nicoletta De Francesco,
Antonella Santone:
A tool supporting efficient model checking of concurrent specifications.
Microprocessors and Microsystems 25(9-10): 401-407 (2002) |
| 33 | 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) |
| 32 | | Nicoletta De Francesco,
Antonella Santone:
Syntactic reductions for efficient deadlock analysis.
Softw. Test., Verif. Reliab. 12(3): 173-186 (2002) |
| 2001 |
|---|
| 31 | EE | Mieke Massink,
Nicoletta De Francesco:
Modelling Free Flight with Collision Avoidance.
ICECCS 2001: 270-280 |
| 30 | EE | 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) |
| 29 | EE | 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) |
| 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 |
|---|
| 25 | EE | 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 |
| 24 | EE | 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) |
| 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 |
|---|
| 21 | EE | Nicoletta 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) |
| 9 | EE | 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) |
| 1993 |
|---|
| 8 | | Nicoletta De Francesco,
Ugo Montanari,
Daniel Yankelevich:
Axiomatizing CCS, Nets and Processes.
Sci. Comput. Program. 21(3): 225-261 (1993) |
| 1992 |
|---|
| 7 | EE | Nicoletta 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 |
| 5 | EE | Vincenzo Ambriola,
Paolo Ciancarini,
Andrea Corradini,
Nicoletta De Francesco:
Towards innovative software engineering environments.
Journal of Systems and Software 14(1): 17-29 (1991) |
| 1989 |
|---|
| 4 | EE | Andrea Bondavalli,
Nicoletta De Francesco,
Diego Latella,
Gigliola Vaglini:
Shared Abstract Data Types: An Algebraic Methodology for Their Specification.
MFDBS 1989: 53-67 |
| 1988 |
|---|
| 3 | EE | 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 |
|---|
| 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 |
