Antonella Santone

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Model checking properties on reduced trace systems Algorithms	2019-03-26	Paper
Formal verification of concurrent systems via directed model checking Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
Abstract reduction in directed model checking CCS processes Acta Informatica	2012-10-15	Paper
Applying formal methods to process innovation Advances in Software Engineering	2010-03-23	Paper
Abstracting models from execution traces for performing formal verification Advances in Software Engineering	2010-03-23	Paper
\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes Journal of Computer and System Sciences	2006-12-07	Paper
Reduced models for efficient CCS verification Formal Methods in System Design	2006-02-20	Paper
Using heuristic search for finding deadlocks in concurrent systems Information and Computation	2005-11-22	Paper
A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION International Journal of Foundations of Computer Science	2005-06-22	Paper
A local approach for temporal model checking of Java bytecode Journal of Computer and System Sciences	2005-05-12	Paper
Compositionality and locality for improving model checking in the selective mu-calculus Science of Computer Programming	2005-01-11	Paper
scientific article; zbMATH DE number 2064465 (Why is no real title available?)	2004-05-18	Paper
Automatic verification of concurrent systems using a formula-based compositional approach Acta Informatica	2003-09-01	Paper
Modifying LOTOS specifications by means of automatable formula-based integrations Journal of Automated Reasoning	2003-06-09	Paper
scientific article; zbMATH DE number 1799514 (Why is no real title available?)	2002-09-11	Paper
Abstract interpretation of trace semantics for concurrent calculi Information Processing Letters	2002-07-25	Paper
Efficient verification of a multicast protocol for mobile computing The Computer Journal. Section A Section B	2002-04-21	Paper
Selective mu-calculus and formula-based equivalence of transition systems Journal of Computer and System Sciences	2000-03-19	Paper
Towards a logical semantics for pure Prolog Science of Computer Programming	2000-01-04	Paper
A transformation system for concurrent processes Acta Informatica	1999-04-26	Paper
scientific article; zbMATH DE number 1487479 (Why is no real title available?)	1999-01-01	Paper
Algebraic computational models of OR-parallel execution of Prolog Acta Informatica	1996-09-25	Paper

Research outcomes over time

This page was built for person: Antonella Santone