Concepedia
Statistics
Publications
2
Citations
73
H-Index
Active since
2001
Affiliations
Ripamonti(Current)
TXT e-solutions (Italy)
Reply (Italy)
Politecnico di Milano
Gabriele Quaroni is an author at Ripamonti specializing in formal methods, formal specification, and engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingReal-time SystemsSoftware AnalysisAutomated Reasoning
Publications per year
2001–2001
Combining UML and formal notations for modelling real-time systems
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli · 2001 · 52 citations
Software Maintenance, Engineering, Modeling Notation +22
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli · ACM SIGSOFT Software Engineering Notes · 2001 · 21 citations
1–2 of 2