2012 - Member of Academia Europaea
Software architecture, Software engineering, Software, Software system and Component-based software engineering are her primary areas of study. Her Software architecture research integrates issues from World Wide Web and Citation. Her biological study spans a wide range of topics, including Realizability, Engineering management, Middleware, Model-driven architecture and Business Process Model and Notation.
Her work carried out in the field of Software brings together such families of science as Quality of service, Software deployment, Formal specification and Systems engineering. Her work on Software construction as part of general Software system study is frequently linked to Self adaptive, therefore connecting diverse disciplines of science. The study incorporates disciplines such as Distributed computing, Systems architecture and Server in addition to Component-based software engineering.
Paola Inverardi spends much of her time researching Software engineering, Software, Distributed computing, Software system and Software architecture. Her research in Software engineering focuses on subjects like Component-based software engineering, which are connected to Component. Her research investigates the connection between Software and topics such as Formal specification that intersect with problems in Formal verification.
Her studies in Distributed computing integrate themes in fields like Ubiquitous computing, Intrusion detection system, Protocol, Interoperability and Key. Her studies deal with areas such as Domain and Theoretical computer science as well as Software system. Her Software architecture study integrates concerns from other disciplines, such as Formal methods, Systems architecture and Dependability.
Paola Inverardi focuses on Software, Adaptation, Software engineering, Software system and Distributed computing. Her Software research incorporates elements of The Internet, World Wide Web, Scalability and Software deployment. Her Software engineering study combines topics in areas such as Software verification, Software sizing, Component-based software engineering and Software construction.
Her work in Component-based software engineering addresses subjects such as Communications protocol, which are connected to disciplines such as Embedded system. Her research in Software system intersects with topics in Domain and Human–computer interaction. Her Distributed computing research is multidisciplinary, incorporating perspectives in Correctness, Principle of compositionality, Interoperability, Key and Application layer.
Her primary areas of study are Software, The Internet, World Wide Web, Communications protocol and Component-based software engineering. The Software study combines topics in areas such as Realizability, Space, Correctness, Task and State. Her research integrates issues of Distributed computing, Software requirements specification, Service and Process management in her study of The Internet.
Her Communications protocol study combines topics from a wide range of disciplines, such as Software engineering, Embedded system and Glue code. Her study explores the link between Software engineering and topics such as Verification that cross with problems in Adaptation. Paola Inverardi has researched Adaptation in several fields, including Software architecture and Intelligent verification.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Software Engineering for Self-Adaptive Systems : A Second Research Roadmap
Rogério de Lemos;Holger Giese;Hausi A. Müller;Mary Shaw.
dagstuhl seminar proceedings (2013)
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Betty H. Cheng;Rogério Lemos;Holger Giese;Paola Inverardi.
Lecture Notes in Computer Science (2009)
Model-based performance prediction in software development: a survey
S. Balsamo;A. Di Marco;P. Inverardi;M. Simeoni.
IEEE Transactions on Software Engineering (2004)
Software Engineering for Self-Adaptive Systems
Betty H. Cheng;Rogério Lemos;Holger Giese;Paola Inverardi.
Lecture Notes in Computer Science (2009)
Formal specification and analysis of software architectures using the chemical abstract machine model
P. Inverardi;A.L. Wolf.
IEEE Transactions on Software Engineering (1995)
A review on queueing network models with finite capacity queues for software architectures performance prediction
Simonetta Balsamo;Vittoria De Nitto Personè;Paola Inverardi.
Performance Evaluation (2003)
Automatic synthesis of behavior protocols for composable web-services
Antonia Bertolino;Paola Inverardi;Patrizio Pelliccione;Massimo Tivoli.
foundations of software engineering (2009)
Model-Based Software Performance Analysis
Vittorio Cortellessa;Antinisca Di Marco;Paola Inverardi.
(2011)
Using software architecture for code testing
H. Muccini;P. Inverardi;A. Bertolino.
IEEE Transactions on Software Engineering (2004)
Graphical scenarios for specifying temporal properties: an automated approach
M. Autili;P. Inverardi;P. Pelliccione.
automated software engineering (2007)
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
Institute of Information Science and Technologies
University of California, Santa Cruz
University of Potsdam
French Institute for Research in Computer Science and Automation - INRIA
University of California, Irvine
Imperial College London
University of Oxford
Politecnico di Milano
KU Leuven
Carnegie Mellon University
French Institute for Research in Computer Science and Automation - INRIA
Publications: 28
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: