default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 247
Volume 247, 2026
- Dominique Méry, Rosemary Monahan:
Selected papers from the Rigorous State-Based Methods, 7th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023. 103321 - Elizabeth Scott, Adrian Johnstone:
Earley table traversing parsers. 103335 - Partha Protim Roy
, Kumar Nitol, Teresa Gonçalves, Hasan Sarwar:
Software project management tools in practice in IT industry of Bangladesh. 103337 - Daniel Cruz, Amanda Santana, Eduardo Figueiredo:
Evaluating a continuous feedback strategy to enhance machine learning code smell detection. 103346 - Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies. 103349 - Tiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marco A. C. Barbosa, Marcelo Teixeira:
DEScMaker: A tool for automated code generation for discrete event systems controllers. 103350 - Cecilia Manzino, Gonzalo de Latorre:
A Haskell-embedded DSL for secure information-flow. 103351 - Cláudio Belo Lourenço, Jorge Sousa Pinto:
Auto-active verification of distributed systems and specification refinements with Why3-do. 103352 - Linlin Wen, Chengying Mao, Dave Towey, Jifu Chen:
An adaptive pairwise testing algorithm based on deep reinforcement learning. 103353 - Alec Edwards, Andrea Peruffo, Alessandro Abate:
Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models. 103354 - Benjamin Bogø, Andrea Burattin, Alceste Scalas:
PN2CCS: A tool to encode Petri nets into calculus of communicating systems. 103355 - Gianluca Aguzzi, Matteo Cerioni, Mirko Viroli:
Low-code design of collective systems with ScaFi-Blocks. 103356 - Kangliang Zhu, Wenhua Yang, Minxue Pan, Yu Zhou:
Detecting duplicate vulnerability records across databases. 103357 - Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen:
Safe and infinite resource scheduling using energy timed automata. 103358 - Yang Wang, Zeyu Lu, Beining Wu, Yibiao Yang, Hongmin Lu, Yuming Zhou:
Random test generators demystified: Differences and potential for compiler reliability. 103359 - Ruibang Liu, Hongming Liu, Guoqiang Li:
Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning. 103361
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-12-05 22:38 CET 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:
