Luciano Baresi

From MaRDI portal
Person:2637307

Available identifiers

zbMath Open baresi.lucianoMaRDI QIDQ2637307

List of research outcomes





PublicationDate of PublicationType
Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration2024-04-30Paper
Using formal verification to evaluate the execution time of Spark applications2020-07-27Paper
Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata2014-02-11Paper
Petri nets as semantic domain for diagram notations2013-09-25Paper
Improving UML with Petri nets2013-05-24Paper
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata2009-03-10Paper
On the Use of Alloy to Analyze Graph Transformation Systems2008-11-27Paper
Formal Methods in Software and Systems Modeling2005-12-02Paper
https://portal.mardi4nfdi.de/entity/Q47383252004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47383342004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44387992003-12-10Paper
https://portal.mardi4nfdi.de/entity/Q27617182002-01-07Paper

Research outcomes over time

This page was built for person: Luciano Baresi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2637307&oldid=10982124"
Powered by MediaWiki