Concepedia

Angelo Gargantini

AG

68

Publications

1.9K

Citations

24

H-Index

1997

Active since

Affiliations

University of Bergamo(Current)

University of Milan

Charles University

University of Catania

Software Competence Center Hagenberg (Austria)

Angelo Gargantini is an author at University of Bergamo specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringSoftware AnalysisSoftware EngineeringSoftware TestingVerificationProgram Analysis

Publications per year

1997–2022

68

Publications

68

Using model checking to generate tests from requirements specifications

Angelo Gargantini, Constance Heitmeyer · ACM SIGSOFT Software Engineering Notes · 1999 · 349 citations

Engineering, Requirement Modeling, Verification +25

ASM-Based Testing: Coverage Criteria and Automatic Test Sequence

Angelo Gargantini, Elvinia Riccobene · Zenodo (CERN European Organization for Nuclear Research) · 2020 · 82 citations · Full text

Engineering, Verification, Test Coverage +20

A Metamodel-based Language and a Simulation Engine for Abstract State Machines

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra · Aisberg (University of Bergamo) · 2020 · 77 citations · Full text

A model‐driven process for engineering a toolset for a formal method

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene et al. · Software Practice and Experience · 2011 · 76 citations

Engineering, Software Systems, Software Engineering +22

The novel Mechanical Ventilator Milano for the COVID-19 pandemic

Alessandro Abbà, C. Accorsi, P. Agnes et al. · Physics of Fluids · 2021 · 70 citations · Full text

Rows per page

1–5 of 68