Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/sttt/sttt22.bht:"
download as .bib file
@article{DBLP:journals/sttt/AbeywickramaBMZ20,
author = {Dhaminda B. Abeywickrama and
Nicola Bicocchi and
Marco Mamei and
Franco Zambonelli},
title = {The {SOTA} approach to engineering collective adaptive systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {399--415},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00554-3},
doi = {10.1007/S10009-020-00554-3},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AbeywickramaBMZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Abrial20,
author = {Jean{-}Raymond Abrial},
title = {The {ABZ-2018} case study with Event-B},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {257--264},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00525-3},
doi = {10.1007/S10009-019-00525-3},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Abrial20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AliBHMPV20,
author = {Rima Al Ali and
Tom{\'{a}}s Bures and
Petr Hnetynka and
Jan Matejek and
Frantisek Pl{\'{a}}sil and
Jir{\'{\i}} Vin{\'{a}}rek},
title = {Toward autonomically composable and context-dependent access control
specification through ensembles},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {511--522},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00556-1},
doi = {10.1007/S10009-020-00556-1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AliBHMPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AllawiMS20,
author = {Hamzeh M. Allawi and
Waref Al Manaseer and
Mohammad Aref Alshraideh},
title = {A greedy particle swarm optimization {(GPSO)} algorithm for testing
real-world smart card applications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {2},
pages = {183--194},
year = {2020},
url = {https://doi.org/10.1007/s10009-018-00506-y},
doi = {10.1007/S10009-018-00506-Y},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AllawiMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlrahmanG20,
author = {Yehia Abd Alrahman and
Giulio Garbi},
title = {A distributed {API} for coordinating AbC programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {477--496},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00553-4},
doi = {10.1007/S10009-020-00553-4},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AlrahmanG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AmparoreDC20,
author = {Elvio Gilberto Amparore and
Susanna Donatelli and
Gianfranco Ciardo},
title = {Variable order metrics for decision diagrams in system verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {541--562},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00522-6},
doi = {10.1007/S10009-019-00522-6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AmparoreDC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ArcainiKJ20,
author = {Paolo Arcaini and
Jan Kofron and
Pavel Jezek},
title = {Validation of the Hybrid {ERTMS/ETCS} Level 3 using Spin},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {265--279},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00539-x},
doi = {10.1007/S10009-019-00539-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ArcainiKJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BerthomieuBD20,
author = {Bernard Berthomieu and
Didier Le Botlan and
Silvano Dal{-}Zilio},
title = {Counting Petri net markings from reduction equations},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {2},
pages = {163--181},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00519-1},
doi = {10.1007/S10009-019-00519-1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BerthomieuBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BeyerH20,
author = {Dirk Beyer and
Marieke Huisman},
title = {Tools for the construction and analysis of systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {685--687},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00581-0},
doi = {10.1007/S10009-020-00581-0},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BeyerH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BiondiGL20,
author = {Fabrizio Biondi and
Thomas Given{-}Wilson and
Axel Legay},
title = {Introduction to the special issue for {SPIN} 2019},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {563--564},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00580-1},
doi = {10.1007/S10009-020-00580-1},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BiondiGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BuddeDHS20,
author = {Carlos E. Budde and
Pedro R. D'Argenio and
Arnd Hartmanns and
Sean Sedwards},
title = {An efficient statistical model checker for nondeterminism and rare
events},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {759--780},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00563-2},
doi = {10.1007/S10009-020-00563-2},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BuddeDHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BuonamiciBCLM20,
author = {Fabrizio Banci Buonamici and
Gina Belmonte and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
title = {Spatial logics and model checking for medical imaging},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {2},
pages = {195--217},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00511-9},
doi = {10.1007/S10009-019-00511-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BuonamiciBCLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BurSVV20,
author = {M{\'{a}}rton B{\'{u}}r and
G{\'{a}}bor S. Szil{\'{a}}gyi and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
D{\'{a}}niel Varr{\'{o}}},
title = {Distributed graph queries over models@run.time for runtime monitoring
of cyber-physical systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {79--102},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00531-5},
doi = {10.1007/S10009-019-00531-5},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BurSVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BuresGHPKVK20,
author = {Tom{\'{a}}s Bures and
Ilias Gerostathopoulos and
Petr Hnetynka and
Frantisek Pl{\'{a}}sil and
Filip Krijt and
Jir{\'{\i}} Vin{\'{a}}rek and
Jan Kofron},
title = {A language and framework for dynamic component ensembles in smart
systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {497--509},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00558-z},
doi = {10.1007/S10009-020-00558-Z},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BuresGHPKVK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ButlerHRR20,
author = {Michael J. Butler and
Thai Son Hoang and
Alexander Raschke and
Klaus Reichl},
title = {Introduction to special section on the {ABZ} 2018 case study: Hybrid
{ERTMS/ETCS} Level 3},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {249--255},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00562-3},
doi = {10.1007/S10009-020-00562-3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ButlerHRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CeskaHHLV20,
author = {Milan Ceska and
Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Tom{\'{a}}s Vojnar},
title = {Approximate reduction of finite automata for high-speed network intrusion
detection},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {523--539},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00520-8},
doi = {10.1007/S10009-019-00520-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/CeskaHHLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ChalupaSV20,
author = {Marek Chalupa and
Jan Strejcek and
Martina Vitovsk{\'{a}}},
title = {Joint forces for memory safety checking revisited},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {2},
pages = {115--133},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00526-2},
doi = {10.1007/S10009-019-00526-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ChalupaSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CoutoTNL20,
author = {Lu{\'{\i}}s Diogo Couto and
Peter W. V. Tran{-}J{\o}rgensen and
Ren{\'{e}} S. Nilsson and
Peter Gorm Larsen},
title = {Enabling continuous integration in a formal methods setting},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {667--683},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00546-y},
doi = {10.1007/S10009-019-00546-Y},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CoutoTNL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CunhaM20,
author = {Alcino Cunha and
Nuno Macedo},
title = {Validating the Hybrid {ERTMS/ETCS} Level 3 concept with Electrum},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {281--296},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00540-4},
doi = {10.1007/S10009-019-00540-4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CunhaM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DeFranciscoCFS20,
author = {Richard DeFrancisco and
Shenghsun Cho and
Michael Ferdman and
Scott A. Smolka},
title = {Swarm model checking on the {GPU}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {583--599},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00576-x},
doi = {10.1007/S10009-020-00576-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DeFranciscoCFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DghaymDPS20,
author = {Dana Dghaym and
Mohammadsadegh Dalvandi and
Michael Poppleton and
Colin F. Snook},
title = {Formalising the Hybrid {ERTMS} Level 3 specification in iUML-B and
Event-B},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {297--313},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00548-w},
doi = {10.1007/S10009-019-00548-W},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DghaymDPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Dimovski20,
author = {Aleksandar S. Dimovski},
title = {{\textdollar}{\textbackslash}hbox \{CTL\}\{{\textbackslash}star \}{\textdollar}
family-based model checking using variability abstractions and modal
transition systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {35--55},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00528-0},
doi = {10.1007/S10009-019-00528-0},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Dimovski20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DragomirPT20,
author = {Iulia Dragomir and
Viorel Preoteasa and
Stavros Tripakis},
title = {The Refinement Calculus of Reactive Systems Toolset},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {689--708},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00561-4},
doi = {10.1007/S10009-020-00561-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DragomirPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EnevoldsenLMS20,
author = {S{\o}ren Enevoldsen and
Kim G. Larsen and
Anders Mariegaard and
Jir{\'{\i}} Srba},
title = {Dependency graphs with applications to verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {635--654},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00578-9},
doi = {10.1007/S10009-020-00578-9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EnevoldsenLMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FinkbeinerHST20,
author = {Bernd Finkbeiner and
Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
title = {Efficient monitoring of hyperproperties using prefix trees},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {729--740},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00552-5},
doi = {10.1007/S10009-020-00552-5},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FinkbeinerHST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FotsoFLM20,
author = {Steve Jeffrey Tueno Fotso and
Marc Frappier and
R{\'{e}}gine Laleau and
Amel Mammar},
title = {Modeling the hybrid {ERTMS/ETCS} level 3 standard using a formal requirements
engineering approach},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {349--363},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00542-2},
doi = {10.1007/S10009-019-00542-2},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FotsoFLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GaborSPRKBKKSSW20,
author = {Thomas Gabor and
Andreas Sedlmeier and
Thomy Phan and
Fabian Ritz and
Marie Kiermeier and
Lenz Belzner and
Bernhard Kempter and
Cornel Klein and
Horst Sauer and
Reiner N. Schmid and
Jan Wieghardt and
Marc Zeller and
Claudia Linnhoff{-}Popien},
title = {The scenario coevolution paradigm: adaptive quality assurance for
adaptive systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {457--476},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00560-5},
doi = {10.1007/S10009-020-00560-5},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GaborSPRKBKKSSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GallardoM20,
author = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Pedro Merino},
title = {Introduction to the Special Issue devoted to {SPIN} 2018},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {2},
pages = {103--104},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00550-7},
doi = {10.1007/S10009-020-00550-7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/GallardoM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GioulekasPKBP20,
author = {Fotios Gioulekas and
Peter Poplavko and
Panagiotis Katsaros and
Saddek Bensalem and
Pedro Palomo},
title = {Correct-by-construction model-based design of reactive streaming software
for multi-core embedded systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {3--32},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00521-7},
doi = {10.1007/S10009-019-00521-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GioulekasPKBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GioulekasPKBP20a,
author = {Fotios Gioulekas and
Peter Poplavko and
Panagiotis Katsaros and
Saddek Bensalem and
Pedro Palomo},
title = {Correction to: Correct-by-construction model-based design of reactive
streaming software for multi-core embedded systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {33--34},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00523-5},
doi = {10.1007/S10009-019-00523-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GioulekasPKBP20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HansenLKKNNSS20,
author = {Dominik Hansen and
Michael Leuschel and
Philipp K{\"{o}}rner and
Sebastian Krings and
Thomas Naulin and
Nader Nayeri and
David Schneider and
Frank Skowron},
title = {Validation and real-life demonstration of {ETCS} hybrid level 3 principles
using a formal {B} model},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {315--332},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00551-6},
doi = {10.1007/S10009-020-00551-6},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HansenLKKNNSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LangeNNK20,
author = {Tim Lange and
Martin R. Neuh{\"{a}}u{\ss}er and
Thomas Noll and
Joost{-}Pieter Katoen},
title = {{IC3} software model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {2},
pages = {135--161},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00547-x},
doi = {10.1007/S10009-019-00547-X},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LangeNNK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LiWF20,
author = {Yi Li and
Wenyuan Wu and
Yong Feng},
title = {On ranking functions for single-path linear-constraint loops},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {655--666},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00549-9},
doi = {10.1007/S10009-019-00549-9},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/LiWF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MahfoudhSNA20,
author = {Houssem Ben Mahfoudh and
Giovanna Di Marzo Serugendo and
Nabil Naja and
Nabil Abdennadher},
title = {Learning-based coordination model for spontaneous self-composition
of reliable services in a distributed system},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {417--436},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00557-0},
doi = {10.1007/S10009-020-00557-0},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MahfoudhSNA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MammarFFL20,
author = {Amel Mammar and
Marc Frappier and
Steve Jeffrey Tueno Fotso and
R{\'{e}}gine Laleau},
title = {A formal refinement-based analysis of the hybrid {ERTMS/ETCS} level
3 standard},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {3},
pages = {333--347},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00543-1},
doi = {10.1007/S10009-019-00543-1},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MammarFFL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MetzlerSW20,
author = {Patrick Metzler and
Neeraj Suri and
Georg Weissenbacher},
title = {Extracting safe thread schedules from incomplete model checking results},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {565--581},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00575-y},
doi = {10.1007/S10009-020-00575-Y},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MetzlerSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MkaouarZHJ20,
author = {Hana Mkaouar and
Bechir Zalila and
J{\'{e}}r{\^{o}}me Hugues and
Mohamed Jmaiel},
title = {A formal approach to {AADL} model-based software engineering},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {2},
pages = {219--247},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00513-7},
doi = {10.1007/S10009-019-00513-7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MkaouarZHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NickovicLMFU20,
author = {Dejan Nickovic and
Olivier Lebeltel and
Oded Maler and
Thomas Ferr{\`{e}}re and
Dogan Ulus},
title = {{AMT} 2.0: qualitative and quantitative trace analysis with extended
signal temporal logic},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {741--758},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00582-z},
doi = {10.1007/S10009-020-00582-Z},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/NickovicLMFU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NicolaJW20,
author = {Rocco De Nicola and
Stefan J{\"{a}}hnichen and
Martin Wirsing},
title = {Rigorous engineering of collective adaptive systems: special section},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {389--397},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00565-0},
doi = {10.1007/S10009-020-00565-0},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/NicolaJW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NicolaMS20,
author = {Rocco De Nicola and
Alessandro Maggi and
Joseph Sifakis},
title = {The DReAM framework for dynamic reconfigurable architecture modelling:
theory and applications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {437--455},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00555-2},
doi = {10.1007/S10009-020-00555-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/NicolaMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PanizoDG20,
author = {Laura Panizo and
Almudena D{\'{\i}}az and
Bruno Garc{\'{\i}}a},
title = {Model-based testing of apps in real network scenarios},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {2},
pages = {105--114},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00518-2},
doi = {10.1007/S10009-019-00518-2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PanizoDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ParsaiD20,
author = {Ali Parsai and
Serge Demeyer},
title = {Comparing mutation coverage against branch coverage in an industrial
setting},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {4},
pages = {365--388},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00567-y},
doi = {10.1007/S10009-020-00567-Y},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ParsaiD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RussoS20,
author = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {Model-based software quality assurance tools and techniques presented
at {FASE} 2018},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {1--2},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00541-3},
doi = {10.1007/S10009-019-00541-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RussoS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SemerathFBV20,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Rebeka Farkas and
G{\'{a}}bor Bergmann and
D{\'{a}}niel Varr{\'{o}}},
title = {Diversity of graph models and graph generators in mutation testing},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {57--78},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00530-6},
doi = {10.1007/S10009-019-00530-6},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SemerathFBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SummersM20,
author = {Alexander J. Summers and
Peter M{\"{u}}ller},
title = {Automating deductive verification for weak-memory programs (extended
version)},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {6},
pages = {709--728},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00559-y},
doi = {10.1007/S10009-020-00559-Y},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SummersM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/UsmanWWYDK20,
author = {Muhammad Usman and
Wenxi Wang and
Kaiyuan Wang and
Cagdas Yelen and
Nima Dini and
Sarfraz Khurshid},
title = {A study of learning likely data structure properties using machine
learning models},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {601--615},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00577-w},
doi = {10.1007/S10009-020-00577-W},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/UsmanWWYDK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/YousefiKGSM20,
author = {Farnaz Yousefi and
Ehsan Khamespanah and
Mohammed Gharib and
Marjan Sirjani and
Ali Movaghar},
title = {VeriVANca framework: verification of VANETs by property-based message
passing of actors in Rebeca with inheritance},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {617--633},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00579-8},
doi = {10.1007/S10009-020-00579-8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/YousefiKGSM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-27 00:10 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
