:facetid:toc:\"db/journals/sttt/sttt22.bht\"OK:facetid:toc:db/journals/sttt/sttt22.bhtDhaminda B. AbeywickramaNicola BicocchiMarco MameiFranco ZambonelliThe SOTA approach to engineering collective adaptive systems.Int. J. Softw. Tools Technol. Transf.224399-4152020Journal Articlesclosedjournals/sttt/AbeywickramaBMZ2010.1007/S10009-020-00554-3https://doi.org/10.1007/s10009-020-00554-3https://dblp.org/rec/journals/sttt/AbeywickramaBMZ20URL#1658381Jean-Raymond AbrialThe ABZ-2018 case study with Event-B.Int. J. Softw. Tools Technol. Transf.223257-2642020Journal Articlesclosedjournals/sttt/Abrial2010.1007/S10009-019-00525-3https://doi.org/10.1007/s10009-019-00525-3https://dblp.org/rec/journals/sttt/Abrial20URL#1658382Rima Al AliTomás BuresPetr HnetynkaJan MatejekFrantisek PlásilJirí VinárekToward autonomically composable and context-dependent access control specification through ensembles.Int. J. Softw. Tools Technol. Transf.224511-5222020Journal Articlesclosedjournals/sttt/AliBHMPV2010.1007/S10009-020-00556-1https://doi.org/10.1007/s10009-020-00556-1https://dblp.org/rec/journals/sttt/AliBHMPV20URL#1658383Hamzeh M. AllawiWaref Al ManaseerMohammad Aref AlshraidehA greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications.Int. J. Softw. Tools Technol. Transf.222183-1942020Journal Articlesclosedjournals/sttt/AllawiMS2010.1007/S10009-018-00506-Yhttps://doi.org/10.1007/s10009-018-00506-yhttps://dblp.org/rec/journals/sttt/AllawiMS20URL#1658384Yehia Abd AlrahmanGiulio GarbiA distributed API for coordinating AbC programs.Int. J. Softw. Tools Technol. Transf.224477-4962020Journal Articlesopenjournals/sttt/AlrahmanG2010.1007/S10009-020-00553-4https://doi.org/10.1007/s10009-020-00553-4https://dblp.org/rec/journals/sttt/AlrahmanG20URL#1658385Elvio Gilberto AmparoreSusanna DonatelliGianfranco CiardoVariable order metrics for decision diagrams in system verification.Int. J. Softw. Tools Technol. Transf.225541-5622020Journal Articlesclosedjournals/sttt/AmparoreDC2010.1007/S10009-019-00522-6https://doi.org/10.1007/s10009-019-00522-6https://dblp.org/rec/journals/sttt/AmparoreDC20URL#1658386Paolo ArcainiJan KofronPavel JezekValidation of the Hybrid ERTMS/ETCS Level 3 using Spin.Int. J. Softw. Tools Technol. Transf.223265-2792020Journal Articlesclosedjournals/sttt/ArcainiKJ2010.1007/S10009-019-00539-Xhttps://doi.org/10.1007/s10009-019-00539-xhttps://dblp.org/rec/journals/sttt/ArcainiKJ20URL#1658387Bernard BerthomieuDidier Le BotlanSilvano Dal-ZilioCounting Petri net markings from reduction equations.Int. J. Softw. Tools Technol. Transf.222163-1812020Journal Articlesclosedjournals/sttt/BerthomieuBD2010.1007/S10009-019-00519-1https://doi.org/10.1007/s10009-019-00519-1https://dblp.org/rec/journals/sttt/BerthomieuBD20URL#1658388Dirk Beyer 0001Marieke HuismanTools for the construction and analysis of systems.Int. J. Softw. Tools Technol. Transf.226685-6872020Journal Articlesopenjournals/sttt/BeyerH2010.1007/S10009-020-00581-0https://doi.org/10.1007/s10009-020-00581-0https://dblp.org/rec/journals/sttt/BeyerH20URL#1658389Fabrizio BiondiThomas Given-WilsonAxel LegayIntroduction to the special issue for SPIN 2019.Int. J. Softw. Tools Technol. Transf.225563-5642020Journal Articlesclosedjournals/sttt/BiondiGL2010.1007/S10009-020-00580-1https://doi.org/10.1007/s10009-020-00580-1https://dblp.org/rec/journals/sttt/BiondiGL20URL#1658390Carlos E. BuddePedro R. D'ArgenioArnd HartmannsSean SedwardsAn efficient statistical model checker for nondeterminism and rare events.Int. J. Softw. Tools Technol. Transf.226759-7802020Journal Articlesopenjournals/sttt/BuddeDHS2010.1007/S10009-020-00563-2https://doi.org/10.1007/s10009-020-00563-2https://dblp.org/rec/journals/sttt/BuddeDHS20URL#1658391Fabrizio Banci BuonamiciGina BelmonteVincenzo CianciaDiego LatellaMieke MassinkSpatial logics and model checking for medical imaging.Int. J. Softw. Tools Technol. Transf.222195-2172020Journal Articlesclosedjournals/sttt/BuonamiciBCLM2010.1007/S10009-019-00511-9https://doi.org/10.1007/s10009-019-00511-9https://dblp.org/rec/journals/sttt/BuonamiciBCLM20URL#1658392Márton BúrGábor S. SzilágyiAndrás Vörös 0001Dániel VarróDistributed graph queries over models@run.time for runtime monitoring of cyber-physical systems.Int. J. Softw. Tools Technol. Transf.22179-1022020Journal Articlesopenjournals/sttt/BurSVV2010.1007/S10009-019-00531-5https://doi.org/10.1007/s10009-019-00531-5https://dblp.org/rec/journals/sttt/BurSVV20URL#1658393Tomás BuresIlias GerostathopoulosPetr HnetynkaFrantisek PlásilFilip KrijtJirí VinárekJan KofronA language and framework for dynamic component ensembles in smart systems.Int. J. Softw. Tools Technol. Transf.224497-5092020Journal Articlesopenjournals/sttt/BuresGHPKVK2010.1007/S10009-020-00558-Zhttps://doi.org/10.1007/s10009-020-00558-zhttps://dblp.org/rec/journals/sttt/BuresGHPKVK20URL#1658394Michael J. ButlerThai Son HoangAlexander RaschkeKlaus ReichlIntroduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.Int. J. Softw. Tools Technol. Transf.223249-2552020Journal Articlesclosedjournals/sttt/ButlerHRR2010.1007/S10009-020-00562-3https://doi.org/10.1007/s10009-020-00562-3https://dblp.org/rec/journals/sttt/ButlerHRR20URL#1658395Milan Ceska 0002Vojtech HavlenaLukás HolíkOndrej LengálTomás VojnarApproximate reduction of finite automata for high-speed network intrusion detection.Int. J. Softw. Tools Technol. Transf.225523-5392020Journal Articlesclosedjournals/sttt/CeskaHHLV2010.1007/S10009-019-00520-8https://doi.org/10.1007/s10009-019-00520-8https://dblp.org/rec/journals/sttt/CeskaHHLV20URL#1658396Marek ChalupaJan StrejcekMartina VitovskáJoint forces for memory safety checking revisited.Int. J. Softw. Tools Technol. Transf.222115-1332020Journal Articlesclosedjournals/sttt/ChalupaSV2010.1007/S10009-019-00526-2https://doi.org/10.1007/s10009-019-00526-2https://dblp.org/rec/journals/sttt/ChalupaSV20URL#1658397Luís Diogo CoutoPeter W. V. Tran-JørgensenRené S. NilssonPeter Gorm LarsenEnabling continuous integration in a formal methods setting.Int. J. Softw. Tools Technol. Transf.226667-6832020Journal Articlesclosedjournals/sttt/CoutoTNL2010.1007/S10009-019-00546-Yhttps://doi.org/10.1007/s10009-019-00546-yhttps://dblp.org/rec/journals/sttt/CoutoTNL20URL#1658398Alcino CunhaNuno MacedoValidating the Hybrid ERTMS/ETCS Level 3 concept with Electrum.Int. J. Softw. Tools Technol. Transf.223281-2962020Journal Articlesclosedjournals/sttt/CunhaM2010.1007/S10009-019-00540-4https://doi.org/10.1007/s10009-019-00540-4https://dblp.org/rec/journals/sttt/CunhaM20URL#1658399Richard DeFranciscoShenghsun ChoMichael FerdmanScott A. SmolkaSwarm model checking on the GPU.Int. J. Softw. Tools Technol. Transf.225583-5992020Journal Articlesclosedjournals/sttt/DeFranciscoCFS2010.1007/S10009-020-00576-Xhttps://doi.org/10.1007/s10009-020-00576-xhttps://dblp.org/rec/journals/sttt/DeFranciscoCFS20URL#1658400Dana DghaymMohammadsadegh DalvandiMichael PoppletonColin F. SnookFormalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B.Int. J. Softw. Tools Technol. Transf.223297-3132020Journal Articlesopenjournals/sttt/DghaymDPS2010.1007/S10009-019-00548-Whttps://doi.org/10.1007/s10009-019-00548-whttps://dblp.org/rec/journals/sttt/DghaymDPS20URL#1658401Aleksandar S. Dimovski$\hbox {CTL}{\star }$ family-based model checking using variability abstractions and modal transition systems.Int. J. Softw. Tools Technol. Transf.22135-552020Journal Articlesclosedjournals/sttt/Dimovski2010.1007/S10009-019-00528-0https://doi.org/10.1007/s10009-019-00528-0https://dblp.org/rec/journals/sttt/Dimovski20URL#1658402Iulia DragomirViorel PreoteasaStavros TripakisThe Refinement Calculus of Reactive Systems Toolset.Int. J. Softw. Tools Technol. Transf.226689-7082020Journal Articlesclosedjournals/sttt/DragomirPT2010.1007/S10009-020-00561-4https://doi.org/10.1007/s10009-020-00561-4https://dblp.org/rec/journals/sttt/DragomirPT20URL#1658403Søren EnevoldsenKim G. LarsenAnders MariegaardJirí SrbaDependency graphs with applications to verification.Int. J. Softw. Tools Technol. Transf.225635-6542020Journal Articlesclosedjournals/sttt/EnevoldsenLMS2010.1007/S10009-020-00578-9https://doi.org/10.1007/s10009-020-00578-9https://dblp.org/rec/journals/sttt/EnevoldsenLMS20URL#1658404Bernd FinkbeinerChristopher HahnMarvin StengerLeander TentrupEfficient monitoring of hyperproperties using prefix trees.Int. J. Softw. Tools Technol. Transf.226729-7402020Journal Articlesopenjournals/sttt/FinkbeinerHST2010.1007/S10009-020-00552-5https://doi.org/10.1007/s10009-020-00552-5https://dblp.org/rec/journals/sttt/FinkbeinerHST20URL#1658405Steve Jeffrey Tueno FotsoMarc FrappierRégine LaleauAmel MammarModeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.Int. J. Softw. Tools Technol. Transf.223349-3632020Journal Articlesclosedjournals/sttt/FotsoFLM2010.1007/S10009-019-00542-2https://doi.org/10.1007/s10009-019-00542-2https://dblp.org/rec/journals/sttt/FotsoFLM20URL#1658406Thomas GaborAndreas SedlmeierThomy PhanFabian RitzMarie KiermeierLenz BelznerBernhard KempterCornel KleinHorst SauerReiner N. SchmidJan WieghardtMarc ZellerClaudia Linnhoff-PopienThe scenario coevolution paradigm: adaptive quality assurance for adaptive systems.Int. J. Softw. Tools Technol. Transf.224457-4762020Journal Articlesopenjournals/sttt/GaborSPRKBKKSSW2010.1007/S10009-020-00560-5https://doi.org/10.1007/s10009-020-00560-5https://dblp.org/rec/journals/sttt/GaborSPRKBKKSSW20URL#1658407María-del-Mar GallardoPedro Merino 0001Introduction to the Special Issue devoted to SPIN 2018.Int. J. Softw. Tools Technol. Transf.222103-1042020Journal Articlesclosedjournals/sttt/GallardoM2010.1007/S10009-020-00550-7https://doi.org/10.1007/s10009-020-00550-7https://dblp.org/rec/journals/sttt/GallardoM20URL#1658408Fotios GioulekasPeter PoplavkoPanagiotis KatsarosSaddek BensalemPedro PalomoCorrect-by-construction model-based design of reactive streaming software for multi-core embedded systems.Int. J. Softw. Tools Technol. Transf.2213-322020Journal Articlesclosedjournals/sttt/GioulekasPKBP2010.1007/S10009-019-00521-7https://doi.org/10.1007/s10009-019-00521-7https://dblp.org/rec/journals/sttt/GioulekasPKBP20URL#1658409Fotios GioulekasPeter PoplavkoPanagiotis KatsarosSaddek BensalemPedro PalomoCorrection to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.Int. J. Softw. Tools Technol. Transf.22133-342020Journal Articlesclosedjournals/sttt/GioulekasPKBP20a10.1007/S10009-019-00523-5https://doi.org/10.1007/s10009-019-00523-5https://dblp.org/rec/journals/sttt/GioulekasPKBP20aURL#1658410Dominik HansenMichael LeuschelPhilipp KörnerSebastian KringsThomas NaulinNader NayeriDavid Schneider 0001Frank SkowronValidation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.Int. J. Softw. Tools Technol. Transf.223315-3322020Journal Articlesopenjournals/sttt/HansenLKKNNSS2010.1007/S10009-020-00551-6https://doi.org/10.1007/s10009-020-00551-6https://dblp.org/rec/journals/sttt/HansenLKKNNSS20URL#1658411Tim Lange 0001Martin R. NeuhäußerThomas Noll 0001Joost-Pieter KatoenIC3 software model checking.Int. J. Softw. Tools Technol. Transf.222135-1612020Journal Articlesclosedjournals/sttt/LangeNNK2010.1007/S10009-019-00547-Xhttps://doi.org/10.1007/s10009-019-00547-xhttps://dblp.org/rec/journals/sttt/LangeNNK20URL#1658412Yi LiWenyuan WuYong FengOn ranking functions for single-path linear-constraint loops.Int. J. Softw. Tools Technol. Transf.226655-6662020Journal Articlesclosedjournals/sttt/LiWF2010.1007/S10009-019-00549-9https://doi.org/10.1007/s10009-019-00549-9https://dblp.org/rec/journals/sttt/LiWF20URL#1658413Houssem Ben MahfoudhGiovanna Di Marzo SerugendoNabil NajaNabil AbdennadherLearning-based coordination model for spontaneous self-composition of reliable services in a distributed system.Int. J. Softw. Tools Technol. Transf.224417-4362020Journal Articlesclosedjournals/sttt/MahfoudhSNA2010.1007/S10009-020-00557-0https://doi.org/10.1007/s10009-020-00557-0https://dblp.org/rec/journals/sttt/MahfoudhSNA20URL#1658414Amel MammarMarc FrappierSteve Jeffrey Tueno FotsoRégine LaleauA formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard.Int. J. Softw. Tools Technol. Transf.223333-3472020Journal Articlesclosedjournals/sttt/MammarFFL2010.1007/S10009-019-00543-1https://doi.org/10.1007/s10009-019-00543-1https://dblp.org/rec/journals/sttt/MammarFFL20URL#1658415Patrick MetzlerNeeraj SuriGeorg WeissenbacherExtracting safe thread schedules from incomplete model checking results.Int. J. Softw. Tools Technol. Transf.225565-5812020Journal Articlesopenjournals/sttt/MetzlerSW2010.1007/S10009-020-00575-Yhttps://doi.org/10.1007/s10009-020-00575-yhttps://dblp.org/rec/journals/sttt/MetzlerSW20URL#1658416Hana MkaouarBechir ZalilaJérôme HuguesMohamed JmaielA formal approach to AADL model-based software engineering.Int. J. Softw. Tools Technol. Transf.222219-2472020Journal Articlesclosedjournals/sttt/MkaouarZHJ2010.1007/S10009-019-00513-7https://doi.org/10.1007/s10009-019-00513-7https://dblp.org/rec/journals/sttt/MkaouarZHJ20URL#1658417Dejan NickovicOlivier LebeltelOded MalerThomas FerrèreDogan UlusAMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.Int. J. Softw. Tools Technol. Transf.226741-7582020Journal Articlesclosedjournals/sttt/NickovicLMFU2010.1007/S10009-020-00582-Zhttps://doi.org/10.1007/s10009-020-00582-zhttps://dblp.org/rec/journals/sttt/NickovicLMFU20URL#1658418Rocco De NicolaStefan JähnichenMartin WirsingRigorous engineering of collective adaptive systems: special section.Int. J. Softw. Tools Technol. Transf.224389-3972020Journal Articlesopenjournals/sttt/NicolaJW2010.1007/S10009-020-00565-0https://doi.org/10.1007/s10009-020-00565-0https://dblp.org/rec/journals/sttt/NicolaJW20URL#1658419Rocco De NicolaAlessandro MaggiJoseph SifakisThe DReAM framework for dynamic reconfigurable architecture modelling: theory and applications.Int. J. Softw. Tools Technol. Transf.224437-4552020Journal Articlesclosedjournals/sttt/NicolaMS2010.1007/S10009-020-00555-2https://doi.org/10.1007/s10009-020-00555-2https://dblp.org/rec/journals/sttt/NicolaMS20URL#1658420Laura PanizoAlmudena DíazBruno GarcíaModel-based testing of apps in real network scenarios.Int. J. Softw. Tools Technol. Transf.222105-1142020Journal Articlesclosedjournals/sttt/PanizoDG2010.1007/S10009-019-00518-2https://doi.org/10.1007/s10009-019-00518-2https://dblp.org/rec/journals/sttt/PanizoDG20URL#1658421Ali ParsaiSerge DemeyerComparing mutation coverage against branch coverage in an industrial setting.Int. J. Softw. Tools Technol. Transf.224365-3882020Journal Articlesclosedjournals/sttt/ParsaiD2010.1007/S10009-020-00567-Yhttps://doi.org/10.1007/s10009-020-00567-yhttps://dblp.org/rec/journals/sttt/ParsaiD20URL#1658422Alessandra RussoAndy SchürrModel-based software quality assurance tools and techniques presented at FASE 2018.Int. J. Softw. Tools Technol. Transf.2211-22020Journal Articlesclosedjournals/sttt/RussoS2010.1007/S10009-019-00541-3https://doi.org/10.1007/s10009-019-00541-3https://dblp.org/rec/journals/sttt/RussoS20URL#1658423Oszkár SemeráthRebeka FarkasGábor BergmannDániel VarróDiversity of graph models and graph generators in mutation testing.Int. J. Softw. Tools Technol. Transf.22157-782020Journal Articlesopenjournals/sttt/SemerathFBV2010.1007/S10009-019-00530-6https://doi.org/10.1007/s10009-019-00530-6https://dblp.org/rec/journals/sttt/SemerathFBV20URL#1658424Alexander J. SummersPeter Müller 0001Automating deductive verification for weak-memory programs (extended version).Int. J. Softw. Tools Technol. Transf.226709-7282020Journal Articlesclosedjournals/sttt/SummersM2010.1007/S10009-020-00559-Yhttps://doi.org/10.1007/s10009-020-00559-yhttps://dblp.org/rec/journals/sttt/SummersM20URL#1658425Muhammad Usman 0024Wenxi WangKaiyuan WangCagdas YelenNima DiniSarfraz KhurshidA study of learning likely data structure properties using machine learning models.Int. J. Softw. Tools Technol. Transf.225601-6152020Journal Articlesclosedjournals/sttt/UsmanWWYDK2010.1007/S10009-020-00577-Whttps://doi.org/10.1007/s10009-020-00577-whttps://dblp.org/rec/journals/sttt/UsmanWWYDK20URL#1658426Farnaz YousefiEhsan KhamespanahMohammed GharibMarjan SirjaniAli Movaghar 0001VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.Int. J. Softw. Tools Technol. Transf.225617-6332020Journal Articlesclosedjournals/sttt/YousefiKGSM2010.1007/S10009-020-00579-8https://doi.org/10.1007/s10009-020-00579-8https://dblp.org/rec/journals/sttt/YousefiKGSM20URL#1658427