Travelled to:1 × Finland
1 × France
1 × Greece
2 × USA
Collaborated with:D.Méry M.Lawford A.Wassyng T.S.E.Maibaum H.Wang M.B.Andriamiarina S.Kurra P.R.Panda T.S.E.Maibaum
Talks about:formal (3) model (3) cardiac (2) requir (2) resynchron (1) homeostasi (1) distribut (1) construct (1) algorithm (1) synthesi (1)
Person: Neeraj Kumar Singh
DBLP: Singh:Neeraj_Kumar
Contributed to:
201520142013
2013
2007Wrote 8 papers:
- DHM-EH-2015-MeryS #modelling #requirements #using
- Analyzing Requirements Using Environment Modelling (DM, NKS), pp. 345–357.
- DHM-EH-2015-SinghLMW #formal method
- Formalizing the Cardiac Pacemaker Resynchronization Therapy (NKS, ML, TSEM, AW), pp. 374–386.
- DHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements
- Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
- DHM-2014-MeryS #refinement #semantics
- The Semantics of Refinement Chart (DM, NKS), pp. 415–426.
- DHM-2014-SinghWLMW #formal method
- Formalizing the Glucose Homeostasis Mechanism (NKS, HW, ML, TSEM, AW), pp. 460–471.
- DHM-SET-2013-MeryS
- Ideal Mode Selection of a Cardiac Pacing System (DM, NKS), pp. 258–267.
- IFM-2013-AndriamiarinaMS #algorithm #distributed #modelling
- Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms (MBA, DM, NKS), pp. 268–284.
- DATE-2007-KurraSP #synthesis
- The impact of loop unrolling on controller delay in high level synthesis (SK, NKS, PRP), pp. 391–396.