Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Number of items: 13.

Article

Marincic, Jelena and Mader, Angelika and Wieringa, Roel and Lucas, Yan (2013) Reusing knowledge in embedded system modelling. Expert Systems, 30 (3). pp. 185-199. ISSN 1468-0394

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 (pp. pp. 67-73).

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 (pp. pp. 141-146).

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 (pp. pp. 48-54).

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]

This list was generated on Fri Aug 22 05:38:01 2014 CEST.