COMB: Computing Relevant Program Behaviors (* ICSE 2018 * - DEMO - Demonstrations ) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Benjamin Holland, Payas Awadhutkar, Suresh Kothari, Ahmed Tamrawi, Jon Mathews

Track

* ICSE 2018 * DEMO - Demonstrations

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

Thu 31 May 2018 14:00 - 14:30 at E1/B room - Verification Chair(s): Marie-Christine Jakobs

Link to Publication

https://youtu.be/YoOJ7avBIdk

Benjamin Holland

Payas Awadhutkar

Suresh Kothari

Iowa State University, USA

Ahmed Tamrawi

Jon Mathews

EnSoft Corp.

United States

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

Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	14:00 - 15:30	VerificationDEMO - Demonstrations at E1/B room Chair(s): Marie-Christine Jakobs LMU, Munich, Germany

	14:00 30m Talk		COMB: Computing Relevant Program Behaviors DEMO - Demonstrations Benjamin Holland , Payas Awadhutkar , Suresh Kothari Iowa State University, USA, Ahmed Tamrawi , Jon Mathews EnSoft Corp. Link to publication
	14:30 30m Demonstration		The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems DEMO - Demonstrations Vince Molnár Budapest University of Technology and Economics, Bence Graics Budapest University of Technology and Economics, András Vörös Budapest University of Technology and Economics, Istvan Majzik Budapest University of Technology and Economics, Daniel Varro McGill University / Budapest University of Technology and Economics DOI Pre-print Media Attached
	15:00 30m Talk		A Regression Proof Selection Tool For Coq DEMO - Demonstrations Ahmet Celik University of Texas at Austin, USA, Karl Palmskog The University of Texas at Austin, Milos Gligoric University of Texas at Austin Pre-print Media Attached File Attached