ECSA 2023
Mon 18 - Fri 22 September 2023
Istanbul, Turkey
Toggle navigation
Attending
Venue: Yeditepe University
Registration
Accommodation
Traveling tips
Social Events
Info
Previous Venues
Contact
Program
ECSA Program
Your Program
Mon 18 Sep
Tue 19 Sep
Wed 20 Sep
Thu 21 Sep
Fri 22 Sep
Tracks
ECSA 2023
Research Papers
Industry Program
Journal First
Tools & Demos
Workshops/Tutorials
Diversity, Equity and Inclusion (DE&I)
Doctoral Symposium
Keynotes
Organization
ECSA 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Industry Program
Tools & Demos
Workshops/Tutorials
Contributors
People Index
Search
Series
Series
ECSA 2025
ECSA 2024
ECSA 2023
ECSA 2022
ECSA 2021
ECSA 2020
Sign in
Sign up
ECSA 2023
(
series
) /
Tools & Demos
/
F'Prism: A Tool for Slicing and Visualizing F’ Software Topologies
Demonstration
Who
Jialong Li
,
Christos Tsigkanos
,
Toshihide Uubukata
,
Elisa Yumi Nakagawa
,
Zhenyu Mao
,
NIANYU LI
,
Kenji Tei
Track
ECSA 2023 Tools & Demos
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+03:00) Athens
.
Use conference time zone: (GMT+03:00) Athens
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+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
Fri 22 Sep 2023 12:20 - 12:25 at
Mavi Salon
-
Design
Chair(s):
Priyanka Karkhanis
Jialong Li
Waseda University, Japan
Japan
Christos Tsigkanos
University of Bern, Switzerland
Toshihide Uubukata
Elisa Yumi Nakagawa
University of São Paulo
Brazil
Zhenyu Mao
Waseda University
Japan
NIANYU LI
ZGC Lab, China
China
Kenji Tei
Waseda University
Japan
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+03:00) Athens
.
Use conference time zone: (GMT+03:00) Athens
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+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
Fri 22 Sep
Displayed time zone:
Athens
change
11:00 - 12:30
Design
Industry Program
/
Tools & Demos
/
Research Papers
at
Mavi Salon
Chair(s):
Priyanka Karkhanis
Eindhoven University of Technology
11:00
25m
Full-paper
Tool Support for the Adaptation of Quality of Service Trade-Offs in Service- and Cloud- Based Dynamic Routing Architectures
Full Paper
Research Papers
Amirali Amiri
,
Uwe Zdun
University of Vienna
11:25
25m
Full-paper
Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces
Full Paper
Research Papers
Andres Diaz Pace
UNICEN University
,
Rebekka Wohlrab
Chalmers University of Technology
,
David Garlan
Carnegie Mellon University
11:50
15m
Short-paper
A Query Language for Software Architecture Information
Short Paper
Research Papers
Joshua Ammermann
Karlsruhe Institute of Technology (KIT)
,
Sven Jordan
,
Lukas Linsbauer
ABB Corporate Research
,
Ina Schaefer
KIT
12:05
15m
Short-paper
Demeter: An Architecture for Long-Term Monitoring of Software Power Consumption
Short Paper
Industry Program
Lylian Siffre
,
Gabriel Breuil
,
Adel Noureddine
University of Pau and Pays de l'Adour
,
Renaud Pawlak
12:20
5m
Demonstration
F'Prism: A Tool for Slicing and Visualizing F’ Software Topologies
Demonstration
Tools & Demos
Jialong Li
Waseda University, Japan
,
Christos Tsigkanos
University of Bern, Switzerland
,
Toshihide Uubukata
,
Elisa Yumi Nakagawa
University of São Paulo
,
Zhenyu Mao
Waseda University
,
NIANYU LI
ZGC Lab, China
,
Kenji Tei
Waseda University
12:25
5m
Demonstration
Maestro: A Tool to Find and Explore Architectural Design Decisions in Issue Tracking Systems
Demonstration
Tools & Demos
Jesse Maarleveld
University of Groningen
,
Arjan Dekker
University of Groningen
,
Sarah Druyts
University of Groningen
,
Mohamed Soliman
University of Groningen
x
Sat 21 Dec 18:08