|
|
| | |
|
Journals
|
| | A Methodology for Formal Analysis and Verification of EAST-ADL Models, Eun-Young Kang (former), Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens (external), Paul Pettersson, International Journal of Reliability Engineering and System Safety, Elsevier, January, 2013 |
|
| | |
|
Theses
|
| | A Design Framework for Service-oriented Systems, Eduard Paul Enoiu, Raluca Marinescu, Master Thesis, DiVA, June, 2011 |
|
| | |
|
Conferences and workshops
|
| | A Design Tool for Service-oriented Systems, Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu, Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), p Volume 295, Pages 95, Elsevier, Electronic Notes in Theoretical Computer Science (ENCTS), Estonia, Editor(s):Barbora Buhnova, Lucia Happe and Jan Kofron, May, 2013 |
| | MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams, Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson, 35th International Conference on Software Engineering (ICSE) - First International Workshop on Combining Modelling and Search-Based Software Engineering, IEEE , San Francisco, May, 2013 |
| | Model-based Test Suite Generation for Function Block Diagrams using the UPPAAL Model Checker, Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson, International Conference on Software Testing, Verification and Validation (ICST) - Advances in Model Based Testing (A-MOST 2012), IEEE , Luxembourg, April, 2013 |
| | ViTAL : A Verification Tool for EAST-ADL Models using UPPAAL PORT, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson, Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Paris, France, July, 2012 |
| | Extending EAST-ADL for Modeling and Analysis of System’s Resource-Usage, Raluca Marinescu, Eduard Paul Enoiu, IEEE 36th Annual Computer Software and Applications Conference Workshops (COMPSACW), IEEE Computer Society Press, July, 2012 |
| | A SysML Model for Code Correction and Detection Systems, Stefan Stancescu (external), Lavinia Neagoe (external), Raluca Marinescu, Eduard Paul Enoiu, In Proceedings of the 33rd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO'10) IEEE Croatia Section,, p 3, Opatija, Croatia, May, 2010 |
| | UML Modeling in Design of Error Detection and Correction Circuits, Stefan Stancescu (external), Lavinia Neagoe (external), Raluca Marinescu, Eduard Paul Enoiu, In Proceedings of the 32rd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO'09) IEEE Croatia, Opatija, Croatia, May, 2009 |
|
| | |
|
MRTC reports
|
| | Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-262/2012-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2012 |
|
