default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 241

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 241, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChenCSK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChenCSK25
Siyue Chen, Loek Cleophas, Sandro Schulze, Jacob Krüger:
VisFork: Towards a toolsuite for visualizing fork ecosystems. 103223
- view
  authority control:
- export record
  dblp key:
  - journals/scp/VermaelenH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/VermaelenH25
Jan Vermaelen, Tom Holvoet:
An empirical evaluation of a formal approach versus ad hoc implementations in robot behavior planning. 103226
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/SchellhornBR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SchellhornBR25
Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif:
Verification of forward simulations with thread-local, step-local proof obligations. 103227
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChenLLLLZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChenLLLLZ25
Zhiqi Chen, Yuzhou Liu, Lei Liu, Huaxiao Liu, Ren Li, Peng Zhang:
API comparison based on the non-functional information mined from Stack Overflow. 103228
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MaheBGG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MaheBGG25
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall:
Efficient interaction-based offline runtime verification of distributed systems with lifeline removal. 103230
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BruckerAMW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BruckerAMW25
Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff:
Parametric ontologies in formal software engineering. 103231
- view
  authority control:
- export record
  dblp key:
  - journals/scp/TatmanHG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/TatmanHG25
Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw:
Analysis and formal specification of OpenJDK's BitSet: Proof files. 103232
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/XuAS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/XuAS25
Mengwei Xu, Blair Archibald, Michele Sevegnani:
CAN-Verify: Automated analysis for BDI agents. 103233
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ElFakihHAY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ElFakihHAY25
Khaled El-Fakih, Faiz Hassan, Ayman Alzaatreh, Nina Yevtushenko:
Assessing the coverage of W-based conformance testing methods over code faults. 103234

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.