Mirco Tribastone
Orcid: 0000-0002-6018-5989
According to our database1,
Mirco Tribastone
authored at least 131 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
On csauthors.net:
Bibliography
2024
IEEE Trans. Autom. Control., November, 2024
Proc. ACM Program. Lang., January, 2024
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems.
Autom., January, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5<sup>rmth</sup> Track Edition.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70<sup>th</sup> Birthday.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
2023
IEEE Trans. Autom. Control., November, 2023
Formal lumping of polynomial differential equations through approximate equivalences.
J. Log. Algebraic Methods Program., August, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the Computational Methods in Systems Biology, 2023
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023
Proceedings of the 16th IEEE International Conference on Cloud Computing, 2023
2022
IEEE Trans. Autom. Control., 2022
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022
Proceedings of the Computational Methods in Systems Biology, 2022
2021
A large-scale assessment of exact lumping of quantitative models in the BioModels repository.
Theor. Comput. Sci., 2021
Proc. ACM Meas. Anal. Comput. Syst., 2021
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations.
Bioinform., 2021
Bioinform., 2021
Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the Computational Methods in Systems Biology, 2021
2020
CoRR, 2020
Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020
Proceedings of the 28th International Symposium on Modeling, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
2019
Theor. Comput. Sci., 2019
Perform. Evaluation, 2019
Proceedings of the Companion of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019
Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
2018
Speeding up stochastic and Deterministic simulation by Aggregation: an Advanced Tutorial.
Proceedings of the 2018 Winter Simulation Conference, 2018
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018
Proceedings of the 26th IEEE International Symposium on Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Proceedings of the Euro-Par 2018: Parallel Processing, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
2017
Proc. Natl. Acad. Sci. USA, 2017
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment.
Ann. Oper. Res., 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the Genetic and Evolutionary Computation Conference, 2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2016
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
IEEE Trans. Autom. Control., 2016
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016
Proceedings of the Companion Publication for ACM/SPEC on International Conference on Performance Engineering, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016
Proceedings of the Software Engineering 2016, 2016
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016
2015
Proceedings of the Software Engineering for Collective Autonomic Systems, 2015
J. Log. Algebraic Methods Program., 2015
A proactive approach for runtime self-adaptation based on queueing network fluid analysis.
Proceedings of the 1st International Workshop on Quality-Aware DevOps, 2015
Family-Based Performance Analysis of Variant-Rich Software Systems.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015
Proceedings of the Software, 2015
2014
Theor. Comput. Sci., 2014
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014
Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014
Autom., 2014
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014
Proceedings of the 18th International Software Product Line Conference, 2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014
2013
SIGMETRICS Perform. Evaluation Rev., 2013
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
2012
IEEE Trans. Software Eng., 2012
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012
Proceedings of the 20th IEEE International Symposium on Modeling, 2012
2011
Non-functional properties in the model-driven development of service-oriented systems.
Softw. Syst. Model., 2011
SIGMETRICS Perform. Evaluation Rev., 2011
Proceedings of the ICPE'11, 2011
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
Proceedings of the MASCOTS 2011, 2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010
Proceedings of the QEST 2010, 2010
Proceedings of the Operations Research Proceedings 2010, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
Proceedings of the Formal Methods for Web Services, 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
2008
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile.
Proceedings of the 7th International Workshop on Software and Performance, 2008
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the Computer Performance Engineering, 2008
2007
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
Proceedings of the Formal Methods for Performance Evaluation, 2007
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007
Proceedings of the 15th Euromicro International Conference on Parallel, 2007
2006
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
2005
Proceedings of the Global Telecommunications Conference, 2005. GLOBECOM '05, St. Louis, Missouri, USA, 28 November, 2005