Luciano Baresi

Available identifiers

zbMath Open baresi.lucianoMaRDI QIDQ2637307

List of research outcomes

Publication	Date of Publication	Type
Using formal verification to evaluate the execution time of Spark applications	2020-07-27	Paper
Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata	2014-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q2848073	2013-09-25	Paper
Improving UML with Petri nets1 1This work has been partially supported by Ministero della Ricerca Scientifica e Technologica under the SALADIM Project and by Polipecnico di Milano under the TATOOS Project.	2013-05-24	Paper
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata	2009-03-10	Paper
On the Use of Alloy to Analyze Graph Transformation Systems	2008-11-27	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4738325	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738334	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4438799	2003-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q2761718	2002-01-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luciano Baresi