Geneva - Onward! 2016

VenueMövenpick Hotel Amsterdam City Centre

Room nameGeneva

Floor0

Room number

Capacity16

Additional informationThere is no additional information of this room available.

Program

Mon 31 Oct

10:30 - 12:10: ITSLE - Industry meets academy at Geneva
Chair(s): Peter KourzanovNXP, Netherlands

10:30 - 11:29
Talk

Keynote: Lessons learned about language engineering from the development of mbeddr

Markus Völteritemis, Germany

Media Attached

11:30 - 11:39
Break

Coffee break

11:40 - 12:10
Talk

Pattern Specification and Application in Metamodels in Ecore

Jia ZhangAltran, Mark van den Brand, Ana Maria SutiiEindhoven University of Technology, Marc HamiltonAltran

13:30 - 15:10: ITSLE - Industrial DSLs and tools at Geneva
Chair(s): Yanja DajsurenEindhoven University of Technology, The Netherlands

13:30 - 13:59
Talk

Invited talk: Model Driven Software Engineering (MDSE) in the large

Betsy Pepels, Gert E. Veldhuijzen van Zanten

14:00 - 14:29
Talk

Solving the Bank with Rebel

Jouke StoelCWI, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Joost BosmanING Bank

14:30 - 14:59
Talk

Udapt: Edapt Extensions for Industrial Application

J.G.M. MengerinkEindhoven University of Technology, Alexander SerebrenikEindhoven University of Technology, R.R.H. SchiffelersASML, Mark van den Brand

Pre-print

15:00 - 15:10
Break

SPLASH break & networking

15:40 - 17:20: ITSLE - Industrial applications at Geneva
Chair(s): Markus Völteritemis, Germany

15:40 - 16:09
Talk

A Domain Specific Language for Optimal Pumping Systems

Benjamin SaulMartin-Luther-University Halle-Wittenberg, Christian BergMartin-Luther-University Halle-Wittenberg, Wolf ZimmermannMartin-Luther-University Halle-Wittenberg

16:10 - 16:39
Talk

Integrated Simulation of CIF3 and Simulink Models

Abhishek Sharma, Michel ReniersTU/e

16:40 - 16:49
Break

Short break

16:50 - 17:20
Meeting

Panel discussion (Chairs: Yanja Dajsuren/Peter Kourzanov)

Tue 1 Nov

08:30 - 10:00: Doctoral Symposium - Session 1 at Geneva

08:30 - 08:34
Day opening

Welcome

08:34 - 08:50
Talk

Lightning Talks

08:50 - 09:30
Talk

Integrating Concerns with Development Environments

Ján Juhár

09:30 - 10:10
Talk

Dedicated Support for Analyses and Optimizations in Language Workbenches

Tamás Szabóitemis AG / TU Delft

10:30 - 12:10: Doctoral Symposium - Session 2 at Geneva

10:30 - 11:10
Talk

VeriTaS: Verification of Type System Specifications

Sylvia GreweTU Darmstadt

Pre-print

11:10 - 11:50
Talk

Language Support for Verifiable SDNs

Matthias Eichholz

13:30 - 15:10: Doctoral Symposium - Session 3 at Geneva

13:30 - 14:10
Talk

Multitier Reactive Abstractions

Pascal Weisenburger

14:10 - 14:50
Talk

Scaling Testing of Refactoring Engines

Melina Mongiovi

15:40 - 17:20: Doctoral Symposium - Session 4 at Geneva

15:40 - 16:20
Talk

Spray: Programming with a Persistent Distributed Heap

Marco GrandiComputer Science Department - University of Pisa

16:20 - 17:00
Talk

Towards Practical Release-Level Dynamic Software Updating on Stock Java

Martin Alexander Neumann

17:00 - 17:20
Talk

How to get your Ph.D. DONE

Eric Jul

Mon 31 Oct 2016


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Geneva							ITSLE Industry meets academy 10:30 - 12:10																																				ITSLE Industrial DSLs and tools 13:30 - 15:10																										ITSLE Industrial applications 15:40 - 17:20

Tue 1 Nov 2016


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Geneva							SPLASH Doctoral Symposium Session 1 08:30 - 10:00																								SPLASH Doctoral Symposium Session 2 10:30 - 12:10																																				SPLASH Doctoral Symposium Session 3 13:30 - 15:10																										SPLASH Doctoral Symposium Session 4 15:40 - 17:20

Mon 31 Oct 2016


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Geneva							ITSLE Keynote: Lessons learned about language engineering from the developmen ... 10:30 - 11:29												ITSLE Coffee break 11:30 - 11:39		ITSLE Pattern Specification and Application in Metamodels in Ecore 11:40 - 12:10																						ITSLE Invited talk: Model Driven Software Engineering (MDSE) in the large 13:30 - 13:59						ITSLE Solving the Bank with Rebel 14:00 - 14:29						ITSLE Udapt: Edapt Extensions for Industrial Application 14:30 - 14:59						ITSLE SPLASH break & networking 15:00 - 15:10								ITSLE A Domain Specific Language for Optimal Pumping Systems 15:40 - 16:09						ITSLE Integrated Simulation of CIF3 and Simulink Models 16:10 - 16:39						ITSLE Short break 16:40 - 16:49		ITSLE Panel discussion (Chairs: Yanja Dajsuren/Peter Kourzanov) 16:50 - 17:20

Tue 1 Nov 2016


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Geneva							SPLASH Doctoral Symposium Welcome 08:30 - 08:34	SPLASH Doctoral Symposium Lightning Talks 08:34 - 08:50			SPLASH Doctoral Symposium Integrating Concerns with Development Environments 08:50 - 09:30								SPLASH Doctoral Symposium Dedicated Support for Analyses and Optimizations in Language Workbenches 09:30 - 10:10												SPLASH Doctoral Symposium VeriTaS: Verification of Type System Specifications 10:30 - 11:10								SPLASH Doctoral Symposium Language Support for Verifiable SDNs 11:10 - 11:50																												SPLASH Doctoral Symposium Multitier Reactive Abstractions 13:30 - 14:10								SPLASH Doctoral Symposium Scaling Testing of Refactoring Engines 14:10 - 14:50																		SPLASH Doctoral Symposium Spray: Programming with a Persistent Distributed Heap 15:40 - 16:20								SPLASH Doctoral Symposium Towards Practical Release-Level Dynamic Software Updating on Stock Java 16:20 - 17:00								SPLASH Doctoral Symposium How to get your Ph.D. DONE 17:00 - 17:20

Room information: Geneva

Mon 31 Oct

Tue 1 Nov

Mon 31 Oct 2016

ITSLE

ITSLE

ITSLE

Tue 1 Nov 2016

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

Mon 31 Oct 2016

Tue 1 Nov 2016

Tracks