selected publications
-
academic article
- The no-meet matroid. Discrete Applied Mathematics. 354:94-107. 2022
- Homing Sequence Derivation With Quantified Boolean Satisfiability. IEEE Transactions on Computers. 71:696-711. 2021
- Deriving Synchronizing and Homing Sequences for Input/Output Automata. Automatic Control and Computer Sciences. 52:589-595. 2018
- Source code optimization using equivalent mutants. Information and Software Technology. 103:138-141. 2018
- Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Aspects of Computing. 30:319-332. 2018
- The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Information Processing Letters. 127:49-53. 2017
- On using finite state models for optimizing and testing SDN controller components. . 2016
- Novel machine learning technique for predicting teaching strategy effectiveness. International Journal of Information Management. 53:101488-101488. 2016
- QoE Prediction for Multimedia Services. International Journal of Organizational and Collective Intelligence. 4:44-64. 2014
- A TEFSM-based Framework for QoE Evaluation of OTT Services. Proceedings of the Institute for System Programming of RAS. 26:17-30. 2014
- A SPIN-based approach for detecting vulnerabilities in C programs. Automatic Control and Computer Sciences. 46:379-386. 2012
-
blog posting
- Extended Finite State Machine based test generation for an OpenFlow switch. . 2019
- Preventive Model-based Verification and Repairing for SDN Requests. arXiv (Cornell University). 2019
-
book
-
chapter
- Dynamic Link Network Emulation and Validation of Execution Datasets. Communications in computer and information science. 116-138. 2023
- Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. Lecture notes in computer science. 55-61. 2022
- A Model Checking Based Approach for Detecting SDN Races. Lecture notes in computer science. 194-211. 2019
- Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. Lecture notes in computer science. 86-103. 2019
- A Study of Threat Detection Systems and Techniques in the Cloud. Lecture notes in computer science. 140-155. 2018
- Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. Lecture notes in computer science. 69-84. 2018
- Multimedia Quality of Experience. IGI Global eBooks. 999-1034. 2017
- Quality Estimation of Virtual Machine Placement in Cloud Infrastructures. Lecture notes in computer science. 213-229. 2017
- Multimedia Quality of Experience. Advances in multimedia and interactive technologies book series. 250-284. 2015
- QoE Prediction for Multimedia Services. IGI Global eBooks. 1784-1804. 2015
- Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. Lecture notes in computer science. 33-48. 2013
-
conference paper
- Studying timed aspects for cloud configuration management tools: validation and recommendations for safe execution. . 1365-1367. 2024
- Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems. . 727-734. 2024
- Studying Synchronization Issues for Extended Automata. . 338-345. 2023
- Timed Transition Tour for Race Detection in Distributed Systems. . 613-620. 2023
- On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress). . 1-3. 2020
- On the Assessment and Debugging of QoE in SDN: Work in Progress. . 1-3. 2019
- Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. . 1-6. 2018
- Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. . 552-562. 2018
- Towards Model based Testing for Software Defined Networks. . 440-446. 2018
- Decreasing the complexity of deriving test suites against nondeterministic finite state machines. . 1-4. 2017
- Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. . 315-322. 2016
- Self-adaptive models for laser monitor image processing. . 300-303. 2016
- QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. . 607-614. 2015
- On Testing against Partial Non-observable Specifications. . 230-233. 2014
- Evaluating Web Service QoE by Learning Logic Networks. . 168-176. 2014
- Extended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols. Proceedings of the Spring/Summer young researchers' colloquium on software engineering. 2014
- Evaluating Quality of Web Services: A Short Survey. . 587-594. 2013
-
document
Co-author Network