EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Research Project: MOCA: Modeling Control Aspects of Embedded Systems

Home Policy Brochure Browse Search User Area Contact Help

2011

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2011) Validation of Embedded System Verification Models. In: Proceedings of Model-Driven Requirements Engineering Workshop (MoDRE), 29 Aug 2011, Trento, Italy. pp. 48-54. IEEE Computer Society. ISBN 978-1-4577-0957-9

2010

Marincic, J. and Mader, A.H. and Wieringa, R.J. and Lucas, Y. (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. International Academy, Research and Industry Association. ISBN not assigned

2009

Kuijper, W. and van de Pol, J.C. (2009) Compositional Control Synthesis for Partially Observable Systems. In: CONCUR 2009 - Concurrency Theory, 1-4 Sep 2009, Bologna, Italy. pp. 431-447. Lecture Notes in Computer Science 5710. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04080-1

Kuijper, W. and van de Pol, J.C. (2009) Computing Weakest Strategies for Safety Games of Imperfect Information. In: Tools and Algorithms for the Construction and Analysis of Systems, 22-29 Mar 2009, York, UK. pp. 92-106. Lecture Notes in Computer Science 5505. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00767-5

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2009) A Handbook Supporting Model-Driven Software Development - a Case Study. Technical Report TR-CTIT-09-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2008

Mader, A.H. and Marincic, J. and Wupper, H. (2008) Modelling Embedded Systems by Non-Monotonic Refinement. Technical Report TR-CTIT-08-38, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Mader, A.H. and Wupper, H. and Boon, M. and Marincic, J. (2008) A Taxonomy of Modelling Decisions for Embedded Systems Veri?cation. Technical Report TR-CTIT-08-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2008) Classifying Assumptions Made During Requirements Verification of Embedded Systems. In: Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008, 16-17 Jun 2008, Montpellier, France. pp. 141-146. Springer Verlag. ISBN 978-3-540-69060-3

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: IWAAPF '08: Proceedings of the 3rd international workshop on Applications and advances of problem frames, 10 May 2008, Leipzig, Germany. pp. 67-73. ACM. ISBN 978-1-60558-020-3

2007

Fehnker, A. and van Hoesel, L.F.W. and Mader, A.H. (2007) Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. Technical Report TR-CTIT-07-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Fehnker, A. and van Hoesel, L.F.W. and Mader, A.H. (2007) Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. In: Proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, 2-5 Jul 2007, Oxford, Britain. pp. 253-272. Lecture Notes in Computer Science 4591. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-73209-9

Mader, A.H. and Wupper, H. and Boon, M. (2007) The Construction of Verification Models for Embedded Systems. Technical Report TR-CTIT-07-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2007) Capturing Assumptions while Designing a Verification Model for Embedded Systems. Technical Report TR-CTIT-07-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marincic, J. and Wupper, H. and Mader, A.H. and Wieringa, R.J. (2007) Obtaining Formal Models through Non-Monotonic Refinement. Technical Report TR-CTIT-07-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2005

Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (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. IEEE Computer Society. ISBN not assigned

Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. Technical Report TR-CTIT-05-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625