Mirco Tribastone

173 papers A* 7A 4B 20C 5Misc 1Journal 66Unranked 63

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling. TACAS (1) Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi
2026	J	`jnl`	DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling. CoRR Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi
2026	J	`jnl`	Intelligent automatic load test generation for elastic microservice applications: A falsification-based approach. J. Syst. Softw. Marco Zamponi, Daniele Masti, Emilio Incerto, Franco Raimondi, Mirco Tribastone
2025	J	`jnl`	Approximate regular equivalence by partition refinement. Appl. Netw. Sci. Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2025	—	`conf`	Certified Inductive Synthesis for Online Mixed-Integer Optimization. ICCPS Marco Zamponi, Emilio Incerto, Daniele Masti, Mirco Tribastone
2025	J	`jnl`	Certified Inductive Synthesis for Online Mixed-Integer Optimization. CoRR Marco Zamponi, Emilio Incerto, Daniele Masti, Mirco Tribastone
2025	J	`jnl`	Coarse-Graining Complex Networks for Control Equivalence. IEEE Trans. Autom. Control. Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2025	B	`conf`	Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE. ATVA Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2025	J	`jnl`	Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams. ACM Trans. Quantum Comput. Lukas Burgholzer, Antonio Jiménez-Pastor, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Robert Wille
2025	J	`jnl`	Rigorous engineering of collective adaptive systems - 3rd special section: part I. Int. J. Softw. Tools Technol. Transf. Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone
2025	—	`conf`	Wasteless: An Optimal Provisioner for Self-Adaptive Second-Generation Serverless Applications. SEAMS@ICSE Emilio Incerto, Roberto Pizziol, Gabriele Russo Russo, Mirco Tribastone
2024	J	`jnl`	Approximate Constrained Lumping of Chemical Reaction Networks. CoRR Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	J	`jnl`	Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. Autom. Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad
2024	—	`ed.`	Computational Methods in Systems Biology - 22nd International Conference, CMSB 2024, Pisa, Italy, September 16-18, 2024, Proceedings CMSB Roberta Gori, Paolo Milazzo, Mirco Tribastone
2024	—	`conf`	Dissimilarity for Linear Dynamical Systems. QEST+FORMATS Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	A*	`conf`	Efficient Network Embedding by Approximate Equitable Partitions. ICDM Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	J	`jnl`	Efficient Network Embedding by Approximate Equitable Partitions. CoRR Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	—	`conf`	Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
2024	J	`jnl`	Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. Proc. ACM Program. Lang. Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone
2024	—	`conf`	Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70 ISoLA (1) Mirco Tribastone, Stefan Jähnichen, Martin Wirsing
2024	—	`conf`	Optimality-Preserving Reduction of Chemical Reaction Networks. ISoLA (2) Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	J	`jnl`	Proper Lumping for Positive Bilinear Control Systems. IEEE Trans. Autom. Control. Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	—	`conf`	Rigorous Engineering of Collective Adaptive Systems Introduction to the 5 ISoLA (2) Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone
2024	—	`conf`	Systems Security Modeling and Analysis at IMT Lucca. ISoLA (1) 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
2023	J	`jnl`	Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	—	`conf`	Approximate Constrained Lumping of Polynomial Differential Equations. CMSB Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. CoRR Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad
2023	J	`jnl`	Coarse-graining Complex Networks for Control Equivalence. CoRR Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
2023	J	`jnl`	Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. CoRR Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone
2023	A*	`conf`	Minimization of Dynamical Systems over Monoids. LICS Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Optimality-preserving Reduction of Chemical Reaction Networks. CoRR Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Proper Lumping for Positive Bilinear Control Systems. CoRR Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	—	`ed.`	Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings QEST Nils Jansen, Mirco Tribastone
2023	J	`jnl`	Reducing Boolean networks with backward equivalence. BMC Bioinform. Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	—	`conf`	μOpt: An Efficient Optimal Autoscaler for Microservice Applications. ACSOS Emilio Incerto, Roberto Pizziol, Mirco Tribastone
2023	B	`conf`	μP: A Development Framework for Predicting Performance of Microservices by Design. CLOUD Giulio Garbi, Emilio Incerto, Mirco Tribastone
2022	—	`conf`	An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	—	`conf`	An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	J	`jnl`	Differential Equivalence for Linear Differential Algebraic Equations. IEEE Trans. Autom. Control. Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	—	`conf`	Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling. QEST Francesca Randone, Luca Bortolussi, Mirco Tribastone
2022	J	`jnl`	Minimization of Dynamical Systems over Monoids. CoRR Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	J	`jnl`	PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2022	J	`jnl`	Tight Error Analysis in Fixed-point Arithmetic. Formal Aspects Comput. Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone
2021	J	`jnl`	A large-scale assessment of exact lumping of quantitative models in the BioModels repository. Theor. Comput. Sci. Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
2021	B	`conf`	Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. SEFM Stella Simic, Omar Inverso, Mirco Tribastone
2021	J	`jnl`	CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. Bioinform. Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone
2021	J	`jnl`	CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations. Bioinform. Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone
2021	A*	`conf`	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
2021	J	`jnl`	Exact maximal reduction of stochastic reaction networks by species lumping. CoRR Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
2021	B	`conf`	Learning Queuing Networks via Linear Optimization. ICPE Emilio Incerto, Annalisa Napolitano, Mirco Tribastone
2021	—	`conf`	Lumpability for Uncertain Continuous-Time Markov Chains. QEST Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	—	`conf`	Reducing Boolean Networks with Backward Boolean Equivalence. CMSB Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Reducing Boolean Networks with Backward Boolean Equivalence. CoRR Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	—	`conf`	Refining Mean-field Approximations by Dynamic State Truncation. SIGMETRICS (Abstracts) Francesca Randone, Luca Bortolussi, Mirco Tribastone
2021	J	`jnl`	Refining Mean-field Approximations by Dynamic State Truncation. Proc. ACM Meas. Anal. Comput. Syst. Francesca Randone, Luca Bortolussi, Mirco Tribastone
2020	J	`jnl`	CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations. CoRR Alexey Ovchinnikov, Isabel Cristina Pérez-Verona, Gleb Pogudin, Mirco Tribastone
2020	J	`jnl`	From electric circuits to chemical networks. Nat. Comput. Luca Cardelli, Mirco Tribastone, Max Tschaikowski
2020	J	`jnl`	Improved estimations of stochastic chemical kinetics by finite state expansion. CoRR Tabea Waizmann, Luca Bortolussi, Andrea Vandin, Mirco Tribastone
2020	—	`conf`	Inferring Performance from Code: A Review. ISoLA (1) Emilio Incerto, Annalisa Napolitano, Mirco Tribastone
2020	B	`conf`	Learning Queuing Networks by Recurrent Neural Networks. ICPE Giulio Garbi, Emilio Incerto, Mirco Tribastone
2020	J	`jnl`	Learning Queuing Networks by Recurrent Neural Networks. CoRR Giulio Garbi, Emilio Incerto, Mirco Tribastone
2020	B	`conf`	Statistical Learning of Markov Chains of Programs. MASCOTS Emilio Incerto, Annalisa Napolitano, Mirco Tribastone
2020	B	`conf`	Tight Error Analysis in Fixed-Point Arithmetic. IFM Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone
2019	—	`conf`	A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository. CMSB Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin
2019	J	`jnl`	Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019	—	`conf`	Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks. HSB Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski
2019	—	`conf`	Model-based Performance Self-adaptation: A Tutorial. ICPE Companion Emilio Incerto, Mirco Tribastone
2019	—	`conf`	PID Control of Biochemical Reaction Networks. CDC Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2019	J	`jnl`	PID Control of Biochemical Reaction Networks. CoRR Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2019	J	`jnl`	Size expansions of mean field approximation: Transient and steady-state analysis. Perform. Evaluation Nicolas Gast, Luca Bortolussi, Mirco Tribastone
2019	J	`jnl`	Symbolic computation of differential equivalences. Theor. Comput. Sci. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019	—	`conf`	UTOPIC: Under-Approximation Through Optimal Control. QEST Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	—	`conf`	Backward Invariance for Linear Differential Algebraic Equations. CDC Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	—	`conf`	Combined Vertical and Horizontal Autoscaling Through Model Predictive Control. Euro-Par Emilio Incerto, Mirco Tribastone, Catia Trubiani
2018	—	`conf`	Differential Equivalence Yields Network Centrality. ISoLA (3) Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	J	`jnl`	From Electric Circuits to Chemical Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski
2018	—	`conf`	Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	J	`jnl`	Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	B	`conf`	Moving Horizon Estimation of Service Demands in Queuing Networks. MASCOTS Emilio Incerto, Annalisa Napolitano, Mirco Tribastone
2018	—	`conf`	SAT-based synthesis of spoofing attacks in cyber-physical control systems. ICCPS Omar Inverso, Alberto Bemporad, Mirco Tribastone
2018	J	`jnl`	Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis. SIGMETRICS Perform. Evaluation Rev. Nicolas Gast, Luca Bortolussi, Mirco Tribastone
2018	Misc	`conf`	Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial. WSC Mirco Tribastone, Andrea Vandin
2018	—	`conf`	Towards Software Performance by Construction. ISoLA (1) Mirco Tribastone
2017	J	`jnl`	A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. Ann. Oper. Res. Max Tschaikowski, Mirco Tribastone
2017	A	`conf`	EGAC: a genetic algorithm to compare chemical reaction networks. GECCO Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	—	`conf`	ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	J	`jnl`	Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	A*	`conf`	Software performance self-adaptation through efficient model predictive control. ASE Emilio Incerto, Mirco Tribastone, Catia Trubiani
2017	J	`jnl`	Spatial fluid limits for stochastic mobile networks. Perform. Evaluation Max Tschaikowski, Mirco Tribastone
2017	—	`conf`	Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	J	`jnl`	Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	J	`jnl`	Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls. IEEE Trans. Autom. Control. Max Tschaikowski, Mirco Tribastone
2016	—	`conf`	Challenges in Quantitative Abstractions for Collective Adaptive Systems. FORECAST@STAF Mirco Tribastone
2016	A*	`conf`	Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	—	`conf`	DiffLQN: Differential Equation Analysis of Layered Queuing Networks. ICPE Companion Tabea Waizmann, Mirco Tribastone
2016	A	`conf`	Efficient Syntax-Driven Lumping of Differential Equations. TACAS Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	—	`ed.`	Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016. QAPL Mirco Tribastone, Herbert Wiklicky
2016	—	`conf`	Quantitative Abstractions for Collective Adaptive Systems. SFM Andrea Vandin, Mirco Tribastone
2016	C	`conf`	Scaling size and parameter spaces in variability-aware software performance models. Software Engineering Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
2016	A*	`conf`	Symbolic computation of differential equivalences. POPL Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	—	`conf`	Symbolic performance adaptation. SEAMS@ICSE Emilio Incerto, Mirco Tribastone, Catia Trubiani
2016	J	`jnl`	Workload Change Point Detection for Runtime Thermal Management of Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Anup Das, Geoff V. Merrett, Mirco Tribastone, Bashir M. Al-Hashimi
2015	—	`conf`	A proactive approach for runtime self-adaptation based on queueing network fluid analysis. QUDOS@SIGSOFT FSE Emilio Incerto, Mirco Tribastone, Catia Trubiani
2015	J	`jnl`	A unified framework for differential aggregations in Markovian process algebra. J. Log. Algebraic Methods Program. Max Tschaikowski, Mirco Tribastone
2015	—	`conf`	Differential Bisimulation for a Markovian Process Algebra. MFCS (1) Giulio Iacobelli, Mirco Tribastone, Andrea Vandin
2015	—	`conf`	Family-Based Performance Analysis of Variant-Rich Software Systems. Software Engineering & Management Matthias Kowal, Ina Schaefer, Mirco Tribastone
2015	B	`conf`	Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	J	`jnl`	Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	—	`conf`	Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory. QEST Farshad Shams, Mirco Tribastone
2015	A	`conf`	Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. CIKM Nicolas Gast, Guillaume Massonnet, Daniël Reijsbergen, Mirco Tribastone
2015	—	`ed.`	Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. QAPL Nathalie Bertrand, Mirco Tribastone
2015	A*	`conf`	Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). ASE Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
2015	—	`conf`	Service Composition for Collective Adaptive Systems. Software, Services, and Systems Stephen Gilmore, Jane Hillston, Mirco Tribastone
2015	—	`ch.`	Supporting Performance Awareness in Autonomous Ensembles. The ASCENS Approach Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski, Mirco Tribastone, Petr Tuma
2014	—	`conf`	A Partial-differential Approximation for Spatial Stochastic Process Algebra. VALUETOOLS Max Tschaikowski, Mirco Tribastone
2014	B	`conf`	An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. IFM Stephen Gilmore, Mirco Tribastone, Andrea Vandin
2014	B	`conf`	Behavioral relations in a process algebra for variants. SPLC Mirco Tribastone
2014	J	`jnl`	Blending randomness in closed queueing network models. Perform. Evaluation Giuliano Casale, Mirco Tribastone, Peter G. Harrison
2014	C	`conf`	Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. FORTE Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone
2014	B	`conf`	Efficient optimization of software performance models via parameter-space pruning. ICPE Mirco Tribastone
2014	J	`jnl`	Exact fluid lumpability in Markovian process algebra. Theor. Comput. Sci. Max Tschaikowski, Mirco Tribastone
2014	—	`conf`	Extended Differential Aggregations in Process Algebra for Performance and Biology. QAPL Max Tschaikowski, Mirco Tribastone
2014	B	`conf`	Family-Based Performance Analysis of Variant-Rich Software Systems. FASE Matthias Kowal, Ina Schaefer, Mirco Tribastone
2014	—	`conf`	Fluid Performability Analysis of Nested Automata Models. PASM Luca Bortolussi, Jane Hillston, Mirco Tribastone
2014	J	`jnl`	Model-based Development and Performance Analysis for Evolving Manufacturing Systems. Autom. Matthias Kowal, Christian Prehofer, Ina Schaefer, Mirco Tribastone
2014	J	`jnl`	Tackling continuous state-space explosion in a Markovian process algebra. Theor. Comput. Sci. Max Tschaikowski, Mirco Tribastone
2013	J	`jnl`	A Fluid Model for Layered Queueing Networks. IEEE Trans. Software Eng. Mirco Tribastone
2013	—	`ed.`	Computer Performance Engineering - 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers EPEW/UKPEW Mirco Tribastone, Stephen Gilmore
2013	—	`conf`	Differential analysis of interacting automata with immediate actions. VALUETOOLS Luca Bortolussi, Mirco Tribastone
2013	—	`conf`	Insensitivity to service-time distributions for fluid queueing models. VALUETOOLS Max Tschaikowski, Mirco Tribastone
2013	A	`conf`	Lumpability of fluid models with heterogeneous agent types. DSN Giulio Iacobelli, Mirco Tribastone
2013	J	`jnl`	Modelling exogenous variability in cloud deployments. SIGMETRICS Perform. Evaluation Rev. Giuliano Casale, Mirco Tribastone
2013	J	`jnl`	Spatial Fluid Limits for Stochastic Mobile Networks. CoRR Max Tschaikowski, Mirco Tribastone
2012	B	`conf`	Exact Fluid Lumpability for Markovian Process Algebra. CONCUR Max Tschaikowski, Mirco Tribastone
2012	J	`jnl`	Fluid Rewards for a Stochastic Process Algebra. IEEE Trans. Software Eng. Mirco Tribastone, Jie Ding, Stephen Gilmore, Jane Hillston
2012	B	`conf`	Fluid limits of queueing networks with batches. ICPE Luca Bortolussi, Mirco Tribastone
2012	—	`conf`	Generalised Communication for Interacting Agents. QEST Max Tschaikowski, Mirco Tribastone
2012	B	`conf`	Performance Modeling of Design Patterns for Distributed Computation. MASCOTS Ronald Strebelow, Mirco Tribastone, Christian Prehofer
2012	J	`jnl`	Scalable Differential Analysis of Process Algebra Models. IEEE Trans. Software Eng. Mirco Tribastone, Stephen Gilmore, Jane Hillston
2012	J	`jnl`	Stochastic Process Algebras: From Individuals to Populations. Comput. J. Jane Hillston, Mirco Tribastone, Stephen Gilmore
2011	—	`conf`	ASCENS: Engineering Autonomic Service-Component Ensembles. FMCO Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli
2011	B	`conf`	Approximate Mean Value Analysis of Process Algebra Models. MASCOTS Mirco Tribastone
2011	—	`conf`	Fluid Analysis of Queueing in Two-Stage Random Environments. QEST Giuliano Casale, Mirco Tribastone
2011	J	`jnl`	Modular performance modelling for mobile applications (abstracts only). SIGMETRICS Perform. Evaluation Rev. Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore
2011	B	`conf`	Modular performance modelling for mobile applications. ICPE Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore
2011	J	`jnl`	Non-functional properties in the model-driven development of service-oriented systems. Softw. Syst. Model. Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró
2011	J	`jnl`	Scalable Performance Evaluation of Computer Systems. Softwaretechnik-Trends Mirco Tribastone
2011	—	`ch.`	Scaling Performance Analysis Using Fluid-Flow Approximation. Results of the SENSORIA Project Mirco Tribastone, Stephen Gilmore
2010	—	`conf`	Hybrid Semantics for PEPA. QEST Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone
2010	—	`conf`	Large-Scale Modelling with the PEPA Eclipse Plug-In. OR Mirco Tribastone, Stephen Gilmore
2010	—	`conf`	Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. ISoLA (2) Mirco Tribastone, Philip Mayer, Martin Wirsing
2010	—	`conf`	Relating layered queueing networks and process algebra models. WOSP/SIPEW Mirco Tribastone
2010	—	`conf`	Scalable Differential Analysis of Large Process Algebra Models. QEST Mirco Tribastone
2009	—	`conf`	Quantitative Analysis of Web Services Using SRMC. SFM Allan Clark, Stephen Gilmore, Mirco Tribastone
2009	B	`conf`	Scalable Analysis of Scalable Systems. FASE Allan Clark, Stephen Gilmore, Mirco Tribastone
2009	J	`jnl`	The PEPA eclipse plugin. SIGMETRICS Perform. Evaluation Rev. Mirco Tribastone, Adam Duguid, Stephen Gilmore
2008	—	`conf`	Automatic Translation of UML Sequence Diagrams into PEPA Models. QEST Mirco Tribastone, Stephen Gilmore
2008	—	`conf`	Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. WOSP Mirco Tribastone, Stephen Gilmore
2008	—	`conf`	Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone
2008	C	`conf`	Safety and Response-Time Analysis of an Automotive Accident Assistance Service. ISoLA Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone
2008	C	`conf`	SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró
2008	—	`conf`	Service-Level Agreements for Service-Oriented Computing. WADT Allan Clark, Stephen Gilmore, Mirco Tribastone
2007	C	`conf`	An Analytical Model of a BitTorrent Peer. PDP Mario Barbera, Alfio Lombardo, Giovanni Schembra, Mirco Tribastone
2007	—	`conf`	Replicating Web Services for Scalability. TGC Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone
2007	—	`conf`	Stochastic Process Algebras. SFM Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone
2007	—	`conf`	The PEPA Plug-in Project. QEST Mirco Tribastone
2006	—	`conf`	Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. WS-FM Stephen T. Gilmore, Mirco Tribastone
2006	—	`conf`	SensoriaProcess Calculi for Service-Oriented Computing. TGC Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
2005	B	`conf`	A Markov model of a freerider in a BitTorrent P2P network. GLOBECOM Mario Barbera, Alfio Lombardo, Giovanni Schembra, Mirco Tribastone