default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 242
Volume 242, 2025
- Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer:
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs. 103252 - Srajan Goyal
, Alberto Griggio, Stefano Tonetta:
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator. 103253 - Blair Archibald, Michele Sevegnani, Mengwei Xu:
Modelling and verifying BDI agents under uncertainty. 103254 - Philipp Borchers, Tjark Koopmann, Lukas Westhofen, Jan Steffen Becker, Lina Putze, Dominik Grundt, Thies de Graaff, Vincent Kalwa, Christian Neurohr:
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems. 103256 - Bin Hu, Dongjin Yu, Yijian Wu, Tianyi Hu, Yuanfang Cai:
An empirical study of code clones: Density, entropy, and patterns. 103259 - Yusung Sim, Wonho Shin, Sungho Lee:
Automated code transformation for distributed training of TensorFlow deep learning models. 103260 - Shuqi Liu, Yu Zhou, Huiwen Yang, Tingting Han, Taolue Chen:
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications. 103261 - Guilherme Lima, Alexandre Rademaker, Rosario Uceda-Sosa:
ULKB Logic: A HOL-based framework for reasoning over knowledge graphs. 103263 - Maarten Vandercammen, Coen De Roover:
State merging for concolic testing of event-driven applications. 103264 - Bence Graics, Milán Mondok, Vince Molnár, István Majzik:
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations. 103265 - Heji Huang, Ju Qian, Deping Zhang:
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation. 103266
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.
last updated on 2025-06-17 21:06 CEST 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:
