| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
AllSynth: A BDD-based approach for network update synthesis
|
Larsen, Kim G.
|
|
|
230 |
C |
p.
|
artikel
|
| 2 |
AmbieGen: A search-based framework for autonomous systems testing Image 1
|
Humeniuk, Dmytro
|
|
|
230 |
C |
p.
|
artikel
|
| 3 |
A methodological approach for mobile applications development: MethApp4Mob
|
Galeano, Iris
|
|
|
230 |
C |
p.
|
artikel
|
| 4 |
An empirical study to evaluate the impact of mindfulness on helpdesk employees
|
Bernárdez, Beatriz
|
|
|
230 |
C |
p.
|
artikel
|
| 5 |
A toolchain for domestic heat-pump control using Uppaal Stratego
|
Hasrat, Imran Riaz
|
|
|
230 |
C |
p.
|
artikel
|
| 6 |
Editorial Board
|
|
|
|
230 |
C |
p.
|
artikel
|
| 7 |
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing Image 1
|
Klikovits, Stefan
|
|
|
230 |
C |
p.
|
artikel
|
| 8 |
Gaiwan: A size-polymorphic typesystem for GPU programs
|
Gurdeep Singh, Robbert
|
|
|
230 |
C |
p.
|
artikel
|
| 9 |
Gamifying model-based engineering: The PapyGame tool
|
Bucchiarone, Antonio
|
|
|
230 |
C |
p.
|
artikel
|
| 10 |
Modeling, manipulating and evolving hybrid polystores with HyDRa
|
Gobert, Maxime
|
|
|
230 |
C |
p.
|
artikel
|
| 11 |
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties
|
Ghosh, Bineet
|
|
|
230 |
C |
p.
|
artikel
|
| 12 |
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021)
|
Lee, Jaejoon
|
|
|
230 |
C |
p.
|
artikel
|
| 13 |
Program logic for higher-order probabilistic programs in Isabelle/HOL
|
Hirata, Michikazu
|
|
|
230 |
C |
p.
|
artikel
|
| 14 |
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021)
|
Campos, Sérgio
|
|
|
230 |
C |
p.
|
artikel
|
| 15 |
Software evolutionary architecture: Automated planning for functional changes
|
Chondamrongkul, Nacha
|
|
|
230 |
C |
p.
|
artikel
|
| 16 |
TABASCO: A transformer based contextualization toolkit
|
Moharil, Ambarish
|
|
|
230 |
C |
p.
|
artikel
|
| 17 |
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations
|
Moseler, Oliver
|
|
|
230 |
C |
p.
|
artikel
|
| 18 |
The Mealy-machine reduction functions of Spot Image 1
|
Renkin, Florian
|
|
|
230 |
C |
p.
|
artikel
|
| 19 |
Towards a systematic approach to manual annotation of code smells
|
Slivka, Jelena
|
|
|
230 |
C |
p.
|
artikel
|
| 20 |
VeGAn-Tool: A fuzzy-logic approach for value-based goal model analysis
|
Cano-Genoves, C.
|
|
|
230 |
C |
p.
|
artikel
|
| 21 |
Vincent: Green hot methods in the JVM
|
Liu, Kenan
|
|
|
230 |
C |
p.
|
artikel
|
| 22 |
Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises
|
Gómez-Abajo, Pablo
|
|
|
230 |
C |
p.
|
artikel
|
| 23 |
yRCA: An explainable failure root cause analyser Image 1
|
Soldani, Jacopo
|
|
|
230 |
C |
p.
|
artikel
|
Tijdschrift beschrijving