Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings PDF
Preview Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings
Yamine Aït-Ameur Florin Cra˘ciun (Eds.) 9 9 2 Theoretical Aspects 3 1 S C of Software Engineering N L 16th International Symposium, TASE 2022 Cluj-Napoca, Romania, July 8–10, 2022 Proceedings Lecture Notes in Computer Science 13299 FoundingEditors GerhardGoos KarlsruheInstituteofTechnology,Karlsruhe,Germany JurisHartmanis CornellUniversity,Ithaca,NY,USA EditorialBoardMembers ElisaBertino PurdueUniversity,WestLafayette,IN,USA WenGao PekingUniversity,Beijing,China BernhardSteffen TUDortmundUniversity,Dortmund,Germany MotiYung ColumbiaUniversity,NewYork,NY,USA Moreinformationaboutthisseriesathttps://link.springer.com/bookseries/558 · Yamine Aït-Ameur Florin Cra˘ciun (Eds.) Theoretical Aspects of Software Engineering 16th International Symposium, TASE 2022 Cluj-Napoca, Romania, July 8–10, 2022 Proceedings Editors YamineAït-Ameur FlorinCra˘ciun IRIT Babes,-BolyaiUniversity Toulouse,France Cluj-Napoca,Romania ISSN 0302-9743 ISSN 1611-3349 (electronic) LectureNotesinComputerScience ISBN 978-3-031-10362-9 ISBN 978-3-031-10363-6 (eBook) https://doi.org/10.1007/978-3-031-10363-6 ©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 TheInternationalSymposiumonTheoreticalAspectsofSoftwareEngineering(TASE) gathersresearchersandpractitionersinterestedbythenewresultsoninnovativeadvances in software engineering. It records the latest developments in formal and theoretical softwareengineeringmethodsandtechniques. The16theditionofTASEwasheldinthebeautifulcityofCluj-NapocainRomania duringJuly8–10,2022.TASE2022received71submissionscoveringdifferentareasof theoretical software engineering. Each paper was reviewed by at least three reviewers andtheProgramCommitteeaccepted21longpapersandfiveshortpapersleadingtoan attractivescientificprogram. ThiseditionofTASEwasenhancedbythepresenceoffourkeynotespeakers.The firsttalk,givenbyErikaÀbrahàmfromRWTHAachenUniversityinGermany,entitled “SMT Solving: Historical Roots, Recent Developments and Future Directions” dealt with SMT-based formal verification techniques and provided a technical view on the progressinSMTsolving.Inthesecondtalkentitled“PracticalTheoryofComputation onStructures”,Klaus-DieterSchewe,fromtheZJU-UIUCInstituteinChina,sketcheda theoryofcomputationcenteredaroundthenotionofalgorithmicsystems.Thetwoother talksdealtwithformalsoftwareengineeringandartificialintelligence.ThetalkofSun Jun,fromtheSingaporeManagementUniversityinSingapore,entitled“NeuralNetwork Discrimination: Evaluation, Mitigation and Certification” addressed certification of fairnessofneuralnetworksusingformalverificationtechniques.Thelasttalkentitled “Rigorous system design for AI software” given by Saddek Bensalem, from Verimag at the University of Grenoble Alpes in France, presented the results of the FOCETA Europeanprojectinrigorousverificationandvalidationofcriticalsystems. TASE2022wouldnothavesucceededwithoutthedeepinvestmentandinvolvement of the Program Committee members and the external reviewers who evaluated (with morethan215reviews)andselectedthebestcontributions.Thiseventwouldnotexist without the authors and contributors who submitted their proposals. We address our thankstoeveryone—reviewers,authors,ProgramCommitteemembers,andorganization committeemembers—involvedinthesuccessofTASE2022. The EasyChair system was set up for the management of TASE 2022, supporting submission, review, and volume preparation processes. It proved to be a powerful framework. TASE 2022 had one affiliated workshop, the International Workshop on Formal Engineering of Cyber-Physical Systems, which brought additional participants to the symposium and helped make it an interesting and successful event. We thank all the workshopchairs,organizers,andauthorsfortheirhardworkonthis. TASE 2022 was hosted and sponsored by Babes-Bolyai University, Cluj-Napoca, , Romania.Thelocalorganizationcommitteeofferedallthefacilitiestoruntheeventin alovelyandfriendlyatmosphere.Manythankstoallthelocalorganizers. vi Preface Lastly,wewishtoexpressourspecialthankstothesteeringcommitteemembers,in particularShengchaoQinandHuibiaoZhu,fortheirvaluablesupport. July2022 YamineAït-Ameur FlorinCra˘ciun Organization ProgramCommittee ErikaAbraham RWTHAachenUniversity,Germany YamineAitAmeur(Chair) IRIT,INPT-ENSEEIHT,France ÉtienneAndré Loria,UniversitédeLorraine,France ToshiakiAoki JAIST,Japan ChristianAttiogbe LS2N,UniversitédeNantes,France GuangdongBai UniversityofQueensland,Australia RichardBanach UniversityofManchester,UK LuísSoaresBarbosa UniversityofMinho,Portugal MarcelloBonsangue LeidenUniversity,TheNetherlands MariusBozga Verimag,UniversitéGrenobleAlpes,France LiqianChen NationalUniversityofDefenseTechnology, China Wei-NganChin NationalUniversityofSingapore,Singapore HoratiuCirstea Loria,France FlorinCraciun(Chair) Babes¸-BolyaiUniversity,Romania GuillaumeDupont InstitutdeRechercheenInformatiquede Toulouse,France FlavioFerrarotti SoftwareCompetenceCentreHagenberg,Austria SimonFoster UniversityofYork,UK MarcFrappier UniversitédeSherbrooke,Canada RaduGrosu StonyBrookUniversity,USA KimGuldstrandLarsen AalborgUniversity,Denmark ThaiSonHoang UniversityofSouthampton,UK ZoltánHorváth EotvosLorandUniversity,Budapest ZheHou GriffithUniversity, Australia FuyukiIshikawa NationalInstituteofInformatics,Japan AndreasKatis KBRInc.,NASAAmesResearchCenter,USA OlgaKouchnarenko UniversityofFranche-Comté,France RegineLaleau Paris-EastCréteilUniversity,France GuoqiangLi ShanghaiJiaoTongUniversity,China QinLi EastChinaNormalUniversity,China DorelLucanu AlexandruIoanCuzaUniversity,Romania FredericMallet UniversitéNiceSophia-Antipolis,France AmelMammar TelecomSudParis,France DominiqueMery Loria,UniversitédeLorraine,France SimonaMotogna Babes¸-BolyaiUniversity,Romania viii Organization KazuhiroOgata JAIST,Japan JunPang UniversityofLuxembourg,Luxembourg ShengchaoQin TeessideUniversity,UK AdrianRiesco UniversidadComplutensedeMadrid,Spain CristinaSeceleanu MälardalenUniversity,Sweden NeerajSingh IRIT,INPT-ENSEEIHT,UniversityofToulouse, France MengSun PekingUniversity,China RobvanGlabbeek Data61,CSIRO,Australia NaijunZhan InstituteofSoftware,ChineseAcademyof Sciences,China HuibiaoZhu EastChinaNormalUniversity,China Xue-YangZhu InstituteofSoftware,ChineseAcademyof Sciences,China AdditionalReviewers An,Jie Liu,Zengyu Ardourel,Gilles Marinho,Dylan Chen,Mingshuai Masson,Pierre-Alain Cheng,Zheng McClurg,Jedidiah Chouali,Samir Merz,Stephan Dubois,Catherine Nguyen,Thuy Ehrlinger,Lisa PardilloLaursen,Christian Enoiu,EduardPaul Pintér,Balázs Fan,Guangsheng Seceleanu,Tiberiu Fehnker,Ansgar Shi,Ling Gervais,Frédéric Sochor,Hannes Gibson,J.Paul Sun,Weidi Guo,Xiaoyun Tejfel,Máté Guok,Ernest Tomita,Takashi Hajder,Levente Truscan,Dragos Halder,Raju Wang,Shuling He,Mengda Wen,Cheng Ishii,Daisuke Xue,Bai Jérôme,Rocheteau Kobayashi,Tsutomu Yan,Fang Kölbl,Martin Zhan,Bohua Ligeti,Peter Zhang,Haitao Lin,Bo Zhang,Miaomiao Lin,Shang-Wei Zhao,Ying Liu,Ai Zhao,Yongxin Keynotes
The list of books you might like
