Alfredo Motta

Alfredo Motta

Politecnico di Milano - Milano / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 5368434
Polytechnic University of Milan
person_outline Alfredo Motta's MOST POPULAR ARTICLES
1-) Formal verification and validation of embedded systems: the UML-based MADES approachL Baresi, G Blohm, DS Kolovos, N Matragkas, A Motta, RF Paige, ...Software & Systems Modeling 14 (1), 343-363, 2015432015
2-) A logic-based semantics for the verification of multi-diagram UML modelsL Baresi, A Morzenti, A Motta, M RossiACM SIGSOFT Software Engineering Notes 37 (4), 1-8, 2012242012
3-) From interaction overview diagrams to temporal logicL Baresi, A Morzenti, A Motta, M RossiModels in Software Engineering, 90-104, 2010242010
4-) Qos driven dynamic binding in-the-manyC Ghezzi, A Motta, VP La Manna, G TamburrelliResearch into Practice–Reality and Gaps, 68-83, 2010222010
5-) Performance‐driven dynamic service selectionC Ghezzi, V Panzica La Manna, A Motta, G TamburrelliConcurrency and Computation: Practice and Experience 27 (3), 633-650, 2015212015