MODELS 2023
Sun 1 - Fri 6 October 2023
Västerås, Sweden
Toggle navigation
Attending
Venue: Västerås Kongress
Registration
Social Events
Accommodations
Travelling
Sponsorship
Program
Complete Program
Your Program
Program overview
Keynotes
Accepted papers - FT
Accepted papers - PT
Sun 1 Oct
Mon 2 Oct
Tue 3 Oct
Wed 4 Oct
Thu 5 Oct
Fri 6 Oct
Tracks
MODELS 2023
Artifact Evaluation
Awards
Doctoral Symposium
Educators Symposium
Industry Day
Journal-first
MODELS
Panel
Posters
SAM Conference
Technical Track
Tools and Demonstrations
Tutorials
Workshops
Organization
MODELS 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Artifact Evaluation
Chairs
Program Committee
Doctoral Symposium
Chairs
Program Committee
Educators Symposium
Chairs
Program Committee
Industry Day
Journal-first
Posters
Chairs
Program Committee
Technical Track
Chairs
PC - Foundations Track
PC - Practice Track
Program Board
Tools and Demonstrations
Chairs
Program Committee
Tutorials
Chairs
Program Committee
Workshops
Chairs
Program Committee
Contributors
People Index
Search
Series
Series
MODELS 2024
MODELS 2023
MODELS 2022
MODELS 2021
MODELS 2020
MODELS 2019
MODELS 2018
MODELS 2017
MODELS 2016
MODELS 2015
MODELS 2014
MODELS 2013
MODELS 2012
MODELS 2011
MODELS 2010
MODELS 2009
MODELS 2008
MODELS 2007
MODELS 2006
MODELS 2005
UML 2004
UML 2003
UML 2002
UML 2001
UML 2000
UML 1999
UML 1998
Sign in
Sign up
MODELS 2023
(
series
) /
Posters
/
DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets
Who
Sebastian Ebert
,
Johannes Mey
,
René Schöne
,
Sebastian Götz
,
Uwe Aßmann
Track
MODELS 2023 Posters
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
When
Thu 5 Oct 2023 14:40 - 15:26 at
Foajé Plan 2
-
Poster Session
Sebastian Ebert
Technische Universität Dresden
Germany
Johannes Mey
Technische Universität Dresden
René Schöne
Technische Universität Dresden
Germany
Sebastian Götz
Technische Universität Dresden
Germany
Uwe Aßmann
TU Dresden, Germany
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
Session Program
Thu 5 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 17:00
Poster Session
Posters
at
Foajé Plan 2
10:00
46m
Poster
Model Based STPA for Assisted Driving Functions
Posters
Bastian Olberts
,
Yan Dittjen
10:46
46m
Poster
Obtaining insights into the interplay between systems and software engineering
Posters
Alexandr Vasenev
TNO-ESI
,
Johan Lukkien
,
Laura van Veen
,
Pieter Goosen
,
Richard Doornbos
,
Arjan Mooij
11:33
46m
Poster
Enlightening Modeling the Aristotelian Way with Light-Code
Posters
Michel Zam
12:20
46m
Poster
MBSE methodology to track and validate the interfaces of ANDES spectrograph for E-ELT
Posters
Marcello Agostino Scalera
Politecnico di Milano
,
Zanutti Alessio
,
Marco Riva
13:06
46m
Poster
Consistency in the View-Based Development of Cyber-Physical Systems (Convide)
Posters
Ralf Reussner
KIT
,
Ina Schaefer
TU Braunschweig
,
Bernhard Beckert
Karlsruhe Institute of Technology
,
Anne Koziolek
Karlsruhe Institute of Technology
,
Erik Burger
13:53
46m
Poster
A Model-driven Approach for Knowledge-based Engineering of Industrial Digital Twins
Posters
Sushant Vale
,
Sreedhar Reddy
,
Sivakumar Subramanian
,
Subhrojyoti Roy Chaudhuri
,
Sri Harsha Nistala
,
Anirudh Deodhar
,
Venkataramana Runkana
14:40
46m
Poster
DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets
Posters
Sebastian Ebert
Technische Universität Dresden
,
Johannes Mey
Technische Universität Dresden
,
René Schöne
Technische Universität Dresden
,
Sebastian Götz
Technische Universität Dresden
,
Uwe Aßmann
TU Dresden, Germany
15:26
46m
Poster
Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models
Posters
Francisco Martínez-Lasaca
Universidad Autónoma de Madrid
,
Pablo Díez
,
Esther Guerra
Universidad Autónoma de Madrid
,
Juan de Lara
Autonomous University of Madrid
16:13
46m
Poster
Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach
Posters
Mouna Dhaouadi
University of Montreal
,
Bentley Oakes
Université de Montréal
,
Michalis Famelis
Université de Montréal
x
Wed 14 Aug 22:36