default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 243
Volume 243, 2025
- Diego Marmsoler
, Billy Thornton:
Deductive verification of solidity smart contracts with SSCalc. 103267 - Giovanni Giachetti, Breno de França, Marcela Genero, Renata S. S. Guizzardi:
Preface for "Selected papers from the 26th Ibero-American Conference on Software Engineering (CIbSE 2023)". 103229 - Hossein Hojjat, Erika Ábrahám:
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023). 103244 - Roberto Casadei, Vinicius Vielmo Cogo, Tom van Dijk, Alceste Scalas:
Preface for the special issue on selected software artifacts from DisCoTec 2023 - the 18th International Federated Conference on Distributed Computing Techniques. 103255 - Fabiano Pecorelli, Vita Santa Barletta, Manuel A. Serrano:
Preface for "Quantum Programming for Software Engineering (QP4SE)". 103257 - Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023). 103258
- Neeraj Kumar Singh, Cristina David, Meng Sun, Meng Wang:
Introduction to the TASE 2023 Special Issue. 103262 - László Antal, Erika Ábrahám, Hana Masara:
Generalizing neural network verification to the family of piece-wise linear activation functions. 103269 - Elisa Jimenez, Alberto Gordillo, Coral Calero, María Ángeles Moraga, Félix García:
Does the compiler or interpreter version influence the energy consumption of programming languages? 103270 - Rubén Campos-López, Esther Guerra, Juan de Lara:
Building augmented reality games with. 103271 - Jyoti Prakash, Abhishek Tiwari, Christian Hammer:
Modular unification of unilingual pointer analyses to multilingual FFI-based programs. 103278 - Peter Rivière, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont:
Extending the EB4EB framework with parameterised events. 103279 - Shaowen Li, Hiroyuiki Sato:
SBD: Securing safe rust automatically from unsafe rust. 103281 - Minnan Zhang, Jingdong Jia, Luiz Fernando Capretz, Xin Hou, Huobin Tan:
Graph neural network-based long method and blob code smell detection. 103284 - Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Path-guided conformance test case generation for models with data and time using symbolic execution techniques. 103285
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-05-03 00:09 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:
