Efficient integration of online model checking into a small-footprint real-time operating system. - Krishna Sudhakar; Yuhong Zhao 001; Franz-Josef Rammig (Concurr. Comput. Pract. Exp., 2016)

Creating It from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-Enabled Software Development Environment. - Simon D. Duque Antón; Daniel Fraunholz; Daniel Krohmer; Daniel Reti; Hans D. Schotten; Franklin Selgert; Marcell Marosvölgyi; Morten Larsen; Krishna Sudhakar; Tobias Koch; Till Witt; Cédric Bassem (SAFECOMP Workshops, 2020)