Luciano Baresi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration Computing	2024-04-30	Paper
Using formal verification to evaluate the execution time of Spark applications Formal Aspects of Computing	2020-07-27	Paper
Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata Journal of Computer Science and Technology	2014-02-11	Paper
Petri nets as semantic domain for diagram notations	2013-09-25	Paper
Improving UML with Petri nets Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata Lecture Notes in Computer Science	2009-03-10	Paper
On the Use of Alloy to Analyze Graph Transformation Systems Lecture Notes in Computer Science	2008-11-27	Paper
Formal Methods in Software and Systems Modeling Lecture Notes in Computer Science	2005-12-02	Paper
scientific article; zbMATH DE number 2087520 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2087527 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2016090 (Why is no real title available?)	2003-12-10	Paper
scientific article; zbMATH DE number 1686276 (Why is no real title available?)	2002-01-07	Paper

Research outcomes over time

This page was built for person: Luciano Baresi