![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 230
Volume 230, August 2023
- Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu
:
Vincent: Green hot methods in the JVM. 102962
- Maxime Gobert
, Loup Meurice, Anthony Cleve:
Modeling, manipulating and evolving hybrid polystores with HyDRa. 102972
- Antonio Bucchiarone
, Maxime Savary-Leblanc, Xavier Le Pallec, Jean-Michel Bruel, Antonio Cicchetti, Jordi Cabot, Sébastien Gérard:
Gamifying model-based engineering: The PapyGame tool. 102974
- Bineet Ghosh
, Étienne André:
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. 102976
- Beatriz Bernárdez
, José Ignacio Panach, José Antonio Parejo, Amador Durán Toro, Natalia Juristo, Antonio Ruiz-Cortés:
An empirical study to evaluate the impact of mindfulness on helpdesk employees. 102977 - Nacha Chondamrongkul, Jing Sun:
Software evolutionary architecture: Automated planning for functional changes. 102978
- Iris Galeano, Mauricio Merín, Magalí González, Luca Cernuzzi:
A methodological approach for mobile applications development: MethApp4Mob. 102986
- Imran Riaz Hasrat
, Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
A toolchain for domestic heat-pump control using Uppaal Stratego. 102987
- Jaejoon Lee, Tomoji Kishi:
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021). 102988
- Robbert Gurdeep Singh
, Christophe Scholliers
:
Gaiwan: A size-polymorphic typesystem for GPU programs. 102989
- Dmytro Humeniuk
, Foutse Khomh, Giuliano Antoniol:
AmbieGen: A search-based framework for autonomous systems testing. 102990
- Sérgio Vale Aguiar Campos, Marius Minea:
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021). 102991
- Kim G. Larsen
, Anders Mariegaard, Stefan Schmid
, Jirí Srba
:
AllSynth: A BDD-based approach for network update synthesis. 102992
- Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato:
Program logic for higher-order probabilistic programs in Isabelle/HOL. 102993
- Ambarish Moharil, Arpit Sharma:
TABASCO: A transformer based contextualization toolkit. 102994
- Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz
, Adrien Pommellet:
The Mealy-machine reduction functions of Spot. 102995
- Stefan Klikovits
, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
:
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. 102996
- Jacopo Soldani
, Stefano Forti
, Antonio Brogi
:
yRCA: An explainable failure root cause analyser. 102997
- Oliver Moseler
, Stephan Diehl:
The CodeSparks Framework - Augmenting Source Code with Glyph-based Visualizations. 102998 - Jelena Slivka
, Nikola Luburic, Simona Prokic
, Katarina-Glorija Grujic, Aleksandar Kovacevic, Goran Sladic, Dragan Vidakovic:
Towards a systematic approach to manual annotation of code smells. 102999
- Pablo Gómez-Abajo
, Esther Guerra, Juan de Lara:
Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises. 103000 - Carlos Cano-Genoves
, Emilio Insfrán, Silvia Mara Abrahão:
VeGAn-Tool: A fuzzy-logic approach for value-based goal model analysis. 103001
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.