Accepted papers | Acta Cybernetica

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

Published: 2020-08-06

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

Special Issue of SWIM 2019

Interval-Based Simulation of Zélus IVPs using DynIbex

Jason Brown, François Pessaux
- PDF
Toward the Development of Iteration Procedures for the Interval-Based Simulation of Fractional-Order Systems

Andreas Rauh, Julia Kersten
- PDF