logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Mirco Tribastone

IMT School for Advanced Studies Lucca

28H指数
197论文数
2.6K被引数
收录论文 19
发表时间
logo
Efficient Microservice Autoscaling Through $\mu$Opt通过μOpt实现高效的微服务自动扩展
errIEEE Transactions on Services Computing
IF5.8
err2026-05-25
err0
PREAI
errEmilio Incerto; Roberto Pizziol; Mirco Tribastone
err分享
err收藏
Optimality-preserving reduction of controlled chemical reaction networks保持最优性的受控化学反应网络约简
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-04-01
err0
errOAAI
errLarsen, Kim G.; Toller, Daniele; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
err分享
err收藏
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
err分享
err收藏
Rigorous engineering of collective adaptive systems-3rd special section: part I群体自适应系统的严格工程化-第3特别部分：第1部分
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-01-01
err0
errOAAI
errWirsing, Martin; De Nicola, Rocco; Jahnichen, Stefan; Tribastone, Mirco
err分享
err收藏
Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE动态系统与网络的评估、降阶与逼近：基于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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2016-04-01
err22
errOAAI
errTschaikowski, Max; Tribastone, Mirco
err分享
err收藏
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
err分享
err收藏
A Fluid Model for Layered Queueing Networks
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-06-01
err33
PREAI
errTribastone, Mirco
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
A
Alberto Bemporad
H 指数: 75 · 论文数: 604
K
Kim G. Larsen
H 指数: 70 · 论文数: 853
L
Luca Cardelli
H 指数: 68 · 论文数: 326
M
Marta Kwiatkowska
H 指数: 67 · 论文数: 540
R
Robert Wille
H 指数: 47 · 论文数: 915
查看更多