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.
(2013)
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Betty H. Cheng;Rogério Lemos;Holger Giese;Paola Inverardi.
(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)
If you think any of the details on this page are incorrect, let us know.
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:
National Research Council (CNR)
University of California, Santa Cruz
Hasso Plattner Institute
French Institute for Research in Computer Science and Automation - INRIA
University of California, Irvine
Imperial College London
University of Oxford
Polytechnic University of Milan
KU Leuven
Carnegie Mellon University
French Institute for Research in Computer Science and Automation - INRIA
Publications: 28
Carnegie Mellon University
University of Helsinki
Red Hat (United States)
Memorial Sloan Kettering Cancer Center
Spanish National Research Council
Chinese Academy of Sciences
Utah State University
Leiden University Medical Center
Lund University
National Institute for Environmental Studies
University of Palermo
Vanderbilt University
Harvard University
University of Toronto
University of Westminster
Federal University of Toulouse Midi-Pyrénées