logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Mirco Tribastone

IMT School for Advanced Studies Lucca

28H-index
197Paper Count
2.6KCitation Count
Published Papers 19
Publication Date
logo
Efficient Microservice Autoscaling Through <inline-formula><tex-math notation="LaTeX">$\mu$</tex-math></inline-formula>Opt
errIEEE Transactions on Services Computing
IF5.8
err2026-05-25
err0
PREAI
errEmilio Incerto; Roberto Pizziol; Mirco Tribastone
errShare
errSave
Optimality-preserving reduction of controlled chemical reaction networks
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-04-01
err0
PREAI
errLarsen, Kim G.; Toller, Daniele; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
errShare
errSave
Intelligent automatic load test generation for elastic microservice applications: a falsification-based approach
errJournal of Systems and Software
IF4.1
err2026-02-25
err0
errOAAI
errMarco Zamponi; Daniele Masti; Emilio Incerto; Franco Raimondi; Mirco Tribastone
errShare
errSave
Rigorous engineering of collective adaptive systems-3rd special section: part I
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-01-01
err0
errOAAI
errWirsing, Martin; De Nicola, Rocco; Jahnichen, Stefan; Tribastone, Mirco
errShare
errSave
Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errCardelli, Luca; Squillace, Giuseppe; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
errShare
errSave
Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams
errACM TRANSACTIONS ON QUANTUM COMPUTING
IF6.8
err2025-02-13
err0
errOAAI
errBurgholzer, L; Jimenez-Pastor, A; Guldstrand, K; Tribastone, M; Tschaikowski, M; Wille, R
errShare
errSave
Coarse-Graining Complex Networks for Control Equivalence
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2025-02-01
err0
errOAAI
errToller, Daniele; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
errShare
errSave
Proper Lumping for Positive Bilinear Control Systems
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-11-01
err0
errOAAI
errJimenez-Pastor, Antonio; Toller, Daniele; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
errShare
errSave
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems
errAUTOMATICA
IF5.9
err2024-01-01
err2
errOAAI
errKrupa, Pablo; Inverso, Omar; Tribastone, Mirco; Bemporad, Alberto
errShare
errSave
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2023-11-01
err3
errOAAI
errCardelli, Luca; Grosu, Radu; Larsen, Kim Guldstrand; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
errShare
errSave
Differential Equivalence for Linear Differential Algebraic Equations
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-07-01
err3
errOAAI
errTognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
errShare
errSave
PID Control of Biochemical Reaction Networks
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-02-01
err34
errOAAI
errWhitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max
errShare
errSave
Maximal aggregation of polynomial dynamical systems
errPROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA
IF9.1
err2017-09-06
err39
errOAAI
errCardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
errShare
errSave
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment
errANNALS OF OPERATIONS RESEARCH
IF4.5
err2016-04-23
err1
errOAAI
errTschaikowski, Max; Tribastone, Mirco
errShare
errSave
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2016-04-01
err22
errOAAI
errTschaikowski, Max; Tribastone, Mirco
errShare
errSave
Noise Reduction in Complex Biological Switches
errSCIENTIFIC REPORTS
IF3.9
err2016-02-08
err31
errOAAI
errCardelli, Luca; Csikasz-Nagy, Attila; Dalchau, Neil; Tribastone, Mirco; Tschaikowski, Max
errShare
errSave
A Fluid Model for Layered Queueing Networks
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-06-01
err33
PREAI
errTribastone, Mirco
errShare
errSave
Fluid Rewards for a Stochastic Process Algebra
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2012-07-01
err19
errOAAI
errTribastone, Mirco; Ding, Jie; Gilmore, Stephen; Hillston, Jane
errShare
errSave
Scalable Differential Analysis of Process Algebra Models
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2012-01-01
err66
errOAAI
errTribastone, Mirco; Gilmore, Stephen; Hillston, Jane
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Alberto Bemporad
H-index: 75 · Papers: 604
K
Kim G. Larsen
H-index: 70 · Papers: 853
L
Luca Cardelli
H-index: 68 · Papers: 326
M
Marta Kwiatkowska
H-index: 67 · Papers: 540
R
Robert Wille
H-index: 47 · Papers: 915
View more