default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 245

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

- view
  authority control:
- export record
  dblp key:
  - journals/scp/WeiSYZT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WeiSYZT25
Xinjie Wei, Chang-Ai Sun, Pengpeng Yang, Xiao-Yi Zhang, Dave Towey:
TraLogAnomaly: A microservice system anomaly detection approach based on hybrid event sequences. 103303
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LvFCLHJH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LvFCLHJH25
Jianqiang Lv, Cai Fu, Liangheng Chen, Ming Liu, Shuai He, Shuai Jiang, Lansheng Han:
DopSteg: Program steganography using data-oriented programming. 103311
- view
  authority control:
- export record
  dblp key:
  - journals/scp/HallerstedeH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HallerstedeH25
Stefan Hallerstede, John Hatcliff:
A mechanized semantics for component-based systems in the HAMR AADL runtime. 103312
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CaiSD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CaiSD25
Cheng-Hao Cai, Jing Sun, Gillian Dobbie:
The automation of design model repair. 103313
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LehmannRNSS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LehmannRNSS25
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer, Sibylle Schupp:
A provably safe controller for the needle-steering problem using online strategy synthesis. 103314
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BellangerGMP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BellangerGMP25
Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard:
Formally proved specification of non-nested STL formulas as synchronous observers. 103315
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BachiriSG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BachiriSG25
Wahiba Bachiri, Yassamine Seladji, Pierre-Loïc Garoche:
Formal specification and SMT verification of quantized neural network for autonomous vehicles. 103316
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MuZZLZL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MuZZLZL25
Xiangyu Mu, Xuan Zhang, Chenlu Zhu, Ning Li, Peng Zhang, Lei Liu:
Testing non-commutativity of reduce functions with multi-column inputs. 103317
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GonzalezC25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GonzalezC25
Magalí González, Luca Cernuzzi:
Analyzing MoWebA's adaptability across architectures. 103318
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChomaZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChomaZ25
Joelma Choma, Luciana Zaina:
Investigating quality aspects for UX evaluation of IoT-based applications in smart cities: A literature review. 103319

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.