Biomedical Engineering Reference
In-Depth Information
Nancy I-Université Nancy II-Institut National Polytechnique de Lorraine.
http://hal.inria.fr/
18. Méry, D., & Singh, N. K. (2010).
EB2C: A tool for Event-B to C conversion support
.Poster
and tool demo submission, published in a CNR technical report in SEFM.
19. Méry, D., & Singh, N. K. (2010). Real-time animation for formal specification. In M. Aiguier,
F. Bretaudeau, & D. Krob (Eds.),
Complex systems design & management
(pp. 49-60). Berlin:
Springer.
20. Méry, D., & Singh, N. K. (2010). Technical report on formal development of two-
electrode cardiac pacing system. MOSEL-LORIA-INRIA-CNRS: UMR7503-Université
Henri Poincaré-Nancy I-Université Nancy II-Institut National Polytechnique de Lorraine.
21. Méry, D., & Singh, N. K. (2010). Trustable formal specification for software certification. In
T. Margaria & B. Steffen (Eds.),
Lecture notes in computer science: Vol. 6416
.
Leveraging
applications of formal methods, verification, and validation
(pp. 312-326). Berlin: Springer.
22. Méry, D., & Singh, N. K. (2011). Automatic code generation from Event-B models. In
Pro-
ceedings of the second symposium on information and communication technology
,SoICT'11
(pp. 179-188). New York: ACM.
23. Méry, D., & Singh, N. K. (2011).
EB2J: Code generation from Event-B to Java
. Short paper
presented at the 14th Brazilian symposium on formal methods, SBMF'11.
24. Méry, D., & Singh, N. K. (2011). Functional behavior of a cardiac pacing system.
Interna-
tional Journal of Discrete Event Control Systems
,
1
(2), 129-149.
25. Méry, D., & Singh, N. K. (2011). Technical report on formalisation of the heart using analysis
of conduction time and velocity of the electrocardiography and cellular-automata. MOSEL-
LORIA-INRIA-CNRS: UMR7503-Université Henri Poincaré-Nancy I-Université Nancy II-
Institut National Polytechnique de Lorraine.
http://hal.inria.fr/inria-00600339/en/
.
26. Méry, D., & Singh, N. K. (2011). Technical report on interpretation of the electrocardiogram
(ECG) signal using formal methods. MOSEL-LORIA-INRIA-CNRS: UMR7503-Université
Henri Poincaré-Nancy I-Université Nancy II-Institut National Polytechnique de Lorraine.
27. Méry, D., & Singh, N. K. (2012). Closed-loop modeling of cardiac pacemaker and heart. In
Foundations of health informatics engineering and systems
.
28. Méry, D., & Singh, N. K. (2012).
Formal development and automatic code generation: Car-
diac pacemaker
. New York: ASME Press.
29. Méry, D., & Singh, N. K. (2012). Formalization of heart models based on the conduction of
electrical impulses and cellular automata. In Z. Liu & A. Wassyng (Eds.),
Lecture notes in
computer science: Vol. 7151
.
Foundations of health informatics engineering and systems
(pp.
140-159). Berlin: Springer.
30. Méry, D., & Singh, N. K. (2012). Medical protocol diagnosis using formal methods. In Z. Liu
& A. Wassyng (Eds.),
Lecture notes in computer science: Vol. 7151
.
Foundations of health
informatics engineering and systems
(pp. 1-20). Berlin: Springer.
31. Méry, D., & Singh, N. K. (2013). Formal specification of medical systems by proof-based
refinement.
ACM Transactions on Embedded Computing Systems
,
12
(1), 15:1-15:25.
32. Price, D. (1995). Pentium FDIV flaw-lessons learned.
IEEE MICRO
,
15
(2), 86-88.
33. Redmill, M. C. F., & Catmur, J. (1999).
System safety: HAZOP and software HAZOP
(1st ed.).
Chichester: Wiley.
34. Schumann, J. M. (2001).
Automated theorem proving in software engineering
.NewYork:
Springer.
35. Wichmann, B. A., & British Computer Society (1992).
Software in safety-related systems
(Special report). BCS.
36. Wilkinson, P. J., & Kelly, T. P. (1998). Functional hazard analysis for highly integrated
aerospace systems. In
Certification of ground/air systems seminar
(pp. 4-146). New York:
IEEE. Ref. No. 1998/255.
37. Woodcock, J., & Banach, R. (2007). The verification grand challenge.
Journal of Universal
Computer Science
,
13
(5), 661-668.
Search WWH ::
Custom Search