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/scp/scp230.bht:"
download as .bib file
@article{DBLP:journals/scp/BernardezPPTJR23,
author = {Beatriz Bern{\'{a}}rdez and
Jos{\'{e}} Ignacio Panach and
Jos{\'{e}} Antonio Parejo and
Amador Dur{\'{a}}n Toro and
Natalia Juristo and
Antonio Ruiz{-}Cort{\'{e}}s},
title = {An empirical study to evaluate the impact of mindfulness on helpdesk
employees},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102977},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102977},
doi = {10.1016/J.SCICO.2023.102977},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BernardezPPTJR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BucchiaroneSPBCCG23,
author = {Antonio Bucchiarone and
Maxime Savary{-}Leblanc and
Xavier Le Pallec and
Jean{-}Michel Bruel and
Antonio Cicchetti and
Jordi Cabot and
S{\'{e}}bastien G{\'{e}}rard},
title = {Gamifying model-based engineering: The PapyGame tool},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102974},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102974},
doi = {10.1016/J.SCICO.2023.102974},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BucchiaroneSPBCCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CamposM23,
author = {S{\'{e}}rgio Vale Aguiar Campos and
Marius Minea},
title = {Selected papers from the Brazilian Symposium on Formal Methods {(SBMF}
2021)},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102991},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102991},
doi = {10.1016/J.SCICO.2023.102991},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CamposM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanoGenovesIA23,
author = {Carlos Cano{-}Genoves and
Emilio Insfr{\'{a}}n and
Silvia Mara Abrah{\~{a}}o},
title = {VeGAn-Tool: {A} fuzzy-logic approach for value-based goal model analysis},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {103001},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.103001},
doi = {10.1016/J.SCICO.2023.103001},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CanoGenovesIA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ChondamrongkulS23,
author = {Nacha Chondamrongkul and
Jing Sun},
title = {Software evolutionary architecture: Automated planning for functional
changes},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102978},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102978},
doi = {10.1016/J.SCICO.2023.102978},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/ChondamrongkulS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GaleanoMGC23,
author = {Iris Galeano and
Mauricio Mer{\'{\i}}n and
Magal{\'{\i}} Gonz{\'{a}}lez and
Luca Cernuzzi},
title = {A methodological approach for mobile applications development: MethApp4Mob},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102986},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102986},
doi = {10.1016/J.SCICO.2023.102986},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GaleanoMGC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GhoshA23,
author = {Bineet Ghosh and
{\'{E}}tienne Andr{\'{e}}},
title = {MoULDyS: Monitoring of autonomous systems in the presence of uncertainties},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102976},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102976},
doi = {10.1016/J.SCICO.2023.102976},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GhoshA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GobertMC23,
author = {Maxime Gobert and
Loup Meurice and
Anthony Cleve},
title = {Modeling, manipulating and evolving hybrid polystores with HyDRa},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102972},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102972},
doi = {10.1016/J.SCICO.2023.102972},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GobertMC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GomezAbajoGL23,
author = {Pablo G{\'{o}}mez{-}Abajo and
Esther Guerra and
Juan de Lara},
title = {Wodel-Edu: {A} tool for the generation and evaluation of diagram-based
exercises},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {103000},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.103000},
doi = {10.1016/J.SCICO.2023.103000},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GomezAbajoGL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HasratJLS23,
author = {Imran Riaz Hasrat and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
title = {A toolchain for domestic heat-pump control using Uppaal Stratego},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102987},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102987},
doi = {10.1016/J.SCICO.2023.102987},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HasratJLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HirataMS23,
author = {Michikazu Hirata and
Yasuhiko Minamide and
Tetsuya Sato},
title = {Program logic for higher-order probabilistic programs in Isabelle/HOL},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102993},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102993},
doi = {10.1016/J.SCICO.2023.102993},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HirataMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HumeniukKA23,
author = {Dmytro Humeniuk and
Foutse Khomh and
Giuliano Antoniol},
title = {AmbieGen: {A} search-based framework for autonomous systems testing},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102990},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102990},
doi = {10.1016/J.SCICO.2023.102990},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HumeniukKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KlikovitsCCA23,
author = {Stefan Klikovits and
Ezequiel Castellano and
Ahmet Cetinkaya and
Paolo Arcaini},
title = {Frenetic-lib: An extensible framework for search-based generation
of road structures for {ADS} testing},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102996},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102996},
doi = {10.1016/J.SCICO.2023.102996},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KlikovitsCCA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LarsenMSS23,
author = {Kim G. Larsen and
Anders Mariegaard and
Stefan Schmid and
Jir{\'{\i}} Srba},
title = {AllSynth: {A} BDD-based approach for network update synthesis},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102992},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102992},
doi = {10.1016/J.SCICO.2023.102992},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/LarsenMSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LeeK23,
author = {Jaejoon Lee and
Tomoji Kishi},
title = {Preface for the special issue on tool papers of the 25\({}^{\mbox{th}}\)
International Systems and Software Product Line Conference {(SPLC}
2021)},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102988},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102988},
doi = {10.1016/J.SCICO.2023.102988},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/LeeK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LiuMYL23,
author = {Kenan Liu and
Khaled Mahmoud and
Joonhwan Yoo and
Yu David Liu},
title = {Vincent: Green hot methods in the {JVM}},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102962},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102962},
doi = {10.1016/J.SCICO.2023.102962},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/LiuMYL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MoharilS23,
author = {Ambarish Moharil and
Arpit Sharma},
title = {{TABASCO:} {A} transformer based contextualization toolkit},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102994},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102994},
doi = {10.1016/J.SCICO.2023.102994},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MoharilS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MoselerD23,
author = {Oliver Moseler and
Stephan Diehl},
title = {The CodeSparks Framework - Augmenting Source Code with Glyph-based
Visualizations},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102998},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102998},
doi = {10.1016/J.SCICO.2023.102998},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/MoselerD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RenkinSDP23,
author = {Florian Renkin and
Philipp Schlehuber{-}Caissier and
Alexandre Duret{-}Lutz and
Adrien Pommellet},
title = {The Mealy-machine reduction functions of Spot},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102995},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102995},
doi = {10.1016/J.SCICO.2023.102995},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/RenkinSDP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SinghS23,
author = {Robbert Gurdeep Singh and
Christophe Scholliers},
title = {Gaiwan: {A} size-polymorphic typesystem for {GPU} programs},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102989},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102989},
doi = {10.1016/J.SCICO.2023.102989},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/SinghS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SlivkaLPGKSV23,
author = {Jelena Slivka and
Nikola Luburic and
Simona Prokic and
Katarina{-}Glorija Grujic and
Aleksandar Kovacevic and
Goran Sladic and
Dragan Vidakovic},
title = {Towards a systematic approach to manual annotation of code smells},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102999},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102999},
doi = {10.1016/J.SCICO.2023.102999},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SlivkaLPGKSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SoldaniFB23,
author = {Jacopo Soldani and
Stefano Forti and
Antonio Brogi},
title = {yRCA: An explainable failure root cause analyser},
journal = {Sci. Comput. Program.},
volume = {230},
pages = {102997},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2023.102997},
doi = {10.1016/J.SCICO.2023.102997},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/SoldaniFB23.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-05-30 19:38 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:
