Gigliola Vaglini

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
Abstract reduction in directed model checking CCS processes Acta Informatica	2012-10-15	Paper
Partial model checking via abstract interpretation Information Processing Letters	2010-09-02	Paper
Reduced models for efficient CCS verification Formal Methods in System Design	2006-02-20	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
Modifying LOTOS specifications by means of automatable formula-based integrations Journal of Automated Reasoning	2003-06-09	Paper
Abstract interpretation of trace semantics for concurrent calculi Information Processing Letters	2002-07-25	Paper
Selective mu-calculus and formula-based equivalence of transition systems Journal of Computer and System Sciences	2000-03-19	Paper
scientific article; zbMATH DE number 1487479 (Why is no real title available?)	1999-01-01	Paper
A Petri nets semantics for data flow networks Acta Informatica	1995-12-13	Paper
Development of a debugger for a concurrent language IEEE Transactions on Software Engineering	1986-01-01	Paper
A framework for data-flow distributed processing Calcolo	1981-01-01	Paper

Research outcomes over time

This page was built for person: Gigliola Vaglini