EEMCS

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

EEMCS EPrints Service


Research Project: ESI/IDEALS: Idiom Design for Embedded Applications on Large Scale
Home Policy Brochure Browse Search User Area Contact Help

2013

Güleşir, G. and Bergmans, L.M.J. and Akşit, M. and van den Berg, K.G. (2013) Vibes: a visual language for specifying behavioral requirements of algorithms. Journal of Visual Languages & Computing, 24 (5). pp. 350-364. ISSN 1045-926X *** ISI Impact 0,634 ***

2010

Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2010) A Controlled Experiment for the Assessment of Aspects: Tracing in an Industrial Context. In: Empirical Evaluation of Software Composition Techniques (ESCOT 2010), 16 march 2010, Saint Malo, France. Aspect-Oriented Software Association. ISBN not assigned

2009

Güleşir, G. and van den Berg, K.G. and Bergmans, L.M.J. and Akşit, M. (2009) Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems. Empirical Software Engineering, 14 (6). pp. 720-777. ISSN 1382-3256 *** ISI Impact 1,393 ***
Güleşir, G. and Bergmans, L.M.J. and Akşit, M. (2009) Method for an Event-Driven System. Patent WO2009058002 (A1) (Application).

2008

Durr, P.E.A. (2008) Resource-based Verification for Robust Composition of Aspects. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-119 ISBN 978-90-365-2685-2
Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2008) A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context. Technical Report TR-CTIT-08-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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
de Roo, A.J. and Hendriks, M.F.H. and Havinga, W.K. and Durr, P.E.A. and Bergmans, L.M.J. (2008) Compose*: a Language- and Platform-Independent Aspect Compiler for Composition Filters. In: First International Workshop on Advanced Software Development Tools and Techniques, WASDeTT 2008, 8 Jul 2008, Paphos, Cyprus. No publisher. ISBN not assigned
Sanen, F. and Chitchyan, R. and Bergmans, L.M.J. and Fabry, J. and Sudholt, M. and Mehner, K. (2008) Aspects, Dependencies and Interactions. In: Object-Oriented Technology. ECOOP 2007 Workshop Reader. Lecture Notes in Computer Science 4906. Springer Verlag, London, pp. 75-90. ISBN 978-3-540-78194-3

2007

Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2007) Initial Results for Quantifying AOP. Technical Report TR-CTIT-07-71, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2007) Reasoning about Behavioral Conflicts between Aspects. Technical Report TR-CTIT-07-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2007) Static and Dynamic Detection of Behavioral Conflicts between Aspects. Technical Report TR-CTIT-07-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2007) Detecting behavioral conflicts among crosscutting concerns. In: Ideals: evolvability of software-intensive high-tech systems. Embedded Systems Institute ESI, Eindhoven, pp. 55-67. ISBN 978-90-78679-03-5
Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2007) Static and Dynamic Detection of Behavioral Conflicts Between Aspects. In: Proceedings of the Seventh International Workshop on Runtime Verification, Vancouver, Canada. pp. 38-50. Lecture Notes in Computer Science 4839. Springer Verlag. ISBN 978-3-540-77394-8
Güleşir, G. and Bergmans, L.M.J. and Akşit, M. (2007) Designing and Documenting the Behavior of Software. In: Ideals: evolvability of software-intensive high-tech systems. Embedded Systems Institute ESI, Eindhoven, pp. 113-126. ISBN 978-90-78679-03-5
Nagy, I. and van Engelen, R. and van der Ploeg, D. (2007) An overview of Mirjam and WeaveC. In: Ideals: evolvability of software-intensive high-tech systems. Embedded Systems Institute ESI, Eindhoven, pp. 69-86. ISBN 978-90-78679-03-5

2006

Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2006) Reasoning about Semantic Conflicts between Aspects. In: Proceedings of the First Aspect, Dependencies, and Interactions Workshop, 3 Jul 2006. pp. 10-18. Lancaster University. ISBN not assigned
Durr, P.E.A. and Bergmans, L.M.J. and Gulesir, G. and Akşit, M. and Engelen, R. (2006) Applying AOP in an Industrial Context: An Experience Paper. In: Proceedings of the First International Workshop on Best Practices in Applying Aspect-oriented Software Development, 21 March 2006, Bonn, Germany. Aspect-Oriented Software Association. ISBN not assigned
Güleşir, G. and Bergmans, L.M.J. and Akşit, M. (2006) Evolvable Integration of Activities with Statecharts. In: 3rd European Workshop on Aspects in Software, 31 Aug 2006, Enschede, the Netherlands. University of Bonn. ISBN not assigned

2005

Durr, P.E.A. and Bergmans, L.M.J. and Akşit, M. (2005) Formal model for SECRET. Technical Report TR-CTIT-05-74, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durr, P.E.A. and Bergmans, L.M.J. and Güleşir, G. and Nagy, I. (2005) Towards an Expressive and Scalable Framework for expressing Join Point Models. Technical Report TR-CTIT-05-75, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Durr, P.E.A. and Staijen, T. and Bergmans, L.M.J. and Akşit, M. (2005) Reasoning About Semantic Conflicts Between Aspects. Technical Report TR-CTIT-05-73, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625