Catia Trubiani

Orcid: 0000-0002-7675-6942

Affiliations:
  • Gran Sasso Science Institute, L'Aquila, Italy


According to our database1, Catia Trubiani authored at least 100 papers between 2008 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Comparing perfomance abstractions for collective adaptive systems.
Int. J. Softw. Tools Technol. Transf., December, 2023

Automated Detection of Software Performance Antipatterns in Java-Based Applications.
IEEE Trans. Software Eng., April, 2023

Performance Analysis of Fault-Tolerant Multiagent Coordination Mechanisms.
IEEE Trans. Ind. Informatics, 2023

Prioritizing Test Cases with Markov Chains: A Preliminary Investigation.
Proceedings of the Testing Software and Systems, 2023

Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous Network Clusters.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

Performance Modeling and Analysis of Design Patterns for Microservice Systems.
Proceedings of the 20th IEEE International Conference on Software Architecture, 2023

Impact of Architectural Smells on Software Performance: an Exploratory Study.
Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023

Modular Quality-of-Service Analysis of Software Design Models for Cyber-Physical Systems.
Proceedings of the Advanced Information Systems Engineering, 2023

2022
PSTMonitor: Monitor synthesis from probabilistic session types.
Sci. Comput. Program., 2022

Taxonomy of security weaknesses in Java and Kotlin Android apps.
J. Syst. Softw., 2022

Scalability testing automation using multivariate characterization and detection of software performance antipatterns.
J. Syst. Softw., 2022

Mutation-based analysis of queueing network performance models.
J. Syst. Softw., 2022

JSIMutate: understanding performance results through mutations.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

On Model-Based Performance Analysis of Collective Adaptive Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Continuous Dependability Assessment of Microservice Systems.
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

2021
A behavioural analysis of credulous Twitter users.
Online Soc. Networks Media, 2021

QN-based Modeling and Analysis of Software Performance Antipatterns for Cyber-Physical Systems.
Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

Performance Modelling of Intelligent Transportation Systems: Experience Report.
Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

A Multivariate Characterization and Detection of Software Performance Antipatterns.
Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

Uncertainty-aware Exploration in Model-based Testing.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Model-based Performance Analysis for Architecting Cyber-Physical Dynamic Spaces.
Proceedings of the 18th IEEE International Conference on Software Architecture, 2021

PPTAM<sup>λ</sup>: What, Where, and How of Cross-domain Scalability Assessment.
Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

Message from the SAIP, NEMI, ECRF, Journal First, and Workshops Track Chairs.
Proceedings of the 18th IEEE International Conference on Software Architecture Companion, 2021

Towards Probabilistic Session-Type Monitoring.
Proceedings of the Coordination Models and Languages, 2021

Living with Uncertainty in Model-Based Development.
Proceedings of the Composing Model-Based Analysis Tools, 2021

2020
Engineering cyber-physical systems through performance-based modelling and analysis: A case study experience report.
J. Softw. Evol. Process., 2020

Software Qualities and their Dependencies Report on two editions of the workshop.
ACM SIGSOFT Softw. Eng. Notes, 2020

Automated model-based performance analysis of software product lines under uncertainty.
Inf. Softw. Technol., 2020

Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems.
Future Gener. Comput. Syst., 2020

Investigating types and survivability of performance bugs in mobile apps.
Empir. Softw. Eng., 2020

Flexibility Is Key in Organizing a Global Professional Conference Online: The ICPE 2020 Experience in the COVID-19 Era.
CoRR, 2020

Parallel and distributed bounded model checking of multi-threaded programs.
Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Abstractions for Collective Adaptive Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

VisArch: Visualisation of Performance-based Architectural Refactorings.
Proceedings of the Software Architecture - 14th European Conference, 2020

Probabilistic Analysis of Binary Sessions.
Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019
Performance Issues? Hey DevOps, Mind the Uncertainty.
IEEE Softw., 2019

Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems.
Proceedings of the Software Engineering and Formal Methods, 2019

Identification of credulous users on Twitter.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Do You Really Follow Them? Automatic Detection of Credulous Twitter Users.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2019, 2019

PLUS: performance learning for uncertainty of software.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

QoS-Based Formation of Software Architectures in the Internet of Things.
Proceedings of the Software Architecture - 13th European Conference, 2019

To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?
Proceedings of the 13th European Conference on Software Architecture, 2019

A DevOps Perspective for QoS-Aware Adaptive Applications.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
AErlang: Empowering Erlang with attribute-based communication.
Sci. Comput. Program., 2018

An efficient method for uncertainty propagation in robust software performance estimation.
J. Syst. Softw., 2018

Exploiting load testing and profiling for Performance Antipattern Detection.
Inf. Softw. Technol., 2018

Performance Modelling of Smart Cyber-Physical Systems.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Model-Based Development of QoS-Aware Reconfigurable Autonomous Robotic Systems.
Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Combined Vertical and Horizontal Autoscaling Through Model Predictive Control.
Proceedings of the Euro-Par 2018: Parallel Processing, 2018

2017
Building design-time and run-time knowledge for QoS-based component assembly.
Softw. Pract. Exp., 2017

Exploiting traceability uncertainty between software architectural models and extra-functional results.
J. Syst. Softw., 2017

A model-driven approach to catch performance antipatterns in ADL specifications.
Inf. Softw. Technol., 2017

A Case Study to Elicit Challenges for Performance Engineering of Cyber Physical Systems.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

AErlang at Work.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Collaborative development of feature models and evaluation of performance bounds.
Proceedings of the Symposium on Applied Computing, 2017

Software performance self-adaptation through efficient model predictive control.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Continuous Rearchitecting of QoS Models: Collaborative Analysis for Uncertainty Reduction.
Proceedings of the Software Architecture - 11th European Conference, 2017

Role of women in software architecture: an attempt at a systematic literature review.
Proceedings of the 11th European Conference on Software Architecture, 2017

2016
Energy-Aware Adaptive Techniques for Information Diffusion in Ungoverned Peer-to-Peer Networks.
Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

Symbolic performance adaptation.
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Model-Driven Application Refactoring to Minimize Deployment Costs in Preemptible Cloud Resources.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015
Exploiting Software Performance Engineering Techniques to Optimise the Quality of Smart Grid Environments.
Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, TX, USA, January 31, 2015

Introducing Software Performance Antipatterns in Cloud Computing Environments: Does it Help or Hurt?
Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, TX, USA, January 31, 2015

Performance Antipattern Detection through fUML Model Library.
Proceedings of the 2015 Workshop on Challenges in Performance Methods for Software Development, 2015

A proactive approach for runtime self-adaptation based on queueing network fluid analysis.
Proceedings of the 1st International Workshop on Quality-Aware DevOps, 2015

QoS-based Feedback for Service Compositions.
Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, 2015

Performance-Based Software Model Refactoring in Fuzzy Contexts.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results.
Proceedings of the Software Architecture - 9th European Conference, 2015

Introduction to the SAGRA 2015 workshop.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014
An approach for modeling and detecting software performance antipatterns based on first-order logics.
Softw. Syst. Model., 2014

Guilt-based handling of software performance antipatterns in palladio architectural models.
J. Syst. Softw., 2014

A model-driven approach to broaden the detection of software performance antipatterns at runtime.
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Exploring synergies between bottleneck analysis and performance antipatterns.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Performance-based selection of software and hardware features under parameter uncertainty.
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013
Experimenting the Influence of Numerical Thresholds on Model-based Detection and Refactoring of Performance Antipatterns.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Towards a methodology driven by relationships of quality attributes for qos-based analysis.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Model-based performance analysis of software architectures under uncertainty.
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

2012
Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Software Performance Antipatterns: Modeling and Analysis.
Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Antipattern-based model refactoring for software performance improvement.
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, 2012

Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems.
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, 2012

Providing lightweight and adaptable service technology for information and communication (PLASTIC) in the mobile ehealth case study.
Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

A Deep Investigation for QoS-based Feedback at Design Time and Runtime.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011
Automated generation of architectural feedback from software performance analysis results.
PhD thesis, 2011

Detection and solution of software performance antipatterns in palladio architectural models (abstracts only).
SIGMETRICS Perform. Evaluation Rev., 2011

Detection and solution of software performance antipatterns in palladio architectural models.
Proceedings of the ICPE'11, 2011

VISION as a Support to Cognitive Behavioural Systems.
Proceedings of the Cognitive Behavioural Systems, 2011

2010
Towards the identification of "Guilty" performance antipatterns.
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

A Model-Based Framework for Software Performance Feedback.
Proceedings of the Models in Software Engineering, 2010

An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance.
Proceedings of the Architecting Critical Systems, First International Symposium, 2010

Digging into UML models to remove performance antipatterns.
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

Performance Antipatterns as Logical Predicates.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

A Process to Effectively Identify "Guilty" Performance Antipatterns.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009
Approaching the Model-Driven Generation of Feedback to Remove Software Performance Flaws.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008
Towards a library of composable models to estimate the performance of security solutions.
Proceedings of the 7th International Workshop on Software and Performance, 2008

SMILE- Simple Middleware Independent LayEr for Distributed Mobile Applications.
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008


  Loading...