More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 240

> 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 240, 2025

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CunhaMB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CunhaMB25
Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Specification of paraconsistent transition systems, revisited. 103196
- view
  authority control:
- export record
  dblp key:
  - journals/scp/YangZLGY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/YangZLGY25
Peiye Yang, Li Zhang, Qin Li, Xiang Gao, Yilong Yang:
OCLVerifer: Automated verification of OCL contracts in requirements models. 103197
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BeltranA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeltranA25
Erika J. Gutiérrez Beltrán, Juan C. Martínez Arias:
Mi Superpoder es la Programación: A tool for teaching programming to children and youth. 103198
- view
  authority control:
- export record
  dblp key:
  - journals/scp/X25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/X25
Report to the readership. 103199
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LeeBFGY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LeeBFGY25
Seongmin Lee, Dave W. Binkley, Robert Feldt, Nicolas Gold, Shin Yoo:
Causal program dependence analysis. 103208
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BaranovL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BaranovL25
Eduard Baranov, Axel Legay:
Baital: Sampling configurable systems with high t-wise coverage. 103209
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ColletMBD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ColletMBD25
Philippe Collet, Johann Mortara, Yann Brault, Anne-Marie Dery-Pinna:
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript. 103210
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LahamiMK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LahamiMK25
Mariam Lahami, Afef Jmal Maâlej, Moez Krichen:
A systematic literature review on dynamic testing of blockchain oriented software. 103211
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ChalupaMLH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChalupaMLH25
Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger:
Vamos: Middleware for best-effort third-party monitoring. 103212
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/DelicarisRASS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DelicarisRASS25
Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe:
Maximizing reachability probabilities in rectangular automata with random events. 103213
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/HorcasGFB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HorcasGFB25
José Miguel Horcas, José A. Galindo, Lidia Fuentes, David Benavides:
FM fact label. 103214
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GiallorenzoMPRU25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GiallorenzoMPRU25
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana:
JoT: A Jolie framework for testing microservices. 103215
- view
  authority control:
- export record
  dblp key:
  - journals/scp/HamidHM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HamidHM25
Abid Afsan Hamid, Md. Fizul Haque, Manishankar Mondal:
Ranking co-change candidates suggested by FLeCCS using programmer sensitivity. 103216
- view
  authority control:
- export record
  dblp key:
  - journals/scp/FerreiraC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FerreiraC25
Felipe Ferreira, José Campos:
An exploratory study on the usage of quantum programming languages. 103217
- view
  authority control:
- export record
  dblp key:
  - journals/scp/YangLM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/YangLM25
Chen Yang, Peng Liang, Zinan Ma:
An exploratory study on automatic identification of assumptions in the development of deep learning frameworks. 103218
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DamascenoJLU25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DamascenoJLU25
Carlos Diego Nascimento Damasceno, Marie-Christine Jakobs, Leen Lambers, Sebastián Uchitel:
Preface for the special issue on "Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering" (FASE 2023). 103219
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FerrandoC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FerrandoC25
Angelo Ferrando, Rafael C. Cardoso:
Towards partial monitoring: Never too early to give in. 103220
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/PasslerBDJT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PasslerBDJT25
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
A Configurable Software Model of a Self-Adaptive Robotic System. 103221
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ProencaE25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ProencaE25
José Proença, Luc Edixhoven:
The CAOS framework for Scala: Computer-aided design of SOS. 103222
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangXDTWY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangXDTWY25
Nan Zhang, Zhijie Xu, Zhenhua Duan, Cong Tian, Wu Wang, Chaofeng Yu:
Verifying chip designs at RTL level. 103224
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BargmannW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BargmannW25
Lara Bargmann, Heike Wehrheim:
View-based axiomatic reasoning for the weak memory models PSO and SRA. 103225

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.