A Markov model of a freerider in a BitTorrent P2P network. - Mario Barbera; Alfio Lombardo; Giovanni Schembra; Mirco Tribastone (GLOBECOM, 2005)

SensoriaProcess Calculi for Service-Oriented Computing. - Martin Wirsing; Rocco De Nicola; Stephen Gilmore; Matthias M. Hölzl; Roberto Lucchi; Mirco Tribastone; Gianluigi Zavattaro (TGC, 2006)

Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. - Stephen T. Gilmore; Mirco Tribastone (WS-FM, 2006)

An Analytical Model of a BitTorrent Peer. - Mario Barbera; Alfio Lombardo; Giovanni Schembra; Mirco Tribastone (PDP, 2007)

The PEPA Plug-in Project. - Mirco Tribastone (QEST, 2007)

Stochastic Process Algebras. - Allan Clark; Stephen Gilmore; Jane Hillston; Mirco Tribastone (SFM, 2007)

Replicating Web Services for Scalability. - Mario Bravetti; Stephen Gilmore; Claudio Guidi; Mirco Tribastone (TGC, 2007)

Partial Evaluation of PEPA Models for Fluid-Flow Analysis. - Allan Clark; Adam Duguid; Stephen Gilmore; Mirco Tribastone (EPEW, 2008)

Safety and Response-Time Analysis of an Automotive Accident Assistance Service. - Ashok Argent-Katwala; Allan Clark; Howard Foster; Stephen Gilmore; Philip Mayer; Mirco Tribastone (ISoLA, 2008)

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. - Martin Wirsing; Matthias M. Hölzl; Lucia Acciai; Federico Banti; Allan Clark; Alessandro Fantechi; Stephen Gilmore; Stefania Gnesi; László Gönczy; Nora Koch; Alessandro Lapadula; Philip Mayer; et al. (ISoLA, 2008)

Automatic Translation of UML Sequence Diagrams into PEPA Models. - Mirco Tribastone; Stephen Gilmore (QEST, 2008)

Service-Level Agreements for Service-Oriented Computing. - Allan Clark; Stephen Gilmore; Mirco Tribastone (WADT, 2008)

Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. - Mirco Tribastone; Stephen Gilmore (WOSP, 2008)

Scalable Analysis of Scalable Systems. - Allan Clark; Stephen Gilmore; Mirco Tribastone (FASE, 2009)

Quantitative Analysis of Web Services Using SRMC. - Allan Clark; Stephen Gilmore; Mirco Tribastone (SFM, 2009)

The PEPA eclipse plugin. - Mirco Tribastone; Adam Duguid; Stephen Gilmore (SIGMETRICS Perform. Evaluation Rev., 2009)

Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. - Mirco Tribastone; Philip Mayer; Martin Wirsing (ISoLA (2), 2010)

Large-Scale Modelling with the PEPA Eclipse Plug-In. - Mirco Tribastone; Stephen Gilmore (OR, 2010)

Hybrid Semantics for PEPA. - Luca Bortolussi; Vashti Galpin; Jane Hillston; Mirco Tribastone (QEST, 2010)

Scalable Differential Analysis of Large Process Algebra Models. - Mirco Tribastone (QEST, 2010)

Relating layered queueing networks and process algebra models. - Mirco Tribastone (WOSP/SIPEW, 2010)

Scaling Performance Analysis Using Fluid-Flow Approximation. - Mirco Tribastone; Stephen Gilmore (Results of the SENSORIA Project, 2011)

ASCENS: Engineering Autonomic Service-Component Ensembles. - Martin Wirsing; Matthias M. Hölzl; Mirco Tribastone; Franco Zambonelli (FMCO, 2011)

Approximate Mean Value Analysis of Process Algebra Models. - Mirco Tribastone (MASCOTS, 2011)

Fluid Analysis of Queueing in Two-Stage Random Environments. - Giuliano Casale; Mirco Tribastone (QEST, 2011)

Modular performance modelling for mobile applications. - Niaz Arijo; Reiko Heckel; Mirco Tribastone; Stephen Gilmore (ICPE, 2011)

Modular performance modelling for mobile applications (abstracts only). - Niaz Arijo; Reiko Heckel; Mirco Tribastone; Stephen Gilmore (SIGMETRICS Perform. Evaluation Rev., 2011)

Non-functional properties in the model-driven development of service-oriented systems. - Stephen Gilmore; László Gönczy; Nora Koch; Philip Mayer; Mirco Tribastone; Dániel Varró (Softw. Syst. Model., 2011)

Scalable Performance Evaluation of Computer Systems. - Mirco Tribastone (Softwaretechnik-Trends, 2011)

Performance Modeling of Design Patterns for Distributed Computation. - Ronald Strebelow; Mirco Tribastone; Christian Prehofer (MASCOTS, 2012)

Generalised Communication for Interacting Agents. - Max Tschaikowski; Mirco Tribastone (QEST, 2012)

Fluid limits of queueing networks with batches. - Luca Bortolussi; Mirco Tribastone (ICPE, 2012)

Stochastic Process Algebras: From Individuals to Populations. - Jane Hillston; Mirco Tribastone; Stephen Gilmore (Comput. J., 2012)

Fluid Rewards for a Stochastic Process Algebra. - Mirco Tribastone; Jie Ding; Stephen Gilmore; Jane Hillston (IEEE Trans. Software Eng., 2012)

Scalable Differential Analysis of Process Algebra Models. - Mirco Tribastone; Stephen Gilmore; Jane Hillston (IEEE Trans. Software Eng., 2012)

Lumpability of fluid models with heterogeneous agent types. - Giulio Iacobelli; Mirco Tribastone (DSN, 2013)

Differential analysis of interacting automata with immediate actions. - Luca Bortolussi; Mirco Tribastone (VALUETOOLS, 2013)

Insensitivity to service-time distributions for fluid queueing models. - Max Tschaikowski; Mirco Tribastone (VALUETOOLS, 2013)

Modelling exogenous variability in cloud deployments. - Giuliano Casale; Mirco Tribastone (SIGMETRICS Perform. Evaluation Rev., 2013)

A Fluid Model for Layered Queueing Networks. - Mirco Tribastone (IEEE Trans. Software Eng., 2013)

Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. - Rocco De Nicola; Giulio Iacobelli; Mirco Tribastone (FORTE, 2014)

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. - Stephen Gilmore; Mirco Tribastone; Andrea Vandin (IFM, 2014)

Behavioral relations in a process algebra for variants. - Mirco Tribastone (SPLC, 2014)

A Partial-differential Approximation for Spatial Stochastic Process Algebra. - Max Tschaikowski; Mirco Tribastone (VALUETOOLS, 2014)

Efficient optimization of software performance models via parameter-space pruning. - Mirco Tribastone (ICPE, 2014)

Model-based Development and Performance Analysis for Evolving Manufacturing Systems. - Matthias Kowal; Christian Prehofer; Ina Schaefer; Mirco Tribastone (Autom., 2014)

Extended Differential Aggregations in Process Algebra for Performance and Biology. - Max Tschaikowski; Mirco Tribastone (QAPL, 2014)

Fluid Performability Analysis of Nested Automata Models. - Luca Bortolussi; Jane Hillston; Mirco Tribastone (PASM, 2014)

Blending randomness in closed queueing network models. - Giuliano Casale; Mirco Tribastone; Peter G. Harrison (Perform. Evaluation, 2014)

Tackling continuous state-space explosion in a Markovian process algebra. - Max Tschaikowski; Mirco Tribastone (Theor. Comput. Sci., 2014)

Exact fluid lumpability in Markovian process algebra. - Max Tschaikowski; Mirco Tribastone (Theor. Comput. Sci., 2014)

Service Composition for Collective Adaptive Systems. - Stephen Gilmore; Jane Hillston; Mirco Tribastone (Software, Services, and Systems, 2015)

Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. - Nicolas Gast; Guillaume Massonnet; Daniël Reijsbergen; Mirco Tribastone (CIKM, 2015)

Forward and Backward Bisimulations for Chemical Reaction Networks. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CONCUR, 2015)

Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). - Matthias Kowal; Max Tschaikowski; Mirco Tribastone; Ina Schaefer (ASE, 2015)

Differential Bisimulation for a Markovian Process Algebra. - Giulio Iacobelli; Mirco Tribastone; Andrea Vandin (MFCS (1), 2015)

Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory. - Farshad Shams; Mirco Tribastone (QEST, 2015)

Family-Based Performance Analysis of Variant-Rich Software Systems. - Matthias Kowal; Ina Schaefer; Mirco Tribastone (Software Engineering & Management, 2015)

A proactive approach for runtime self-adaptation based on queueing network fluid analysis. - Emilio Incerto; Mirco Tribastone; Catia Trubiani (QUDOS@SIGSOFT FSE, 2015)

A unified framework for differential aggregations in Markovian process algebra. - Max Tschaikowski; Mirco Tribastone (J. Log. Algebraic Methods Program., 2015)

Supporting Performance Awareness in Autonomous Ensembles. - Lubomír Bulej; Tomás Bures; Ilias Gerostathopoulos; Vojtech Horký; Jaroslav Keznikl; Lukás Marek; Max Tschaikowski; Mirco Tribastone; Petr Tuma 001 (The ASCENS Approach, 2015)

Symbolic performance adaptation. - Emilio Incerto; Mirco Tribastone; Catia Trubiani (SEAMS@ICSE, 2016)

Scaling size and parameter spaces in variability-aware software performance models. - Matthias Kowal; Max Tschaikowski; Mirco Tribastone; Ina Schaefer (Software Engineering, 2016)

Quantitative Abstractions for Collective Adaptive Systems. - Andrea Vandin; Mirco Tribastone (SFM, 2016)

Efficient Syntax-Driven Lumping of Differential Equations. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (TACAS, 2016)

DiffLQN: Differential Equation Analysis of Layered Queuing Networks. - Tabea Waizmann; Mirco Tribastone (ICPE Companion, 2016)

Challenges in Quantitative Abstractions for Collective Adaptive Systems. - Mirco Tribastone (FORECAST@STAF, 2016)

Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls. - Max Tschaikowski; Mirco Tribastone (IEEE Trans. Autom. Control., 2016)

Workload Change Point Detection for Runtime Thermal Management of Embedded Systems. - Anup Das 001; Geoff V. Merrett; Mirco Tribastone; Bashir M. Al-Hashimi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Syntactic Markovian Bisimulation for Chemical Reaction Networks. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Models, Algorithms, Logics and Tools, 2017)

EGAC: a genetic algorithm to compare chemical reaction networks. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (GECCO, 2017)

Software performance self-adaptation through efficient model predictive control. - Emilio Incerto; Mirco Tribastone; Catia Trubiani (ASE, 2017)

ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (TACAS (2), 2017)

A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. - Max Tschaikowski; Mirco Tribastone (Ann. Oper. Res., 2017)

Spatial fluid limits for stochastic mobile networks. - Max Tschaikowski; Mirco Tribastone (Perform. Evaluation, 2017)

Maximal aggregation of polynomial dynamical systems. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Proc. Natl. Acad. Sci. USA, 2017)

Backward Invariance for Linear Differential Algebraic Equations. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CDC, 2018)

Combined Vertical and Horizontal Autoscaling Through Model Predictive Control. - Emilio Incerto; Mirco Tribastone; Catia Trubiani (Euro-Par, 2018)

SAT-based synthesis of spoofing attacks in cyber-physical control systems. - Omar Inverso; Alberto Bemporad; Mirco Tribastone (ICCPS, 2018)

Differential Equivalence Yields Network Centrality. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (ISoLA (3), 2018)

Towards Software Performance by Construction. - Mirco Tribastone (ISoLA (1), 2018)

Moving Horizon Estimation of Service Demands in Queuing Networks. - Emilio Incerto; Annalisa Napolitano; Mirco Tribastone (MASCOTS, 2018)

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2018)

Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. - Mirco Tribastone; Andrea Vandin (WSC, 2018)

A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository. - Isabel Cristina Pérez-Verona; Mirco Tribastone; Andrea Vandin (CMSB, 2019)

Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks. - Isabel Cristina Pérez-Verona; Mirco Tribastone; Max Tschaikowski (HSB, 2019)

UTOPIC: Under-Approximation Through Optimal Control. - Josu Doncel; Nicolas Gast; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2019)

Model-based Performance Self-adaptation: A Tutorial. - Emilio Incerto; Mirco Tribastone (ICPE Companion, 2019)

Size expansions of mean field approximation: Transient and steady-state analysis. - Nicolas Gast; Luca Bortolussi; Mirco Tribastone (Perform. Evaluation, 2019)

Comparing chemical reaction networks: A categorical and algorithmic perspective. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Theor. Comput. Sci., 2019)

Symbolic computation of differential equivalences. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Theor. Comput. Sci., 2019)

Inferring Performance from Code: A Review. - Emilio Incerto; Annalisa Napolitano; Mirco Tribastone (ISoLA (1), 2020)

Statistical Learning of Markov Chains of Programs. - Emilio Incerto; Annalisa Napolitano; Mirco Tribastone (MASCOTS, 2020)

Learning Queuing Networks by Recurrent Neural Networks. - Giulio Garbi; Emilio Incerto; Mirco Tribastone (ICPE, 2020)

Improved estimations of stochastic chemical kinetics by finite state expansion. - Tabea Waizmann; Luca Bortolussi; Andrea Vandin; Mirco Tribastone (CoRR, 2020)

From electric circuits to chemical networks. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski (Nat. Comput., 2020)

Reducing Boolean Networks with Backward Boolean Equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2021)

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (LICS, 2021)

Lumpability for Uncertain Continuous-Time Markov Chains. - Luca Cardelli; Radu Grosu; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2021)

Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. - Stella Simic; Omar Inverso; Mirco Tribastone (SEFM, 2021)

Learning Queuing Networks via Linear Optimization. - Emilio Incerto; Annalisa Napolitano; Mirco Tribastone (ICPE, 2021)

Exact maximal reduction of stochastic reaction networks by species lumping. - Luca Cardelli; Isabel Cristina Pérez-Verona; Mirco Tribastone; Max Tschaikowski; Andrea Vandin; Tabea Waizmann (Bioinform., 2021)

CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. - Alexey Ovchinnikov; Isabel Cristina Pérez-Verona; Gleb Pogudin; Mirco Tribastone (Bioinform., 2021)

Refining Mean-field Approximations by Dynamic State Truncation. - Francesca Randone; Luca Bortolussi; Mirco Tribastone (Proc. ACM Meas. Anal. Comput. Syst., 2021)

A large-scale assessment of exact lumping of quantitative models in the BioModels repository. - Isabel Cristina Pérez-Verona; Mirco Tribastone; Andrea Vandin (Theor. Comput. Sci., 2021)

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2022)

Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. - Francesca Randone; Luca Bortolussi; Mirco Tribastone (QEST, 2022)

An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2022)

Minimization of Dynamical Systems over Monoids. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CoRR, 2022)

Tight Error Analysis in Fixed-point Arithmetic. - Stella Simic; Alberto Bemporad; Omar Inverso; Mirco Tribastone (Formal Aspects Comput., 2022)

Differential Equivalence for Linear Differential Algebraic Equations. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2022)

PID Control of Biochemical Reaction Networks. - Max Whitby; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Mirco Tribastone; Max Tschaikowski (IEEE Trans. Autom. Control., 2022)

μP: A Development Framework for Predicting Performance of Microservices by Design. - Giulio Garbi; Emilio Incerto; Mirco Tribastone (CLOUD, 2023)

μOpt: An Efficient Optimal Autoscaler for Microservice Applications. - Emilio Incerto; Roberto Pizziol; Mirco Tribastone (ACSOS, 2023)

Approximate Constrained Lumping of Polynomial Differential Equations. - Alexander Leguizamon-Robayo; Antonio Jiménez-Pastor; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2023)

Minimization of Dynamical Systems over Monoids. - Georgios Argyris; Alberto Lluch-Lafuente; Alexander Leguizamon-Robayo; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (LICS, 2023)

Efficient Simulation of Quantum Circuits by Model Order Reduction. - Antonio Jiménez-Pastor; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski (CoRR, 2023)

Formal lumping of polynomial differential equations through approximate equivalences. - Luca Cardelli; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (J. Log. Algebraic Methods Program., 2023)

Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. - Luca Cardelli; Radu Grosu; Kim Guldstrand Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2023)

Reducing Boolean networks with backward equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (BMC Bioinform., 2023)

Efficient Network Embedding by Approximate Equitable Partitions. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (ICDM, 2024)

Systems Security Modeling and Analysis at IMT Lucca. - Gabriele Costa 001; Silvia de Francisci; Letterio Galletta; Cosimo Perini Brogi; Marinella Petrocchi; Fabio Pinelli; Roberto Pizziol; Manuel Pratelli; Margherita Renieri; Simone Soderi; Mirco Tribastone; Serenella Valiani (ISoLA (1), 2024)

Optimality-Preserving Reduction of Chemical Reaction Networks. - Kim G. Larsen; Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (ISoLA (2), 2024)

Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday. - Mirco Tribastone; Stefan Jähnichen; Martin Wirsing (ISoLA (1), 2024)

Rigorous Engineering of Collective Adaptive Systems Introduction to the 5rmth Track Edition. - Martin Wirsing; Rocco De Nicola; Stefan Jähnichen; Mirco Tribastone (ISoLA (2), 2024)

Dissimilarity for Linear Dynamical Systems. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST+FORMATS, 2024)

Forward and Backward Constrained Bisimulations for Quantum Circuits. - Antonio Jiménez-Pastor; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski (TACAS (2), 2024)

Approximate Constrained Lumping of Chemical Reaction Networks. - Alexander Leguizamon-Robayo; Antonio Jiménez-Pastor; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CoRR, 2024)

Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. - Pablo Krupa; Omar Inverso; Mirco Tribastone; Alberto Bemporad (Autom., 2024)

Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. - Francesca Randone; Luca Bortolussi; Emilio Incerto; Mirco Tribastone (Proc. ACM Program. Lang., 2024)

Proper Lumping for Positive Bilinear Control Systems. - Antonio Jiménez-Pastor; Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2024)

Certified Inductive Synthesis for Online Mixed-Integer Optimization. - Marco Zamponi; Emilio Incerto; Daniele Masti; Mirco Tribastone (ICCPS, 2025)

Wasteless: An Optimal Provisioner for Self-Adaptive Second-Generation Serverless Applications. - Emilio Incerto; Roberto Pizziol; Gabriele Russo Russo; Mirco Tribastone (SEAMS@ICSE, 2025)

Coarse-Graining Complex Networks for Control Equivalence. - Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2025)

Approximate regular equivalence by partition refinement. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Appl. Netw. Sci., 2025)