MO2RE 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
VenueRogers Centre, Ottawa (formerly Shaw Centre)
Room name203
Floor2
Room number203
Capacity102
Room Information

See map. 203 entrance is on the second floor around the corner from the North end of the Rideau Canal Atrium, in the prefunction corridor (RCN) leading to the Rideau Centre entrance.

Program

This program is tentative and subject to change.

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

Sun 27 Apr

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Invited Speaker 1FormaliSE Research Track at 203
09:00
90m
Keynote
Assuring AI in Autonomous Driving: Challenges and Emerging Approaches
FormaliSE Research Track
K: Krzysztof Czarnecki University of Waterloo, Canada
11:00 - 12:30
Session 1 - Formal Methods and Autonomous Systems FormaliSE Research Track at 203
11:00
30m
Talk
CPS Falsification using Autoencoded Input Models
FormaliSE Research Track
Youssef Zahar University of Minnesota, Sanjai Rayadurgam University of Minnesota
11:30
30m
Talk
Modeling Language for Scenario Development of Autonomous Driving Systems
FormaliSE Research Track
Toshiaki Aoki JAIST, Takashi Tomita JAIST, Tatsuji Kawai Kochi University, Daisuke Kawakami Mitsubishi Electric Corporation, Nobuo Chida Mitsubishi Electric Corporation
12:00
30m
Talk
Robustness Verification of Video Classification Neural Networks
FormaliSE Research Track
Samuel Sasaki Vanderbilt University, Preston K. Robinette Vanderbilt University, Diego Manzanas Lopez Vanderbilt University, Taylor T Johnson Vanderbilt University
14:00 - 15:30
Session 2 – Theorem Proving and Probabilistic Model CheckingFormaliSE Research Track at 203
14:00
30m
Talk
The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs
FormaliSE Research Track
Chengsong Tan Imperial College London, Kaihong, Alastair F. Donaldson Imperial College London, Jonathan Julian Huerta y Munive Czech Technical University, John Wickerson Imperial College London
14:30
30m
Talk
A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B
FormaliSE Research Track
Christophe Chen INPT-ENSEEIHT/IRIT, Peter Rivière INPT-ENSEEIHT / IRIT, University of Toulouse, France, Neeraj Kumar Singh INPT-ENSEEIHT/IRIT, Guillaume Dupont INPT–ENSEEIHT, Yamine Ait Ameur IRIT/INPT-ENSEEIHT, Marc Frappier Université de Sherbrooke, Canada
15:00
30m
Talk
Probabilistic Model Checking of Disaster Resource Distribution Strategies
FormaliSE Research Track
Kenneth Johnson Auckland University of Technology, Meena Kumari Auckland University of Technology
16:00 - 17:30
Session 3 - Temporal Logic and ContractsFormaliSE Research Track at 203
16:00
30m
Talk
Specifying Distributed Hash Tables with Allen Temporal Logic
FormaliSE Research Track
Nuno Policarpo Instituto Superior Técnico, University of Lisbon, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Alcino Cunha University of Minho; INESC TEC, João Leitão NOVA LINCS & FCT, NOVA University of Lisbon, Pedro Ákos Costa NOVA LINCS & DI-FCT-UNL
16:30
30m
Talk
Temporal Logics Meet Real-World Software Requirements: A Reality Check
FormaliSE Research Track
Roman Bögli University of Bern, Atefeh Rohani University of Bern, Thomas Studer University of Bern, Christos Tsigkanos University of Athens, Greece, Timo Kehrer University of Bern
17:00
30m
Talk
Detecting Redundant Preconditions
FormaliSE Research Track
Nicola Thoben University of Oldenburg, Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Invited Speaker 2FormaliSE Research Track at 203
09:00
90m
Keynote
Adversarial Perturbations and Self-Defenses for Large Language Models on Coding Task
FormaliSE Research Track
K: Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
11:00 - 12:30
Session 4 – Generative AI and Fuzzy LogicFormaliSE Research Track at 203
11:00
30m
Talk
LLM-based Generation of Weakest Preconditions and Precise Array Invariants
FormaliSE Research Track
Daragh King Trinity College Dublin, Vasileios Koutavas Trinity College Dublin, Laura Kovács TU Wien
11:30
30m
Talk
VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
FormaliSE Research Track
Merlijn Sevenhuijsen Scania CV, AB & KTH Royal Institute of Technology, Khashayar Etemadi KTH Royal Institute of Technology, Mattias Nyberg Scania CV, AB & KTH Royal Institute of Technology
12:00
30m
Talk
Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment
FormaliSE Research Track
Vincenzo Grassi University of Roma "Tor Vergata", Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University
14:00 - 15:30
Session 5 - Formal Specification and Verification:FormaliSE Research Track at 203
14:00
30m
Talk
Refining Alloy-Based Mutation Operators to Reflect Common Mistakes
FormaliSE Research Track
Ana Jovanovic The University of Texas at Arlington, Mohammad Nurullah Patwary The University of Texas at Arlington, Allison Sullivan University of Texas at Arlington
14:30
30m
Talk
Verifying Multiple TLA+ Configurations with Blast
FormaliSE Research Track
Paul Somson INESC TEC, Alcino Cunha University of Minho; INESC TEC
15:00
30m
Talk
Typestates Specification and Verification in Frama-C
FormaliSE Research Track
Sébastien Patte Université Paris-Saclay, CEA, List, Virgile Prevosto Université Paris-Saclay, CEA, List

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

19:00 - 22:00
Cybersecurity Body of Knowledge BOFICSE Meetings and BOFs at 203

Wed 30 Apr

Displayed time zone: Eastern Time (US & Canada) change

12:30 - 14:00
FSE Steering Committee MeetingICSE Meetings and BOFs at 203

Thu 1 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
11:00
15m
Talk
A Large-Scale Study of Model Integration in ML-Enabled Software Systems
ICSE Research Track
Yorick Sens Ruhr University Bochum, Henriette Knopp Ruhr University Bochum, Sven Peldszus Ruhr University Bochum, Thorsten Berger Ruhr University Bochum
11:15
15m
Talk
Are LLMs Correctly Integrated into Software Systems?
ICSE Research Track
Yuchen Shao East China Normal University, Yuheng Huang the University of Tokyo, Jiawei Shen East China Normal University, Lei Ma The University of Tokyo & University of Alberta, Ting Su East China Normal University, Chengcheng Wan East China Normal University
11:30
15m
Talk
Patch Synthesis for Property Repair of Deep Neural Networks
ICSE Research Track
Zhiming Chi Institute of Software, Chinese Academy of Sciences, Jianan Ma Hangzhou Dianzi University, China; Zhejiang University, Hangzhou, China, Pengfei Yang Institute of Software at Chinese Academy of Sciences, China, Cheng-Chao Huang Nanjing Institute of Software Technology, ISCAS, Renjue Li Institute of Software at Chinese Academy of Sciences, China, Jingyi Wang Zhejiang University, Xiaowei Huang University of Liverpool, Lijun Zhang Institute of Software, Chinese Academy of Sciences
11:45
15m
Talk
Optimizing Experiment Configurations for LLM Applications Through Exploratory Analysis
ICSE New Ideas and Emerging Results (NIER)
Nimrod Busany Accenture Labs, Israel, Hananel Hadad Accenture Labs, Israel, Zofia Maszlanka Avanade, Poland, Rohit Shelke University of Ottawa, Canada, Gregory Price University of Ottawa, Canada, Okhaide Akhigbe University of Ottawa, Daniel Amyot University of Ottawa
12:00
15m
Talk
AI-Assisted SQL Authoring at Industry Scale
ICSE SE In Practice (SEIP)
Chandra Sekhar Maddila Meta Platforms, Inc., Negar Ghorbani Meta Platforms Inc., Kosay Jabre Meta Platforms, Inc., Vijayaraghavan Murali Meta Platforms Inc., Edwin Kim Meta Platforms, Inc., Parth Thakkar Meta Platforms, Inc., Nikolay Pavlovich Laptev Meta Platforms, Inc., Olivia Harman Meta Platforms, Inc., Diana Hsu Meta Platforms, Inc., Rui Abreu Meta, Peter C Rigby Meta / Concordia University
12:15
15m
Talk
Automating ML Model Development at Scale
ICSE SE In Practice (SEIP)
Kaiyuan Wang Google, Yang Li Google Inc, Junyang Shen Google Inc, Kaikai Sheng Google Inc, Yiwei You Google Inc, Jiaqi Zhang Google Inc, Srikar Ayyalasomayajula Google Inc, Julian Grady Google Inc, Martin Wicke Google Inc
12:30 - 14:00
ICSE 2026 Organizing Committee MeetingICSE Meetings and BOFs at 203

Fri 2 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
11:00
90m
Talk
Technical Briefing 4: Architecting Digital Twin-Based SystemsDesign/ArchDigital twins
ICSE Tutorials and Technical Briefings

14:00 - 15:30
14:00
15m
Talk
Closing the Gap between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA
ICSE Demonstrations
Trey Woodlief University of Virginia, Felipe Toledo , Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia
14:15
15m
Talk
LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
ICSE Demonstrations
Kevin Kolyakov University of Toronto, Lina Marsso École Polytechnique de Montréal, Nick Feng University of Toronto, Junwei Quan University of Toronto, Marsha Chechik University of Toronto
14:30
15m
Talk
MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
ICSE Journal-first Papers
Jon Ayerdi Mondragon University, Asier Iriarte Mondragon University, Pablo Valle Mondragon University, Ibai Roman Mondragon University, Miren Illarramendi Mondragon University, Aitor Arrieta Mondragon University
14:45
15m
Talk
Automatically Generating Content for Testing Autonomous Vehicles from User Descriptions
ICSE New Ideas and Emerging Results (NIER)
Benedikt Steininger IMC FH Krems, Chrysanthi Papamichail BeamNG GmbH, David Stark BeamNG GmbH, Dejan Nickovic Austrian Institute of Technology, Alessio Gambi Austrian Institute of Technology (AIT)
15:00
15m
Talk
BSODiag: A Global Diagnosis Framework for Batch Servers Outage in Large-scale Cloud Infrastructure Systems
ICSE SE In Practice (SEIP)
Tao Duan Xi'an Jiaotong University, Runqing Chen Alibaba, Pinghui Wang Xi'an Jiaotong University, Junzhou Zhao Xi'an Jiaotong University, Jiongzhou Liu Alibaba, Shujie Han Northwestern Polytechnical University, Yi Liu Alibaba, Fan Xu Alibaba
15:15
15m
Talk
On Large Language Models in Mission-Critical IT Governance: Are We Ready Yet?
ICSE SE In Practice (SEIP)
Matteo Esposito University of Oulu, Francesco Palagiano Multitel di Lerede Alessandro & C. s.a.s., Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu
DOI Pre-print
16:00 - 17:30
16:00
15m
Talk
Full Line Code Completion: Bringing AI to Desktop
ICSE SE In Practice (SEIP)
Anton Semenkin JetBrains, Vitaliy Bibaev JetBrains, Yaroslav Sokolov JetBrains, Kirill Krylov JetBrains, Alexey Kalina JetBrains, Anna Khannanova JetBrains, Danila Savenkov JetBrains, Darya Rovdo JetBrains, Igor Davidenko JetBrains, Kirill Karnaukhov JetBrains, Maxim Vakhrushev JetBrains, Mikhail Kostyukov JetBrains, Mikhail Podvitskii JetBrains, Petr Surkov JetBrains, Yaroslav Golubev JetBrains Research, Nikita Povarov JetBrains, Timofey Bryksin JetBrains Research
Pre-print
16:15
15m
Talk
Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps
ICSE Research Track
Forough Mehralian University of California at Irvine, Ziyao He University of California, Irvine, Sam Malek University of California at Irvine
16:30
15m
Talk
Qualitative Surveys in Software Engineering Research: Definition, Critical Review, and Guidelines
ICSE Journal-first Papers
Jorge Melegati Free University of Bozen-Bolzano, Kieran Conboy University of Galway, Daniel Graziotin University of Hohenheim
16:45
15m
Talk
VulNet: Towards improving vulnerability management in the Maven ecosystem
ICSE Journal-first Papers
Zeyang Ma Concordia University, Shouvick Mondal IIT Gandhinagar, Tse-Hsun (Peter) Chen Concordia University, Haoxiang Zhang Centre for Software Excellence at Huawei Canada, Ahmed E. Hassan Queen’s University, Zeyang Ma Concordia University
17:00
15m
Talk
Energy-Aware Software Testing
ICSE New Ideas and Emerging Results (NIER)
Roberto Verdecchia University of Florence, Emilio Cruciani University of Salzburg, Antonia Bertolino National Research Council, Italy, Breno Miranda Centro de Informática at Universidade Federal de Pernambuco
Pre-print
17:15
7m
Talk
SusDevOps: Promoting Sustainability to a First Principle in Software Delivery
ICSE New Ideas and Emerging Results (NIER)
Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
203

Sat 3 May

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
203

Fri 2 May

Displayed time zone: Eastern Time (US & Canada) change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
203

:
: