Angelo Gargantini - Concepedia

Author

Angelo Gargantini

University of Bergamo ORCID

Also Known As

A. Gargantini, Angelo Gargantini, Angelo Michele Gargantini, Gargantini, Angelo, Gargantini, Angelo Michele

237

Publications

3.1K

Citations

H-Index

132

Concepts

All Affiliations

University of Bergamo University of Milan Charles University University of Catania Software Competence Center Hagenberg (Austria)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	57	1.6K
2	Medicine	5	5	91
3	Language Studies	2	2	46
4	Business	1	1	349
5	Management	1	1	13

Angelo Gargantini

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
Using model checking to generate tests from requirements specifications Angelo Gargantini, Constance Heitmeyer ACM SIGSOFT Software Engineering Notes EngineeringRequirement ModelingVerificationSoftware SystemsTest Data Generation	1999	349
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence Angelo Gargantini, Elvinia Riccobene Zenodo (CERN European Organization for Nuclear Research) EngineeringVerificationTest CoverageTest Data GenerationSoftware Engineering	2020	82
A Metamodel-based Language and a Simulation Engine for Abstract State Machines Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra Aisberg (University of Bergamo)	2020	77
A model‐driven process for engineering a toolset for a formal method Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Software Practice and Experience EngineeringSoftware SystemsSoftware EngineeringSystem-level DesignSoftware Analysis	2011	76
The novel Mechanical Ventilator Milano for the COVID-19 pandemic Alessandro Abbà, C. Accorsi, P. Agnes, Physics of Fluids	2021	70
A semantic framework for metamodel-based languages Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra Automated Software Engineering EngineeringAutomated ReasoningModel FrameworkFormal MethodsMetaprogramming	2009	57
Automated deductive requirements analysis of critical systems Angelo Gargantini, Angelo Morzenti ACM Transactions on Software Engineering and Methodology EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2001	51
IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays Andrea Calvagna, Angelo Gargantini EngineeringTest Data GenerationSoftware EngineeringComputational ComplexitySoftware Analysis	2009	40
Generating Tests for Detecting Faults in Feature Models Paolo Arcaini, Angelo Gargantini, P. Vavassori Software MaintenanceEngineeringVerificationTest Data GenerationSoftware Engineering	2015	39
A Formal Logic Approach to Constrained Combinatorial Testing Andrea Calvagna, Angelo Gargantini Journal of Automated Reasoning EngineeringComputational TestingFormal Logic ApproachAutomated ReasoningSoftware Testing	2010	38

Page 1