Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mirco Tribastone
conf.researchr.org general profile
ACSOS 2023 profile
ATVA 2025 profile
ETAPS 2019 profile
ICSE 2025 profile
POPL 2016 profile
POPL 2017 profile
POPL 2020 profile
POPL 2024 profile
Registered user since Sat 31 Oct 2015
Name:
Mirco Tribastone
Affiliation:
IMT Institute for Advanced Studies Lucca, Italy
Contributions
2025
ATVA
Author of Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE (tool paper) within the ATVA Papers-track
International Conference on Software Engineering for Adaptive and Self-Managing Systems
Author of WasteLess: An Optimal Provisioner for Self-Adaptive Second-Generation Serverless Applications within the Research Track-track
2024
POPL
Author of Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures within the POPL-track
2023
ACSOS
Author of μOpt: An Efficient Optimal Autoscaler for Microservice Applications within the Main Track-track
2020
POPL
Committee Member in Program Committee within the Research Papers-track
2019
ETAPS
Author of Markovian equivalences for biochemical reaction networks within the Posters-track
HSB
Author of Fixed-point Computation of Equilibria in Biochemical Regulatory Networks within the HSB-track
QAPL
Steering Committee Member in Steering Committee within the QAPL-track
2017
POPL
ERC member in External Review Committee within the POPL-track
2016
POPL
Author of Symbolic Computation of Differential Equivalences within the Research Papers-track
Share
x
Sat 25 Oct 06:43
