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 × 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 DBLP: Radjenovic:Alek

Contributed to:

ECMFA 20122012
ECMFA 20122015
WICSA 20082008

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-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.

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.