In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9115) Springer International Publishing, Switzerland, pp. 309-328. ISSN 0302-9743
New Search Strategies for the Petri Net CEGAR Approach
In: 7th IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM), CIS & RAM IEEE, Siem Reap, pp. 193-198.
How the sensitivity measures can be computed for different Youla regulators
In: International Conference BOINC:FAST 2015 Proceedings of the Second International Conference BOINC-based High Performance Computing: Fundamental Research and Development (BOINC:FAST 2015), 2015.09.14-2015.09.18, Petrozavodsk.
Orchestrated service deployment, maintenance, and debugging in IaaS clouds for crowd computing