SOCAM: a service-oriented computing architecture modeling method (MODELS 2022 - Journal-first) - MODELS 2022

Sun 23 - Fri 28 October 2022 Montréal, Canada

Who

Paola Reyes-Delgado, Hector Duran-Limon, Manuel Mora, Laura Rodriguez-Martinez

Track

MODELS 2022 Journal-first

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 26 Oct 2022 14:15 - 14:37 at A-4502.1 - Applications I Chair(s): Joanne M. Atlee

Link to Publication

https://doi.org/10.1007/s10270-021-00946-2

Paola Reyes-Delgado

Hector Duran-Limon

Manuel Mora

Laura Rodriguez-Martinez

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 26 Oct
Displayed time zone: Eastern Time (US & Canada) change

	13:30 - 15:00	Applications ITechnical Track / Journal-first at A-4502.1 Chair(s): Joanne M. Atlee University of Waterloo

	13:30 22m Talk		Verification of Railway Network Models with EVERESTP&I Technical Track João Martins EFACEC, José M. Fonseca EFACEC, Rafael Costa INESC TEC, José Creissac Campos University of Minho & HASLab/INESC TEC, Alcino Cunha University of Minho; INESC TEC, Nuno Macedo University of Porto; INESC TEC, Jose Nuno Oliveira University of Minho; INESC TEC
	13:52 22m Talk		Bug Localization in Game Software Engineering: Evolving Simulations to Locate Bugs in Software Models of Video GamesFT Technical Track Rodrigo Casamayor SVIT Research Group. Universidad San Jorge, Lorena Arcega San Jorge University, Francisca Pérez SVIT Research Group. Universidad San Jorge, Carlos Cetina San Jorge University, Spain
	14:15 22m Talk		SOCAM: a service-oriented computing architecture modeling methodJ1st Journal-first Paola Reyes-Delgado , Hector Duran-Limon , Manuel Mora , Laura Rodriguez-Martinez Link to publication
	14:37 22m Talk		A Comprehensive Framework for the Analysis of Automotive SystemsP&I Technical Track Alessandro Cimatti Fondazione Bruno Kessler, Sara Corfini Huawei Pisa Research Center, Luca Cristoforetti Fondazione Bruno Kessler, Marco Di Natale Scuola Superiore Sant'Anna (Consultant for Huawei Pisa Research Center), Alberto Griggio Fondazione Bruno Kessler, Stefano Puri Huawei Pisa Research Center, Stefano Tonetta Fondazione Bruno Kessler, Italy