Nicoletta De Francesco

68 papers A* 2A 1B 4C 2Misc 2Journal 47Unranked 10
YearRankTypeTitle / Venue / Authors
2020 J jnl
Model checking for malicious family detection and phylogenetic analysis in mobile environment.
Comput. Secur.
Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo, Antonella Santone, Gigliola Vaglini
2019 J jnl
Swarm coordination of mini-UAVs for target search using imperfect sensors.
CoRR
Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Alessandro Lazzeri, Massimiliano Lega, Gigliola Vaglini
2018 J jnl
Design and simulation of the emergent behavior of small drones swarming for distributed target localization.
J. Comput. Sci.
Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Massimiliano Lega, Gigliola Vaglini
2018 J jnl
Swarm coordination of mini-UAVs for target search using imperfect sensors.
Intell. Decis. Technol.
Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Alessandro Lazzeri, Massimiliano Lega, Gigliola Vaglini
2016 J jnl
Heuristic search for equivalence checking.
Softw. Syst. Model.
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
2014 J jnl
GreASE: A Tool for Efficient "Nonequivalence" Checking.
ACM Trans. Softw. Eng. Methodol.
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
2012 J jnl
Efficient Genotype Elimination via Adaptive Allele Consolidation.
IEEE ACM Trans. Comput. Biol. Bioinform.
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2012 J jnl
JCSI: A tool for checking secure information flow in Java Card applications.
J. Syst. Softw.
Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco, Paolo Masci
2010 J jnl
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
Comput. J.
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
2010 — conf
Celer: an Efficient Program for Genotype Elimination
AMCA-POP
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2010 J jnl
Partial model checking via abstract interpretation.
Inf. Process. Lett.
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini
2010 J jnl
Using abstract interpretation to add type checking for interfaces in Java bytecode verification.
Theor. Comput. Sci.
Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2008 J jnl
Decomposing bytecode verification by abstract interpretation.
ACM Trans. Program. Lang. Syst.
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci
2007 J jnl
A user-friendly interface to specify temporal properties of concurrent systems.
Inf. Sci.
Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
2007 J jnl
Instruction-level security analysis for information flow in stack-based assembly languages.
Inf. Comput.
Nicoletta De Francesco, Luca Martini
2007 J jnl
Instruction-level security typing by abstract interpretation.
Int. J. Inf. Sec.
Nicoletta De Francesco, Luca Martini
2005 — conf
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations.
Formal Aspects in Security and Trust
Nicoletta De Francesco, Luca Martini
2005 J jnl
Reduced Models for Efficient CCS Verification.
Formal Methods Syst. Des.
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
2004 J jnl
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation.
Comput. J.
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
2004 J jnl
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.
Softw. Pract. Exp.
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini
2004 J jnl
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs.
Fundam. Informaticae
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
2003 J jnl
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.
Fundam. Informaticae
Nicoletta De Francesco, Antonella Santone, Luca Tesei
2003 Misc conf
Authenticity in a Reliable Protocol for Mobile Computing.
SAC
Nicoletta De Francesco, Marinella Petrocchi
2003 J jnl
Checking security properties by model checking.
Softw. Test. Verification Reliab.
Nicoletta De Francesco, Giuseppe Lettieri
2003 — conf
Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract.
OTM Workshops
Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini
2003 J jnl
Java bytecode verification for secure information flow.
ACM SIGPLAN Notices
Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco
2002 J jnl
A Formula-Driven Modular Attack on State Explosion.
Int. J. Found. Comput. Sci.
Nicoletta De Francesco, Antonella Santone
2002 J jnl
A Notion of Non-Interference for Timed Automata.
Fundam. Informaticae
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
2002 J jnl
A tool supporting efficient model checking of concurrent specifications.
Microprocess. Microsystems
Nicoletta De Francesco, Antonella Santone
2002 J jnl
Abstract interpretation of operational semantics for secure information flow.
Inf. Process. Lett.
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
2002 J jnl
An abstract semantics tool for secure information flow of stack-based assembly programs.
Microprocess. Microsystems
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
2002 Misc conf
Checking security of Java bytecode by abstract interpretation.
SAC
Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco
2002 B conf
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.
VMCAI
Cinzia Bernardeschi, Nicoletta De Francesco
2002 C conf
Fixing the Java bytecode verifier by a suitable type domain.
SEKE
Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco
2002 J jnl
Syntactic reductions for efficient deadlock analysis.
Softw. Test. Verification Reliab.
Nicoletta De Francesco, Antonella Santone
2002 B conf
Using Standard Verifier to Check Secure Information Flow in Java Bytecode.
COMPSAC
Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
2001 J jnl
An approach to system design based on P/T net simulation.
Inf. Softw. Technol.
Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini
2001 J jnl
Efficient Verification of a Multicast Protocol for Mobile Computing.
Comput. J.
Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone
2001 J jnl
Finite Approximations for Model Checking Non-finite-state Processes.
Comput. J.
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
2001 B conf
Modelling Free Flight with Collision Avoidance.
ICECCS
Mieke Massink, Nicoletta De Francesco
2001 J jnl
Timed Automata with non-Instantaneous Actions.
Fundam. Informaticae
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei
2000 J jnl
Logic Based Abstractions of Real-Time Systems.
Formal Methods Syst. Des.
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1999 J jnl
Abstract Interpretation of Trace Semantics for Concurrent Calculi.
Inf. Process. Lett.
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1999 — conf
Formula Based Abstractions of Transition Systems for Real-Time Model Checking.
World Congress on Formal Methods
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1999 J jnl
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.
Softw. Pract. Exp.
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1999 J jnl
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems.
J. Comput. Syst. Sci.
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1998 J jnl
A Transformation System for Concurrent Processes.
Acta Informatica
Nicoletta De Francesco, Antonella Santone
1998 J jnl
State Space Reduction by Non-Standard Semantics for Deadlock Analysis.
Sci. Comput. Program.
Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1998 J jnl
Towards a Logical Semantics for Pure Prolog.
Sci. Comput. Program.
Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
1997 J jnl
Algebraic Computational Models of OR-Parallel Execution of Prolog.
Acta Informatica
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
1997 C conf
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems.
FORTE
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1996 — conf
A Non-Standard Semantics for Generating Reduced Transition Systems.
LOMAPS
Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1996 — conf
Unfold/Fold Transformations of Concurrent Processes.
PLILP
Nicoletta De Francesco, Antonella Santone
1995 J jnl
A Petri Nets Semantics for Data Flow Networks.
Acta Informatica
Cinzia Bernardeschi, Nicoletta De Francesco, Gigliola Vaglini
1995 A conf
Model Checking of Non-Finite State Processes by Finite Approximations.
TACAS
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi
1995 B conf
Modeling OR-Parallel Execution of Prolog using CHOCS.
ICLP
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
1994 J jnl
Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases.
Distributed Parallel Databases
Nicoletta De Francesco, Gigliola Vaglini
1994 — conf
Modelling Concurrent Accesses to Shared Data via Petri Nets.
PROCOMET
Nicoletta De Francesco, Ugo Montanari, Gioia Ristori
1994 J jnl
Proving Finiteness of CCS Processes by Non-Standard Semantics.
Acta Informatica
Nicoletta De Francesco, Paola Inverardi
1993 J jnl
Axiomatizing CCS, Nets and Processes.
Sci. Comput. Program.
Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich
1992 — conf
Specification of Concurrency Control in Persistent Programming Languages.
POS
Nicoletta De Francesco, Gigliola Vaglini, Luigi V. Mancini, A. Pereira Paz
1991 A* conf
A Semantic Driven Method to Check the Finiteness of CCS Processes.
CAV
Nicoletta De Francesco, Paola Inverardi
1991 J jnl
Towards innovative software engineering environments.
J. Syst. Softw.
Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco
1989 — conf
Shared Abstract Data Types: An Algebraic Methodology for Their Specification.
MFDBS
Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini
1988 J jnl
Description of a Tool for Specifying and Prototyping Concurrent Programs.
IEEE Trans. Software Eng.
Nicoletta De Francesco, Gigliola Vaglini
1986 J jnl
Development of a Debugger for a Concurrent Language.
IEEE Trans. Software Eng.
Fabrizio Baiardi, Nicoletta De Francesco, Gigliola Vaglini
1985 A* conf
An Interactive Debugger for a Concurrent Language.
ICSE
Nicoletta De Francesco, Diego Latella, Gigliola Vaglini
1983 — conf
Development of a debugger for a concurrent language.
SIGSOFT
Fabrizio Baiardi, Nicoletta De Francesco, E. Matteoli, S. Stefanini, Gigliola Vaglini