Gigliola Vaglini

Available identifiers

Publication	Date of Publication	Type
Model checking properties on reduced trace systems	2019-03-26	Paper
Abstract reduction in directed model checking CCS processes	2012-10-15	Paper
Partial model checking via abstract interpretation	2010-09-02	Paper
Reduced models for efficient CCS verification	2006-02-20	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
Modifying LOTOS specifications by means of automatable formula-based integrations	2003-06-09	Paper
Abstract interpretation of trace semantics for concurrent calculi	2002-07-25	Paper
Selective mu-calculus and formula-based equivalence of transition systems	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4493883	1999-01-01	Paper
A Petri nets semantics for data flow networks	1995-12-13	Paper
Development of a debugger for a concurrent language	1986-01-01	Paper
A framework for data-flow distributed processing	1981-01-01	Paper

This page was built for person: Gigliola Vaglini