Travelled to:1 × Czech Republic
1 × Denmark
1 × Switzerland
Collaborated with:∅ A.Radjenovic R.F.Paige M.Rossi L.Baresi D.S.Kolovos C.Ghezzi V.P.L.Manna G.Tamburrelli N.D.Matragkas G.Blohm N.D.Matragkas
Talks about:verif (3) uml (3) system (2) model (2) embed (2) made (2) approach (1) diagram (1) toward (1) formal (1)
Person: Alfredo Motta
DBLP: Motta:Alfredo
Contributed to:
20122015
2012
2010Wrote 4 papers:
- ECMFA-2012-RadjenovicMPRMBK #automation #embedded #modelling #named #uml #verification
- MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.
- ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification
- Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
- ICSE-2012-Motta #modelling #multi #towards #uml #verification
- Towards the verification of multi-diagram UML models (AM), pp. 1531–1534.
- QoSA-2010-GhezziMMT
- QoS Driven Dynamic Binding in-the-many (CG, AM, VPLM, GT), pp. 68–83.