Antonella Santone

From MaRDI portal
Person:703586

Available identifiers

zbMath Open santone.antonellaMaRDI QIDQ703586

List of research outcomes





PublicationDate of PublicationType
Model checking properties on reduced trace systems2019-03-26Paper
Formal Verification of Concurrent Systems via Directed Model Checking2015-03-18Paper
Abstract reduction in directed model checking CCS processes2012-10-15Paper
Applying Formal Methods to Process Innovation2010-03-23Paper
Abstracting Models from Execution Traces for Performing Formal Verification2010-03-23Paper
\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes2006-12-07Paper
Reduced models for efficient CCS verification2006-02-20Paper
Using heuristic search for finding deadlocks in concurrent systems2005-11-22Paper
A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION2005-06-22Paper
A local approach for temporal model checking of Java bytecode2005-05-12Paper
Compositionality and locality for improving model checking in the selective mu-calculus2005-01-11Paper
https://portal.mardi4nfdi.de/entity/Q44619562004-05-18Paper
Automatic verification of concurrent systems using a formula-based compositional approach2003-09-01Paper
Modifying LOTOS specifications by means of automatable formula-based integrations2003-06-09Paper
https://portal.mardi4nfdi.de/entity/Q31462712002-09-11Paper
Abstract interpretation of trace semantics for concurrent calculi2002-07-25Paper
Efficient verification of a multicast protocol for mobile computing2002-04-21Paper
Selective mu-calculus and formula-based equivalence of transition systems2000-03-19Paper
Towards a logical semantics for pure Prolog2000-01-04Paper
A transformation system for concurrent processes1999-04-26Paper
https://portal.mardi4nfdi.de/entity/Q44938831999-01-01Paper
Algebraic computational models of OR-parallel execution of Prolog1996-09-25Paper

Research outcomes over time

This page was built for person: Antonella Santone