Concepedia

Paola Inverardi

PI

18

Publications

493

Citations

12

H-Index

1991

Active since

Affiliations

University of L'Aquila(Current)

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Ca' Foscari University of Venice

Paola Inverardi is an author at University of L'Aquila specializing in system software, program analysis, and software design.

Top concepts

EngineeringProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware DesignSystem SoftwareSystems EngineeringFormal MethodsFormal VerificationSoftware Testing

Publications per year

1991–2023

18

Publications

18

Using software architecture for code testing

Henry Muccini, Antonia Bertolino, Paola Inverardi · IEEE Transactions on Software Engineering · 2004 · 115 citations

Software Maintenance, Engineering, Code Testing +21

CHARMY: A Framework for Designing and Verifying Architectural Specifications

Patrizio Pelliccione, Paola Inverardi, Henry Muccini · IEEE Transactions on Software Engineering · 2008 · 69 citations

Software Maintenance, Engineering, Verification +20

Automated check of architectural models consistency using SPIN

Paola Inverardi, Henry Muccini, Patrizio Pelliccione · 2005 · 46 citations

Software Maintenance, Engineering, Verification +19

Performance analysis at the software architectural design level

Federica Aquilani, Simonetta Balsamo, Paola Inverardi · Performance Evaluation · 2001 · 41 citations

Software Architecture Modeling, Engineering, Architecture Analysis +10

Paola Inverardi, Henry Muccini, Patrizio Pelliccione · 2005 · 30 citations

Software Maintenance, New Design, Engineering +17

Rows per page

1–5 of 18