Concepedia

Paola Inverardi

PI

Statistics

Publications

45

Citations

2.2K

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 computer science, systems architecture, and computing.

Publications per year

1995–2025

45

Publications

45

Model-based performance prediction in software development: a survey

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

Computing, Computer Science, Performance Measurement +12

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

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

Computing, Computer Science, Formal Methods +14

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

Computing, Computer Science, Systems Engineering +12

Deriving test plans from architectural descriptions

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

Architecture, Architectural Design, Architectural Representation +10

An approach to performance evaluation of software architectures

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

Computing, Computer Engineering, Computer Science +15

1–5 of 45