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

This page was built for person: Antonella Santone