Travelled to:1 × Canada
1 × Denmark
Collaborated with:R.F.Paige M.Rossi A.Motta L.Baresi D.S.Kolovos L.M.Rose J.Woodcock S.King N.D.Matragkas G.Blohm N.D.Matragkas
Talks about:uml (3) approach (2) system (2) verif (2) model (2) embed (2) made (2) base (2) architectur (1) consist (1)
Person: Alek Radjenovic
DBLP: Radjenovic:Alek
Contributed to:
20122015
2008Wrote 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-2012-RadjenovicPRWK #approach #plugin #simulation #uml
- A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.
- 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.
- WICSA-2008-RadjenovicP #architecture #consistency #dependence
- The Role of Dependency Links in Ensuring Architectural View Consistency (AR, RFP), pp. 199–208.