Browse by Author ID

Article

Tschaikowski, Max and Tribastone, Mirco A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. Annals of Operations Research, 252 (1). pp. 102-120. ISSN 0254-5330 (2017)

Tschaikowski, Max and Tribastone, Mirco Approximate reduction of heterogenous nonlinear models with differential hulls. IEEE Transactions on Automatic Control, 61 (4). pp. 1099-1104. ISSN 0018-9286 (2016)

Cardelli, Luca and Csikász-Nagy, Attila and Dalchau, Neil and Tribastone, Mirco and Tschaikowski, Max Noise Reduction in Complex Biological Switches. Scientific Reports (20214). pp. 1-12. ISSN 2045-2322 (2016)

Das, Anup and Merrett, Geoff V. and Tribastone, Mirco and Al-Hashimi, Bashir M. Workload Change Point Detection for Runtime Thermal Management of Embedded Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 35 (8). pp. 1358-1371. ISSN 0278-0070 (2016)

Tschaikowski, Max and Tribastone, Mirco A unified framework for differential aggregations in Markovian process algebra. Journal of Logical and Algebraic Methods in Programming, 84 (2). pp. 238-258. ISSN 2352-2216 (2015)

Bortolussi, Luca and Hillston, Jane and Tribastone, Mirco Fluid performability analysis of nested automata models. Electronic Notes in Theoretical Computer Science, 310. pp. 27-47. ISSN 1571-0661 (2015)

Tschaikowski, Max and Tribastone, Mirco A unified framework for differential aggregations in Markovian process algebra. Journal of Logical and Algebraic Methods in Programming, 84 (2). pp. 238-258. ISSN 23522208 (2015)

Casale, Giuliano and Tribastone, Mirco and Harrison, Peter G. Blending randomness in closed queueing network models. Performance Evaluation, 82. 15 - 38. ISSN 0166-5316 (2014)

Tschaikowski, Max and Tribastone, Mirco Exact fluid lumpability in Markovian process algebra. Theoretical Computer Science, 538. 140 - 166. ISSN 0304-3975 (2014)

Tschaikowski, Max and Tribastone, Mirco Tackling continuous state-space explosion in a Markovian process algebra. Theoretical Computer Science, 517. 1 - 33. ISSN 0304-3975 (2014)

Kowal, Matthias and Prehofer, Christian and Schaefer, Ina and Tribastone, Mirco Model-based Development and Performance Analysis for Evolving Manufacturing Systems. at - Automatisierungstechnik, 62 (11). pp. 794-802. ISSN 0178-2312 (2014)

Tribastone, Mirco A fluid model for layered queueing networks. IEEE Transactions on Software Engineering, 39 (6). pp. 744-756. ISSN 0098-5589 (2013)

Casale, Giuliano and Tribastone, Mirco Modelling exogenous variability in cloud deployments. Performance Evaluation Review, 40 (4). pp. 73-82. ISSN 0163-5999 (2013)

Hillston, Jane and Tribastone, Mirco and Gilmore, Stephen Stochastic process algebras: from individuals to populations. The Computer Journal, 55 (7). pp. 866-881. ISSN 0010-4620 (2012)

Tribastone, Mirco and Ding, Jie and Gilmore, Stephen and Hillston, Jane Fluid rewards for a stochastic process algebra. IEEE Transactions on Software Engineering, 38 (4). pp. 861-874. ISSN 0098-5589 (2012)

Tribastone, Mirco and Gilmore, Stephen and Hillston, Jane Scalable differential analysis of process algebra models. IEEE Transactions on Software Engineering, 38 (1). pp. 205-219. ISSN 0098-5589 (2012)

Gilmore, Stephen and Gönczy, László and Koch, Nora and Mayer, Philip and Tribastone, Mirco and Varró, Dániel Non-functional properties in the model-driven development of service-oriented systems. Software & Systems Modeling, 10 (3). pp. 287-311. ISSN 1619-1366 (2011)

Tribastone, Mirco and Duguid, Adam and Gilmore, Stephen The PEPA eclipse plugin. Performance Evaluation Review, 36 (4). pp. 28-33. ISSN 0163-5999 (2009)

Book Section

Tognazzi, Stefano and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea EGAC: a genetic algorithm to compare chemical reaction networks. In: Proceedings of the Genetic and Evolutionary Computation Conference on - GECCO '17. ACM, pp. 833-840. ISBN 978-1-4503-4920-8 (2017)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. In: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017. Lecture Notes in Computer Science (10206). Springer, Berlin, pp. 310-328. ISBN 978-3-662-54580-5 (2017)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Efficient Syntax-Driven Lumping of Differential Equations. In: Tools and Algorithms for the Construction and Analysis of Systems. 22nd International Conference, TACAS 2016. Lecture Notes in Computer Science (9636). Springer, pp. 93-111. ISBN 978-3-662-49673-2 (2016)

Vandin, Andrea and Tribastone, Mirco Quantitative Abstractions for Collective Adaptive Systems. In: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Lecture Notes in Computer Science (9700). Springer International Publishing, Cham, pp. 202-232. ISBN 978-3-319-34095-1 (2016)

Iacobelli, Giulio and Tribastone, Mirco and Vandin, Andrea Differential Bisimulation for a Markovian Process Algebra. In: Mathematical Foundations of Computer Science 2015. 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Lecture Notes in Computer Science (9234). Springer, pp. 293-306. ISBN 978-3-662-48056-4 (2015)

Shams, Farshad and Tribastone, Mirco Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory. In: Quantitative Evaluation of Systems.12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. Lecture Notes in Computer Science (9259). Springer, pp. 54-69. ISBN 978-3-319-22264-6 (2015)

Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco Service composition for collective adaptive systems. In: Software, Services, and Systems. Lecture Notes in Computer Science (8950). Springer, pp. 490-505. ISBN 978-3-319-15545-6 (2015)

Bulej, Lubomír and Bureš, Tomáš and Gerostathopoulos, Ilias and Horký, Vojtěch and Keznikl, Jaroslav and Marek, Lukáš and Tschaikowski, Max and Tribastone, Mirco and Tůma, Petr Supporting performance awareness in autonomous ensembles. In: Software Engineering for Collective Autonomic Systems : the ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 291-322. ISBN 978-3-319-16310-9 (2015)

Tschaikowski, Max and Tribastone, Mirco Extended differential aggregations in process algebra for performance and biology. In: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems. Electronic Proceedings in Theoretical Computer Science (154). Open Publishing Association, pp. 34-47. (2014)

Tribastone, Mirco Behavioral relations in a process algebra for variants. In: Proceedings of the 18th International Software Product Line Conference on - SPLC '14. ACM, pp. 82-91. ISBN 978-1-4503-2740-4 (2014)

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming relations for the efficient analysis of concurrent systems via action abstraction. In: Formal techniques for distributed objects, components, and systems. Lecture Notes in Computer Science (8461). Springer , pp. 216-231. ISBN 978-3-662-43612-7 (2014)

Tribastone, Mirco Efficient optimization of software performance models via parameter-space pruning. In: Proceedings of the 5th ACM/SPEC international conference on Performance engineering - ICPE '14. ACM, pp. 63-73. ISBN 978-1-4503-2733-6 (2014)

Kowal, Matthias and Schaefer, Ina and Tribastone, Mirco Family-based performance analysis of variant-rich software systems. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (8411). Springer, pp. 94-108. ISBN 978-3-642-54804-8 (2014)

Gilmore, Stephen and Tribastone, Mirco and Vandin, Andrea An analysis pathway for the quantitative evaluation of public transport systems. In: Integrated Formal Methods. Lecture Notes in Computer Science . Springer, pp. 71-86. ISBN 978-3-319-10181-1 (2014)

Iacobelli, Giulio and Tribastone, Mirco Lumpability of fluid models with heterogeneous agent types. In: Proceedings of the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, pp. 1-11. ISBN 978-1-4673-6471-3 (2013)

Wirsing, Martin and Hölzl, Matthias and Tribastone, Mirco and Zambonelli, Franco ASCENS: engineering autonomic service-component ensembles. In: Formal Methods for Components and Objects. Lecture notes in computer science (7542). Springer, pp. 1-24. ISBN 978-3-642-35887-6 (2013)

Tschaikowski, Max and Tribastone, Mirco Generalised communication for interacting agents. In: Proceedings of the 9th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, pp. 178-188. ISBN 978-0-7695-4781-7 (2012)

Strebelow, Ronald and Tribastone, Mirco and Prehofer, Christian Performance modeling of design patterns for distributed computation. In: Proceedings of the 20th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, pp. 251-258. ISBN 978-1-4673-2453-3 (2012)

Tschaikowski, Max and Tribastone, Mirco Exact fluid lumpability for Markovian process algebra. In: CONCUR 2012 – Concurrency Theory. Lecture Notes in Computer Science (7454). Springer, pp. 380-394. ISBN 978-3-642-32939-5 (2012)

Bortolussi, Luca and Tribastone, Mirco Fluid limits of queueing networks with batches. In: Proceedings of the third joint WOSP/SIPEW international conference on Performance Engineering - ICPE '12. ACM, pp. 45-56. ISBN 978-1-4503-1202-8 (2012)

Casale, Giuliano and Tribastone, Mirco Fluid analysis of queueing in two-stage random environments. In: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, pp. 21-30. ISBN 978-1-4577-0973-9 (2011)

Tribastone, Mirco Approximate mean value analysis of process algebra models. In: Proceedings of the 19th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, pp. 369-378. ISBN 978-1-4577-0468-0 (2011)

Tribastone, Mirco and Gilmore, Stephen Large-scale modelling with the PEPA eclipse plug-in. In: Operations Research Proceedings 2010. Operations Research Proceedings . Springer, pp. 169-174. ISBN 978-3-642-20009-0 (2011)

Arijo, Niaz and Heckel, Reiko and Tribastone, Mirco and Gilmore, Stephen Modular performance modelling for mobile applications. In: Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering - ICPE '11. ACM, pp. 329-334. ISBN 978-1-4503-0519-8 (2011)

Tribastone, Mirco and Gilmore, Stephen Scaling performance analysis using fluid-flow approximation. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 486-505. ISBN 978-3-642-20401-2 (2011)

Bortolussi, Luca and Galpin, Vashti and Hillston, Jane and Tribastone, Mirco Hybrid semantics for PEPA. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST). IEEE, pp. 181-190. ISBN 978-1-4244-8082-1 (2010)

Tribastone, Mirco Scalable differential analysis of large process algebra models. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST). IEEE, p. 307. ISBN 978-1-4244-8082-1 (2010)

Tribastone, Mirco and Mayer, Philip and Wirsing, Martin Performance prediction of service-oriented systems with layered queueing networks. In: Leveraging Applications of Formal Methods, Verification, and Validation. Lecture Notes in Computer Science (6416). Springer, pp. 51-65. ISBN 978-3-642-16561-0 (2010)

Tribastone, Mirco Relating layered queueing networks and process algebra models. In: Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering - WOSP/SIPEW '10. ACM, pp. 183-194. ISBN 978-1-60558-563-5 (2010)

Tribastone, Mirco Differential analysis of PEPA models. In: Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA). Informatics Forum - University of Edinburgh, pp. 7-12. (2009)

Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Quantitative analysis of web services using SRMC. In: Formal Methods for Web Services. Lecture Notes in Computer Science (5569). Springer, pp. 296-339. ISBN 978-3-642-01918-0 (2009)

Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Scalable analysis of scalable systems. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, 5503 (5503). Springer, pp. 1-17. ISBN 978-3-642-00593-0 (2009)

Clark, Allan and Gilmore, Stephen and Tribastone, Mirco Service-level agreements for service-oriented computing. In: Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science (5486). Springer, pp. 21-36. ISBN 978-3-642-03429-9 (2009)

Tribastone, Mirco and Gilmore, Stephen Automatic translation of UML sequence diagrams into PEPA models. In: Proceedings of the 5th International Conference on Quantitative Evaluation of Systems. QEST '08. IEEE, pp. 205-214. ISBN 978-0-7695-3360-5 (2008)

Tribastone, Mirco and Gilmore, Stephen Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. In: Proceedings of the 7th international workshop on Software and performance - WOSP '08. ACM, pp. 67-78. ISBN 978-1-59593-873-2 (2008)

Clark, Allan and Duguid, Adam and Gilmore, Stephen and Tribastone, Mirco Partial evaluation of PEPA models for fluid-flow analysis. In: Computer Performance Engineering. Lecture Notes in Computer Science (5261). Springer, pp. 2-16. ISBN 978-3-540-87412-6 (2008)

Bravetti, Mario and Gilmore, Stephen and Guidi, Claudio and Tribastone, Mirco Replicating web services for scalability. In: Trustworthy Global Computing. Lecture Notes in Computer Science (4912). Springer, pp. 204-221. ISBN 978-3-540-78663-4 (2008)

Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008)

Argent-Katwala, Ashok and Clark, Allan and Foster, Howard and Gilmore, Stephen and Mayer, Philip and Tribastone, Mirco Safety and response-time analysis of an automotive accident assistance service. In: Leveraging Applications of Formal Methods, Verification and Validation. Communications in Computer and Information Science (17). Springer, pp. 191-205. (2008)

Tribastone, Mirco The PEPA Plug-in Project. In: Proceedings of the 4th International Conference on the Quantitative Evaluation of Systems. QEST 2007. IEEE, pp. 53-54. ISBN 978-0-7695-2883-0 (2007)

Tribastone, Mirco Bottom-up beats top-down hands down. In: Proceedings of the 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA). AESOP, pp. 97-104. (Unpublished) (2007)

Barbera, Mario and Lombardo, Alfio and Schembra, Giovanni and Tribastone, Mirco An analytical model of a BitTorrent peer. In: Proceedings of the 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing, 2007. PDP '07. IEEE, pp. 482-489. ISBN 0-7695-2784-1 (2007)

Clark, Allan and Gilmore, Stephen and Hillston, Jane and Tribastone, Mirco Stochastic process algebras. In: Formal Methods for Performance Evaluation. Lecture Notes in Computer Science (4486). Springer, pp. 132-179. ISBN 78-3-540-72522-0 (2007)

Gilmore, Stephen and Tribastone, Mirco Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Web services and formal methods. Lecture Notes in Computer Science (4184). Springer, pp. 214-226. ISBN 978-3-540-38865-4 (2006)

Wirsing, Martin and De Nicola, Rocco and Gilmore, Stephen and Hölzl, Matthias and Lucchi, Roberto and Tribastone, Mirco and Zavattaro, Gianluigi SENSORIA Process Calculi for Service-Oriented Computing. In: Trustworthy Global Computing (TGC 2006). Lecture Notes in Computer Science, 4661 . Springer, pp. 30-50. ISBN 978-3-540-75333-9 (2006)

Barbera, Mario and Lombardo, Alfio and Schembra, Giovanni and Tribastone, Mirco A Markov model of a freerider in a BitTorrent P2P network. In: Global Telecommunications Conference. GLOBECOM '05. IEEE, pp. 985-989. ISBN 0-7803-9414-3 (2005)

Working Paper

De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. CSA Technical Report #9/2013 IMT Institute for Advanced Studies Lucca

Conference or Workshop Item

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective. In: Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), July 5-8, 2016, New York, USA (In Press) (2016)

Waizmann, Tabea and Tribastone, Mirco DiffLQN: Differential Equation Analysis of Layered Queuing Networks. In: Companion Publication for ACM/SPEC on International Conference on Performance Engineering, 2016, New York, USA pp. 63-68. ISBN 978-1-4503-4147-9. (2016)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Symbolic Computation of Differential Equivalences. In: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 20 - 22, 2016, St. Petersburg, FL, USA pp. 137-150. ISBN 978-1-4503-3549-2. (2016)

Incerto, Emilio and Tribastone, Mirco and Trubiani, Catia Symbolic Performance Adaptation. In: Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016, New York, USA pp. 140-150. ISBN 978-1-4503-4187-5. (2016)

Kowal, Matthias and Tschaikowski, Max and Tribastone, Mirco and Schaefer, Ina Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). In: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 9-13, 2015, Lincoln, Nebraska pp. 407-417. ISBN 978-1-5090-0024-1. (2015)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Forward and Backward Bisimulations for Chemical Reaction Networks. In: 26th International Conference on Concurrency Theory (CONCUR 2015), September 1–4, 2015, Madrid, Spain pp. 226-239. ISSN 1868-8969. ISBN 978-3-939897-91-0. (2015)

Incerto, Emilio and Tribastone, Mirco and Trubiani, Catia A Proactive Approach for Runtime Self-adaptation Based on Queueing Network Fluid Analysis. In: Proceedings of the 1st International Workshop on Quality-Aware DevOps, August 30 - September 4, 2015, Bergamo, Italy pp. 19-24. ISBN 978-1-4503-3817-2. (2015)

Gast, Nicolas and Massonnet, Guillaume and Reijsbergen, Daniel and Tribastone, Mirco Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning. In: 24th ACM International on Conference on Information and Knowledge Management, 2015, New York, USA pp. 703-712. ISBN 978-1-4503-3794-6. (2015)

Tschaikowski, Max and Tribastone, Mirco A partial-differential approximation for spatial stochastic process algebra. In: International Conference on Performance Evaluation Methodologies and Tools , December 9 - 11, 2014, Bratislava, Slovakia pp. 74-81. ISBN 978-1-63190-057-0. (2014)

Bortolussi, Luca and Tribastone, Mirco Differential Analysis of Interacting Automata with Immediate Actions. In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 10-12 Decembre, 2013, Torino pp. 49-58. ISBN 978-1-936968-48-0. (2013)

Tschaikowski, Max and Tribastone, Mirco Insensitivity to service-time distributions for fluid queueing models. In: 7th International Conference on Performance Evaluation Methodologies and Tools, December 10–12, 2013, Turin, Italy pp. 273-281. ISBN 978-1-936968-48-0. (2013)

Tschaikowski, Max and Tribastone, Mirco Refined theory of packages. In: 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), September 2011, Ragusa, Italy pp. 1-7. (Unpublished) (2011)

Tribastone, Mirco Scalable performance evaluation of computer systems. In: Software Engineering 2011, 21.–25. Februar 2011, Karlsruher (Germany) pp. 1-4. (Unpublished) (2011)

Casale, Giuliano and Tribastone, Mirco Process-algebraic modelling of priority queueing networks. In: 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), September 2010, London, UK pp. 1-6. (Unpublished) (2010)

Tribastone, Mirco The PEPA Plug-in project. In: 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), June 2010, London, UK (Unpublished) (2006)