CINXE.COM

<!DOCTYPE html> <html> <head> <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <link href="https://2025.formalise.org/favicon.ico?28d37e6d7e5e12d24c39bdba0f4f3cfd" rel="shortcut icon" type="image/x-icon" /> <link href="https://2025.formalise.org/stylesheets/common_.css?d7bcca3579a066193caf560ede9d6399" rel="stylesheet" type="text/css" /> <title>FormaliSE 2025 - Artifact Track - FormaliSE 2025</title> <script type="text/javascript">var show_webdsl_debug=false;</script> <script type="text/javascript">var contextpath="https://2025.formalise.org";</script> <link rel="stylesheet" href="https://2025.formalise.org/stylesheets/bootstrap/css/bootstrap.min.css?7f89537eaf606bff49f5cc1a7c24dbca" type="text/css" /><link rel="stylesheet" href="https://2025.formalise.org/stylesheets/conf.css?d8ff81ab1f2387936557f525e4e8eb20" type="text/css" /><link rel="stylesheet" href="https://2025.formalise.org/stylesheets/logobar.css?d68c282160782c2b5f5bfb8ceb47a30e" type="text/css" /><link rel="stylesheet" href="https://2025.formalise.org/stylesheets/theme.bootstrap_3.min.css?6867e70881e6ed2c03b6c9cf9c3152e0" type="text/css" /><script type="text/javascript" src="//code.jquery.com/jquery-3.5.1.min.js"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/jquery.tablesorter.combined.min.js?285b21976326641f8f1b910492e6d5d0"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/jquery.tablesorter.pager.min.js?4551cdfea66f45a11ae5548f3d50a06f"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/tablesorter-init.js?ee6babedf1a6be960e4543a1bb57b421"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/bootstrap/js/bootstrap.min.js?2f34b630ffe30ba2ff2b91e3f3c322a1"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/notify.min.js?e86d399917a84b69a4683f504c7a7813"></script> <script type="text/javascript" src="https://2025.formalise.org/javascript/ajax.js?2dbd1cc4f8f2d52ae9c879d7346f4f8a"></script> <meta name='description' content=' CALL FOR ARTIFACT The reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, FormaliSE 2025 continues its Artifact Evaluation (AE) procedure. A main goal of the artifact evaluation is to enable future researchers to more effectively build on and compare with previous work. An artifact is any additional material (software, data sets, machine-checkable proofs, etc.) that substantiates the claims made in the paper and ideally makes them fully reproducible. Submission of an artifact ...'> <script type="text/javascript">var ignoreHashChange = false; function hashChangeFunc(){ // show active tab on hash in url if (window.location.hash !== ''){ var hashTargetAll = $('a[href="' + window.location.hash + '"]'); if(hashTargetAll.length){ var hashTarget = hashTargetAll.filter('[data-toggle="tab"]') if( hashTarget.length ){ hashTarget = hashTarget.first(); hashTarget.tab('show'); } else { hashTarget = hashTargetAll.first(); } // and open parent tabs in case the target element is nested in a tab var parentPane = hashTarget.closest( '.tab-pane' ); if(parentPane.length){ $('.nav a[href="#'+ parentPane.attr('id') +'"]').tab('show'); } var parentCollapse = hashTarget.closest( '.panel-collapse:not(.in)' ).collapse('show'); } } return false; } $(document).ready(function(){ var tabFromRequestUrl = window.location.hash !== '' ? $('a[href="' + window.location.hash + '"][data-toggle="tab"]') : []; var initUrlHash = window.location.hash; hashChangeFunc() if( tabFromRequestUrl.length ){ //Prevent the browser to auto-scroll to the anchor of the tab window.location.hash = ""; } //make in-page #links open the tabs if ($._data( $(window)[0], 'events' ).hashchange == undefined){ $(window).on('hashchange', hashChangeFunc); } if(tabFromRequestUrl.length){ setTimeout( function(){ ignoreHashChange = true; history.replaceState(null, null, initUrlHash); ignoreHashChange = false; }, 10 ); } }); var autoTabFunction = function(node){ var isActivatingFirstTab = false; // remember the hash in the URL without jumping $('a[data-toggle="tab"]:not(.no-hash):not(.bound)').addClass('bound').on('shown.bs.tab', function(e){ if(!isActivatingFirstTab){ var newhash = '#' + $(e.target).attr('href').substr(1); if(history.replaceState){ history.replaceState(null, null, newhash); } else{ location.hash = newhash; } } }); //When no tab is active, set the first one to active $(node).find('.nav-tabs:not(.bound), .nav-pills:not(.bound)').addClass('bound').each(function(){ if( $(this).children().length > 0 && 1 > $(this).find('.active').length){ const firstItem = $(this).find('a[data-toggle="tab"]').first(); isActivatingFirstTab = true; firstItem.tab('show'); isActivatingFirstTab = false; } }); } </script> <meta prefix='og: http://ogp.me/ns#' property='og:title' content='FormaliSE 2025 - Artifact Track - FormaliSE 2025'> <script async src="https://www.googletagmanager.com/gtag/js?id=G-4G0QWEKVQS"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments);}gtag('js', new Date());gtag('config', 'G-4G0QWEKVQS', {'cookie_domain': 'auto', 'anonymizeIp': true });gtag('config', 'UA-9607501-2', {'cookie_domain': 'auto', 'anonymizeIp': true });</script> <meta prefix='og: http://ogp.me/ns#' property='og:image' content='https://2025.formalise.org/getImage/carousel/?1721681674000'> <meta prefix='og: http://ogp.me/ns#' property='og:description' content=' CALL FOR ARTIFACT The reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, FormaliSE 2025 continues its Artifact Evaluation (AE) procedure. A main goal of the artifact evaluation is to enable future researchers to more effectively build on and compare with previous work. An artifact is any additional material (software, data sets, machine-checkable proofs, etc.) that substantiates the claims made in the paper and ideally makes them fully reproducible. Submission of an artifact ...'> <script type="text/javascript">function addEventModalLoadOnClick( containerNode ){ $(containerNode).find( "a[data-event-modal]" ).on("click", function(e){ var eventId = $(this).data("event-modal"); var modalElem = $("#modal-" + eventId); if(modalElem.length){ modalElem.modal({ backdrop: 'static', keyboard: true}, 'show'); } else { var loaderElem = $("#event-modal-loader"); loaderElem.find("input.event-id-input").val( eventId ); loaderElem.find("#load-modal-action").click(); } e.preventDefault(); } ); } </script><script type="text/javascript">function addStarredEventOnClick( containerNode ){ $(containerNode).find( "[data-event-star]" ).on("click", function(e){ var eventId = $(this).data("event-star"); var starEventFormElem = $("#event-star-form"); starEventFormElem.find("input.event-id-input").val( eventId ); starEventFormElem.find("#star-event-action").click(); e.preventDefault(); e.stopPropagation(); } ); } </script><script type="text/javascript">function pauseOnCloseModal( modalid ){ //pauses video (only youtube at the moment) when closing modal $('#' + modalid).on('hidden.bs.modal', function () { $(this).find('.embed-container iframe[src*=enablejsapi]').each( function(){ this.contentWindow.postMessage('{"event":"command","func":"pauseVideo","args":""}', '*') } ); } ) } </script> </head> <body id="track"><div class="frame"><div class="logobar"><div class="container"><a href="https://2025.formalise.org" class="navbar-brand navigate"><span class="brand-text">FormaliSE 2025</span></a><div class="place">Sun 27 - Mon 28 April 2025 <a href="https://2025.formalise.org/venue/icse-2025-venue" class="navigate">Ottawa, Ontario, Canada</a></div><div class="place2">co-located with <a href="https://conf.researchr.org/home/icse-2025" class="navigate">ICSE 2025</a></div></div></div><div class="navbar navbar-default"><div class="container"><div class="navbar-header"><button type="button" data-toggle="collapse" data-target="#navigationbar" class="navbar-toggle"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button></div><div id="navigationbar" class="navigationbar collapse navbar-collapse"><ul class="block nav navbar-nav"><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Attending <span class="caret"></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.formalise.org/venue/icse-2025-venue" class="navigate">Venue: Rogers Centre, Ottawa (formerly Shaw Centre)</a></li><li class="block dropdown-header">ICSE 2025</li><li class="block"><a href="https://2025.formalise.org/attending/registration" class="indent navigate">Registration</a></li><li class="block"><a href="https://2025.formalise.org/attending/Hotels" class="indent navigate">Hotels</a></li><li class="block"><a href="https://2025.formalise.org/attending/visa-and-travel-authorization" class="indent navigate">Visa and Travel Authorization</a></li><li class="block"><a href="https://2025.formalise.org/attending/Travelling" class="indent navigate">Travelling to Ottawa</a></li><li class="block"><a href="https://2025.formalise.org/attending/travel-support" class="indent navigate">Travel Support</a></li><li class="block"><a href="https://2025.formalise.org/attending/gettingAroundOttawa" class="indent navigate">Getting Around Ottawa</a></li><li class="block"><a href="https://2025.formalise.org/attending/food" class="indent navigate">Food at ICSE2025</a></li><li class="block"><a href="https://2025.formalise.org/attending/social-media" class="indent navigate">Social media</a></li><li class="block"><a href="https://2025.formalise.org/attending/fun+activities" class="indent navigate">Fun Activities</a></li><li class="block"><a href="https://2025.formalise.org/attending/Code+of+Conduct" class="indent navigate">Code of Conduct</a></li><li class="block"><a href="https://2025.formalise.org/attending/Diversity+and+Inclusion+Plan" class="indent navigate">Equity, Diversity, and Inclusion Plan</a></li><li class="block"><a href="https://2025.formalise.org/attending/Sustainability" class="indent navigate">Sustainability</a></li></ul></li><li id="tracks-in-navbar" class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Tracks <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">FormaliSE 2025</li><li class="block"><a href="https://2025.formalise.org" class="navigate">Research Track</a></li><li class="block"><a href="https://2025.formalise.org/track/Formalise-2025-artifact-track" class="navigate">Artifact Track</a></li></ul></div></div></ul></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle">Organization <span class="caret"></span></a><ul class="block dropdown-menu multi-column columns-1"><div class="row"><div class="col-sm-12"><ul class="block multi-column-dropdown"><li class="block dropdown-header">FormaliSE 2025 Committees</li><li class="block dropdown-header">Track Committees </li><li class="block"><a href="https://2025.formalise.org/committee/Formalise-2025-papers-organization-committee" class="navigate"><strong>Research Track</strong> <small>Organization Committee</small></a></li><li class="block"><a href="https://2025.formalise.org/committee/Formalise-2025-papers-program-committee" class="navigate"><strong>Research Track</strong> <small>Program Committee</small></a></li><li class="block"><a href="https://2025.formalise.org/committee/Formalise-2025-artifact-track-artifact-evaluation-committee" class="navigate"><strong>Artifact Track</strong></a></li><li class="block dropdown-header">Contributors</li><li class="block"><a href="https://2025.formalise.org/people-index" class="navigate"><span class="glyphicon glyphicon-search"></span><sup><span class="glyphicon glyphicon-user"></span></sup> People Index</a></li></ul></div></div></ul></li><li class="block"><a href="https://2025.formalise.org/search//all" class="navigate"><span class="glyphicon glyphicon-search"></span><span class="hidden-sm"> Search</span></a></li><li class="dropdown"><a href="#" data-toggle="dropdown" class="dropdown-toggle"><span class="hidden-sm">Series <span class="caret"></span></span><span title="Series" class="visible-sm"><span class="glyphicon glyphicon-repeat"></span> <span class="caret"></span></span></a><ul class="block dropdown-menu"><li class="block"><a href="https://2025.formalise.org/series/Formalise" class="navigate"><span class="glyphicon glyphicon-home"></span> Series</a></li><li class="block divider"></li><li class="block"><span class="text-muted" style="margin-left: 2px;"><span class="glyphicon glyphicon-hand-right"></span> FormaliSE 2025</span></li><li class="block"><a href="https://conf.researchr.org/home/Formalise-2024" class="navigate">FormaliSE 2024</a></li><li class="block"><a href="https://conf.researchr.org/home/Formalise-2023" class="navigate">FormaliSE 2023</a></li><li class="block"><a href="https://conf.researchr.org/home/icse-2022/Formalise-2022" class="navigate">FormaliSE 2022</a></li><li class="block"><a href="https://conf.researchr.org/home/Formalise-2021" class="navigate">FormaliSE 2021</a></li><li class="block"><a href="https://2020.icse-conferences.org/home/Formalise-2020" class="navigate">FormaliSE 2020</a></li><li class="block"><a href="https://2019.icse-conferences.org/track/Formalise-2019-papers" class="navigate">FormaliSE 2019</a></li><li class="block"><a href="https://conf.researchr.org/track/icse-2018/Formalise-2018-papers" class="navigate">FormaliSE 2018</a></li></ul></li></ul><div class="navbar-right"><ul class="block nav navbar-nav"><li class="block"><a href="https://conf.researchr.org/signin/Formalise-2025/https%3A%5Es%5Es2025.formalise.org%5Estrack%5EsFormalise-2025-artifact-track" rel="nofollow" class="navigate">Sign in</a></li><li class="block"><a href="https://2025.formalise.org/signup" class="navigate">Sign up</a></li></ul></div></div></div></div><div id="content" class="container"><div class="page-header"><span class="text-muted small"><span class="glyphicon glyphicon-home"></span> <a href="https://conf.researchr.org/home/icse-2025" class="navigate">ICSE 2025</a> (<a href="https://2025.formalise.org/series/icse" class="navigate">series</a>) / </span><span class="text-muted small">FormaliSE 2025 (<a href="https://2025.formalise.org/series/Formalise" class="navigate">series</a>) / </span><h1>Artifact Track<span class="pull-right small h1">FormaliSE 2025</span></h1></div><div class="row"><div class="col-sm-8"><ul id="tab" class="nav nav-pills"><li><a href="#About" data-toggle="tab">About</a></li></ul><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; autoTabFunction(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><div class="tab-content"><div id="About" class="tab-pane "> <h3> <strong> CALL FOR ARTIFACT </strong> </h3> <p> The reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, FormaliSE 2025 continues its Artifact Evaluation (AE) procedure. A main goal of the artifact evaluation is to enable future researchers to more effectively build on and compare with previous work. </p> <p> An artifact is any additional material (software, data sets, machine-checkable proofs, etc.) that substantiates the claims made in the paper and ideally makes them fully reproducible. Submission of an artifact is optional but encouraged for all papers where it can support the results presented in the paper. </p> <p> Artifact review is single-blind (the paper corresponding to an artifact must still follow the double-blind submissions requirements) and will be conducted concurrently with the paper reviewing process. Artifacts will be reviewed by a separate Artifact Evaluation Committee. We will be attributing 3 badges, according to <a href="https://eapls.org/pages/artifact_badges/"> EAPLS guidelines</a>: </p> <ol type="1"> <li>Artifact <strong>functional</strong>: documented, consistent, complete, exercisable;</li> <li>Artifact <strong>reusable</strong>: exceeding functional, by being carefully documented and well-structured for reuse and repurposing, see below for details;</li> <li>Artifact <strong>available</strong>: available on a publicly accessible archival repository for permanent availability that provides a Digital Object Identifier (DOI).</li> </ol> <p> Artifacts will be assessed with respect to their consistency with the results presented in the paper, their completeness, their documentation, and their ease of use. </p> <p> The AE will include an initial check for technical issues. Authors of artifacts will interact with the reviewers from <strong>2 December 2024 to 22 December 2024</strong>, to help resolve any technical problems that prevent the evaluation of an artifact, if necessary. </p> <h3><strong>ARTIFACT SUBMISSION GUIDELINES</strong></h3> <p> Submissions must be made via <a href="https://formalise25.hotcrp.com/">the dedicated HotCRP website</a>.  </p> <p> When the paper is submitted, authors should indicate that they plan to submit an artifact by registering via the submission site. </p> <p></p> A final artifact submission should consist of <p></p> <ul> <li> an <strong>abstract</strong>: that summarizes the artifact and explains its relation to the paper including: <ul> <li>a URL from which a <strong>.zip</strong> file containing the artifact can be downloaded – we encourage you to provide a DOI – and</li> <li>if applicable, a description of any special requirements beyond a VM image (e.g., cloud-computing resources, certain hardware, etc.), and,</li> <li>if you are aiming for a reusable badge, an explanation why you believe your artifact is reusable, and</li> <li>detailed specific instructions for an early light review that allows reviewers to: (1) verify that the artifact can properly run; and (2) perform a short evaluation of the artifact before the full evaluation and detect any difficulties, and</li> </ul> </li> <li>a <strong>.pdf</strong>: file of the submitted paper.</li> </ul> <h4><strong>Packaging Guidelines</strong></h4> <p> Your artifact .zip file must contain the following elements. </p> <ul> <li>The <strong>artifact</strong>, i.e., data, software, libraries, scripts, etc. required to replicate the results of your paper. Please prepare a Virtual Machine. You could use VirtualBox to save a VM image as an OVA file.</li> <li>A <strong>LICENSE</strong> file. The license needs to allow the artifact evaluation chairs to download and distribute the artifact to the artifact evaluation committee members and the artifact evaluation committee members must be allowed to evaluate the artifact, e.g., use, execute, and modify the artifact for the purpose of artifact evaluation.</li> <li>A <strong>README</strong> text file that introduces the artifact to the user and guides the user through replication of your results. Ideally, it should consist of the following parts: <ul> <li>Any additional requirements for running the artifact, such as hardware requirements or additional proprietary software;</li> <li>The expected total runtime to run the experiments;</li> <li>Detailed and specific reproducibility instructions to setup and use the artifact to replicate the results in the paper; including an explanation which claims and results cannot be replicated and why.</li> </ul> </li> </ul> <p> If you are not in a position to prepare the artifact as above, please contact PC chairs for an alternative arrangement. For instance, if you cannot provide us with a VM that contains licensed software, e.g., MatLab, please contact us, so we can find a solution. </p> <p> Members of the artifact evaluation committee and the program committee are asked to use submitted artifacts for the sole purpose of evaluating the contribution associated with the artifact. </p> <h4><strong>Evaluation Criteria</strong></h4> <p> All artifacts are evaluated by the artifact evaluation committee. Each artifact will be reviewed by multiple committee members. Reviewers will read the paper and explore the artifact to evaluate how well the artifact supports the claims and results of the paper. </p> <h4><strong>Criteria for the “functional” badge</strong></h4> <p> The evaluation and the awarding of the functional badge is based on the following questions: </p> <ul> <li>Is the artifact <strong>documented</strong>, i.e., at minimum, an inventory of artifacts is included, and sufficient description to enable the artifacts to be exercised is included.</li> <li>Is the artifact <strong>consistent</strong>, i.e., relevant to the associated paper, significantly contributing to the generation of its main results?</li> <li>Is the artifact <strong>complete</strong>, i.e., rand as far as possible, are all components relevant to the associated paper included?</li> <li>Is the artifact <strong>runnable</strong>, i.e., can the software/scripts that generates the results in the associated paper be executed successfully, and can included data be accessed and appropriately manipulated?</li> </ul> <h4><strong>Criteria for the “available” badge</strong></h4> <p> To get the available badge, please upload your VM to a permanent repository that provides a DOI, such as Zenodo, figshare, or Dryad, and use this DOI link in your artifact submission... </p> <strong></strong><h4><strong>Additional criteria for the “reusable” badge</strong></h4> <p> Artifacts seeking the “reusable” badge need to clear a significantly higher bar than functional artifacts. First, they must be available, i.e., receive an “available” badge. Second, we expect a higher level of quality during the evaluation of the functional level. Third, in addition to the criteria from the functional level, they are evaluated against the following criteria: </p> <ul> <li>Does the artifact have a license which allows reuse, repurposing, and which is easy to use?</li> <li>Are all dependencies and used libraries well documented and up to date?</li> <li>Does the artifact README explain in sufficient detail how the artifact can be used beyond the paper?</li> <li>Does the artifact provide documented interfaces for extensions, or is the artifact open source?</li> <li>Can the artifact be used in a different environment, e.g., built on another system, used outside of the VM image, etc.?</li> </ul> <strong></strong><h4><strong>Artifact Evaluation Chairs</strong></h4> <p> For any questions please contact the two artifact evaluation chairs: </p> <ul> <li>Akos Hajdu (akoshajdu@meta.com)</li> <li>Lina Marsso (lina.marsso@utoronto.ca)</li> </ul> </div></div></div><div class="col-sm-4 sidebar"><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title">Important Dates<span class="pull-right"><small><span class="glyphicon glyphicon-globe"></span><span class="glyphicon glyphicon-time"></span> AoE (UTC-12h)</small></span></div></div><table class="table table-hover important-dates-in-sidebar"><tr href="https://2025.formalise.org/track/Formalise-2025-artifact-track" class="clickable-row past"><td>Fri 24 Jan 2025<br/>Artifact Notification</td></tr><tr href="https://2025.formalise.org/track/Formalise-2025-artifact-track" class="clickable-row past"><td>Fri 6 - Sun 22 Dec 2024<br/>Address technical problems (light review)</td></tr><tr href="https://2025.formalise.org/track/Formalise-2025-artifact-track" class="clickable-row past"><td>Thu 5 Dec 2024<br/>Artifact Registration</td></tr><tr href="https://2025.formalise.org/track/Formalise-2025-artifact-track" class="clickable-row past"><td>Thu 5 Dec 2024<br/>Artifact Submission</td></tr></table></div><div class="panel panel-primary"><div class="panel-heading clearfix"><div class="panel-title"><a href="https://2025.formalise.org/committee/Formalise-2025-artifact-track-artifact-evaluation-committee" class="navigate">Artifact Evaluation Committee</a></div></div><ul class="list-group"><li class="list-group-item"><a href="https://2025.formalise.org/profile/akoshajdu1" class="navigate"><div class="media"><span class="pull-left"><img alt="Ákos Hajdu" src="https://2025.formalise.org/getProfileImage/akoshajdu1/bd3074b9-d657-4ce3-9b66-8a127b29364c/micro-avatar.jpg?1727169048000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ákos Hajdu<span class="pull-right"><small>Artifact Evaluation Co-Chair</small></span></h5><h5 class="media-heading"><span class="text-black">Meta</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/linamarsso" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.formalise.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Lina Marsso<span class="pull-right"><small>Artifact Evaluation Co-Chair</small></span></h5><h5 class="media-heading"><span class="text-black">University of Toronto</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/marceloarroyo" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.formalise.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Marcelo Arroyo<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/leventebajczi" class="navigate"><div class="media"><span class="pull-left"><img alt="Levente Bajczi" src="https://2025.formalise.org/getProfileImage/leventebajczi/43c0f833-cece-4ca3-9c6a-a0b4300f0a92/micro-avatar.jpg?1711556825000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Levente Bajczi<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Budapest University of Technology and Economics</span></h5><h5 class="media-heading"><small>Hungary</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/gustavocarvalho" class="navigate"><div class="media"><span class="pull-left"><img alt="Gustavo Carvalho" src="https://2025.formalise.org/getProfileImage/gustavocarvalho/6634702c-484f-413a-9eae-5326b3cf3969/micro-avatar.jpg?1711556618000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Gustavo Carvalho<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Universidade Federal de Pernambuco</span></h5><h5 class="media-heading"><small>Brazil</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/ruotongcheng" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.formalise.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Ruotong Cheng<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Toronto</span></h5><h5 class="media-heading"><small>Canada</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/xiaocheng4" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.formalise.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Xiao Cheng<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">UNSW</span></h5><h5 class="media-heading"><small>Australia</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/sungwoochoi1" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.formalise.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Sung Woo Choi<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black"></span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/christophegarion" class="navigate"><div class="media"><span class="pull-left"><img alt="Christophe Garion" src="https://2025.formalise.org/getProfileImage/christophegarion/a718840b-a0d5-4255-a520-2aedd3f03cc8/micro-avatar.jpg?1711501140000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Christophe Garion<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">ISAE-SUPAERO</span></h5><h5 class="media-heading"><small>France</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/jaehunlee" class="navigate"><div class="media"><span class="pull-left"><img alt="JaehunLee " src="https://2025.formalise.org/getProfileImage/jaehunlee/a123120e-2d98-4f3f-9f34-da1d950f7fdb/micro-avatar.jpg?1730301266000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">JaehunLee <span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Pohang University of Science and Technology</span></h5><h5 class="media-heading"><small>South Korea</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/andreaskatis" class="navigate"><div class="media"><span class="pull-left"><img alt="Andreas Katis" src="https://2025.formalise.org/getProfileImage/andreaskatis/6786dcff-1e21-4d2d-ac9b-4c21c5fda17a/micro-avatar.jpg?1711519579000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Andreas Katis<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">KBR / NASA Ames Research Center</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/claudiomandrioli" class="navigate"><div class="media"><span class="pull-left"><img alt="Claudio Mandrioli" src="https://2025.formalise.org/getProfileImage/claudiomandrioli/7c5ec877-0edf-4784-8f40-9106bf9b7d99/micro-avatar.jpg?1730278794000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Claudio Mandrioli<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Luxembourg</span></h5><h5 class="media-heading"><small>Luxembourg</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/pedroribeiro" class="navigate"><div class="media"><span class="pull-left"><img alt="Pedro Ribeiro" src="https://2025.formalise.org/getProfileImage/pedroribeiro/88a213fc-2f36-43a0-a53c-72445a276786/micro-avatar.jpg?1717514291000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Pedro Ribeiro<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of York, UK</span></h5><h5 class="media-heading"><small>United Kingdom</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/nicolathoben" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.formalise.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Nicola Thoben<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">University of Oldenburg</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/pingshiyu" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.formalise.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Pingshi Yu<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Imperial College London</span></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/benjaminvonberg" class="navigate"><div class="media"><span class="pull-left"><img alt="micro-avatar" src="https://2025.formalise.org/getDefaultImage/micro-avatar?1403689231000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Benjamin von Berg<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Graz University of Technology</span></h5><h5 class="media-heading"><small>Austria</small></h5></div></div></a></li><li class="list-group-item"><a href="https://2025.formalise.org/profile/zsofiaadam" class="navigate"><div class="media"><span class="pull-left"><img alt="Zsófia Ádám" src="https://2025.formalise.org/getProfileImage/zsofiaadam/13009369-fa8f-412d-9cab-fe8e39bb7fcd/micro-avatar.jpg?1730713494000" class="outputimage media-object thumbnail no-bottom-margin"/></span><div class="media-body"><h5 class="media-heading">Zsófia Ádám<span class="pull-right"><small>Committee Member</small></span></h5><h5 class="media-heading"><span class="text-black">Budapest University of Technology and Economics</span></h5><h5 class="media-heading"><small>Hungary</small></h5></div></div></a></li></ul></div></div></div><div id="messages-placeholder" class="alert alert-warning" style="display:none;"><a data-dismiss="alert" class="close">x</a><em>Mon 17 Feb 16:52</em></div></div><div id="notifications-ph" class="webdsl-placeholder"></div><div id="event-modal-loader" class="webdsl-placeholder"><form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://2025.formalise.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1" /><input type="hidden" name="context" value="Formalise-2025" /><input name="ae03f7f6f951d515a297b161e922205d" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2025.formalise.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"Formalise-2025"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;'></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a></form></div><div id="event-star-form" class="webdsl-placeholder"><form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://2025.formalise.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1" /><input type="hidden" name="context" value="Formalise-2025" /><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value="" class="inputString form-control event-id-input"/><button style="position: absolute; left: -9999px; width: 1px; height: 1px;" onclick='javascript:serverInvoke("https://2025.formalise.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"Formalise-2025"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;'></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a></form></div><div id="event-modals" class="webdsl-placeholder"></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; addEventModalLoadOnClick(node); addStarredEventOnClick(node); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><footer class="footer"><div class="container"><div class="footer-box"><div class="row"><div class="col-sm-3"><h3><a href="https://2025.formalise.org" class="navigate"><span class="glyphicon glyphicon-home"></span> FormaliSE 2025</a></h3><hr/>using <a href="https://conf.researchr.org" class="navigate">conf.researchr.org</a> (<a href="http://yellowgrass.org/roadmap/conf.researchr.org" class="navigate">v1.69.0</a>)<br/><small><a href="https://2025.formalise.org/support" target="_blank" class="navigate"><span class="glyphicon glyphicon-question-sign"></span> Support page</a></small><br/><small></small></div><div class="col-sm-5"><div class="row"><div class="col-sm-6"><h4>Tracks</h4><a href="https://2025.formalise.org" class="navigate">Research Track</a><br/><a href="https://2025.formalise.org/track/Formalise-2025-artifact-track" class="navigate">Artifact Track</a></div><div class="col-sm-6"></div></div></div><div class="col-sm-2"><h4>Attending</h4><a href="https://2025.formalise.org/venue/icse-2025-venue" class="navigate">Venue: Rogers Centre, Ottawa (formerly Shaw Centre)</a><br><a href="https://2025.formalise.org/attending/registration" class="navigate">Registration</a><br><a href="https://2025.formalise.org/attending/Hotels" class="navigate">Hotels</a><br><a href="https://2025.formalise.org/attending/visa-and-travel-authorization" class="navigate">Visa and Travel Authorization Information for ICSE 2025 and its Co-Located Events</a><br><a href="https://2025.formalise.org/attending/Travelling" class="navigate">Travelling to Ottawa</a><br><a href="https://2025.formalise.org/attending/travel-support" class="navigate">Travel Support</a><br><a href="https://2025.formalise.org/attending/gettingAroundOttawa" class="navigate">Getting Around Ottawa</a><br><a href="https://2025.formalise.org/attending/food" class="navigate">Food at ICSE2025</a><br><a href="https://2025.formalise.org/attending/social-media" class="navigate">Social media</a><br><a href="https://2025.formalise.org/attending/fun+activities" class="navigate">Fun Activities</a><br><a href="https://2025.formalise.org/attending/Code+of+Conduct" class="navigate">Code of Conduct for ICSE 2025 and its Co-Located Events</a><br><a href="https://2025.formalise.org/attending/Diversity+and+Inclusion+Plan" class="navigate">Equity, Diversity, and Inclusion Plan for ICSE 2025</a><br><a href="https://2025.formalise.org/attending/Sustainability" class="navigate">Sustainability</a></div><div class="col-sm-2"><a href="https://2025.formalise.org/signup" class="navigate">Sign Up</a></div></div></div></div></footer></div><script type="text/javascript">(function(){ var post_process_function = function(n){ var node=(n&&n.nodeType === 1)?n:document; let defaultplacement = $(document).scrollLeft() > 100 ? 'auto left' : 'auto top'; $(node).find('[title]').each( function(i,el){ var $e=$(el);$e.tooltip({placement: function(tt, elem){ var attval = elem.getAttribute('data-placement'); return attval ? attval : defaultplacement; }, sanitize: false, container: 'body' }) } ).on('show.bs.tooltip', function () { let el = this; while (el && window.getComputedStyle(el).position !== 'fixed') { el = el.parentElement; } if(el) $(this).data('bs.tooltip').options.container = el;});$('.tooltip.fade.in, .ui-tooltip-content').remove(); }; var original_post_process_func = ajax_post_process; ajax_post_process = function(){ original_post_process_func.apply(this,arguments); post_process_function.apply(this,arguments); }; $(document).ready( post_process_function ); })(); </script><script type="text/javascript">jQuery(document).ready(function($) { $(".clickable-row").click(function() { var href = $(this).attr("href"); if( window.location.href.indexOf( href ) < 0 ){ if ($(this).hasClass('new-window') ){ window.open( href ); } else { window.document.location = href; } } }); }); </script></body></html>