| Design Patterns for Personalization of Healthcare Process | 2 | 0.37 | 2019 |
| Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system. | 3 | 0.42 | 2019 |
| Intelligent Support for Clinical Processes Based on Automaton Approach | 0 | 0.34 | 2019 |
| Impact of Adversarial Examples on the Efficiency of Interpretation and Use of Information from High-Tech Medical Images | 0 | 0.34 | 2019 |
| Software Tools for Manual Segmentation of Tomography Images Supporting Radiologist’s Personal Context | 0 | 0.34 | 2019 |
| Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing | 0 | 0.34 | 2019 |
| Function block finite-state model identification using SAT and CSP solvers | 1 | 0.36 | 2019 |
| Parallel Combining - Benefits of Explicit Synchronization. | 0 | 0.34 | 2018 |
| Intellectualization of Knowledge Acquisition of Academic Texts as an Answer to Challenges of Modern Information Society. | 0 | 0.34 | 2018 |
| On Helping and Stacks. | 0 | 0.34 | 2018 |
| Active Learning Of Formal Plant Models For Cyber-Physical Systems | 0 | 0.34 | 2018 |
| Noise Masking Recurrent Neural Network For Respiratory Sound Classification | 4 | 0.47 | 2018 |
| Exact Finite-State Machine Identification from Scenarios and Temporal Properties. | 6 | 0.46 | 2018 |
| Csp-Based Inference Of Function Block Finite-State Models From Execution Traces | 0 | 0.34 | 2017 |
| Reconstruction of Function Block Logic Using Metaheuristic Algorithm. | 1 | 0.36 | 2017 |
| Closed-Loop Verification Of A Compensating Group Drive Model Using Synthesized Formal Plant Model | 0 | 0.34 | 2017 |
| Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach. | 2 | 0.38 | 2017 |
| Plant Trace Generation For Formal Plant Model Inference: Methods And Case Study | 0 | 0.34 | 2017 |
| Symmetry Breaking Predicates for SAT-based DFA Identification. | 0 | 0.34 | 2016 |
| Models and methods for multicriteria situational flexible reassignment of control functions in man-machine systems | 1 | 0.43 | 2016 |
| Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas | 0 | 0.34 | 2016 |
| Genetic Search Of Pickup And Delivery Problem Solutions For Self-Driving Taxi Routing | 1 | 0.35 | 2016 |
| Reconstruction Of Function Block Controllers Based On Test Scenarios And Verification | 0 | 0.34 | 2016 |
| BFS-Based Symmetry Breaking Predicates for DFA Identification. | 8 | 0.53 | 2015 |
| Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming | 2 | 0.42 | 2015 |
| Change Request Management In Model-Driven Engineering Of Industrial Automation Software | 2 | 0.41 | 2015 |
| An Asynchronous Implementation Of The Limited Memory Cma-Es | 0 | 0.34 | 2015 |
| Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks | 0 | 0.34 | 2015 |
| Reconstruction of function block logic using metaheuristic algorithm: Initial explorations | 3 | 0.40 | 2015 |
| Hard test generation for augmenting path maximum flow algorithms using genetic algorithms: Revisited | 2 | 0.44 | 2015 |
| A portability study of IEC 61499: Semantics and tools | 2 | 0.39 | 2014 |
| Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study. | 0 | 0.34 | 2014 |
| Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence | 0 | 0.34 | 2014 |
| Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm. | 1 | 0.36 | 2014 |
| Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties | 2 | 0.39 | 2014 |
| A Provably Asymptotically Fast Version Of The Generalized Jensen Algorithm For Non-Dominated Sorting | 18 | 0.84 | 2014 |
| Solving Five Instances of the Artificial Ant Problem with Ant Colony Optimization. | 0 | 0.34 | 2013 |
| Search-based construction of finite-state machines with real-valued actions: new representation model | 2 | 0.40 | 2013 |
| Test-Based Induction of Finite-State Machines with Continuous Output Actions. | 2 | 0.41 | 2013 |
| A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning | 5 | 0.47 | 2013 |
| Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms Using Genetic Algorithms | 3 | 0.48 | 2013 |
| Extracting EFSMs of web applications for formal requirements specification | 0 | 0.34 | 2012 |
| GA-based and design by contract approach to test generation for EFSMs | 1 | 0.36 | 2010 |
| Graphical inheritance notation for state-based classes | 1 | 0.43 | 2007 |
| Tools for support of automata-based programming | 9 | 1.05 | 2007 |
| Translating Iterative Algorithms into Automaton Ones | 1 | 0.43 | 2002 |
| SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems | 13 | 1.49 | 2001 |
