The following pages link to Luciano Baresi (Q2637307):
Displayed 12 items.
- (Q782495) (redirect page) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata (Q2637308) (← links)
- (Q2761718) (← links)
- (Q2848073) (← links)
- On the Use of Alloy to Analyze Graph Transformation Systems (Q3541969) (← links)
- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata (Q3614855) (← links)
- (Q4438799) (← links)
- (Q4738325) (← links)
- (Q4738334) (← links)
- 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. (Q4923512) (← links)
- Formal Methods in Software and Systems Modeling (Q5710417) (← links)