Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/scp/scp230.bht:"
@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} }
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.