Mykhaylo Nykolaychuk

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Stochastic Domains

Coal Mine Safety

Abstract Interpretation

Complex Systems

Top Venues

SAFECOMP Workshops

Publications

Mykhaylo Nykolaychuk, Frank Ortmeier
Coverage Path Re-planning for Processing Faults. ICIRA (2) (2015)
Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier
On Efficiently Specifying Models for Model Checking. IMBSA (2014)
Sergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier
Robot Trajectory Optimization for the Relaxed End-effector Path. ICINCO (1) (2014)
Hagen Borstell, Saira Saleem Pathan, Liu Cao, Klaus Richter, Mykhaylo Nykolaychuk
Vehicle positioning system based on passive planar image markers. IPIN (2013)
Michael Soffner, Mykhaylo Nykolaychuk, Friederike Adler, Klaus Richter
A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes. SAFECOMP Workshops (2012)
Norbert Siegmund, Maik Mory, Janet Feigenspan, Gunter Saake, Mykhaylo Nykolaychuk, Marco Schumann
Interoperability of non-functional requirements in complex systems. SEES@ICSE (2012)
Mykhaylo Nykolaychuk, Klaus Richter, Christian Rössl, Holger Theisel
Topological Methods for Motion Data Analysis. VMV (2009)