


default search action
Science of Computer Programming, Volume 248
Volume 248, 2026
- Zili Wang

, Laura P. Gamboa Guzman, Kristin Y. Rozier:
WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL). 103365 - Adrian Francalanza, Gerard Tabone, Frank Pfenning:

Grits: A message-passing programming language based on the semi-axiomatic sequent calculus. 103360 - Yibo Dai, Li Xie, Peng Wu, Shecheng Cui, Linhai Ma:

Intrathread method orders based adaptive testing of concurrent objects. 103362 - Zhehao Zhao

, Yifeng Chen:
A programming framework for distributed computing continuum systems. 103366 - Fatimah Rita Ahmadi:

Typing tensor calculus in 2-categories (I). 103376 - Houda Boukham, Guido Wachsmuth, Oskar van Rest, Hassan Chafi, Sungpack Hong, Martijn Dwars, Arnaud Delamare, Hamza Boucherit, Dalila Chiadmi:

Domain-specific language engineering for large-scale graph analytics using Spoofax: An industry report. 103377 - Claudia Yamile Gómez Llanez, Paola Vallejo, José Aguilar:

Design patterns applied in the development of serious games for cognitive-affective training. 103378 - Takashi Suwa

, Atsushi Igarashi
:
An ML-style module system for cross-stage type abstraction in multi-stage programming. 103379 - Matteo Cimini

, Joan Montas:
Type soundness of functional languages with subtyping in Lang-n-Prove. 103380 - Yongchang Ding

, Wei Han, Zhiqiang Li, Haowen Chen, Linjun Chen, Rong Peng, Xiao-Yuan Jing:
Metric information mining with metric attention to boost software defect prediction performance. 103381 - Hossein Rabbiun, Mahmoud Shirazi, Jamal Mohammadi:

Exact and sufficient schedulability tests for adaptive weakly-hard real-time mixed-criticality systems. 103382 - Maryam Gholami, Jafar Habibi, Maziar Goudarzi:

Enhancing decision-making for software architects: selecting appropriate architectural patterns based on quality attribute requirements. 103383 - Cuauhtémoc López Martín:

Machine learning models for predicting software design effort. 103385 - Anton Wijs

:
An overview of research with Slco on seamless integration of formal verification into model-driven software engineering. 103386 - Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li:

Enhancing automated loop invariant generation for complex programs with large language models. 103387 - Rezvan Salimi, Sadoon Azizi

, Amir Rastegari:
Profit-aware scheduling for time-sensitive applications in heterogeneous multi-server systems. 103390 - Christophe Crochet, John O. R. Aoga, Axel Legay:

PANTHER: Pluginizable testing environment for network protocols. 103389 - George Tsakalidis, Kostas Vergidis:

Systematicity and generalizability in business process redesign methodologies: A systematic literature review. 103392 - Yunior Pacheco Correa, Coen De Roover, Johannes Härtel:

The sampling threat when mining generalizable inter-library usage patterns. 103393

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














