Gran Sasso Science Institute (GSSI)
viale Francesco Crispi 7, 67100 L’Aquila, Italy
"... if you don't know then guess it precisely..." quote from Fred Brooks at 3rd Heidelberg Laureate Forum
Gran Sasso Science Institute (GSSI)
viale Francesco Crispi 7, 67100 L’Aquila, Italy
"... if you don't know then guess it precisely..." quote from Fred Brooks at 3rd Heidelberg Laureate Forum
I am Junior Assistant Professor in Computer Science at the Gran Sasso Science Institute, L’Aquila (AQ), Italy, since November 2017. I received the Ph.D. in Computer Science at the University of L’Aquila in April 2011 with a dissertation on the automated generation of architectural feedback from software performance analysis results. Previously I worked at the Electronic Engineering Department of University of Rome "Tor Vergata" within the framework of the Simple Mobile Services EU FP7 project. I visited the Imperial College of London (UK) and the Karlsruhe Institute of Technology (Germany). I was awarded by Microsoft Research for the DESPACE research project (market value: 40k USD). My main research interests include the quantitative modelling and analysis of interacting heterogeneous distributed systems. I am especially interested in model-based performance analysis and feedback on software architectures, model-based refactoring by means of software performance antipatterns, and trade-off quality analysis and optimization of software systems.
2019: Marie Sklodowska-Curie Individual Fellowship Action Seal of Excellence provided by the European Commission for the project proposal "PLUS: Performance Learning for Uncertainty of Software", together with Sven Apel [certificate]
2018: Exceptional Reviewer Award based on Review Quality Collector tool for the International Conference on Software Architecture (ICSA), [certificate]
2017: selected for participation as Young Global Changer to The Think 20 Summit G20 Germany 2017 (acceptance: 8%) [certificate]
2016: Outstanding Contribution in Reviewing from the Editors of the Journal of Systems and Software, Elsevier [certificate]
2015: Best Paper Award at ECSA (conference rank A in the core classification), together with Achraf Ghabi and Alexander Egyed [certificate]
2015: selected for participation to 3rd Heidelberg Laureate Forum HLF 2015 (acceptance: 10%) [certificate]
2014: Microsoft Azure Research Award for the project DESPACE (DEtecting and Solving Performance Antipatterns in Cloud Enviroments)
2014: Best Poster Award at CompArch , together with L. Etxeberria, V. Cortellessa, and G. Sagardui [certificate]
2013: ACM SIGSOFT Sof. Eng. Notes reports our QoSA paper in the list of Top 10 Downloaded Articles, together with I. Meedeniya, V. Cortellessa, A. Aleti, and L. Grunske
2011: Best Paper Award at ICPE , together with Anne Koziolek [certificate]
International Conference on Performance Engineering (ICPE 2019, ICPE 2018, ICPE 2017, ICPE 2015, ICPE 2014, ICPE 2013)
International Conference on Software Architecture (ICSA 2019, ICSA 2018) International Conference on Software Engineering - Demonstrations Track (ICSE-Demo 2018) Symposium on Applied Computing (SAC) - Track on Software Architecture: Theory, Technology, and Applications (SA-TTA 2019, SA-TTA 2018, SA-TTA 2017) International Conference on the Quality of Software Architectures (QoSA 2015) International Conference on Computer Science and Software Engineering (CASCON 2015) ESEC/FSE Student Research Competition (ESEC/FSE SRC 2015) International Workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA 2018, SAGRA 2017, SAGRA 2016, SAGRA 2015) International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2019, SEsCPS 2018) International Workshop on Survivable Industrial Control Systems (SICS 2019) International Workshop on Safety & Security aSSurance for Critical Infrastructures Protection (S4CIP 2018, S4CIP 2017, S4CIP 2016) International Workshop on Quality-Aware DevOps (QUDOS 2018, QUDOS 2017, QUDOS 2016, QUDOS 2015) International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2017, FESCA 2016, FESCA 2015, FESCA 2014) European Performance Engineering Workshop (EPEW 2017) International Workshop on Education and Practice of Performance Engineering (WEPPE 2017) International Workshop on Model-Based Design for Cyber-Physical Systems (MB4CP 2015) International Workshop on Safety and Formal Methods (SaFoMe 2015, SaFoMe 2014) Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2015, MEMICS 2014) Doctoral Symposium at MODELS 2011
Program co-Chair (together with Alexandru Iosup) of the International Conference on Performance Engineering (ICPE 2020) Workshops co-Chair (together with Ricardo Scandariato) of the European Conference on Software Architecture (ECSA 2019) Program co-Chair (together with Severine Sentilles, Barry William Boehm, and Anne Koziolek) of the International Workshop on Software QUAlities and their DEpendencies (SQUADE 2019), co-located with Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. (ESEC/FSE 2019) Program co-Chair (together with Severine Sentilles, Barry William Boehm, Xavier Franch, and Anne Koziolek) of the International Workshop on Software QUAlities and their DEpendencies (SQUADE 2018), co-located with International Conference on Software Engineering (ICSE 2018) Posters Chair of the International Conference on Software Architecture (ECSA 2017) Workshops co-Chair (together with Hanspeter Mossenbock) of the International Conference on Performance Engineering (ICPE 2017) Proceedings Chair of the International Conference on Performance Engineering (ICPE 2016) Program co-Chair (together with Maria Spichkova and Heinz Schmidt) of the International Workshop on Sustainable Architectures (SAGRA 2018, SAGRA 2017, SAGRA 2016, SAGRA 2015), co-located with European Conference on Software Architecture (ECSA) Tutorial Chair of the International Conference on Performance Engineering (ICPE 2015) Publicity Chair of the Italian Student COntest in softwaRe Engineering (SCORE-it 2015) Organizer of the International Workshop on Safety and Formal Methods (SaFoMe 2014)
V. Cortellessa, C. Trubiani, "Round-trip Software Performance Engineering", in the program of CompArch 2013.
C. Trubiani, "Performance antipatterns and feedback in software architectures", in the program of FESCA 2013.
I have been invited as keynote speaker at the Symposium on Software Performance (Joint Kieker/Palladio Days 2013).
Title of the talk: Software Performance Antipatterns Challenges: How to Get Rid of Worms Before Contaminating the Apple?
I have been reviewer for the following journals: IEEE Transactions on Software Engineering (TSE), IEEE Transactions on Knowledge and Data Engineering (TKDE), Empirical Software Engineering, Journal of Systems and Software (JSS), Journal of Software and Systems Modeling (SoSyM), IEEE Software, Journal of Electrical and Computer Systems (IJECS), Journal of Concurrency and Computation: Practice and Experience (CCPE), Journal of Logical and Algebraic Methods in Programming (JLAMP).
I have been external reviewer for the following conferences: International Symposium on Mathematical Foundations of Computer Science (MFCS), Automated Software Engineering (ASE), Fundamental Approaches to Software Engineering (FASE), International Conference on Performance Engineering (ICPE), International Conference on Software Engineering (ICSE), European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Model Driven Engineering Languages and Systems (MODELS), Quality of Software Architectures (QoSA), European Conference on Software Architectures (ECSA), Symposium on Reliable Distributed Systems (SRDS), International Computer Software and Applications Conference (COMPSAC), International Wireless Communications and Mobile Computing Conference (IWCMC), International Workshop on Principles of Engineering Service-Oriented Systems (PESOS), International Workshop on Advances in Parallel and Distributed Computational Models (APDCM), International Workshop on Engineering Safety and Security Systems (ESSS).
I have provided the Doctor International mention for the Ph.D. thesis of Ricardo J. Rodríguez, Advisors: Prof. José Merseguer and Prof. Jorge Júlvez
Ph.D. in Computer Science at the University of L’Aquila (AQ), Italy, April 18, 2011.
Title of the thesis: "Automated generation of architectural feedback from software performance analysis results".
Advisor: Prof. Vittorio Cortellessa, [PhD Thesis - download it here].
*reported in the list of ACM SIGSOFT PhD Dissertations in the Area of Software Engineering [See more details].
Master’s Degree in Computer Science at the University of L’Aquila (AQ), Italy, January 2007, final rank: 110/110 cum laude.
Title of the thesis: "Design and composition of Performance models for Osi Security Architecture".
Advisor: Prof. Vittorio Cortellessa.
Bachelor’s Degree in Computer Science at the University of L’Aquila (AQ), Italy, October 2004, final rank: 110/110 cum laude.
Title of the thesis: "Evaluation of services in Publisher/Subscriber architectures with Petri Nets".
Advisor: Prof. Francesco Lo Presti.
Maturity at the Scientific Secondary School "Albert Einstein" of Teramo (TE), Italy, July 2001, final rank: 100/100.
Other Research Activities
Research collaboration with the University of Rome "Tor Vergata", Electronic Engeeneering Department,
for the European Project SMS (Simple Mobile Services - http://www.ist-sms.org).
SMS is a project whose purpose is to design innovative instruments for the creation of new services in a mobile context.
My activity was on the modeling of telecommunication services for mobile devices, automatic composition of services from components and automatic generation of code.
Project title: Designing Spatially Distributed Cyber-Physical Systems under Uncertainty – SEDUCE
Project type: MIUR PRIN (Programmi di Ricerca Scientifica di Rilevante Interesse Nazionale) projects, Young line/Linea Giovani Research units: IMT Lucca (Mirco Tribastone, coordinator), University of Trieste (Luca Bortolussi), University of Camerino (Francesco Tiezzi), GSSI L’Aquila (Catia Trubiani)
Abstract: Emerging scenarios such as autonomous vehicles and the Internet-of-Things require large-scale cyber-physical systems (CPS), i.e., computing devices that interact with the physical world. To cope with their complexity, model-based design has long been advocated as a prominent approach for their rigorous development. However, the state of the art does not adequately account for two major issues: space, to capture the distribution of CPS devices as well as their mobility; and uncertainty, e.g., to reflect lack of knowledge about the environment, the accuracy of the model, or errors occurring in the real world. Our goal is to develop modelling and analysis techniques for CPS where space and uncertainty are first-class citizens. We envisage a component-based framework where digital and physical components have locality and mobility features, and where uncertainty is captured by means of probabilistically distributed activities to describe their dynamics. We devise a system to specify spatio-temporal CPS requirements, turning them into probabilistic spatio-temporal logical specifications that will be at the basis of efficient algorithms for the analysis, verification, and synthesis. We will apply our techniques to real case studies on smart buildings and crowd-navigating robots.
Project title: DEtecting and Solving Performance Antipatterns in Cloud Enviroments – DESPACE
Project type: Microsoft Azure Research Award Abstract: DESPACE will develop a prototype of a performance analyser for the interoperability of online auctions with private owners of goods. The performance analyser will exploit an IoT infrastructure to gather data, and Microsoft Azure as cloud infrastructure for the back-end data processing and for planning the actions to support fast and secure communications during the auctions. The system will be self-adaptive and, in particular, will detect the potential performance flaws and/or security issues for the used resources and take suitable refactoring actions while ensuring data confidentiality and synchronisation. [See more details]
Project title: ConstRaint and Application driven Framework for Tailoring Embedded – CRAFTERS
Project type: ARTEMIS - agreement num: 295371 Abstract: ICT-based service and product innovation is curtailed by the growing vertical chain of dependence on poorly interoperable proprietary technologies in Europe. This issue was identified to have high impact on European innovation productivity by the Report of the Independent Expert Group on R&D and Innovation, commonly known as the Aho-report. The report demanded incentives for the convergence of shared technologies and markets as a remedy. This project brings to bear a holistically designed ecosystem from application to silicon. The ecosystem is realized as a tightly integrated multi-vendor solution and tool chain complementing existing standards. Feature-limited releases of reference tools and platforms are made available under favourable licensing conditions to support the evaluation and adoption of the results. Key challenges include guaranteeing secure, reliable, and timely operation, back-annotation based forward system governance, tool-tool, tool-middleware, and middleware-hardware exchange interfaces, and energy management with minimal run-time overhead. [See more details]
Project title: Video-oriented UWB-based Intelligent Ubiquitous Sensing – VISION
Project type: FP7 ideas ERC strating Grant - agreement num: 240555 Abstract: VISION aims to developing an innovative infrastructure providing real-time sensing services, with particular emphasis on 3D video, with mobile and context-aware operation: 60 GHz UWB radios to enable broadband transmissions in the Wireless Sensor Network; a comprehensive channel model to optimize the radio design; novel techniques to manage the huge number of nodes for ubiquitous sensing; innovative tools to support the development process of intelligent services; full cross-layer adaptability to external conditions to assure the best achievable performance and support of Quality of Services. VISION will study, design, implement and demonstrate an innovative system supporting intelligent services for ubiquitous sensing, with particular emphasis on real-time 3D video sensing. The objectives of the proposed research are numerous and call for a joint effort of groups working at different levels, e.g. propagation, wireless sensor network design at all layers (physical, MAC, routing), middleware, application and tools for context-aware QoS management. [See more details]
Project title: Performability-Aware Computing: Logics, Models, and Languages – PACO
Project type: MIUR PRIN - Progetti di ricerca di Rilevante Interesse Nazionale Abstract: The project PaCo intends to contribute to the development and the integration of logics, models, and languages for the description and the analysis of performability-aware systems. On the one hand, we plan to study separately some of the performability-aware formalisms proposed in the literature, in order to establish new theoretical properties or to make them more expressive. On the other hand, we plan to relate some of those formalisms by means of suitable direct transformation functions from source models to object models as well as inverse functions for the propagation of results from object models back to source models. The project will focus on stochastic variants of temporal logics and model checking, stochastic variants of process calculi and behavioral equivalences, probabilistic timed automata and models, specification of performability measures, and model transformations assisted by type systems. [See more details]
Seminars for Performability-Aware Computing (PaCo)
September, 2010: PaCo final meeting (Camerino, Italy)
Catia Trubiani, "Analyzing Tradeoffs between Software Security and Performance" [Download slides]
March, 2010: PaCo second mid-term meeting (L'Aquila, Italy)
Catia Trubiani, "Modeling and Detection of Performance Antipatterns in UML" [Download slides]
June, 2009: PaCo first mid-term meeting (Lucca, Italy)
Catia Trubiani, "Model-Based Feedback for Software Performance Improvement" [Download slides]
PADprof is a tool that detects software performance antipatterns from load testing and profiling data.
It takes as input the profiler results provided by YourKit that
show features to profile CPU, memory, and threads. It provides as output a report including, for each detected antipattern,
statistics on the antipattern detection analysis and the involved suspicious methods.
Reference paper: Catia Trubiani, Alexander Bran, André van Hoorn, Alberto Avritzer, Holger Knoche.
"Exploiting Load Testing and Profiling for Performance Antipattern Detection",
accepted for the Journal of Information and Software Technology, Elsevier, [online].
PADprof is a tool that can be downloaded from [PADprof web link]
It considers the profiling data results and produces a report on the detected software performance antipatterns.
SoEfTraceAnalyzer is a tool that automates the traceability between
software architectural models and extra-functional analysis results by investigating
the uncertainty while bridging these two domains. It makes use of performance antipatterns and security patterns
to deduce the logical consequences between the architectural elements and analysis results and automatically
build a graph of traces to identify the most critical causes of performance and security flaws.
Reference paper: Catia Trubiani, Achraf Ghabi, Alexander Egyed.
"Exploiting Traceability Uncertainty between Software Architectural Models and Extra-Functional Results",
in the Journal of Systems & Software (JSS), Elsevier, 2017, Volume 125, pp. 15-34, [online]
SoEfTraceAnalyzer is a tool that can be downloaded from [SoEfTraceAnalyzer web link]
It jointly considers SOftware and Extra-Functional concepts and automatically builds model-to-results traceability links.
PANDA (Performance Antipatterns aNd FeeDback in software Architectures) is a framework
for addressing the results interpretation and the feedback
generation problems by means of performance antipatterns, that are recurring
solutions to common mistakes (i.e. bad practices) in the software development.
Such antipatterns can play a key role in the software performance domain,
since they can be used in the search of performance problems as well as in the
formulation of their solutions in terms of architectural alternatives.
Reference paper: M. De Sanctis, C. Trubiani, V. Cortellessa, A. Di Marco, M. Flamminj.
"A Model-driven Approach to Catch Performance Antipatterns in ADL Specifications",
in the journal of Information and Software Technology, Elsevier, 2017, Volume 83, pp. 35-54, [online]
PANDA-AEmilia is a tool that can be downloaded from [PANDA-AEmilia web link]
It is aimed at enabling the usage of software performance antipatterns in the AEmilia Description Language.
The tool tutorial has been given at International Workshop on Formal Engineering approaches to Software Components and Architectures [FESCA 2013].
Quantitative Formal Methods at Gran Sasso Science Institute (GSSI)
Contents of the course: introduction to Stochastic Processes, Markov Processes, Discrete-time Markov chains (DTMCs),
Markov Decision Processes (MDPs), Continuous-Time Markov Chains (CTMCs), and Stochastic Petri Nets [See more details].
Reliable Software Systems at University of Stuttgart, Germany
Contents of the course: software performance engineering, model-based performance analysis.