AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning (ESEC/FSE 2018 - Demonstrations) - ESEC/FSE 2018

Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States

Who

Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan

Track

ESEC/FSE 2018 Demonstrations

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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 7 Nov 2018 16:37 - 17:00 at Spring Lake - Models Chair(s): Hamid Bagheri

Ferhat Erata

UNIT Information Technologies R&D Ltd.

Turkey

Arda Goknil

University of Luxembourg

Ivan Kurtev

Altran Netherlands

Bedir Tekinerdogan

Wageningen University, The Netherlands

Netherlands

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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 7 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	15:30 - 17:00	ModelsDemonstrations at Spring Lake Chair(s): Hamid Bagheri University of Nebraska-Lincoln, USA

	15:30 22m Talk		A Formal Verification Tool for Ethereum VM Bytecode Demonstrations Daejun Park University of Illinois at Urbana-Champaign, Yi Zhang University of Illinois at Urbana-Champaign, Manasvi Saxena Runtime Verification, Inc., Philip Daian , Grigore Roşu University of Illinois at Urbana-Champaign
	15:52 22m Talk		ASketch: A Sketching Framework for Alloy Demonstrations Kaiyuan Wang , Allison Sullivan , Darko Marinov University of Illinois at Urbana-Champaign, Sarfraz Khurshid University of Texas at Austin
	16:15 22m Talk		VT-Revolution: Interactive Programming Tutorials Made Possible Demonstrations Lingfeng Bao Zhejiang University City College, Zhenchang Xing Australia National University, Xin Xia Monash University, David Lo Singapore Management University, Shanping Li
	16:37 22m Talk		AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning Demonstrations Ferhat Erata UNIT Information Technologies R&D Ltd., Arda Goknil University of Luxembourg, Ivan Kurtev Altran Netherlands, Bedir Tekinerdogan Wageningen University, The Netherlands