Mirco Tribastone

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 83

Top Venues

CoRR

QEST

Theor. Comput. Sci.

IEEE Trans. Autom. Control.

Publications

Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. Proc. ACM Program. Lang. 8 (POPL) (2024)
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) (2024)
Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. Autom. 159 (2024)
Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Proper Lumping for Positive Bilinear Control Systems. CoRR (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24 (1) (2023)
Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. CoRR (2023)
Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Coarse-graining Complex Networks for Control Equivalence. CoRR (2023)
Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. 134 (2023)
Emilio Incerto, Roberto Pizziol, Mirco Tribastone
μOpt: An Efficient Optimal Autoscaler for Microservice Applications. ACSOS (2023)
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Minimization of Dynamical Systems over Monoids. LICS (2023)
Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Approximate Constrained Lumping of Polynomial Differential Equations. CMSB (2023)
Giulio Garbi, Emilio Incerto, Mirco Tribastone
μP: A Development Framework for Predicting Performance of Microservices by Design. CLOUD (2023)
Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. 68 (11) (2023)
Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR (2023)
Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. CoRR (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB (2022)
Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone
Tight Error Analysis in Fixed-point Arithmetic. Formal Aspects Comput. 34 (1) (2022)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Minimization of Dynamical Systems over Monoids. CoRR (2022)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Differential Equivalence for Linear Differential Algebraic Equations. IEEE Trans. Autom. Control. 67 (7) (2022)
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. 67 (2) (2022)
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST (2022)
Francesca Randone, Luca Bortolussi, Mirco Tribastone
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. QEST (2022)
Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
Exact maximal reduction of stochastic reaction networks by species lumping. CoRR (2021)
Stella Simic, Omar Inverso, Mirco Tribastone
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. SEFM (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR (2021)
Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. Bioinform. 37 (12) (2021)
Emilio Incerto, Annalisa Napolitano, Mirco Tribastone
Learning Queuing Networks via Linear Optimization. ICPE (2021)
Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Lumpability for Uncertain Continuous-Time Markov Chains. QEST (2021)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean Networks with Backward Boolean Equivalence. CoRR (2021)
Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
A large-scale assessment of exact lumping of quantitative models in the BioModels repository. Theor. Comput. Sci. 893 (2021)
Francesca Randone, Luca Bortolussi, Mirco Tribastone
Refining Mean-field Approximations by Dynamic State Truncation. SIGMETRICS (Abstracts) (2021)
Francesca Randone, Luca Bortolussi, Mirco Tribastone
Refining Mean-field Approximations by Dynamic State Truncation. Proc. ACM Meas. Anal. Comput. Syst. 5 (2) (2021)
Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. 37 (15) (2021)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB (2021)
Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. Bioinform. 37 (19) (2021)
Emilio Incerto, Annalisa Napolitano, Mirco Tribastone
Inferring Performance from Code: A Review. ISoLA (1) (2020)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski
From electric circuits to chemical networks. Nat. Comput. 19 (1) (2020)
Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations. CoRR (2020)
Giulio Garbi, Emilio Incerto, Mirco Tribastone
Learning Queuing Networks by Recurrent Neural Networks. ICPE (2020)
Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone
Improved estimations of stochastic chemical kinetics by finite state expansion. CoRR (2020)
Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone
Tight Error Analysis in Fixed-Point Arithmetic. IFM (2020)
Emilio Incerto, Annalisa Napolitano, Mirco Tribastone
Statistical Learning of Markov Chains of Programs. MASCOTS (2020)
Giulio Garbi, Emilio Incerto, Mirco Tribastone
Learning Queuing Networks by Recurrent Neural Networks. CoRR (2020)
Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository. CMSB (2019)
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
PID Control of Biochemical Reaction Networks. CoRR (2019)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Symbolic computation of differential equivalences. Theor. Comput. Sci. 777 (2019)
Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks. HSB (2019)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. 765 (2019)
Nicolas Gast, Luca Bortolussi, Mirco Tribastone
Size expansions of mean field approximation: Transient and steady-state analysis. Perform. Evaluation 129 (2019)
Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
UTOPIC: Under-Approximation Through Optimal Control. QEST (2019)
Emilio Incerto, Mirco Tribastone
Model-based Performance Self-adaptation: A Tutorial. ICPE Companion (2019)
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
PID Control of Biochemical Reaction Networks. CDC (2019)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST (2018)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski
From Electric Circuits to Chemical Networks. CoRR (2018)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR (2018)
Nicolas Gast, Luca Bortolussi, Mirco Tribastone
Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis. SIGMETRICS Perform. Evaluation Rev. 46 (3) (2018)
Mirco Tribastone, Andrea Vandin
Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. WSC (2018)
Omar Inverso, Alberto Bemporad, Mirco Tribastone
SAT-based synthesis of spoofing attacks in cyber-physical control systems. ICCPS (2018)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Backward Invariance for Linear Differential Algebraic Equations. CDC (2018)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Differential Equivalence Yields Network Centrality. ISoLA (3) (2018)
Mirco Tribastone
Towards Software Performance by Construction. ISoLA (1) (2018)
Emilio Incerto, Annalisa Napolitano, Mirco Tribastone
Moving Horizon Estimation of Service Demands in Queuing Networks. MASCOTS (2018)
Emilio Incerto, Mirco Tribastone, Catia Trubiani
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control. Euro-Par (2018)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) (2017)
Emilio Incerto, Mirco Tribastone, Catia Trubiani
Software performance self-adaptation through efficient model predictive control. ASE (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools (2017)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
EGAC: a genetic algorithm to compare chemical reaction networks. GECCO (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA 114 (38) (2017)
Max Tschaikowski, Mirco Tribastone
Spatial fluid limits for stochastic mobile networks. Perform. Evaluation 109 (2017)
Max Tschaikowski, Mirco Tribastone
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. Ann. Oper. Res. 252 (1) (2017)
Emilio Incerto, Mirco Tribastone, Catia Trubiani
Symbolic performance adaptation. SEAMS@ICSE (2016)
Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
Scaling size and parameter spaces in variability-aware software performance models. Software Engineering (2016)
Andrea Vandin, Mirco Tribastone
Quantitative Abstractions for Collective Adaptive Systems. SFM (2016)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Syntax-Driven Lumping of Differential Equations. TACAS (2016)
Anup Das, Geoff V. Merrett, Mirco Tribastone, Bashir M. Al-Hashimi
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (8) (2016)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Symbolic computation of differential equivalences. POPL (2016)
Mirco Tribastone
Challenges in Quantitative Abstractions for Collective Adaptive Systems. FORECAST@STAF (2016)
Max Tschaikowski, Mirco Tribastone
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls. IEEE Trans. Autom. Control. 61 (4) (2016)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS (2016)
Tabea Waizmann, Mirco Tribastone
DiffLQN: Differential Equation Analysis of Layered Queuing Networks. ICPE Companion (2016)
Max Tschaikowski, Mirco Tribastone
A unified framework for differential aggregations in Markovian process algebra. J. Log. Algebraic Methods Program. 84 (2) (2015)
Giulio Iacobelli, Mirco Tribastone, Andrea Vandin
Differential Bisimulation for a Markovian Process Algebra. MFCS (1) (2015)
Luca Bortolussi, Jane Hillston, Mirco Tribastone
Fluid Performability Analysis of Nested Automata Models. Electron. Notes Theor. Comput. Sci. 310 (2015)
Farshad Shams, Mirco Tribastone
Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory. QEST (2015)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR (2015)
Nicolas Gast, Guillaume Massonnet, Daniël Reijsbergen, Mirco Tribastone
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. CIKM (2015)
Stephen Gilmore, Jane Hillston, Mirco Tribastone
Service Composition for Collective Adaptive Systems. Software, Services, and Systems (2015)
Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). ASE (2015)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR (2015)
Emilio Incerto, Mirco Tribastone, Catia Trubiani
A proactive approach for runtime self-adaptation based on queueing network fluid analysis. QUDOS@SIGSOFT FSE (2015)
Matthias Kowal, Ina Schaefer, Mirco Tribastone
Family-Based Performance Analysis of Variant-Rich Software Systems. Software Engineering & Management (2015)
Max Tschaikowski, Mirco Tribastone
Tackling continuous state-space explosion in a Markovian process algebra. Theor. Comput. Sci. 517 (2014)
Max Tschaikowski, Mirco Tribastone
Extended Differential Aggregations in Process Algebra for Performance and Biology. QAPL (2014)
Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. FORTE (2014)
Giuliano Casale, Mirco Tribastone, Peter G. Harrison
Blending randomness in closed queueing network models. Perform. Evaluation 82 (2014)
Mirco Tribastone
Efficient optimization of software performance models via parameter-space pruning. ICPE (2014)
Max Tschaikowski, Mirco Tribastone
A Partial-differential Approximation for Spatial Stochastic Process Algebra. VALUETOOLS (2014)

Mirco Tribastone.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mirco Tribastone