Angelo Gargantini

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
Repairing timed automata clock guards through abstraction and testing	2024-04-05	Paper
The ASMETA approach to safety assurance of software systems	2022-03-22	Paper
A formal logic approach to constrained combinatorial testing Journal of Automated Reasoning	2011-01-12	Paper
On the order of test goals in specification-based testing The Journal of Logic and Algebraic Programming	2009-07-29	Paper
A Logic-Based Approach to Combinatorial Testing with Constraints Tests and Proofs	2008-04-24	Paper
Using Model Checking to Generate Fault Detecting Tests Tests and Proofs	2007-10-31	Paper
scientific article; zbMATH DE number 1956495 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1951195 (Why is no real title available?)	2003-07-21	Paper
Dealing with zero-time transitions in axiom systems. Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1670518 (Why is no real title available?)	2001-11-11	Paper
A theory of implementation and refinement in timed Petri nets Theoretical Computer Science	1998-08-13	Paper

Research outcomes over time

This page was built for person: Angelo Gargantini