FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
ICSE 2024 (series) / FormaliSE 2024 (series) / Centro Cultural de Belém /

Room information: Carlos Paredes

VenueCentro Cultural de Belém
Room nameCarlos Paredes
Capacity30
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Opening + KeynoteMOBILESoft Research Track at Carlos Paredes
09:00
90m
Keynote
Automated Testing and Maintenance of Mobile Applications: Are We There Yet?
MOBILESoft Research Track
K: Mattia Fazzini University of Minnesota
11:00 - 12:30
Energy-EfficiencyMOBILESoft Research Track at Carlos Paredes
11:00
22m
Full-paper
A Study on the Battery Usage of Deep Learning Frameworks on iOS DevicesFull Paper
MOBILESoft Research Track
Vitor Jacques Universidade Federal de Pernambuco, Negar Alizadeh Universiteit Utrecht, Fernando Castor University of Twente and Federal University of Pernambuco, Vitor Jacques Universidade Federal de Pernambuco
11:22
22m
Full-paper
An Empirical Study on the Impact of CSS Prefixes on the Energy Consumption and Performance of Mobile Web AppsFull Paper
MOBILESoft Research Track
Andrei Bogdan Vrije Universiteit Amsterdam, The Netherlands, Ivano Malavolta Vrije Universiteit Amsterdam
11:45
22m
Full-paper
An Empirical Evaluation of the Energy Consumption of Using Web Push APIs in Mobile Web Apps - The Case of TelegramFull Paper
MOBILESoft Research Track
Yu Chen Vrije Universiteit Amsterdam, The Netherlands, Jinhai Liao , Shutong Cai Vrije Universiteit Amsterdam, The Netherlands, Yiming Zhao Vrije Universiteit Amsterdam, The Netherlands, Yichen Tong Vrije Universiteit Amsterdam, The Netherlands, Ishas Kulkarni Vrije Universiteit Amsterdam, The Netherlands, Ivano Malavolta Vrije Universiteit Amsterdam
12:07
22m
Full-paper
How have iOS Development Technologies Changed over Time? A Study in Open-SourceFull Paper
MOBILESoft Research Track
Luciano Baresi Politecnico di Milano, Massimiliano Di Penta University of Sannio, Italy, Giovanni Quattrocchi Politecnico di Milano, Damian Andrew Tamburri Jheronimus Academy of Data Science
14:00 - 15:30
Quality AssuranceMOBILESoft Research Track / MOBILESoft Research Forum Track at Carlos Paredes
14:00
22m
Full-paper
Detection of Inconsistencies between Guidance Pages and Actual Data Collection of Third-party SDKs in Android AppsFull Paper
MOBILESoft Research Track
Hiroki Inayoshi Okayama University, Shohei Kakei Nagoya Institute of Technology, Japan, Shoichi Saito Nagoya Institute of Technology, Japan
DOI Pre-print
14:22
22m
Full-paper
Generating Rate Features for Mobile ApplicationsBest Presentation AwardFull Paper
MOBILESoft Research Track
Shristi Shrestha Louisiana State University, Anas "Nash" Mahmoud Louisiana State University
14:45
15m
Short-paper
Toward an Android Static Analysis Approach for Data Protection
MOBILESoft Research Forum Track
Mugdha Khedkar Heinz Nixdorf Institute at Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
15:00
15m
Short-paper
Are Your Android App Analyzers Still Relevant?
MOBILESoft Research Forum Track
chenhaonan , Daihang Chen Beihang University, China, Yonghui Liu Monash University, Xiaoyu Sun Australian National University, Australia, Li Li Beihang University
15:15
15m
Short-paper
Towards Benchmarking the Coverage of Automated Testing Tools in Android against Manual Testing
MOBILESoft Research Forum Track
Ferdian Thung Singapore Management University, Ivana Clairine Irsan Singapore Management University, Jiakun Liu Singapore Management University, David Lo Singapore Management University
16:00 - 17:30
App DevelopmentMOBILESoft Research Track / MOBILESoft Research Forum Track at Carlos Paredes
16:00
15m
Short-paper
Dependency Management in iOS Development: A Developer Survey PerspectiveExtended Abstract
MOBILESoft Research Track
Ezequiel França dos Santos Universidade Europeia de Lisboa, UE, Portugal.
DOI
16:15
15m
Short-paper
Experiences Developing a Computer Vision SDK for Mobile Apps
MOBILESoft Research Forum Track
Julian Harty Commercetest Limited
DOI File Attached
16:30
15m
Short-paper
Towards Speedy Permission-Based Debloating for Android Apps
MOBILESoft Research Forum Track
Ferdian Thung Singapore Management University, Jiakun Liu Singapore Management University, Pattarakrit Rattanukul Mahidol University, Shahar Maoz Tel Aviv University, Eran Toch Tel Aviv University, Debin Gao Singapore Management University, David Lo Singapore Management University
16:45
15m
Short-paper
Assessing the environmental impact of mobile applications: a measure framework toward DevGreenOps
MOBILESoft Research Forum Track
Edouard Guegain Université de Lille
17:00
15m
Short-paper
CAREForMe: Contextual Multi-Armed Bandit Recommendation Framework for Mental HealthExtended Abstract
MOBILESoft Research Track
Sheng Yu University of Southern California, Narjes Nourzad University of Southern California, USA, Randye Semple University of Southern California, Yixue Zhao USC Information Sciences Institute, Emily Zhou University of Southern California, Bhaskar Krishnamachari University of Southern California
Pre-print Media Attached
17:15
15m
Short-paper
Digital Wellbeing Redefined: Toward User-Centric Approach for Positive Social Media Engagement
MOBILESoft Research Forum Track
Yixue Zhao USC Information Sciences Institute, Tianyi Li Purdue University, USA, Michael Sobolev University of Southern California
DOI Pre-print Media Attached
17:30 - 18:00
ClosingMOBILESoft Research Track at Carlos Paredes

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Opening and KeynoteQ-SE at Carlos Paredes
Chair(s): Jose García-Alonso Universidad de Extremadura, Lei Zhang University of Maryland Baltimore County
09:00
15m
Day opening
Opening
Q-SE
Jose García-Alonso Universidad de Extremadura, Lei Zhang University of Maryland Baltimore County
09:15
60m
Keynote
Innovating Quantum Software Testing: From Theoretical Challenges to Practical Solutions
Q-SE
Rui Abreu Meta & University of Porto
11:00 - 12:30
Quality Assurance for Quantum SoftwareQ-SE at Carlos Paredes
Chair(s): Ricardo Pérez-Castillo University of Castilla-La Mancha
11:00
30m
Research paper
Delta Debugging for Property-Based Regression Testing of Quantum Programs
Q-SE
Gabriel Joseph Pontolillo , Mohammad Reza Mousavi King's College London
11:30
30m
Research paper
On Repairing Quantum Programs Using ChatGPT
Q-SE
Xiaoyu Guo , Jianjun Zhao Kyushu University, Pengzhan Zhao Kyushu University
12:00
20m
Short-paper
On the Need for Effective Tools for Debugging Quantum Programs
Q-SE
Olivia Di Matteo University of British Columbia
14:00 - 15:30
Design, Development and Variability for Quantum SoftwareQ-SE at Carlos Paredes
Chair(s): Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
14:00
30m
Research paper
Quantum Solution for Configuration Selection and Prioritization
Q-SE
Joshua Ammermann Karlsruhe Institute of Technology (KIT), Fabian Jakob Brenneisen Karlsruhe Institute of Technology (KIT), Tim Bittner Karlsruhe Institute of Technology, Ina Schaefer KIT
14:30
30m
Research paper
C4Q: A Chatbot for Quantum
Q-SE
Yaiza Aragonés-Soria Constructor Institute Schaffhausen, Manuel Oriol Constructor Institute Schaffhausen
Pre-print
15:00
20m
Short-paper
Developing Hybrid Quantum-Classical Software: A Software Product Line Approach
Q-SE
Samuel Sepúlveda , Mario Piattini University of Castilla-La Mancha, Spain, Ricardo Pérez-Castillo University of Castilla-La Mancha
16:00 - 17:30
Higher Abstractions for Quantum SoftwareQ-SE at Carlos Paredes
Chair(s): Jianjun Zhao Kyushu University
16:00
30m
Research paper
A Preliminary Study of the Usage of Design Patterns in Quantum Software
Q-SE
Ricardo Pérez-Castillo University of Castilla-La Mancha, Miriam Fernández-Osuna University of Castilla-La Mancha, Jose Antonio Cruz-Lemus University of Castilla-La Mancha, Spain, Mario Piattini University of Castilla-La Mancha, Spain
16:30
20m
Short-paper
Quantum Types: Going Beyond Qubits and Quantum Gates
Q-SE
Tamás Varga Constructor Institute Schaffhausen, Yaiza Aragonés-Soria Constructor Institute Schaffhausen, Manuel Oriol Constructor Institute Schaffhausen
Pre-print
16:50
30m
Day closing
Discussion and Closing
Q-SE
Jose García-Alonso Universidad de Extremadura, Lei Zhang University of Maryland Baltimore County

Sat 20 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Session 1: Opening & KeynoteExEn at Carlos Paredes
Chair(s): Jakob Droste Leibniz Universität Hannover, Verena Klös Technische Universität Dresden
09:00
15m
Day opening
Opening
ExEn
Jakob Droste Leibniz Universität Hannover, Verena Klös Technische Universität Dresden
09:15
75m
Keynote
Illuminating the black mirror in system design: Promoting human values and their reflection through explainability
ExEn
Irit Hadar University of Haifa
11:00 - 12:30
Session 2: Paper SessionExEn at Carlos Paredes
Chair(s): Jakob Droste Leibniz Universität Hannover
11:00
35m
Full-paper
Generating Context-Aware Contrastive Explanations in Rule-based Systems
ExEn
Lars Herbold University of Cologne, Mersedeh Sadeghi University of Cologne, Andreas Vogelsang University of Cologne
11:35
25m
Short-paper
What if Autonomous Systems had a Game Master? Targeted Explaining with the help of a Supervisory Control System
ExEn
Akhila Bairy University of Oldenburg, Martin Fränzle
12:00
25m
Short-paper
Towards a Computational Architecture for Co-Constructive Explainable Systems
ExEn
Meisam Booshehri Bielefeld University, Hendrik Buschmeier Bielefeld University, Philipp Cimiano Bielefeld University, Stefan Kopp Bielefeld University, Jaroslaw Kornowicz Paderborn University, Olesja Lammert Paderborn University, Marco Matarese Italian Institute of Technology, Dimitry Mindlin Bielefeld University, Amelie Robrecht Bielefeld University, Anna-Lisa Vollmer Bielefeld University, Petra Wagner Bielefeld University, Britta Wrede Bielefeld University
14:00 - 15:30
Session 3: Paper Session & ActivityExEn at Carlos Paredes
Chair(s): Verena Klös Technische Universität Dresden
14:00
25m
Short-paper
Why Reinforcement Learning in Energy Systems Needs Explanations
ExEn
Hallah Shahid Butt , Benjamin Schäfer Karlsruhe Institute of Technology
14:25
60m
Other
Interactive Activity
ExEn

15:25
5m
Day closing
Closing
ExEn

Mon 15 Apr

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Carlos Paredes

MOBILESoft Research Track

Opening + Keynote

MOBILESoft Research Track

Energy-Efficiency

MOBILESoft Research Track + MOBILESoft Research Forum Track

Quality Assurance

MOBILESoft Research Track + MOBILESoft Research Forum Track

App Development

MOBILESoft Research Track

Closing

Tue 16 Apr

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Carlos Paredes

Q-SE

Opening and Keynote

Q-SE

Quality Assurance for Quantum Software

Q-SE

Design, Development and Variability for Quantum Software

Q-SE

Higher Abstractions for Quantum Software

Sat 20 Apr

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:0030
Carlos Paredes

ExEn

Session 1: Opening & Keynote

ExEn

Session 2: Paper Session

ExEn

Session 3: Paper Session & Activity

Mon 15 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Carlos Paredes
MOBILESoft Research Track
Automated Testing and Maintenance of Mobile Applications: Are We There Yet?
09:00 - 10:30
MOBILESoft Research TrackFull Paper
A Study on the Battery Usage of Deep Learning Frameworks on iOS Devices
11:00 - 11:22
MOBILESoft Research TrackFull Paper
An Empirical Study on the Impact of CSS Prefixes on the Energy Consumpt ...
11:22 - 11:45
MOBILESoft Research TrackFull Paper
An Empirical Evaluation of the Energy Consumption of Using Web Push API ...
11:45 - 12:07
MOBILESoft Research TrackFull Paper
How have iOS Development Technologies Changed over Time? A Study in Ope ...
12:07 - 12:30
MOBILESoft Research TrackFull Paper
Detection of Inconsistencies between Guidance Pages and Actual Data Col ...
14:00 - 14:22
MOBILESoft Research TrackBest Presentation AwardFull Paper
Generating Rate Features for Mobile Applications
14:22 - 14:44
MOBILESoft Research Forum Track
Toward an Android Static Analysis Approach for Data Protection
14:45 - 15:00
MOBILESoft Research Forum Track
Are Your Android App Analyzers Still Relevant?
15:00 - 15:15
MOBILESoft Research Forum Track
Towards Benchmarking the Coverage of Automated Testing Tools in Android ...
15:15 - 15:30
MOBILESoft Research TrackExtended Abstract
Dependency Management in iOS Development: A Developer Survey Perspective
16:00 - 16:15
MOBILESoft Research Forum Track
Experiences Developing a Computer Vision SDK for Mobile Apps
16:15 - 16:30
MOBILESoft Research Forum Track
Towards Speedy Permission-Based Debloating for Android Apps
16:30 - 16:45
MOBILESoft Research Forum Track
Assessing the environmental impact of mobile applications: a measure fr ...
16:45 - 17:00
MOBILESoft Research TrackExtended Abstract
CAREForMe: Contextual Multi-Armed Bandit Recommendation Framework for M ...
17:00 - 17:15
MOBILESoft Research Forum Track
Digital Wellbeing Redefined: Toward User-Centric Approach for Positive ...
17:15 - 17:30

Tue 16 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Carlos Paredes
Q-SE
Opening
09:00 - 09:15
Q-SE
Innovating Quantum Software Testing: From Theoretical Challenges to Pra ...
09:15 - 10:15
Q-SE
Delta Debugging for Property-Based Regression Testing of Quantum Programs
11:00 - 11:30
Q-SE
On Repairing Quantum Programs Using ChatGPT
11:30 - 12:00
Q-SE
On the Need for Effective Tools for Debugging Quantum Programs
12:00 - 12:20
Q-SE
Quantum Solution for Configuration Selection and Prioritization
14:00 - 14:30
Q-SE
C4Q: A Chatbot for Quantum
14:30 - 15:00
Q-SE
Developing Hybrid Quantum-Classical Software: A Software Product Line A ...
15:00 - 15:20
Q-SE
A Preliminary Study of the Usage of Design Patterns in Quantum Software
16:00 - 16:30
Q-SE
Quantum Types: Going Beyond Qubits and Quantum Gates
16:30 - 16:50
Q-SE
Discussion and Closing
16:50 - 17:20

Sat 20 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Carlos Paredes
ExEn
Opening
09:00 - 09:15
ExEn
Illuminating the black mirror in system design: Promoting human values ...
09:15 - 10:30
ExEn
Generating Context-Aware Contrastive Explanations in Rule-based Systems
11:00 - 11:35
ExEn
What if Autonomous Systems had a Game Master? Targeted Explaining with ...
11:35 - 12:00
ExEn
Towards a Computational Architecture for Co-Constructive Explainable Sy ...
12:00 - 12:25
ExEn
Why Reinforcement Learning in Energy Systems Needs Explanations
14:00 - 14:25
ExEn
Interactive Activity
14:25 - 15:25
ExEn
Closing
15:25 - 15:30