`Travelled to:`

1 × Canada

1 × India

1 × Korea

2 × USA

`Collaborated with:`

J.Chen M.Li S.Xu A.Pinto L.Ouedraogo R.Malik K.Åkesson C.Zhou D.Bhatt K.Schloegel D.D.Cofer

`Talks about:`

system (4) stateflow (3) simulink (3) discret (3) control (3) event (3) test (3) stochast (2) network (2) generat (2)

## Person: Ratnesh Kumar

### DBLP: Kumar:Ratnesh

### Contributed to:

### Wrote 8 papers:

- CASE-2013-ChenK #distributed #probability
- Decentralized failure diagnosis of stochastic discrete event systems (JC, RK), pp. 1083–1088.
- CASE-2013-LiK #automation #generative #novel #reachability #reduction #testing
- Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
- CASE-2012-ChenK #polynomial #probability
- Polynomial test for Stochastic Diagnosability of discrete event systems (JC, RK), pp. 521–526.
- CASE-2012-LiK #automation #automaton #finite #generative #modelling #testing #using
- Model-based automatic test generation for Simulink/Stateflow using extended finite automaton (ML, RK), pp. 857–862.
- CASE-2010-OuedraogoKMA #approach #automaton #finite
- Symbolic approach to nonblocking and safe control of Extended Finite Automata (LO, RK, RM, KÅ), pp. 471–476.
- CASE-2009-PintoKX #embedded #network #synthesis
- Synthesis of wireless time-triggered embedded networks for networked control systems (AP, RK, SX), pp. 397–402.
- CASE-2009-XuK #nondeterminism
- Discrete event control under nondeterministic partial observation (SX, RK), pp. 127–132.
- SEKE-2007-ZhouKBSC #framework #requirements #specification
- A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules (CZ, RK, DB, KS, DDC), pp. 179–184.