| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Haskell-embedded DSL for secure information-flow
|
Manzino, Cecilia
|
|
|
247 |
C |
p.
|
artikel
|
| 2 |
An adaptive pairwise testing algorithm based on deep reinforcement learning
|
Wen, Linlin
|
|
|
247 |
C |
p.
|
artikel
|
| 3 |
Auto-active verification of distributed systems and specification refinements with Why3-do
|
Belo Lourenço, Cláudio
|
|
|
247 |
C |
p.
|
artikel
|
| 4 |
DEScMaker: A tool for automated code generation for discrete event systems controllers
|
Possato, Tiago
|
|
|
247 |
C |
p.
|
artikel
|
| 5 |
Detecting duplicate vulnerability records across databases
|
Zhu, Kangliang
|
|
|
247 |
C |
p.
|
artikel
|
| 6 |
Earley table traversing parsers
|
Scott, Elizabeth
|
|
|
247 |
C |
p.
|
artikel
|
| 7 |
Editorial Board
|
|
|
|
247 |
C |
p.
|
artikel
|
| 8 |
Evaluating a continuous feedback strategy to enhance machine learning code smell detection
|
Cruz, Daniel
|
|
|
247 |
C |
p.
|
artikel
|
| 9 |
Fossil 2.0: Design, usage and impact of a software tool for verification and control of dynamical models
|
Edwards, Alec
|
|
|
247 |
C |
p.
|
artikel
|
| 10 |
Low-code design of collective systems with ScaFi-Blocks
|
Aguzzi, Gianluca
|
|
|
247 |
C |
p.
|
artikel
|
| 11 |
Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning
|
Liu, Ruibang
|
|
|
247 |
C |
p.
|
artikel
|
| 12 |
PN2CCS: A tool to encode Petri nets into calculus of communicating systems
|
Bogø, Benjamin
|
|
|
247 |
C |
p.
|
artikel
|
| 13 |
Random test generators demystified: Differences and potential for compiler reliability
|
Wang, Yang
|
|
|
247 |
C |
p.
|
artikel
|
| 14 |
Safe and infinite resource scheduling using energy timed automata
|
Cuijpers, Pieter J.L.
|
|
|
247 |
C |
p.
|
artikel
|
| 15 |
Selected papers from the Rigorous State-Based Methods, 7th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023
|
Méry, Dominique
|
|
|
247 |
C |
p.
|
artikel
|
| 16 |
Software project management tools in practice in IT industry of Bangladesh
|
Roy, Partha Protim
|
|
|
247 |
C |
p.
|
artikel
|
| 17 |
tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies
|
De Palma, Giuseppe
|
|
|
247 |
C |
p.
|
artikel
|
Tijdschrift beschrijving