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]

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]

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]