Swarup Kumar Mohalik

Automatic test case generation from Simulink/Stateflow models using model checking

Swarup Kumar Mohalik, A. Gadkari, Anand Yeolekar et al. · Software Testing Verification and Reliability · 2013 · 45 citations

Simulink/stateflow Models, Engineering, Verification +26

Schedulability and end-to-end latency in distributed ECU networks

A. C. Rajeev, Swarup Kumar Mohalik, Manoj G. Dixit et al. · 2010 · 40 citations

Engineering, Distributed Ecu Networks, Computer Architecture +19

Intent-driven Closed Loops for Autonomous Networks

Pedro Henrique Gomes, Magnus Buhrgard, J. Harmatos et al. · Journal of ICT Standardization · 2021 · 33 citations · Full text

Autonomous Network, Engineering, Network Analysis +19

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts

Swarup Kumar Mohalik, A. C. Rajeev, Manoj G. Dixit et al. · 2008 · 25 citations

Engineering, Real-time System Design, Verification +20

Knowledge Representation of Cyber-physical Systems for Monitoring Purpose

Didem Gürdür, Aneta Vulgarakis Feljan, Jad El‐khoury et al. · Procedia CIRP · 2018 · 25 citations · Full text

Engineering, Business Intelligence, Data Warehouse +24