Author Publications

Conference or Workshop Item

Brinksma, Ed and Mader, Angelika and Marincic, Jelena and Wieringa, Roel (2005) A Modelling Method for Embedded Systems. In: 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Oct 2005, Montego Bay, Jamaica.

Marincic, J. and Mader, A.H. and Wupper, H. and Wieringa, R.J. (2008) Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods. In: 3rd International Workshop on Applications and Advances of Problem Frames, IWAAP 2008, 10 May 2008, Leipzig, Germany.

Marincic, Jelena and Mader, Angelika and Wieringa, Roel (2008) Classifying Assumptions Made During Requirements Verification of Embedded Systems. In: 14th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2008, 16-17 June 2008, Montpellier, France.

Marincic, Jelena and Mader, Angelika and Wieringa, Roel (2011) Validation of Embedded System Verification Models. In: Model-Driven Requirements Engineering Workshop, MoDRE 2011, 29 August 2011, Trento, Italy.

Marincic, Jelena and Mader, Angelika and Wieringa, Roel (2012) Explaining Embedded Software Modelling Decisions. In: IEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012, 12-13 June 2012, Herzlia, Israel.

Marincic, Jelena and Mader, Angelika and Wieringa, Roel and Lucas, Yan (2010) Structuring Problem Analysis for Embedded Systems Modelling. In: International Workshop on Applications and Advances of Problem-Orientation, IWAAPO, 8 May 2010, Cape Town, South Africa. (In Press)

Report

Brinksma, Ed and Mader, Angelika and Marincic, Jelena and Wieringa, Roel (2005) A Modelling Method for Embedded Systems. [Report]

Mader, A. and Marincic, J. and Wupper, H. (2008) Modelling Embedded Systems by Non-Monotonic Refinement. [Report]

Mader, Angelika and Wupper, Hanno and Boon, Mieke and Marincic, Jelena (2008) A Taxonomy of Modelling Decisions for Embedded Systems Verification. [Report]

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2007) Capturing Assumptions while Designing a Verification Model for Embedded Systems. [Report]

Marincic, J. and Wupper, H. and Mader, A.H. and Wieringa, R.J. (2007) Obtaining Formal Models through Non-Monotonic Refinement. [Report]

Marincic, Jelena and Mader, Angelika and Wieringa, Roel (2009) A Handbook Supporting Model-Driven Software Development - a Case Study. [Report]