An autonomous vehicle in a connected environment: case study of cyber-resilience.
Proceedings of the 19th Conference on Computer Science and Intelligence Systems, 2024
Automatic Discovery of Cyberattacks.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024
Towards a Formalisation of Expert's Knowledge for an Automatic Construction of a Vulnerability Model of a Cyberphysical System.
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021
Analysis of a Frequency Response of a Noisy Optical Network for Its Self-adaptation.
SN Comput. Sci., 2020
Random Neural Networks with Hierarchical Committees for Improved Routing in Wireless Mesh Networks with Interference.
SN Comput. Sci., 2020
Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour.
Proceedings of the 30th International Workshop on Rapid System Prototyping, 2019
Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking.
Fundam. Informaticae, 2018
Performance of a Buffer Between Electronic and All-Optical Networks, Diffusion Approximation Model.
Proceedings of the Computer and Information Sciences - 32nd International Symposium, 2018
Solving Large Markov Models Described with Standard Programming Language.
Proceedings of the Computer and Information Sciences - 32nd International Symposium, 2018
A Queueing Model of the Edge Node in IP over All-Optical Networks.
Proceedings of the Computer Networks - 25th International Conference, 2018
Adaptation of the N-GREEN Architecture for a Bursty Traffic.
Proceedings of the Computer Networks - 25th International Conference, 2018
A Queueing Model of an Insurance Database Interactive System, Comparison of Modelling Methods.
Proceedings of the Man-Machine Interactions 5, 2017
Delays in IP Routers, a Markov Model.
Proceedings of the Computer and Information Sciences - 31st International Symposium, 2016
A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract).
Proceedings of the 25th International Workshop on Concurrency, 2016
A Study of IP Router Queues with the Use of Markov Models.
Proceedings of the Computer Networks - 23rd International Conference, 2016
Indefinite waitings in MIRELA systems.
Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015
Modelling and Analysing Mixed Reality Applications.
Proceedings of the Man-Machine Interactions 4, 2015
Evolvability by Mimicking Common Properties of a Nervous System and Computer Software.
Fundam. Informaticae, 2014
Fractional Genetic Programming with Probability Density Data.
Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014
Fractional Genetic Programming for a More Gradual Evolution.
Proceedings of the 22nd International Workshop on Concurrency, 2013
A Translator of Java Programs to TADDs.
Fundam. Informaticae, 2009
An effective edge--directed frequency filter for removal of aliasing in upsampled images
CoRR, 2006
Distant generalization by feedforward neural networks
CoRR, 2005
An Algorithm for Transforming Color Images into Tactile Graphics
CoRR, 2004
Fast Feedforward Neural Networks with Diffused Nonlinear Weight Functions
CoRR, 2003
On Interference of Signals and Generalization in Feedforward Neural Networks
CoRR, 2003