Trese

ISSE Seminars

ISSE Seminars, formerly known as TRESE Tech Talks (TTTs), are weekly talks—including discussion—about ongoing research and related topics of interest to our group, held on Tuesdays between 12:30 and 13:30. Staff members and master students of TRESE and IS give these talks and are encouraged to attend to all of them. A schedule can be found at: http://www.utwente.nl/ewi/is/seminar/.

Former talks

2012

Date

Speaker

Title

05-06-2012

Christoph Bockisch

Interactive introduction to EMFText, including comparison with Xtext

07-06-2012

Steven te Brinke

An Implementation Mechanism for Tailorable Exceptional Flow [PDF]

24-05-2012

Christian Terwellen

(Master student)

Testing Embedded Control Software of Mechatronic Systems with Software-In-The-Loop Simulation [PDF]

24-05-2012

Teun van Hemert 

(Master student)


An overview of high-level intermediate representations [PDF]  

10-05-2012

Lodewijk Bergmans

The Art of Programming: is there a relationship between the aesthetic impression of a program and its quality? [PDF]

26-04-2012


Mark Laarakkers (Master student)

Requirements for tailorable and composable control flow [PDF]

26-04-2012  

Arnout Roemers (Master student)  

Partial Declarations for Aspectual Adapters [PDF]  

22-03-2012

Haihan Yin

A Fine-Grained Debugger for Aspect-Oriented Programming [PDF]

15-03-2012

Steven te Brinke

Towards Modular Resource-Aware Applications [PDF]

2011

Date

Speaker

14-07-2011

Lodewijk Bergmans

30-06-2011

Luís Ferreira Pires

16-06-2011

Arjan de Roo

02-06-2011

Pim van den Broek

26-05-2011

Ivan Kurtev

12-05-2011

Mehmet Aksit

12-05-2011

Ismênia Galvão

28-04-2011

Kardelen Hatun

14-04-2011

Christoph Bockisch

31-03-2011

Somayeh Malakuti

17-03-2011

Arda Göknil

2010

Date

Speaker

Title

10-02-2011

Lodewijk Bergmans

The Road towards Co-op Valorisation: Technical Debt, GE

13-01-2011

Laura Daniele

Behavior Generation using Interaction Patterns

25-11-2010

Pim van den Broek

Configuration of Optimal Products in SPLE

18-11-2010

Ivan Kurtev

Application of Ontology in Solving Common (Meta)modelling Problems

11-11-2010

Eduardo Goncalves da Silva

An Adaptable Support for User-centric Service Composition

14-10-2010

Ismênia Galvão

Critical Thinking in Design Rationale

07-10-2010

Selim Ciraci

Checking the Correspondence Between UML models and Implementation [PDF]

23-09-2010

Gijs Stuurman (Master student)

Action Semantics for Modelling Languages

16-09-2010

Shmuel Katz

Making Aspects Natural: Events and Composition [PDF]

09-09-2010

Selim Ciraci

CompoGrammar: a Framework for Grammar Composition [PDF]

01-07-2010

Klaas van den Berg

Metaphors in Computer Science [PDF]

24-06-2010

Kardelen Hatun

Scheduling and System Adaptability

10-06-2010

Chistoph Bockisch

Efficiently Implementing Efficient (Domain-Specific) Programming

Languages [PDF]

03-06-2010

Shmuel Katz (guest)

Modular Verification for Libraries of Reusable Aspects

20-05-2010

Wietze Spijkerman

(Master student)

Change Impact Analysis in Requirements Models based on Formal Trace Semantics[PDF]

29-04-2010

Somayeh Malakuti

E-Chaser: a Runtime Verification System for Distributed Software

22-04-2010

Vikram Sorathia

Service Ontologies: the State-of-the-Art and Challenges [PDF]

15-04-2010

Gürcan Gülesir

High-Quality Behavioral Requirements and Designs for Embedded Software

01-04-2010

Haihan Yin

A Generic Debugger for Advanced-Dispatching Languages

25-03-2010

Luís Ferreira Pires

Cloud Computing: Should we care? [PDF]

11-03-2010

Lodewijk Bergmans


04-03-2010

Wilke Havinga


18-02-2010

Hasan Sözer

Increasing System Availability with Local Recovery based on Fault Localization [PDF]

28-01-2010


Selim Ciraci

Execution Constraint Verification of Exception Handling Mechanisms on the UML Models of Object-Oriented Software Systems

14-01-2010

Laura M. Daniele

Towards Automatic Behaviour Synthesis of a Coordinator Component for Context-Aware Mobile Applications [PDF]

07-01-2010

Freek Uijtdewilligen (Master student)

A framework for Context-Aware Augmented Reality: a Train Station Navigation Proof-of-Concept on Google Android

2009

Date

Speaker

Title

10-12-2009

Arjan de Roo

Software Architecture for Optimizing System Qualities Using Multi-Objective Optimization

03-12-2009

Pim van den Broek

Introduction to Quantum Computing

19-11-2009

Eduardo Goncalves da Silva

A Framework for the Evaluation of Semantics-based Service Composition Approaches [PDF]

12-11-2009

Jose E. Rivera (guest)


29-10-2009

Arash Jalali

(guest)

Aspect-Oriented Workflow Management

22-10-2009

Christian Hofmann

What happens in Parallel? Precise Thread Analysis for Java

15-10-2009

Bas Steen

Generation of Optimal Business Processes from Business Rules

01-10-2009

Ismênia Galvão Lourenco da Silva

Introducing the Traceability Analysis Framework

17-09-2009

Joost Noppen (guest)

Deriving Feature Models from Ambiguous Requirement Specifications

03-09-2009

Gürcan Gülesir

From Scenarios to Behavioral design: Techniques and Tools

18-06-2009

David ten Hove

(guest)

Change Impact Analysis for SysML Requirements Models based on Semantics of Trace Relations

04-06-2009

Bedir Tekinerdogan

(guest)

Managing Aspect Orderings to Support Multiple Quality Concerns

14-05-2009

Tjerk Wolterink

(Master student)

Operational Semantics Applied to Model Driven Engineering

07-05-2009

Albert Brand

(Master student)

Variability Techniques and its Qualities

16-04-2009

Lodewijk Bergmans

Constructing Composable Composition Mechanisms Cont’d

09-04-2009

Wilke Havinga

Constructing Composable Composition Mechanisms

02-04-2009

Luís Ferreira Pires

Aspect-Oriented Model-Driven Service-Oriented Architecture [PDF]

26-03-2009

Alfons Laarman

An Ontology Based MetaLanguage with Explicit Instantiation

12-03-2009

Mehmet Aksit and Tom Staijen

Essential Theories in Software development

05-03-2009

Hasan Sözer

Availability Analysis of Software

Decomposition for Local Recovery [PDF]

26-02-2009

Selim Ciraci

Computer-Supported Change Invariant Verification through Change Patterns

19-02-2009

Douwe van der Meij

A Metamodeling Approach to Incremental Model Changes

12-02-2009

Laura M. Daniele

An MDA-based Approach for Behaviour Modelling of Context-Aware Mobile Applications [PDF]

04-02-2009

Luiz Olavo Bonino da Silva Santos

A Goal-Based Service Framework for Dynamic Service Discovery and Composition

22-01-2009

Somayeh Malakuti

Event Interceptor: a Language -Independent Runtime Verification Technique

15-01-2009

Eduardo Goncalves da Silva

DynamiCoS: a Framework for the Dynamic Composition of Services [PDF]

2008

Date

Speaker

Title

08-05-2008

Luís Ferreira Pires

Situation Specification and Realisation in Rule-Based
Context-Aware Applications [PDF]