Nicoletta De Francesco

Available identifiers

zbMath Open de-francesco.nicolettaMaRDI QIDQ816204

List of research outcomes

Publication	Date of Publication	Type
A semantic driven method to check the fineteness of CCS processes	2024-04-29	Paper
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
Timed automata with non-instantaneous actions	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

This page was built for person: Nicoletta De Francesco