Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers (ICSE 2019 - Journal-First Papers) - International Conference on Software Engineering 2019 in Montreal, Canada

Sat 25 - Fri 31 May 2019 Montreal, QC, Canada

Who

Khaled El-Fakih, Gregor Bochmann

Track

ICSE 2019 Journal-First Papers

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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 29 May 2019 17:40 - 17:50 at Van-Horne - Model-Based Software Engineering Chair(s): Yvonne Dittrich

Khaled El-Fakih

American University of Sharjah

Gregor Bochmann

U. of Ottawa

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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 29 May
Displayed time zone: Eastern Time (US & Canada) change

	16:00 - 18:00	Model-Based Software EngineeringJournal-First Papers / Demonstrations / Papers / Technical Track / New Ideas and Emerging Results / Software Engineering in Practice at Van-Horne Chair(s): Yvonne Dittrich IT University of Copenhagen, Denmark

	16:00 20m Talk		Strategies and Best Practices for Model-based Systems Engineering Adoption in Embedded Systems IndustrySEIPIndustry Program Software Engineering in Practice Tiago Amorim TU Berlin, Andreas Vogelsang TU Berlin, Florian Pudlitz TU Berlin, Peter Gersing GPP, Jan Philipps foqee GmbH Pre-print
	16:20 20m Talk		VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific ModelsDemosIndustry Program Demonstrations Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Sebastian Pilarski McGill University, Daniel Varro McGill University / Budapest University of Technology and Economics Media Attached File Attached
	16:40 20m Talk		Practical GUI Testing of Android Applications via Model Abstraction and RefinementTechnical Track Technical Track Tianxiao Gu Alibaba Group, Chengnian Sun University of California, Davis, Xiaoxing Ma Nanjing University, Chun Cao Nanjing University, Chang Xu Nanjing University, Yao-Yuan Yang , Qirun Zhang Georgia Institute of Technology, Jian Lu Nanjing University, Zhendong Su ETH Zurich
	17:00 20m Talk		AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL PropertiesTechnical Track Technical Track Lefan Zhang The University of Chicago, Weijia He The University of Chicago, Jesse Martinez The University of Chicago, Noah Brackenbury The University of Chicago, Shan Lu University of Chicago, Blase Ur The University of Chicago
	17:20 10m Talk		Towards a Cognizant Virtual Software Modeling Assistant using Model ClonesNIER New Ideas and Emerging Results Matthew Stephan Miami University Pre-print
	17:30 10m Talk		A Model-Integrated Approach to Designing Self-Protecting SystemsJournal-First Journal-First Papers Stefano Iannucci Mississippi State University, Sherif Abdelwahed Virginia Commonwealth University, Andrea Montemaggio Mississippi State University, Melissa Hannis Mississippi State University, Leslie Leonard U.S. Army Engineer Research and Development Center (ERDC), Jason King U.S. Army Engineer Research and Development Center (ERDC), Drew Hamilton Mississippi State University, CCI
	17:40 10m Talk		Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and ControllersJournal-First Journal-First Papers Khaled El-Fakih American University of Sharjah, Gregor Bochmann U. of Ottawa
	17:50 10m Talk		Discussion Period Papers