Nicoletta De Francesco

Available identifiers

zbMath Open de-francesco.nicolettaMaRDI QIDQ816204

List of research outcomes

Publication	Date of Publication	Type
Partial model checking via abstract interpretation	2010-09-02	Paper
Using abstract interpretation to add type checking for interfaces in Java bytecode verification	2010-05-27	Paper
Instruction-level security analysis for information flow in stack-based assembly languages	2007-09-18	Paper
Reduced models for efficient CCS verification	2006-02-20	Paper
A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION	2005-06-22	Paper
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation	2004-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q4818731	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4461956	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q2775857	2003-02-02	Paper
Abstract interpretation of operational semantics for secure information flow.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q3146271	2002-09-11	Paper
Abstract interpretation of trace semantics for concurrent calculi	2002-07-25	Paper
Efficient Verification of a Multicast Protocol for Mobile Computing	2002-04-21	Paper
Finite Approximations for Model Checking Non-finite-state Processes	2002-04-08	Paper
Selective mu-calculus and formula-based equivalence of transition systems	2000-03-19	Paper
Towards a logical semantics for pure Prolog	2000-01-04	Paper
A transformation system for concurrent processes	1999-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4493883	1999-01-01	Paper
Algebraic computational models of OR-parallel execution of Prolog	1996-09-25	Paper
A Petri nets semantics for data flow networks	1995-12-13	Paper
Axiomatizing CCS, nets and processes	1994-11-29	Paper
Proving finiteness of CCS processes by non-standard semantics	1994-05-10	Paper
Development of a debugger for a concurrent language	1986-01-01	Paper
A framework for data-flow distributed processing	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicoletta De Francesco