Login / Signup
Krishna Sudhakar
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 3
Top Topics
Finite State Machines
Automated Verification
Model Checking
Computation Tree Logic
Top Venues
CoRR
SAFECOMP Workshops
Concurr. Comput. Pract. Exp.
ISORC
</>
Publications
</>
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
Creating It from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-Enabled Software Development Environment.
SAFECOMP Workshops
(2020)
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
Creating it from SCRATCh: A Practical Approach for Enhancing the Security of IoT-Systems in a DevOps-enabled Software Development Environment.
CoRR
(2020)
Krishna Sudhakar
,
Yuhong Zhao
,
Franz-Josef Rammig
Efficient integration of online model checking into a small-footprint real-time operating system.
Concurr. Comput. Pract. Exp.
28 (14) (2016)
Krishna Sudhakar
,
Yuhong Zhao
,
Franz-Josef Rammig
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.
ISORC
(2014)