Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019
Montreal, QC, Canada
Toggle navigation
Attending
Venue: Fairmont The Queen Elizabeth Hotel
Accommodation
Registration
Registration Desk Hours
Resume Database
Visas and Travel Authorizations
Travel Support
Childcare
Montréal
Code of Conduct
Diversity and Inclusion Plan
Logo
Sponsorship
Sponsors and Supporters
Sponsorship Opportunities
Logo
Exhibits
Program
ICSE Program
Your Program
Week Overview
Industry Program
Keynotes
Technical Briefings
Tutorials
Social Events
Awards
Community Meetings
Proceedings
Photos and Videos
Filter by Day
Fri 24 May
Sat 25 May
Sun 26 May
Mon 27 May
Tue 28 May
Wed 29 May
Thu 30 May
Fri 31 May
Tracks
ICSE 2019
Plenary
Technical Track
Journal-First Papers
Software Engineering in Practice
Software Engineering Education and Training
Software Engineering in Society
New Ideas and Emerging Results
Demonstrations
ACM Student Research Competition
Technical Briefings
Industry Program
Artifact Evaluation
Posters
Workshops
Doctoral Symposium
New Faculty Symposium
Student Mentoring Workshop
Faculty Mentorship Lunch
Co-Located Events
ROSE Festival
Most Influential Paper ICSE N-10
Tutorials
Student Volunteers
Practice Speaker Room
Submitting to ICSE2019: Q&A
Resources
Community Meetings
Papers
Co-hosted Conferences
FormaliSE
ICGSE
ICGSE
ICGSE
Main
ICGSE
Research Papers
ICGSE
Journal-First Paper Presentations
ICGSE
Experience Reports
ICGSE
Industry Talks
ICGSE
Doctoral Symposium
ICGSE
JSS Special Issue
ICPC
ICPC
ICPC
Presentations
ICPC
Technical Research
ICPC
Tools Demo
ICPC
Replications
ICPC
Negative Results
ICSSP
MOBILESoft
MSR
MSR
MSR
Technical Papers
MSR
Mining Challenge
MSR
Data Showcase
MSR
Keynote
MSR
Education
MSR
MSR Awards
MSR
MIP Award
MSR
FOSS Award
MSR
Plenary
MSR
Paper Presentations
OSS
OSS
OSS
CROSSMINER
OSS
Invited Speakers
OSS
Panel
OSS
Papers
TechDebt
Co-hosted Symposia
SEAMS
SEAMS
SEAMS
Organization
ICSE 2019 Committees
Organizing Committee
Track Committees
Technical Track
Program Board
Program Committee
Journal-First Papers
Software Engineering in Practice
Software Engineering Education and Training
Software Engineering in Society
New Ideas and Emerging Results
Demonstrations
ACM Student Research Competition
Artifact Evaluation
Posters
Workshops
Doctoral Symposium
New Faculty Symposium
Most Influential Paper ICSE N-10
Contributors
People Index
Co-hosted Conferences
FormaliSE
Organizing Committee
Program Chairs
Program Committee
ICGSE
Organizing Committee
Industry Liaisons
ICGSE 2019 Research Papers
ICGSE 2019 Experience Reports
ICPC
Organization Committee
Steering Committee
ICPC 2019 Technical Research
ICPC 2019 Tools Demo
ICPC 2019 Replications
ICPC 2019 Negative Results
ICSSP
Organizing Committee
Program Committee
Steering Committee
MOBILESoft
Organizing Committee
Program Committee
MSR
Organizing Committee
MSR 2019 Technical Papers
MSR 2019 Mining Challenge
MSR 2019 Data Showcase
MSR 2019 Education
MSR 2019 MSR Awards
MSR 2019 MIP Award
MSR 2019 FOSS Award
OSS
Organizing Committee
Program Committee
TechDebt
Organizing Committee
Co-hosted Symposia
SEAMS
Organizing Committee
Program Committee
Artifact Program Committee
Doctoral Projects Program Committee
Search
Series
Series
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
ICSE 2019
(
series
) /
ICSSP 2019 (
series
) /
International Conference on Software and Systems Process (May 25-26, 2019)
/
On the Benefits of Using Dedicated Models in Validation Processes for Behavioral Specifications
Who
Marian Daun
,
Jennifer Brings
,
Lisa Krajinski
,
Thorsten Weyer
Track
ICSSP 2019
Program Display Configuration
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
(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-06: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-04: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+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Sat 25 May 2019 14:00 - 14:30 at
Sainte-Catherine
-
Models, Ontologies, and Architecture
Chair(s):
Marco Kuhrmann
Marian Daun
Jennifer Brings
Lisa Krajinski
Thorsten Weyer
Program Display Configuration
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
(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-06: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-04: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+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Sat 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
14:00 - 15:30
Models, Ontologies, and Architecture
ICSSP
at
Sainte-Catherine
Chair(s):
Marco Kuhrmann
University of Passau
14:00
30m
Full-paper
On the Benefits of Using Dedicated Models in Validation Processes for Behavioral Specifications
ICSSP
Marian Daun
,
Jennifer Brings
,
Lisa Krajinski
,
Thorsten Weyer
14:30
30m
Full-paper
An Ontology-Driven Approach to Automating the Process of Integrating Security Software Systems
ICSSP
Chadni Islam
,
Muhammad Ali Babar
,
Surya Nepal
15:00
30m
Full-paper
Recover and RELAX: Concern-Oriented Software Architecture Recovery for Systems Development and Maintenance
ICSSP
Daniel Link
,
Pooyan Behnamghader
University of Southern California, USA
,
Ramin Moazeni
Santa Clara University
,
Barry Boehm
University of Southern California
x
Thu 21 Nov 14:59