Skip to main content
Skip to main navigation menu
Skip to site footer
Acta Cybernetica
Accepted Papers
Current
Archives
Announcements
About
About the Journal
Submissions
Editorial Team
Contact
Search
Search
Register
Login
Home
/
Archives
/
Accepted Papers
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, Gábor Oláh, Zoltán Porkolá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
Open Journal Systems
Information
For Readers
For Authors
For Librarians
Make a Submission
Most read in last month
A Geometric Method for Accelerated Sphere Tracing of Implicit Surfaces
52
Geometric Distance Fields of Plane Curves
49
Evaluating the Performance of Novel JWT Revocation Strategy
42
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer
41
Rootkit Detection on Embedded IoT Devices
40
Current Issue