BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Motta:Alfredo

Contributed to:

ECMFA 20122012
ECMFA 20122015
ICSE 20122012
QoSA 20102010

Wrote 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.
QoS Driven Dynamic Binding in-the-many (CG, AM, VPLM, GT), pp. 68–83.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.