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

Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures

Andreas Rauh, Auguste Bourgois, Luc Jaulin
- 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
Instantiation of Java Generics

Péter Soha, Norbert Pataki
- PDF