FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
VenueCentro Cultural de Belém
Room nameLopes Graça
Capacity100
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

Sun 14 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
SESoS Opening & Keynote SpeakerSESoS at Lopes Graça
Chair(s): Antonia Bertolino National Research Council, Italy
09:00
30m
Day opening
SESoS Opening
SESoS
Francesca Lonetti CNR-ISTI, Antonia Bertolino National Research Council, Italy, Pablo Oliveira Antonino Fraunhofer IESE, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
09:30
60m
Keynote
Collaboration or, wait -- diversity at large scale: How inclusive developers can engineer software for diverse end-users
SESoS
Daniela Damian University of Victoria
11:00 - 12:30
Technical Session 1: Systems-of-Systems & Ecosystems: EngineeringSESoS at Lopes Graça
Chair(s): Rodrigo Zacarias UNIRIO - Universidade Federal do Estado do Rio de Janeiro
11:00
20m
Paper
Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers
SESoS
Jialong Li Waseda University, Japan, Wallace Manzano University of São Paulo, Takuto Yamauchi , Elisa Yumi Nakagawa University of São Paulo, Nobuhiro Matsuyama Waseda University, Kenji Tei Waseda University
11:20
10m
Short-paper
Towards Model-Driven Dashboard Generation for Systems-of-Systems
SESoS
Maria Teresa Rossi University of Milano Bicocca, Italy, Alessandro Tundo TU Wien (TUW), Vienna, Austria, Leonardo Mariani University of Milano-Bicocca
11:30
20m
Paper
Sandboxing Adoption in Open Source Ecosystems
SESoS
Maysara Alhindi University of Bristol, Joseph Hallett University of Bristol
11:50
20m
Paper
Mediators in Systems-of-Systems and Ecosystems: A Systematic Literature Review and Conceptualization
SESoS
Jakob Axelsson Mälardalen University
12:10
20m
Paper
Towards Automatic Generation of Systems-of-Systems Architectural Configurations
SESoS
Marcos Vinicius de Freitas Borges Federal Institute of Maranhão, Wallace Manzano University of São Paulo, Lincoln Rocha Federal University of Ceará, Paulo Maia State University of Ceará, Elisa Yumi Nakagawa University of São Paulo
14:00 - 15:30
Technical Session 2: Systems-of-Systems & Ecosystems: ApplicationsSESoS at Lopes Graça
Chair(s): Maria Teresa Rossi University of Milano Bicocca, Italy
14:00
20m
Paper
Self-Adaptation of Loosely Coupled Systems across a System of Small Uncrewed Aerial Systems
SESoS
Theodore Chambers University of Notre Dame, Jane Cleland-Huang University of Notre Dame, Michael Vierhauser University of Innsbruck
Pre-print
14:20
20m
Paper
Exploring Transparency as a Sustainability Goal in Software Ecosystems
SESoS
Rodrigo Zacarias UNIRIO - Universidade Federal do Estado do Rio de Janeiro, Rodrigo Santos UNIRIO - Universidade Federal do Estado do Rio de Janeiro, Patricia Lago Vrije Universiteit Amsterdam
14:40
10m
Short-paper
Exploring Trust Black-Swan Blindness in Social Internet of Vehicles (SIoV)
SESoS
Hind Bangui Masaryk University, Barbora Buhnova Masaryk University, Dasa Kusnirakova Masaryk University
14:50
10m
Short-paper
On an Exemplar Supporting Model-based Quality Assurance Research on Healthcare Systems-of-Systems
SESoS
Lucas Sakizloglou Brandenburgische Technische Universität Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg, Florian Ruehs Brandenburgische Technische Universität Cottbus-Senftenberg, Leen Lambers BTU Cottbus Senftenberg
15:00
10m
Short-paper
A Multilevel Modelling Framework for Quarry Site Operations
SESoS
Abdulkarim Habbab Volvo Construction Equipment, Anas Fattouh Mälardalen University, Bobbie Frank Volvo Construction Equipment, Elianne Lindmark Volvo Construction Equipment, Koteshwar Chirumalla Mälardalen University, Markus Bohlin Mälardalen University
16:00 - 17:30
Keynote Speaker II & Closing and AwardsSESoS at Lopes Graça
Chair(s): Francesca Lonetti CNR-ISTI
16:00
60m
Keynote
Towards Data- and AI-Centricity
SESoS
Jan Bosch Chalmers University of Technology
17:00
30m
Day closing
Closing and Awards
SESoS
Francesca Lonetti CNR-ISTI, Antonia Bertolino National Research Council, Italy, Pablo Oliveira Antonino Fraunhofer IESE, Doo-Hwan Bae Korea Advanced Institute of Science and Technology

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Opening, Keynote, Design ExplorationDesigning at Lopes Graça
Chair(s): Yuanfang Cai Drexel University
09:00
10m
Day opening
Opening
Designing

09:10
60m
Keynote
Evolving System Design While Tracking Live Pitches and Players For Thousands of Games!
Designing
10:10
10m
Talk
Design Spaces and How Software Designers Use Them: a sampler
Designing
Mary Shaw Carnegie Mellon University, Marian Petre School of Computing and Communications, The Open University, UK
10:20
10m
Talk
The Architect in the Maze: On the Effective Usage of Automated Design Exploration
Designing
Andres Diaz Pace UNICEN University, David Garlan Carnegie Mellon University
10:30
10m
Talk
Challenges in Creating Effective Automated Design Environments: an experience report from the domain of generative manufacturing
Designing
David Garlan Carnegie Mellon University, Bradley Schmerl Carnegie Mellon University, USA, Javier Camara University of Málaga, Rebekka Wohlrab Chalmers University of Technology
11:00 - 12:30
Design Exploration, EducationDesigning at Lopes Graça
Chair(s): Andre van der Hoek University of California, Irvine
11:00
10m
Talk
Teaching Software Architecture Design - Building Intuition
Designing
Gaurav Agerwala Carnegie Mellon University, Len Bass Carnegie Mellon University
11:10
10m
Talk
Developing and Applying an Essence-based Description of the Attribute-Driven Design Method
Designing
Stefan Malich Dr. Stefan Malich | Architectural Change Management, Humberto Cervantes UAM, Rick Kazman University of Hawai‘i at Mānoa
11:20
10m
Talk
Investing in Software Design
Designing
Steven D. Fraser Innoxec, Dennis Mancl MSWX Software Experts
11:30
10m
Talk
Software Engineering Education: Towards Ethical, Reliable, and Beautiful Software
Designing
Aikya Inuganti University of Maryland Baltimore County, Madhuri Goyal University of Maryland Baltimore County, Mohammad Samarah University of Maryland Baltimore County
11:40
50m
Other
Discussion: Design exploration and education
Designing

14:00 - 15:30
Tooling, Domain-specific DesignDesigning at Lopes Graça
Chair(s): Michel Chaudron Eindhoven University of Technology, The Netherlands
14:00
10m
Talk
Executable Multi-Layered Software Models
Designing
Lukáš Radoský Comenius University, Faculty of Mathematics, Physics and Informatics, Mlynská dolina F1, Bratislava, 842 48, Slovakia, Ivan Polášek Comenius University, Faculty of Mathematics, Physics and Informatics, Mlynská dolina F1, Bratislava, 842 48, Slovakia
14:10
10m
Talk
From Requirements to Architecture: An AI-Based Journey to Semi-Automatically Generate Software Architectures
Designing
Tobias Eisenreich Technical University of Munich, Sandro Speth Institute of Software Engineering, University of Stuttgart, Stefan Wagner Technical University of Munich
DOI Pre-print
14:20
10m
Talk
TAMVE: Properties of Design Technologies to Address Challenges to Software Design in the Era of Agility and Frameworks
Designing
Timothy Lethbridge University of Ottawa
14:30
10m
Talk
Co-Designing Resilient Socio-Technical Software Systems
Designing
Tamara Lopez The Open University, Helen Sharp The Open University, Michel Wermelinger The Open University
14:40
10m
Talk
Weighted Metrics for the Development of Energy Efficient Software
Designing
Déaglán Connolly Bree University College Dublin, Mel Ó Cinnéide University College Dublin & Lero, Ireland
14:50
40m
Other
Discussion: Tooling and domain-specific design
Designing

16:00 - 17:30
Panel, ClosingDesigning at Lopes Graça
Chair(s): Eunsuk Kang Carnegie Mellon University
16:00
60m
Panel
Panel discussion
Designing
Mary Shaw Carnegie Mellon University, Marian Petre School of Computing and Communications, The Open University, UK, Michel Chaudron Eindhoven University of Technology, The Netherlands, Rick Kazman University of Hawai‘i at Mānoa
17:00
30m
Day closing
Closing & future of Designing
Designing

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Introduction & Ice BreakingICSE SMeW - Student Mentoring Workshop at Lopes Graça

Welcome, ice-breaking activities, discussion on academic well-being, building a mentoring network, how to get the most out of your mentoring experience, etc.

09:00
90m
Day opening
Introduction & Ice Breaking
ICSE SMeW - Student Mentoring Workshop

File Attached
11:00 - 12:30
Presentations & Group Q&AICSE SMeW - Student Mentoring Workshop at Lopes Graça

Presentation on networking/making friends at conferences with interactive activities to practice, aiming to help students get the most out of ICSE experience.

11:00
90m
Talk
Presentations & Group Q&A
ICSE SMeW - Student Mentoring Workshop

File Attached
14:00 - 15:30
Mentoring PodsICSE SMeW - Student Mentoring Workshop at Lopes Graça

Small mentoring pods led by many mentors based on different topics. Topics include (not limited to) Time Management & Work-life Balance, Mental Health, Research Career Path & Job Market, Communication & Presentation, Improving Visibility & Impact, Finding Suitable Advisors/Labs/Colloborators & Forming Relationships, International Students in a Foreign Country, Underrepresented Group, Small University and/or Department, etc.

14:00
90m
Meeting
Mentoring Pods
ICSE SMeW - Student Mentoring Workshop

16:00 - 17:30
Panel Discussion & ClosingICSE SMeW - Student Mentoring Workshop at Lopes Graça

Free-style AMA (Ask-Me-Anything) panel discussion. We will have one panelist seat open for anyone to join spontaneously when you have something to share about the topic under discussion. The topics will be driven by students. We will collect questions from students prior to the event and start with common questions.

16:00
90m
Panel Discussion & Closing
ICSE SMeW - Student Mentoring Workshop

Sat 20 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Opening & KeynotesIDE at Lopes Graça
Chair(s): Danny Dig University of Colorado Boulder, JetBrains Research
09:00
10m
Day opening
Welcoming Message by Organizers
IDE
Danny Dig University of Colorado Boulder, JetBrains Research, Timofey Bryksin JetBrains Research, Yaroslav Golubev JetBrains Research, Alexander Bezzubov JetBrains
09:10
40m
Keynote
IDEs at Google — Past, Present, Future
IDE
09:50
40m
Keynote
IDE Integration: A Case Study on Boosting Concurrency Testing
IDE
Nikita Koval JetBrains
11:00 - 12:30
Poster SessionIDE at Lopes Graça
Chair(s): Yaroslav Golubev JetBrains Research

The poster session takes place in three iterations by 8–9 papers. Some posters include small demos.

11:00
30m
Poster
Jasay: Towards Voice Commands in Projectional Editors
IDE
André L. Santos University Institute of Lisbon, Portugal, Alexandre Cancelinha ISCTE-IUL, Fernando Batista ISCTE-IUL
Pre-print
11:00
30m
Poster
Embedding-Based Search in JetBrains IDEs
IDE
Evgeny Abramov JetBrains, Nikolai Palchikov JetBrains
Pre-print
11:00
30m
Poster
On the Integration of Spectrum-Based Fault Localization Tools into IDEs
IDE
Attila Szatmári Szegedi Tudományegyetem, Qusay Idrees Sarhan Department of Software Engineering, University of Szeged, Péter Attila Soha Department of Software Engineering, University of Szeged, Gergő Balogh Department of Software Engineering, University of Szeged, Árpád Beszédes Department of Software Engineering, University of Szeged
Pre-print
11:00
30m
Poster
JetTrain: IDE-Native Machine Learning Experiments
IDE
Artem Trofimov JetBrains, Mikhail Kostyukov JetBrains, Sergei Ugdyzhekov JetBrains, Natalia Ponomareva JetBrains, Igor Naumov JetBrains, Maksim Melekhovets JetBrains
Pre-print
11:00
30m
Poster
Trigram-Based Persistent IDE indices with Quick Startup
IDE
Zakhar Iakovlev ITMO University, Nikita Golikov ITMO University, Alexey Chulkov ITMO University, Vyacheslav Lukianov Huawei RRI, Nikita Zinoviev Huawei RRI, Dmitry Ivanov Huawei, Vitaly Aksenov City, University of London
Pre-print
11:00
30m
Poster
Context Composing for Full Line Code Completion
IDE
Anton Semenkin JetBrains, Yaroslav Sokolov JetBrains, Evgeniia Vu JetBrains
Pre-print
11:00
30m
Poster
Understanding and Evaluating Developer Behaviour in Programming Tasks
IDE
Martin Schröer University of Bremen, Germany, Rainer Koschke University of Bremen
Pre-print
11:00
30m
Poster
"Don't Step on My Toes": Resolving Editing Conflicts in Real-Time Collaboration in Computational Notebooks
IDE
April Wang University of Michigan, Zihan Wu University of Michigan, Christopher Brooks University of Michigan, Steve Oney University of Michigan
Pre-print
11:30
30m
Poster
An IDE Plugin for Gamified Continuous Integration
IDE
Philipp Straubinger University of Passau, Gordon Fraser University of Passau
Pre-print
11:30
30m
Poster
IntelliGame in Action: An Experience Report on Gamifying JavaScript Unit Tests
IDE
Philipp Straubinger University of Passau, Tommaso Fulcini Politecnico di Torino, Gordon Fraser University of Passau, Marco Torchiano Politecnico di Torino
Pre-print
11:30
30m
Poster
Detecting Security-Relevant Methods using Multi-label Machine Learning
IDE
Oshando Johnson Fraunhofer IEM, Goran Piskachev Amazon Web Services, Ranjith Krishnamurthy Fraunhofer IEM, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
11:30
30m
Poster
HyLiMo: A Hybrid Live-Synchronized Modular Diagramming Editor as IDE Extension for Technical and Scientific Publications
IDE
Niklas Krieger Institute of Software Engineering, University of Stuttgart, Sandro Speth Institute of Software Engineering, University of Stuttgart, Steffen Becker University of Stuttgart
DOI Pre-print
11:30
30m
Poster
I3DE: An IDE for Inspecting Inconsistencies in PL/SQL Code
IDE
Jiangshan Liu , Shuang Liu Tianjin University, Junjie Chen Tianjin University
Pre-print
11:30
30m
Poster
Challenges of Processing Data Clumps within Plugin Architectures of Integrated Development Environment
IDE
Nils Baumgartner Institute of Computer Science, University of Osnabrueck, Elke Pulvermueller Institute of Computer Science, University of Osnabrueck
Pre-print
11:30
30m
Poster
In-IDE Human-AI Experience in the Era of Large Language Models; A Literature Review
IDE
Agnia Sergeyuk JetBrains Research, Sergey Titov JetBrains Reserach, Maliheh Izadi Delft University of Technology
Pre-print
11:30
30m
Poster
Gamified GUI Testing with Selenium in the IntelliJ IDE: A Prototype Plugin
IDE
Giacomo Garaccione Politecnico di Torino, Tommaso Fulcini Politecnico di Torino, Paolo Stefanut Bodnarescul Politecnico di Torino, Riccardo Coppola Politecnico di Torino, Luca Ardito Politecnico di Torino
Pre-print
11:30
30m
Poster
The Visual Debugger: Past, Present, and Future
IDE
Tim Kräuter Western Norway University of Applied Sciences, Patrick Stünkel Western Norway University of Applied Sciences, Adrian Rutle Western Norway University of Applied Sciences, Yngve Lamo Western Norway University of Applied Sciences
Pre-print
12:00
30m
Poster
Envisioning the Next-Generation AI Coding Assistants: Insights & Proposals
IDE
Khanh Nghiem FPT Software AI Center, Anh Minh Nguyen FPT Software AI Center, Nghi D. Q. Bui Fulbright University, Viet Nam
Pre-print
12:00
30m
Poster
Help Me to Understand This Commit! - A Vision for Contextualized Code Reviews
IDE
Michael Unterkalmsteiner Blekinge Institute of Technology, Deepika Badampudi Blekinge Institute of Technology, Ricardo Britto Ericsson / Blekinge Institute of Technology, Nauman Bin Ali Blekinge Institute of Technology
Pre-print
12:00
30m
Poster
IDEs in the Age of LLMs and XR
IDE
Jesus M. Gonzalez-Barahona Universidad Rey Juan Carlos
Pre-print
12:00
30m
Poster
Lessons from a Pioneering Software Engineering Environment: Design Principles of Software through Pictures
IDE
Anthony I. (Tony) Wasserman Software Methods and Tools
Pre-print
12:00
30m
Poster
Bridging Education and Development: IDEs as Interactive Learning Platforms
IDE
Anastasiia Birillo JetBrains Research, Maria Tigina JetBrains Research, Zarina Kurbatova JetBrains Research, Anna Potriasaeva JetBrains Research, Ilya Vlasov JetBrains Research, Valerii Ovchinnikov Constructor University, Igor Gerasimov JetBrains
Pre-print
12:00
30m
Poster
Hidden Gems in the Rough: Computational Notebooks as an Uncharted Oasis for IDEs
IDE
Sergey Titov JetBrains Reserach, Konstantin Grotov JetBrains Research, Constructor University, Ashwin Prasad Shivarpatna Venkatesh University of Paderborn
Pre-print
12:00
30m
Poster
A New Generation of Intelligent Development Environment
IDE
Mark Marron University of Kentucky
12:00
30m
Poster
Tool-augmented LLMs as a Universal Interface for IDEs
IDE
Yaroslav Zharov JetBrains Research, Yury Khudyakov JetBrains Research, Evgeniia Fedotova JetBrains Research, Evgeny Grigorenko JetBrains Research, Egor Bogomolov JetBrains Research
Pre-print
14:00 - 15:30
Tutorial & Round Table PanelsIDE at Lopes Graça
Chair(s): Timofey Bryksin JetBrains Research

Round Table Panels are intended as open discussions among all participants on topics of interest that we collected in a survey before the workshop. We will prepare a list of items for discussion, but we encourage you to share any thoughts.

14:00
30m
Tutorial
Developing IDE Plugins
IDE
Zarina Kurbatova JetBrains Research
14:30
30m
Panel
Packaging Research in Plugins: Lessons Learned & Open Challenges
IDE
Danny Dig University of Colorado Boulder, JetBrains Research
15:00
30m
Panel
What Researchers Need from the IDE and What the IDE Needs from Researchers
IDE
Danny Dig University of Colorado Boulder, JetBrains Research
16:00 - 17:30
Group Talks & ClosingIDE at Lopes Graça
Chair(s): Alexander Bezzubov JetBrains

We plan small group talks on more specific topics. We collected a preliminary list of topics from the survey and have some hosts to lead them, however, we encourage everyone to launch and lead their own groups.

16:00
80m
Other
Unconference / Group Discussions
IDE
17:20
10m
Day closing
Closing Word by Organizers
IDE
Danny Dig University of Colorado Boulder, JetBrains Research, Timofey Bryksin JetBrains Research, Yaroslav Golubev JetBrains Research, Alexander Bezzubov JetBrains

Mon 15 Apr

Displayed time zone: Lisbon change

Tue 16 Apr

Displayed time zone: Lisbon change

Sat 20 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Lopes Graça