BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kumar:Ratnesh

Contributed to:

CASE 20132013
CASE 20122012
CASE 20102010
CASE 20092009
SEKE 20072007

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, ), 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.