Mirco Tribastone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
45
Venues
24
Active years
2005–2026
Best venue rank
A*
Where they publish
- CISoLA10 papers
- ATACAS4 papers
- BMASCOTS4 papers
- A*LICS3 papers
- AGECCO2 papers
- BIFM2 papers
- BCONCUR2 papers
- BFASE2 papers
- BATVA1 paper
- ASEAMS1 paper
- A*ICDM1 paper
- A*SIGMETRICS1 paper
- BSEFM1 paper
- BEuroPar1 paper
- NationalWSC1 paper
- A*ICSE1 paper
- A*POPL1 paper
- ACIKM1 paper
- BMFCS1 paper
- CFORTE1 paper
- BSPLC1 paper
- ADSN1 paper
- CPDP1 paper
- BGLOBECOM1 paper
Papers
45 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | GECCO | A Lumpability-Based Reduction of Local Optima Networks. | Giuseppe Squillace, Mirco Tribastone |
| 2026 | TACAS | DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling. | Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi |
| 2025 | ATVA | Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE. | Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2025 | SEAMS | Wasteless: An Optimal Provisioner for Self-Adaptive Second-Generation Serverless Applications. | Emilio Incerto, Roberto Pizziol, Gabriele Russo Russo, Mirco Tribastone |
| 2024 | ICDM | Efficient Network Embedding by Approximate Equitable Partitions. | Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2024 | ISoLA | Systems Security Modeling and Analysis at IMT Lucca. | Gabriele Costa, Silvia de Francisci, Letterio Galletta, Cosimo Perini Brogi, Marinella Petrocchi, Fabio Pinelli, Roberto Pizziol, Manuel Pratelli, Margherita Renieri, Simone Soderi, Mirco Tribastone, Serenella Valiani |
| 2024 | ISoLA | Optimality-Preserving Reduction of Chemical Reaction Networks. | Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2024 | ISoLA | Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70 | Mirco Tribastone, Stefan Jhnichen, Martin Wirsing |
| 2024 | ISoLA | Rigorous Engineering of Collective Adaptive Systems Introduction to the 5 | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen, Mirco Tribastone |
| 2024 | TACAS | Forward and Backward Constrained Bisimulations for Quantum Circuits. | Antonio Jimnez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski |
| 2023 | LICS | Minimization of Dynamical Systems over Monoids. | Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2021 | LICS | Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2021 | SIGMETRICS | Refining Mean-field Approximations by Dynamic State Truncation. | Francesca Randone, Luca Bortolussi, Mirco Tribastone |
| 2021 | SEFM | Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. | Stella Simic, Omar Inverso, Mirco Tribastone |
| 2020 | IFM | Tight Error Analysis in Fixed-Point Arithmetic. | Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone |
| 2020 | ISoLA | Inferring Performance from Code: A Review. | Emilio Incerto, Annalisa Napolitano, Mirco Tribastone |
| 2020 | MASCOTS | Statistical Learning of Markov Chains of Programs. | Emilio Incerto, Annalisa Napolitano, Mirco Tribastone |
| 2018 | EuroPar | Combined Vertical and Horizontal Autoscaling Through Model Predictive Control. | Emilio Incerto, Mirco Tribastone, Catia Trubiani |
| 2018 | ISoLA | Differential Equivalence Yields Network Centrality. | Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2018 | ISoLA | Towards Software Performance by Construction. | Mirco Tribastone |
| 2018 | MASCOTS | Moving Horizon Estimation of Service Demands in Queuing Networks. | Emilio Incerto, Annalisa Napolitano, Mirco Tribastone |
| 2018 | WSC | Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. | Mirco Tribastone, Andrea Vandin |
| 2017 | GECCO | EGAC: a genetic algorithm to compare chemical reaction networks. | Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2017 | TACAS | ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | ICSE | Symbolic performance adaptation. | Emilio Incerto, Mirco Tribastone, Catia Trubiani |
| 2016 | LICS | Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | POPL | Symbolic computation of differential equivalences. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | TACAS | Efficient Syntax-Driven Lumping of Differential Equations. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2015 | CIKM | Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. | Nicolas Gast, Guillaume Massonnet, Danil Reijsbergen, Mirco Tribastone |
| 2015 | CONCUR | Forward and Backward Bisimulations for Chemical Reaction Networks. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2015 | MFCS | Differential Bisimulation for a Markovian Process Algebra. | Giulio Iacobelli, Mirco Tribastone, Andrea Vandin |
| 2014 | FASE | Family-Based Performance Analysis of Variant-Rich Software Systems. | Matthias Kowal, Ina Schaefer, Mirco Tribastone |
| 2014 | FORTE | Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. | Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone |
| 2014 | IFM | An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. | Stephen Gilmore, Mirco Tribastone, Andrea Vandin |
| 2014 | SPLC | Behavioral relations in a process algebra for variants. | Mirco Tribastone |
| 2013 | DSN | Lumpability of fluid models with heterogeneous agent types. | Giulio Iacobelli, Mirco Tribastone |
| 2012 | CONCUR | Exact Fluid Lumpability for Markovian Process Algebra. | Max Tschaikowski, Mirco Tribastone |
| 2012 | MASCOTS | Performance Modeling of Design Patterns for Distributed Computation. | Ronald Strebelow, Mirco Tribastone, Christian Prehofer |
| 2011 | MASCOTS | Approximate Mean Value Analysis of Process Algebra Models. | Mirco Tribastone |
| 2010 | ISoLA | Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. | Mirco Tribastone, Philip Mayer, Martin Wirsing |
| 2009 | FASE | Scalable Analysis of Scalable Systems. | Allan Clark, Stephen Gilmore, Mirco Tribastone |
| 2008 | ISoLA | Safety and Response-Time Analysis of an Automotive Accident Assistance Service. | Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2007 | PDP | An Analytical Model of a BitTorrent Peer. | Mario Barbera, Alfio Lombardo, Giovanni Schembra, Mirco Tribastone |
| 2005 | GLOBECOM | A Markov model of a freerider in a BitTorrent P2P network. | Mario Barbera, Alfio Lombardo, Giovanni Schembra, Mirco Tribastone |