Concepedia

Paola Inverardi

PI

Statistics

Publications

44

Citations

2.1K

H-Index

21

Active since

1995

Affiliations

University of L'Aquila(Current)

Gran Sasso Science Institute

University of Colorado Boulder

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

Vrije Universiteit Amsterdam

Paola Inverardi is an author at University of L'Aquila specializing in engineering, computer science, and software design.

Top concepts

EngineeringSoftware DesignSystem SoftwareComputer ScienceSoftware AnalysisSoftware EngineeringSystems EngineeringProgram AnalysisSoftware TestingFormal Methods

Publications per year

1995–2025

44

Publications

44

Model-based performance prediction in software development: a survey

Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi et al. · IEEE Transactions on Software Engineering · 2004 · 763 citations

Software Maintenance, Engineering, Software Engineering +19

Formal specification and analysis of software architectures using the chemical abstract machine model

Paola Inverardi, Alexander L. Wolf · IEEE Transactions on Software Engineering · 1995 · 247 citations

Engineering, Software Systems, Computer Architecture +23

Static checking of system behaviors using derived component assumptions

Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich · ACM Transactions on Software Engineering and Methodology · 2000 · 86 citations · Full text

Engineering, Type Theory, Verification +20

Deriving test plans from architectural descriptions

Antonia Bertolino, Flavio Corradini, Paola Inverardi et al. · 2000 · 64 citations

Architectural Design, Engineering, Performance-based Building Design +15

An approach to performance evaluation of software architectures

Simonetta Balsamo, Paola Inverardi, Calogero Mangano · 1998 · 62 citations · Full text

1–5 of 44