default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNicoletta De Francesco
Person information
- affiliation: University of Pisa, Italy
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j46]Mario G. C. A. Cimino
, Nicoletta De Francesco, Francesco Mercaldo, Antonella Santone, Gigliola Vaglini:
Model checking for malicious family detection and phylogenetic analysis in mobile environment. Comput. Secur. 90: 101691 (2020)
2010 – 2019
- 2019
- [i1]Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Alessandro Lazzeri, Massimiliano Lega, Gigliola Vaglini:
Swarm coordination of mini-UAVs for target search using imperfect sensors. CoRR abs/1901.02885 (2019) - 2018
- [j45]Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Alessandro Lazzeri, Massimiliano Lega, Gigliola Vaglini:
Swarm coordination of mini-UAVs for target search using imperfect sensors. Intell. Decis. Technol. 12(2): 149-162 (2018) - [j44]Antonio L. Alfeo, Mario G. C. A. Cimino, Nicoletta De Francesco, Massimiliano Lega, Gigliola Vaglini:
Design and simulation of the emergent behavior of small drones swarming for distributed target localization. J. Comput. Sci. 29: 19-33 (2018) - 2016
- [j43]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
Heuristic search for equivalence checking. Softw. Syst. Model. 15(2): 513-530 (2016) - 2014
- [j42]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Trans. Softw. Eng. Methodol. 23(3): 24:1-24:26 (2014) - 2012
- [j41]Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco, Paolo Masci:
JCSI: A tool for checking secure information flow in Java Card applications. J. Syst. Softw. 85(11): 2479-2493 (2012) - [j40]Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini:
Efficient Genotype Elimination via Adaptive Allele Consolidation. IEEE ACM Trans. Comput. Biol. Bioinform. 9(4): 1180-1189 (2012) - 2010
- [j39]Roberto Barbuti, Nicoletta De Francesco, Luca Tesei:
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53(6): 679-700 (2010) - [j38]Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini:
Partial model checking via abstract interpretation. Inf. Process. Lett. 110(3): 99-103 (2010) - [j37]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) - [c21]Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini:
Celer: an Efficient Program for Genotype Elimination. AMCA-POP 2010: 56-70
2000 – 2009
- 2008
- [j36]Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci:
Decomposing bytecode verification by abstract interpretation. ACM Trans. Program. Lang. Syst. 31(1): 3:1-3:63 (2008) - 2007
- [j35]Nicoletta De Francesco, Luca Martini:
Instruction-level security analysis for information flow in stack-based assembly languages. Inf. Comput. 205(9): 1334-1370 (2007) - [j34]Nicoletta De Francesco, Luca Martini:
Instruction-level security typing by abstract interpretation. Int. J. Inf. Sec. 6(2-3): 85-106 (2007) - [j33]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
- [j32]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Reduced Models for Efficient CCS Verification. Formal Methods Syst. Des. 26(3): 319-350 (2005) - [c20]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
- [j31]Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco:
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J. 47(1): 25-45 (2004) - [j30]Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri:
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundam. Informaticae 60(1-4): 81-98 (2004) - [j29]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. Exp. 34(13): 1225-1255 (2004) - 2003
- [j28]Nicoletta De Francesco, Antonella Santone, Luca Tesei:
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. Fundam. Informaticae 54(2-3): 195-211 (2003) - [j27]Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco:
Java bytecode verification for secure information flow. ACM SIGPLAN Notices 38(12): 20-27 (2003) - [j26]Nicoletta De Francesco, Giuseppe Lettieri:
Checking security properties by model checking. Softw. Test. Verification Reliab. 13(3): 181-196 (2003) - [c19]Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini:
Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract. OTM Workshops 2003: 425-436 - [c18]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. Informaticae 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. Microprocess. 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. Microprocess. Microsystems 26(8): 391-398 (2002) - [j20]Nicoletta De Francesco, Antonella Santone:
Syntactic reductions for efficient deadlock analysis. Softw. Test. Verification Reliab. 12(3): 173-186 (2002) - [c17]Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri:
Using Standard Verifier to Check Secure Information Flow in Java Bytecode. COMPSAC 2002: 850-855 - [c16]Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco:
Checking security of Java bytecode by abstract interpretation. SAC 2002: 229-236 - [c15]Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco:
Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382 - [c14]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. Informaticae 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. Inf. Softw. Technol. 43(10): 591-605 (2001) - [c13]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 Syst. Des. 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. Exp. 29(12): 1123-1147 (1999) - [c12]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 Informatica 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 Informatica 34(6): 449-489 (1997) - [c11]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
- [c10]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS 1996: 370-387 - [c9]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 Informatica 32(4): 347-374 (1995) - [c8]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone:
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 547-561 - [c7]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 Informatica 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 Parallel Databases 2(1): 33-58 (1994) - [c6]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
- [c5]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. J. Syst. Softw. 14(1): 17-29 (1991) - [c4]Nicoletta De Francesco, Paola Inverardi:
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991: 266-276
1980 – 1989
- 1989
- [c3]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
- [c2]Nicoletta De Francesco, Diego Latella, Gigliola Vaglini:
An Interactive Debugger for a Concurrent Language. ICSE 1985: 320-329 - 1983
- [c1]Fabrizio Baiardi, Nicoletta De Francesco, E. Matteoli, S. Stefanini, Gigliola Vaglini:
Development of a debugger for a concurrent language. SIGSOFT 1983: 98-106
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
