Publications

Scientific Monograph

Model-Based Software Performance Analysis. Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi. First Edition, Springer, 2011.

Poor performance is one of the main quality-related shortcomings that cause software projects to fail. Thus, the need to address performance concerns early during the software development process is fully acknowledged, and there is a growing interest in the research and software industry communities towards techniques, methods and tools that permit to manage system performance concerns as an integral part of software engineering.
Model-based software performance analysis introduces performance concerns in the scope of software modeling, thus allowing the developer to carry on performance analysis throughout the software lifecycle. With this book, Cortellessa, Di Marco and Inverardi provide the cross-knowledge that allows developers to tackle software performance issues from the very early phases of software development. They explain the basic concepts of performance analysis and describe the most representative methodologies used to annotate and transform software models into performance models. To this end, they go all the way from performance primers through software and performance modeling notations to the latest transformation-based methodologies.
As a result, their book is a self-contained reference text on software performance engi- neering, from which different target groups will benefit: professional software engineers and graduate students in software engineering will learn both basic concepts of performance modeling and new methodologies; while performance specialists will find out how to investigate software performance model building.

Monograph:

PinkBooK 2020 - le ragazze contano! Antinisca Di Marco, Laura Tarantino. Arkhé Edizioni -L’Aquila. Settembre 2020. ISBN: 978-88-94836-31-8.14

PinkBooK 2021 - le ragazze contano! Antinisca Di Marco, Laura Tarantino. Arkhé Edizioni -L’Aquila. Settembre 2021. ISBN: 978-88-94836-36-3. Scaricabile al link.

Tutorials:

• Transformations from software models to quality models: mechanisms, approaches, technologies, tools
  V. Cortellessa, A. di Marco and L. Berardinelli.
  Seventh International Workshop on Software and Performance - WOSP 2008, Princeton, NJ, USA
• H10: Transformations of Software Models into Performance Models.
  V. Cortellessa, A. Di Marco, P. Inverardi.
  The 27th International Conference on the Software Engineering (ICSE), St. Louis, Missouri, USA, 2005. [[pdf]
• Software Model to Performance Model Transformations.
  A. Di Marco, V. Cortellessa, P. Inverardi.
  The 1st International Conference on the Quantitative Evaluation of Systems (QEST), University of Twente, Enschede, The Netherlands, 2004. [slides.pdf]

Journals and conferences:

Please refer to the links:

• Model-based Performance Analysis of Software Architectures.
  Antinisca Di Marco. Ph.D. Thesis. June 2005.[zip]
• Managing the Consistency of Complex Structured Documents.
  Antinisca Di Marco. MSc Thesis. July 2001.