Back to homepage utwente.nl
TRESE Technical Talks (TTT)
2012TRESE Tech Talks (TTTs) are (bi)weekly talks—including discussion—about ongoing research and related topics of interest to our group, held on Thursdays between 11 and 12 o’clock. Staff members and master students of TRESE give these talks and are encouraged to attend to all of them.
Scheduled talks
Date |
Speaker |
Title |
07-06-2012 |
Somayeh Malakuti |
TBD |
Former talks
2012
Date |
Speaker |
Title |
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
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 |
