EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: CR-D.2.2
Home Policy Brochure Browse Search User Area Contact Help

2015

Bosems, S. and van Sinderen, M.J. (2015) Model-driven Development for User-centric Well-being Support: From Dynamic Well-being Domain Models to Context-aware Applications. In: 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), 9-11 Feb 2015, Angers, France. pp. 425-432. SCITEPRESS. ISBN 978-989-758-083-3

2014

te Brinke, S. (2014) Interpreting energy profiles with CEGAR. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014, 24-28 Mar 2014, Gyeongju, Korea. pp. 1221-1222. ACM. ISBN 978-1-4503-2469-4
te Brinke, S. and Malakuti Khah Olun Abadi, S. and Bockisch, C.M. and Bergmans, L.M.J. and Akşit, M. and Katz, S. (2014) A tool-supported approach for modular design of energy-aware software. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing, 24-28 Mar 2014, Gyeongju, Korea. pp. 1206-1212. SAC. ACM. ISBN 978-1-4503-2469-4

2013

te Brinke, S. and Bockisch, C.M. and Bergmans, L.M.J. and Malakuti Khah Olun Abadi, S. and Akşit, M. and Katz, S. (2013) Deriving minimal models for resource utilization. In: Proceedings of the 1st International Workshop Green In Software Engineering, Green By Software Engineering (GIBSE 2013), 26 Mar 2013, Fukuoka, Japan. pp. 15-18. ACM. ISBN 978-1-4503-1866-2
te Brinke, S. and Malakuti Khah Olun Abadi, S. and Bockisch, C.M. and Bergmans, L.M.J. and Akşit, M. (2013) A Design Method For Modular Energy-Aware Software. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC 2013), 18-22 Mar 2013, Coimbra, Portugal. pp. 1180-1182. ACM. ISBN 978-1-4503-1656-9

2012

te Brinke, S. and Malakuti Khah Olun Abadi, S. and Bockisch, C.M. and Bergmans, L.M.J. and Akşit, M. (2012) A design method for modular energy-aware software. Technical Report TR-CTIT-12-28, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2009

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

2008

Güleşir, G. (2008) Evolvable Behavior Specifications Using Context-Sensitive Wildcards. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-114 ISBN 978-90-365-2633-3