Biomedical Engineering Reference
In-Depth Information
Nancy I-Université Nancy II-Institut National Polytechnique de Lorraine.
http://hal.inria.fr/
41. 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.
42. 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.
43. 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.
44. 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.
45. Méry, D., & Singh, N. (2011). A generic framework: From modeling to code. In
Innovations
in systems and software engineering
(pp. 1-9).
46. 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.
47. 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.
48. 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.
49. 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/
.
50. Méry, D., & Singh, N. K. (2012). Closed-loop modeling of cardiac pacemaker and heart. In
Foundations of health informatics engineering and systems
.
51. Méry, D., & Singh, N. K. (2012).
Formal development and automatic code generation: Car-
diac pacemaker
. New York: ASME Press.
52. 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.
53. 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.
54. MIT-BIH. MIT-BIH database distribution and software.
http://ecg.mit.edu/index.html
.
55. Rehm, J. (2010). Proved development of the real-time properties of the IEEE 1394 Root Con-
tention Protocol with the Event-B method.
International Journal on Software Tools for Tech-
nology Transfer
,
12
(1), 39-51.
56. RODIN (2004). Rigorous open development environment for complex systems.
http://
57. Singh, N. K., Wellings, A., & Cavalcanti, A. (2012). The cardiac pacemaker case study and
its implementation in safety-critical Java and Ravenscar Ada. In
Proceedings of the 10th in-
ternational workshop on Java technologies for real-time and embedded systems
, JTRES'12
(pp. 62-71). New York: ACM.
58. Tuan, L. A., Zheng, M. C., & Tho, Q. T. (2010). Modeling and verification of safety critical
systems: A case study on pacemaker. In
Secure system integration and reliability improvement
(pp. 23-32).
59. Woodcock, J. (2006). First steps in the verified software grand challenge.
Computer
,
39
(10),
57-64.
60. Woodcock, J., & Banach, R. (2007). The verification grand challenge.
Journal of Universal
Computer Science
,
13
(5), 661-668.
Search WWH ::
Custom Search