Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings PDF
Preview Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
Erika Ábrahám Marco Paolieri (Eds.) 9 7 4 Quantitative Evaluation 3 1 S C of Systems N L 19th International Conference, QEST 2022 Warsaw, Poland, September 12–16, 2022 Proceedings Lecture Notes in Computer Science 13479 Founding Editors Gerhard Goos Karlsruhe Institute of Technology, Karlsruhe, Germany Juris Hartmanis Cornell University, Ithaca, NY, USA Editorial Board Members Elisa Bertino Purdue University, West Lafayette, IN, USA Wen Gao Peking University, Beijing, China Bernhard Steffen TU Dortmund University, Dortmund, Germany Moti Yung Columbia University, New York, NY, USA More information about this series at https://link.springer.com/bookseries/558 Á á Erika brah m Marco Paolieri (Eds.) (cid:129) Quantitative Evaluation of Systems 19th International Conference, QEST 2022 – Warsaw, Poland, September 12 16, 2022 Proceedings 123 Editors ErikaÁbrahám MarcoPaolieri RWTH Aachen University University of SouthernCalifornia Aachen, Germany LosAngeles, CA, USA ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-031-16335-7 ISBN978-3-031-16336-4 (eBook) https://doi.org/10.1007/978-3-031-16336-4 ©SpringerNatureSwitzerlandAG2022 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthors,andtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface This volume contains the papers presented at the 19th International Conference on QuantitativeEvaluationofSysTems(QEST2022),hostedwithinCONFEST2022and heldasahybridevent,bothonlineandin-person,duringSeptember12–16,2022.The event was co-located with CONCUR, FORMATS, FMICS, and other workshops. TheQESTconferenceserieshasalongandrichhistory,ascanbeseenatwww.qest. org. Most recently, QEST was held in Paris (France, virtually), Vienna (Austria, virtually),Glasgow (UK),Beijing(China),andBerlin(Germany).Furtherinformation on QEST 2022 can be found on the conference webpage at www.qest.org/qest2022. The36membersoftheinternationalProgramCommittee(PC)helpedtoprovideat leastthreereviewsforeachofthe44submittedcontributions.Basedonthereviewsand PCdiscussions,19high-qualitypapers(threeofthemastoolpapers)wereacceptedto bepresentedduringtheconference.Theoverallacceptanceratefortheconferencewas 43%. The contributions were organized into seven thematic sessions, covering the following topics on the verification and evaluation of systems: Program Analysis; Parameter Synthesis; Markovian Agents and Population Models; Dynamical Systems; Tools; Applications; and Automata Theory and Applications. These contributions appear as papers in the ensuing proceedings. The program chairsplantoeditaspecialissueofthejournalACMTOMACS,wheretheauthorsof selected papers will be invited to contribute significantly extended versions of their manuscripts containing new results. Best Paper awards were presented according to QEST policies and tradition. The Artifact Evaluation process introduced in 2021 was adopted also for this edition of QEST: a total of 14 submissions participated in the artifact evaluation (artifact sub- missions were mandatory only for tool papers), eight of which were found to be repeatable. A special badge marks accepted papers with a valid artifact. A highlight of QEST 2022 was the presence of two invited speakers, Marta Kwiatkowska and Pedro D’Argenio. A short contribution on the topics of thekeynote of Marta Kwiatkowska appears in these proceedings. Afew wordsofacknowledgmentaredue. Firstandforemost,we thank theauthors for entrusting their best work to QEST 2022. The review process clearly showed that the conference was able to set a high bar for acceptance, which makes us proud. Our thanks gototheQESTsteering committee andpreviousconferencechairsaswell,for theirhelpandfeedbackontheorganizationprocess.Wewereparticularlypleasedwith the interest in the repeatability evaluation, and we thank the repeatability evaluation committeeandchairs,ArndHartmannsandDavidSafranek,fortheirwork,andallthe authors who participated in this process. We would like to give special thanks to the local organizing committee of CONFEST and to the steering committee of the QEST conferenceseries,inparticulartoitschairEnricoVicario.Finally,wewishtothankall vi Preface the PC members and additional reviewers for their hard work in ensuring the quality of the contributions to QEST 2022, along with all the participants for contributing to this memorable event. August 2022 Erika Ábrahám Marco Paolieri Organization Local Organization Piotrek Hofman University of Warsaw, Poland Bartek Klin University of Oxford, UK Sławek Lasota University of Warsaw, Poland Program Committee Chairs Erika Ábrahám RWTH Aachen University, Germany Marco Paolieri University of Southern California, USA Artifact Evaluation Chairs Carlos Budde University of Trento, Italy Arnd Hartmanns University of Twente, The Netherlands Publicity Chair David Safranek Masaryk University, Czech Republic Steering Committee Benoît Barbot Université Paris-Est Créteil, France Ezio Bartocci TU Vienna, Austria Peter Buchholz TU Dortmund, Germany Giuliano Casale Imperial College London, UK Jane Hillston University of Edinburgh, UK Jorge Júlvez University of Zaragoza, Spain Joost-Pieter Katoen RWTH Aachen University, Germany Gethin Norman University of Glasgow, UK Anne Remke University of Münster, Germany Enrico Vicario University of Florence, Italy Katinka Wolter FU Berlin, Germany Lijun Zhang Chinese Academy of Sciences, China Program Committee Alessandro Abate University of Oxford, UK Ebru Aydin Gol Middle East Technical University, Turkey Ezio Bartocci TU Vienna, Austria Borzoo Bonakdarpour Michigan State University, USA viii Organization Luca Bortolussi University of Trieste, Italy Peter Buchholz TU Dortmund, Germany Laura Carnevali University of Florence, Italy Giuliano Casale Imperial College London, UK Gianfranco Ciardo Iowa State University, USA Liliana Cucu-Grosjean Inria Paris, France Pedro D’Argenio Universidad Nacional de Córdoba, Argentina Carina da Silva University of Münster, Germany Susanna Donatelli University of Turin, Italy Maryam Elahi Mount Royal University, Canada Jean-Michel Fourneau University of Versailles Saint-Quentin-en-Yvelines, France Marco Gribaudo Polytechnic University of Milan, Italy András Horváth University of Turin, Italy David N. Jansen Chinese Academy of Sciences, China Nils Jansen Radboud University, The Netherlands Sebastian Junges Radboud University, The Netherlands Peter Kemper College of William & Mary, USA William Knottenbelt Imperial College London, UK Jan Křetínský Technical University of Munich, Germany Andrea Marin Ca’ Foscari University of Venice, Italy Gethin Norman University of Glasgow, UK David Parker University of Birmingham, UK Elizabeth Polgreen University of Edinburgh, UK Anne Remke University of Muenster, Germany Sabina Rossi Ca’ Foscari University of Venice, Italy Gerardo Rubino Inria Rennes, France Miklós Telek Budapest University of Technology and Economics, Hungary Mirco Tribastone IMT School for Advanced Studies, Italy Benny Van Houdt University of Antwerp, Belgium Verena Wolf Saarland University, Germany Katinka Wolter FU Berlin, Germany Paolo Zuliani Newcastle University, UK Artifact Evaluation Committee Lukas Armborst University of Twente, The Netherlands Oyendrila Dobe Michigan State University, USA James Fox University of Oxford, UK Michaela Klauck University of Saarland, Germany Mathis Niehage University of Münster, Germany Riccardo Pinciroli Gran Sasso Science Institute, Italy Luciano Putruele Universidad Nacional de Río Cuarto, Argentina Riccardo Reali University of Florence, Italy Stefan Schupp TU Wien, Austria Organization ix Jip Spel RTWH Aachen, Germany Matej Troják Masaryk University, Czechia Alexander Weigl Karlsruher Institute for Technology, Germany Additional Reviewers Michael Backenköhler Saarland University, Germany Thom Badings Radboud University, The Netherlands Francesca Cairoli University of Trieste, Italy Ginevra Carbone University of Trieste, Italy Joanna Delicaris University of Muenster, Germany Oyendrila Dobe Michigan State University, USA Joschka Groß Saarland University, Germany Timo P. Gros Saarland University, Germany Hosein Hasanbeig University of Oxford, UK Benjamin L. Kaminski Saarland University, Germany Andrey Kofnov TU Vienna, Austria Pasquale Malacaria Queen Mary University of London, UK Kristóf Marussy Budapest University of Technology and Economics, Hungary Ali Nasir University of Central Punjab, Pakistan Andrew Nguyen University of Oxford, UK Francesco Pontiggia TU Vienna, Austria Diptarko Roy University of Oxford, UK Gaia Saveri University of Trieste, Italy Stella Simic University of Oxford, UK Sadegh Soudjani Newcastle University, UK Marnix Suilen Radboud University, The Netherlands Matthias Volk University of Twente, The Netherlands Drishti Yadav TU Vienna, Austria Eshita Zaman Iowa State University, USA
The list of books you might like
