Formal verification and validation of embedded systems: the UML-based MADES approach.

Alek Radjenovic

Luciano Baresi Gundula Blohm Dimitrios S. Kolovos Nicholas Drivalos Matragkas Alfredo Motta Richard F. Paige Alek Radjenovic Matteo Rossi 0001 Formal verification and validation of embedded systems: the UML-based MADES approach. 343-363 2015 14 Softw. Syst. Model. 1 https://doi.org/10.1007/s10270-013-0330-z db/journals/sosym/sosym14.html#BaresiBKMMPRR15

Alek Radjenovic Richard F. Paige Louis M. Rose Jim Woodcock 0001 Steve King 0001 A Plug-in Based Approach for UML Model Simulation. 328-339 2012 ECMFA https://doi.org/10.1007/978-3-642-31491-9_25 conf/ecmdafa/2012 db/conf/ecmdafa/ecmfa2012.html#RadjenovicPRWK12 Alek Radjenovic Nikolas Drivalos Matragkas Richard F. Paige Matteo Rossi 0001 Alfredo Motta Luciano Baresi Dimitrios S. Kolovos MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. 340-351 2012 ECMFA https://doi.org/10.1007/978-3-642-31491-9_26 conf/ecmdafa/2012 db/conf/ecmdafa/ecmfa2012.html#RadjenovicMPRMBK12

Alek Radjenovic Richard F. Paige An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models. 2011 50 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.50.796 db/journals/eceasst/eceasst50.html#RadjenovicP11

Alek Radjenovic Richard F. Paige Behavioural interoperability to support model-driven systems integration. 98-107 2010 MDI@MoDELS https://doi.org/10.1145/1866272.1866285 conf/models/2010mdi db/conf/models/mdi2010.html#RadjenovicP10 Alek Radjenovic Richard F. Paige The Role of Dependency Links in Ensuring Architectural View Consistency. 199-208 2008 WICSA https://doi.org/10.1109/WICSA.2008.30 https://doi.ieeecomputersociety.org/10.1109/WICSA.2008.30 conf/wicsa/2008 db/conf/wicsa/wicsa2008.html#RadjenovicP08

Alek Radjenovic Richard F. Paige Architecture Description Languages for High-Integrity Real-Time Systems. 71-79 2006 23 IEEE Softw. 2 https://doi.org/10.1109/MS.2006.36 http://doi.ieeecomputersociety.org/10.1109/MS.2006.36 db/journals/software/software23.html#RadjenovicP06

Alek Radjenovic Richard F. Paige The View Glue. 66-88 2006 conf/icse/2006wads WADS https://doi.org/10.1007/978-3-540-74035-3_4 db/conf/icse/wads2006.html#RadjenovicP06 Alek Radjenovic Modelling to Safety. 162-167 2005 conf/ewsa/2005 EWSA https://doi.org/10.1007/11494713_11 db/conf/ewsa/ewsa2005.html#Radjenovic05 Luciano Baresi Gundula Blohm Steve King 0001 Dimitrios S. Kolovos Nicholas Drivalos MatragkasNikolas Drivalos Matragkas Alfredo Motta Richard F. Paige Louis M. Rose Matteo G. RossiMatteo Rossi 0001 Jim Woodcock 0001