Accepted Papers | Acta Cybernetica

Skip to main content Skip to main navigation menu Skip to site footer

These papers are accepted for publication, but will appear in future issues.

Published: 2021-06-02

Regular articles

Domain Semirings United

Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
- PDF
Computing Different Realizations of Linear Dynamical Systems with Embedding Eigenvalue Assignment

Gergely Szlobodnyik, Gábor Szederkényi
- PDF
The Inverse Epsilon Distribution as an Alternative to Inverse Exponential Distribution with a Survival Times Data Example

Tamás Jónás, Christophe Chesneau, József Dombi, Hassan Salah Bakouch
- PDF

Selected papers of STCS 2019

Type Inference of Simple Recursive Functions in Scala

Gergely Nagy, Gábor Oláh, Zoltán Porkoláb
- PDF
Report on the Differential Testing of Static Analyzers

Gabor Horvath, Reka Nikolett Kovacs, Peter Szecsi
- PDF
Improved Loop Execution Modeling in the Clang Static Analyzer

Péter György Szécsi, Gábor Horváth, Zoltán Porkoláb
- PDF
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer

Kristóf Umann, Zoltán Porkoláb
- PDF
A Modern Look at GRIN, an Optimizing Functional Language Back End

Peter Podlovics, Csaba Hruska, Andor Pénzes
- PDF
Visualisation of Jenkins Pipelines

Ádám Révész, Norbert Pataki
- PDF
Adaptation of a Refactoring DSL for the Object-Oriented Paradigm

Dávid J. Németh, Dániel Horpácsi, Máté Tejfel
- PDF
Towards a Generic Framework for Trustworthy Program Refactoring

Dániel Horpácsi, Judit Kőszegi, Dávid J. Németh
- PDF