Efficient Parametric Model Checking Using Domain-Specific Modelling Patterns (* ICSE 2018 * - NIER - New Ideas and Emerging Results ) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Radu Calinescu, Kenneth Johnson, Colin Paterson

Track

* ICSE 2018 * NIER - New Ideas and Emerging Results

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 30 May 2018 16:45 - 17:00 at E3 room - Mining, Verifying, and Learning Chair(s): Mukul Prasad

Radu Calinescu

University of York, UK

United Kingdom

Kenneth Johnson

Colin Paterson

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 17:30	Mining, Verifying, and LearningNIER - New Ideas and Emerging Results at E3 room Chair(s): Mukul Prasad Fujitsu Laboratories of America

	16:00 15m Talk		Mining Container Image Repositories---MSR for Software Configurations and Beyond NIER - New Ideas and Emerging Results Tianyin Xu University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign Pre-print
	16:15 15m Talk		Explainable Software Analytics NIER - New Ideas and Emerging Results Hoa Khanh Dam University of Wollongong, Truyen Tran , Aditya Ghose Pre-print
	16:30 15m Talk		Generalizing Specific-Instance Interpolation Proofs with SyGuS NIER - New Ideas and Emerging Results Muqsit Azeem , Kumar Madhukar TCS Innovation Labs (TRDDC), R Venkatesh
	16:45 15m Talk		Efficient Parametric Model Checking Using Domain-Specific Modelling Patterns NIER - New Ideas and Emerging Results Radu Calinescu University of York, UK, Kenneth Johnson , Colin Paterson
	17:00 15m Talk		Deep Learning UI Design Patterns of Mobile Apps NIER - New Ideas and Emerging Results Tam Nguyen , Phong Vu , Hung Viet Pham , Tung Nguyen
	17:15 15m Short-paper		Code Review Comments: Language matters NIER - New Ideas and Emerging Results Vasiliki Efstathiou Athens University of Economics and Business, Diomidis Spinellis Athens University of Economics and Business DOI Pre-print