Neeraj Kumar Singh Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, Neeraj Kumar Singh: Formal Specification of Medical Systems by Proof-Based Refinement. ACM Trans. Embedded Comput. Syst. 12(1): 15 (2013)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh: Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. IFM 2013: 268-284
2012
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neeraj Kumar Singh, Andy J. Wellings, Ana Cavalcanti: The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada. JTRES 2012: 62-71
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, Neeraj Kumar Singh: Critical systems development methodology using formal techniques. SoICT 2012: 3-12
2011
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, Neeraj Kumar Singh: A generic framework: from modeling to code. ISSE 7(4): 227-235 (2011)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neeraj Kumar Singh, Jyoti Sharma, Navneet Kaur: Citation Analysis of Journal of Documentation. Webology 8(1) (2011)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, Neeraj Kumar Singh: Medical Protocol Diagnosis Using Formal Methods. FHIES 2011: 1-20
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, Neeraj Kumar Singh: Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. FHIES 2011: 140-159
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, Neeraj Kumar Singh: Automatic code generation from event-B models. SoICT 2011: 179-188
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, Neeraj Kumar Singh: Analysis of DSR Protocol in Event-B. SSS 2011: 401-415
2010
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, Neeraj Kumar Singh: Real-Time Animation for Formal Specification. CSDM 2010: 49-60
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominique Méry, Neeraj Kumar Singh: Trustable Formal Specification for Software Certification. ISoLA (2) 2010: 312-326
2009
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neeraj Kumar Singh, Hichem Snoussi, David J. Hewson, Jacques Duchêne: Detection of the Critical Point Interval of Postural Control Strategy using Wavelet Transform Analysis. BIOSIGNALS 2009: 101-106
2007
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Srikanth Kurra, Neeraj Kumar Singh, Preeti Ranjan Panda: The impact of loop unrolling on controller delay in high level synthesis. DATE 2007: 391-396

Coauthor Index

1Manamiary Bruno Andriamiarina
[c11]
2Ana Cavalcanti
[c10]
3Jacques Duchêne
[c2]
4David J. Hewson
[c2]
5Navneet Kaur
[j1]
6Srikanth Kurra
[c1]
7Dominique Méry
[j3] [c11] [c9] [j2] [c8] [c7] [c6] [c5] [c4] [c3]
8Preeti Ranjan Panda
[c1]
9Jyoti Sharma
[j1]
10Hichem Snoussi
[c2]
11Andy J. Wellings (Andrew J. Wellings)
[c10]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 13:22:26 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page