Antonella Santone

Available identifiers

zbMath Open santone.antonellaMaRDI QIDQ703586

List of research outcomes

Publication	Date of Publication	Type
Model checking properties on reduced trace systems	2019-03-26	Paper
Formal Verification of Concurrent Systems via Directed Model Checking	2015-03-18	Paper
Abstract reduction in directed model checking CCS processes	2012-10-15	Paper
Applying Formal Methods to Process Innovation	2010-03-23	Paper
Abstracting Models from Execution Traces for Performing Formal Verification	2010-03-23	Paper
\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes	2006-12-07	Paper
Reduced models for efficient CCS verification	2006-02-20	Paper
Using heuristic search for finding deadlocks in concurrent systems	2005-11-22	Paper
A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION	2005-06-22	Paper
A local approach for temporal model checking of Java bytecode	2005-05-12	Paper
Compositionality and locality for improving model checking in the selective mu-calculus	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4461956	2004-05-18	Paper
Automatic verification of concurrent systems using a formula-based compositional approach	2003-09-01	Paper
Modifying LOTOS specifications by means of automatable formula-based integrations	2003-06-09	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
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

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: Antonella Santone