Alek Radjenovic

According to our database1, Alek Radjenovic authored at least 9 papers between 2005 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Formal verification and validation of embedded systems: the UML-based MADES approach.
Softw. Syst. Model., 2015

2012
A Plug-in Based Approach for UML Model Simulation.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011
An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010
Behavioural interoperability to support model-driven systems integration.
Proceedings of the First International Workshop on Model-Driven Interoperability, 2010

2008
The Role of Dependency Links in Ensuring Architectural View Consistency.
Proceedings of the Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 2008

2006
Architecture Description Languages for High-Integrity Real-Time Systems.
IEEE Softw., 2006

The View Glue.
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005
Modelling to Safety.
Proceedings of the Software Architecture, 2nd European Workshop, 2005


  Loading...