-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathPublications.html
1341 lines (1279 loc) · 168 KB
/
Publications.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<!DOCTYPE html>
<html lang='en-US' xml:lang='en-US'>
<head><title>Publications </title>
<meta charset='utf-8' />
<meta content='TeX4ht (https://tug.org/tex4ht/)' name='generator' />
<meta content='width=device-width,initial-scale=1' name='viewport' />
<link href='web.css' rel='stylesheet' type='text/css' />
<meta content='web.tex' name='src' />
</head><body>
<!-- l. 371 --><div class='crosslinks'><p class='noindent'>[<a href='ListofPhDSupervisions.html'>prev</a>] [<a href='ListofPhDSupervisions.html#tailListofPhDSupervisions.html'>prev-tail</a>] [<a href='#tailPublications.html'>tail</a>] [<a href='web.html#Publications.html'>up</a>] </p></div>
<h3 class='sectionHead' id='publications-'><span class='titlemark'>5 </span> <a id='x7-140005'></a>Publications </h3>
<!-- l. 374 --><p class='noindent'>
</p>
<h4 class='subsectionHead' id='on-hal'><span class='titlemark'>5.1 </span> <a id='x7-150005.1'></a>On HAL</h4>
<!-- l. 378 --><p class='noindent'><a href='https://haltools.inria.fr/Public/afficheRequetePubli.php?auteur_exp=dominique%2Cmery&annee_publideb=1980&annee_publifin=2024&CB_auteur=oui&CB_titre=oui&CB_article=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=typdoc&tri_exp3=date_publi&ordre_aff=TA&Fen=Aff&css=../css/VisuRubriqueEncadre.css'>List of publications pon HAL</a>
</p><!-- l. 380 --><p class='noindent'>
</p>
<h4 class='subsectionHead' id='on-dblp-'><span class='titlemark'>5.2 </span> <a id='x7-160005.2'></a>On DBLP </h4>
<!-- l. 382 --><p class='noindent'><a href='https://dblp.org/pid/51/6932.html'>List of publications on DBLP </a>
</p><!-- l. 386 --><p class='noindent'>
</p>
<h4 class='subsectionHead' id='my-list-of-publications'><span class='titlemark'>5.3 </span> <a id='x7-170005.3'></a>My list of publications</h4>
<!-- l. 1 --><p class='noindent'>
</p>
<h4 class='likesubsectionHead' id='books-monographs-and-proceeedings'><a id='x7-18000'></a>Books, monographs and proceeedings</h4>
<!-- l. 1 --><p class='noindent'>
</p><div class='thebibliography'>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[1]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery96d'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>First International Workshop on Formal Methods for Parallel
Programming: Theory and Applications</span><span class='ptmr7t-x-x-109'>, IEEE Technical Computer Society Technical
Committee, IPPS. – Hawaii. USA, CRIN, avril 1996.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[2]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery97d'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Second International Workshop on Formal Methods for Parallel
Programming: Theory and Applications</span><span class='ptmr7t-x-x-109'>, IEEE Technical Computer Society Technical
Committee, IPPS. – Geneva. Switzerland, LORIA UMR 7503 Laboratoire Lorrain de Recherche
en Informatique et Applications, avril 1997.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[3]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery99f'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Edition Spéciale FMPPTA98</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Parallel Processing Letters</span><span class='ptmr7t-x-x-109'>. – World
Scientific, December 1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[4]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery99e'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, G.-R. P<span class='small-caps'>errin</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Edition Spéciale RenPar’10 Dixièmes Rencontres
Francophones du Parallélisme</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Techniques et Sciences Informatiques</span><span class='ptmr7t-x-x-109'>. – HERMES, Mai 1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[5]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery99d'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, G.-R. P<span class='small-caps'>errin</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>RenPar’10 Dixièmes Rencontres Francophones du
Parallélisme</span><span class='ptmr7t-x-x-109'>. ICPS et LORIA. – ICPS et LORIA, 9-12 Juin 1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[6]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery98c'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, B. S<span class='small-caps'>anders</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Third International Workshop on Formal Methods for
Parallel Programming: Theory and Applications</span><span class='ptmr7t-x-x-109'>, IEEE Technical Computer Society Technical
Committee, IPPS. – Orlando, Florida USA, LORIA UMR 7503 Laboratoire Lorrain de Recherche
en Informatique et Applications, avril 1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[7]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery99c'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, B. S<span class='small-caps'>anders</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Fourth International Workshop on Formal Methods for
Parallel Programming: Theory and Applications</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, IEEE
Technical Computer Society Technical Committee, IPPS. – Puerto Rico, Springer Verlag, avril
1999.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[8]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmsr2003'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. REZG, X. XIE </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Modélisation des systèmes réactifs MSR 2003</span><span class='ptmr7t-x-x-109'>. –
Hermès Lavoisier, 2003.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[9]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00539785'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, S. M<span class='small-caps'>erz</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Integrated Formal Methods</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer
Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>6396</span><span class='ptmr7t-x-x-109'>. – Springer, octobre 2010, 335p.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[10]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xgiannakopoulou_hal-00743808'></a><span class='ptmrc7t-x-x-109'>D. G<span class='small-caps'>iannakopoulou</span>, D. Mé<span class='small-caps'>ry</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>FM 2012: Formal Methods - 18th International
Symposium, Paris, France, August 27-31, 2012. Proceedings</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>LNCS</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>7436</span><span class='ptmr7t-x-x-109'>. – Springer, août 2012,
488p.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[11]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_ictac_2014'></a><span class='ptmrc7t-x-x-109'>G. C<span class='small-caps'>iobanu</span>, D. Mé<span class='small-caps'>ry</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Theoretical Aspects of Computing - ICTAC 2014 - 11th
International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Lecture
Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>8687</span><span class='ptmr7t-x-x-109'>. – Springer, 2014.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[12]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_corr_DuboisGM14'></a><span class='ptmrc7t-x-x-109'>C. D<span class='small-caps'>ubois</span>, D. G<span class='small-caps'>iannakopoulou</span>, D. Mé<span class='small-caps'>ry</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Proceedings 1st Workshop on
Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014</span><span class='ptmr7t-x-x-109'>,
</span><span class='ptmri7t-x-x-109'>EPTCS</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>149</span><span class='ptmr7t-x-x-109'>. – 2014.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[13]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_corr_DuboisMM15'></a><span class='ptmrc7t-x-x-109'>C. D<span class='small-caps'>ubois</span>, P. M<span class='small-caps'>asci</span>, D. Mé<span class='small-caps'>ry</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Proceedings Second International Workshop
on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015</span><span class='ptmr7t-x-x-109'>,
</span><span class='ptmri7t-x-x-109'>EPTCS</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>187</span><span class='ptmr7t-x-x-109'>. – 2015.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[14]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_corr_DuboisMM17'></a><span class='ptmrc7t-x-x-109'>C. D<span class='small-caps'>ubois</span>, P. M<span class='small-caps'>asci</span>, D. Mé<span class='small-caps'>ry</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Proceedings of the Third Workshop on Formal
Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016</span><span class='ptmr7t-x-x-109'>,
</span><span class='ptmri7t-x-x-109'>EPTCS</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>240</span><span class='ptmr7t-x-x-109'>. – 2017.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[15]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_medi_2018w'></a><span class='ptmrc7t-x-x-109'>E. H. A<span class='small-caps'>bdelwahed</span>, L. B<span class='small-caps'>ellatreche</span>, D. B<span class='small-caps'>enslimane</span>, M. G<span class='small-caps'>olfarelli</span>,
S. J<span class='small-caps'>ean</span>, D. Mé<span class='small-caps'>ry</span>, K. N<span class='small-caps'>akamatsu</span>, C. O<span class='small-caps'>rdonez</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>New Trends in Model and Data
Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY,
Marrakesh, Morocco, October 24-26, 2018, Proceedings</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Communications in Computer and
Information Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>929</span><span class='ptmr7t-x-x-109'>. – Springer, 2018.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[16]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_medi_2018'></a><span class='ptmrc7t-x-x-109'>E. H. A<span class='small-caps'>bdelwahed</span>, L. B<span class='small-caps'>ellatreche</span>, M. G<span class='small-caps'>olfarelli</span>, D. Mé<span class='small-caps'>ry</span>, C. O<span class='small-caps'>rdonez</span>
</span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh,
Morocco, October 24-26, 2018, Proceedings</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>11163</span><span class='ptmr7t-x-x-109'>. –
Springer, 2018.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[17]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_corr_abs-1805-04636'></a><span class='ptmrc7t-x-x-109'>R. L<span class='small-caps'>aleau</span>, D. Mé<span class='small-caps'>ry</span>, S. N<span class='small-caps'>akajima</span>, E. T<span class='small-caps'>roubitsyna</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Proceedings Joint
Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX)
and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD),
IMPEX/FM&MDD 2017, and Formal and Model-Driven Techniques for Developing Trustworthy
Systems (FM&MDD) Xi’An, China, 16th November 2017</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>EPTCS</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>271</span><span class='ptmr7t-x-x-109'>. – 2018.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[18]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-02400510'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, S. Q<span class='small-caps'>in</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>2019 International Symposium on Theoretical Aspects of
Software Engineering (TASE)</span><span class='ptmr7t-x-x-109'>, Xianxian Li and Zhi Li. – Guillin, China, IEEE, novembre 2019.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[19]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xraschke_hal-02999312'></a><span class='ptmrc7t-x-x-109'>A. R<span class='small-caps'>aschke</span>, D. Mé<span class='small-caps'>ry</span>, F. H<span class='small-caps'>oudek</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Rigorous State-Based Methods - 7th
International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Rigorous
State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29,
2020, Proceedings</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, 12071, Alexander Raschke. – ULM,
Germany, Springer, mai 2020.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[20]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xaitameur_hal-02910199'></a><span class='ptmrc7t-x-x-109'>Y. Aï<span class='small-caps'>t</span>-A<span class='small-caps'>meur</span>, S. N<span class='small-caps'>akajima</span>, D. Mé<span class='small-caps'>ry</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Implicit and Explicit Semantics
Integration in Proof-Based Developments of Discrete Systems</span><span class='ptmr7t-x-x-109'>. – Springer Singapore, 2021.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[21]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_asm_2021'></a><span class='ptmrc7t-x-x-109'>A. R<span class='small-caps'>aschke</span>, D. Mé<span class='small-caps'>ry</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Rigorous State-Based Methods - 8th International
Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer
Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>12709</span><span class='ptmr7t-x-x-109'>. – Springer, 2021.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[22]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_zum_2023'></a><span class='ptmrc7t-x-x-109'>U. G<span class='small-caps'>l</span>ä<span class='small-caps'>sser</span>, J. C. C<span class='small-caps'>ampos</span>, D. Mé<span class='small-caps'>ry</span>, P. A. P<span class='small-caps'>alanque</span> </span><span class='ptmr7t-x-x-109'>(réd.). – </span><span class='ptmri7t-x-x-109'>Rigorous
State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2,
2023, Proceedings</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>14010</span><span class='ptmr7t-x-x-109'>. – Springer, 2023.</span>
</p>
</div>
<!-- l. 172 --><p class='noindent'>
</p>
<h4 class='likesubsectionHead' id='theses'><a id='x7-19000'></a>Theses</h4>
<!-- l. 172 --><p class='noindent'>
</p><div class='thebibliography'>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[23]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery83a'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – </span><span class='ptmri7t-x-x-109'>Une Méthode Axiomatique de Preuves de Propriétés de Fatalité de Programmes
Paralleles avec Hypothèses d’Execution équitable</span><span class='ptmr7t-x-x-109'>. – Thèse de doctorat, Institut National
Polytechnique de Lorraine, 1983. – Thèse de Troisième Cycle.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[24]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery93b'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – </span><span class='ptmri7t-x-x-109'>Une Méthode de Raffinement et de Développement pour la Programmation
Parallèle</span><span class='ptmr7t-x-x-109'>. – Thèse de doctorat, Université de Nancy 1,UFR STMIA, DFD Informatique, Février
1993. – Doctorat ès Sciences Mathématiques.</span>
</p>
</div>
<!-- l. 194 --><p class='noindent'>
</p>
<h4 class='likesubsectionHead' id='papers-in-peer-reviewed-journals'><a id='x7-20000'></a>Papers in peer reviewed journals</h4>
<!-- l. 194 --><p class='noindent'>
</p><div class='thebibliography'>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[25]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery87a'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Méthode axiomatique pour les propriétés de fatalité des programmes
parallèles-. – </span><span class='ptmri7t-x-x-109'>RAIRO Informatique Théorique et Application 21</span><span class='ptmr7t-x-x-109'>, 3 (1987), pp. 287–322.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[26]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery92b'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -The </span><span class='cmsy-10x-x-109'>𝒩𝒰</span><span class='ptmr7t-x-x-109'>system as a development system for concurrent programs: </span><span class='cmmi-10x-x-109'>δ</span><span class='cmsy-10x-x-109'>𝒩𝒰</span><span class='ptmr7t-x-x-109'>-. –
</span><span class='ptmri7t-x-x-109'>Theoretical Computer Science 94</span><span class='ptmr7t-x-x-109'>, 2 (march 1992), pp. 311 – 334.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[27]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery95a'></a><span class='ptmrc7t-x-x-109'>A. M<span class='small-caps'>okkedem</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -On using temporal logic for refinement and compositional
verification of concurrent systems-. – </span><span class='ptmri7t-x-x-109'>Theoretical Computer Science 140 </span><span class='ptmr7t-x-x-109'>(avril 1995),
pp. 95–138.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[28]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery98i'></a><span class='ptmrc7t-x-x-109'>B. M<span class='small-caps'>ermet</span>, D. Mé<span class='small-caps'>ry</span>, D. S<span class='small-caps'>amborski</span></span><span class='ptmr7t-x-x-109'>. – -Spécification de services : une approche
avec B-. – </span><span class='ptmri7t-x-x-109'>Technique et science informatique 17</span><span class='ptmr7t-x-x-109'>, 9 (1998), p. 20 pages.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[29]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xcansell00h'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span>, S. M<span class='small-caps'>erz</span></span><span class='ptmr7t-x-x-109'>. – -Diagrams Refinement for the Design of Reactive
Systems-. – </span><span class='ptmri7t-x-x-109'>Journal of Universal Computer Science 7</span><span class='ptmr7t-x-x-109'>, 2 (2000), pp. 159–174.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[30]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_fac_AbrialCM03'></a><span class='ptmrc7t-x-x-109'>J.-R. A<span class='small-caps'>brial</span>, D.</span><span class='ptmrc7t-x-x-109'> C<span class='small-caps'>ansell</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A Mechanically Proved and Incremental
Development of IEEE 1394 Tree Identify Protocol-. – </span><span class='ptmri7t-x-x-109'>Formal Asp. Comput. 14</span><span class='ptmr7t-x-x-109'>, 3 (2003),
pp. 215–227.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[31]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_cai_CansellM03'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Foundations of the B Method-. – </span><span class='ptmri7t-x-x-109'>Computers and Artificial
Intelligence 22</span><span class='ptmr7t-x-x-109'>, 3-4 (2003), pp. 221–256.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[32]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery05a'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, D. C<span class='small-caps'>ansell</span>, C. P<span class='small-caps'>roch</span>, D. A<span class='small-caps'>braham</span>, P. D<span class='small-caps'>itsch</span></span><span class='ptmr7t-x-x-109'>. – -The challenge of
QoS for digital television services-. – </span><span class='ptmri7t-x-x-109'>EBU Technical Review </span><span class='ptmr7t-x-x-109'>(avril 2005).</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[33]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XCANSELL_2006_INRIA-00093164_1'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Formal and Incremental Construction of Distributed
Algorithms: On the Distributed Reference Counting Algorithm-. – </span><span class='ptmri7t-x-x-109'>Theoretical Computer Science
364</span><span class='ptmr7t-x-x-109'>, 3 (2006), pp. 318–337.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[34]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery07a'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, J. P. G<span class='small-caps'>ibson</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Refinement: A Constructive Approach to
Formal Software Design for a Secure e-voting Interface-. – </span><span class='ptmri7t-x-x-109'>Electr. Notes Theor. Comput. Sci. 183
</span><span class='ptmr7t-x-x-109'>(2007), pp. 39–55.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[35]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery07b'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Incremental Parametric Development of Greedy Algorithms-.
– </span><span class='ptmri7t-x-x-109'>Electr. Notes Theor. Comput. Sci. 185 </span><span class='ptmr7t-x-x-109'>(2007), pp. 47–62.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[36]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery2007d'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, S. M<span class='small-caps'>erz</span></span><span class='ptmr7t-x-x-109'>. – -Specification and Refinement of Access Control-. – </span><span class='ptmri7t-x-x-109'>Journal of
Universal Computer Science 13</span><span class='ptmr7t-x-x-109'>, 8 (2007), pp. 1073–1093.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[37]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xcansell_inria-00426385'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span>, C. P<span class='small-caps'>roch</span></span><span class='ptmr7t-x-x-109'>. – -System-on-chip design by proof-based
refinement-. – </span><span class='ptmri7t-x-x-109'>International Journal on Software Tools for Technology Transfer 11</span><span class='ptmr7t-x-x-109'>, 3 (mars 2009),
pp. 217–238. – The original publication is available at www.springerlink.com.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[38]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00426384'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A Simple Refinement-based Method for Constructing Algorithms-. – </span><span class='ptmri7t-x-x-109'>ACM
SIGCSE Bulletin 41</span><span class='ptmr7t-x-x-109'>, 2 (juin 2009), pp. 51–59.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[39]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00426383'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Refinement-Based Guidelines for Algorithmic Systems-. – </span><span class='ptmri7t-x-x-109'>International
Journal of Software and Informatics 3</span><span class='ptmr7t-x-x-109'>, 2-3 (septembre 2009), pp. 197–239.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[40]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00540007'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Functional Behavior of a Cardiac Pacing System-. –
</span><span class='ptmri7t-x-x-109'>International Journal of Discrete Event Control Systems (IJDECS) </span><span class='ptmr7t-x-x-109'>(décembre 2010).</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[41]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00637761'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -A generic framework: from modeling to code-. – </span><span class='ptmri7t-x-x-109'>Innovations
in Systems and Software Engineering (ISSE) </span><span class='ptmr7t-x-x-109'>(septembre 2011), pp. 1–9.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[42]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xtounsi_hal-00644187'></a><span class='ptmrc7t-x-x-109'>M. T<span class='small-caps'>ounsi</span>, M. M<span class='small-caps'>osbah</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Proving Distributed Algorithms by Combining
Refinement and Local Computations-. – </span><span class='ptmri7t-x-x-109'>Electronic Communications of the EASST 35 </span><span class='ptmr7t-x-x-109'>(novembre
2011), pp. ISSN 1863–2122.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[43]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00637756'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Formal Specification of Medical Systems by Proof-Based
Refinement-. – </span><span class='ptmri7t-x-x-109'>ACM Transactions in Embedded Computing Systems 12</span><span class='ptmr7t-x-x-109'>, 1 (janvier 2013), p. 15.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[44]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xandriamiarina_hal-00924525'></a><span class='ptmrc7t-x-x-109'>M. B. A<span class='small-caps'>ndriamiarina</span>, D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Revisiting Snapshot Algorithms by
Refinement-based Techniques (Extended Version)-. – </span><span class='ptmri7t-x-x-109'>Computer Science and Information Systems
</span><span class='ptmr7t-x-x-109'>(2014).</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[45]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmry_et_al_DR_2014_4543'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, B. S<span class='small-caps'>ch</span>ä<span class='small-caps'>tz</span>, A. W<span class='small-caps'>assyng</span></span><span class='ptmr7t-x-x-109'>. – -The Pacemaker Challenge: Developing
Certifiable Medical Devices (Dagstuhl Seminar 14062)-. – </span><span class='ptmri7t-x-x-109'>Dagstuhl Reports 4</span><span class='ptmr7t-x-x-109'>, 2 (2014),
pp. 17–37.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[46]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_scp_AmeurM16'></a><span class='ptmrc7t-x-x-109'>Y. A. A<span class='small-caps'>meur</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Making explicit domain knowledge in formal system
development-. – </span><span class='ptmri7t-x-x-109'>Sci. Comput. Program. 121 </span><span class='ptmr7t-x-x-109'>(2016), pp. 100–127.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[47]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_ijaacs_TounsiMM16'></a><span class='ptmrc7t-x-x-109'>M. T<span class='small-caps'>ounsi</span>, M. M<span class='small-caps'>osbah</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -From Event-B specifications to programs for
distributed algorithms-. – </span><span class='ptmri7t-x-x-109'>IJAACS 9</span><span class='ptmr7t-x-x-109'>, 3/4 (2016), pp. 223–242.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[48]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_cys_FakhfakhTMMK17'></a><span class='ptmrc7t-x-x-109'>F. F<span class='small-caps'>akhfakh</span>, M. T<span class='small-caps'>ounsi</span>, M. M<span class='small-caps'>osbah</span>, D. Mé<span class='small-caps'>ry</span>, A. H. K<span class='small-caps'>acem</span></span><span class='ptmr7t-x-x-109'>. – -Proving
Distributed Coloring of Forests in Dynamic Networks-. – </span><span class='ptmri7t-x-x-109'>Computación y Sistemas 21</span><span class='ptmr7t-x-x-109'>, 4 (2017).</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[49]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_fgcs_Mery17'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Playing with state-based models for designing better algorithms-. – </span><span class='ptmri7t-x-x-109'>Future
Generation Comp. Syst. 68 </span><span class='ptmr7t-x-x-109'>(2017), pp. 445–455.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[50]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_sosym_MeryP17'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, M. P<span class='small-caps'>oppleton</span></span><span class='ptmr7t-x-x-109'>. – -Towards an integrated formal method for verification of
liveness properties in distributed systems: with application to population protocols-. – </span><span class='ptmri7t-x-x-109'>Software
and System Modeling 16</span><span class='ptmr7t-x-x-109'>, 4 (2017), pp. 1083–1115.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[51]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_iwc_SinghAGMP21'></a><span class='ptmrc7t-x-x-109'>N. K. S<span class='small-caps'>ingh</span>, Y. A. A<span class='small-caps'>meur</span>, R. G<span class='small-caps'>eniet</span>, D. Mé<span class='small-caps'>ry</span>, P. A. P<span class='small-caps'>alanque</span></span><span class='ptmr7t-x-x-109'>. – -On
the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive
Applications-. – </span><span class='ptmri7t-x-x-109'>Interact. Comput. 33</span><span class='ptmr7t-x-x-109'>, 1 (2021), pp. 92–114.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[52]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_fgcs_BellatrecheOMGA22'></a><span class='ptmrc7t-x-x-109'>L. B<span class='small-caps'>ellatreche</span>, C. O<span class='small-caps'>rdonez</span>, D. Mé<span class='small-caps'>ry</span>, M. G<span class='small-caps'>olfarelli</span>, E. H. A<span class='small-caps'>bdelwahed</span></span><span class='ptmr7t-x-x-109'>.
– -The central role of data repositories and data models in Data Science and Advanced Analytics-.
– </span><span class='ptmri7t-x-x-109'>Future Gener. Comput. Syst. 129 </span><span class='ptmr7t-x-x-109'>(2022), pp. 13–17.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[53]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_scp_MeryQ22'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, S. Q<span class='small-caps'>in</span></span><span class='ptmr7t-x-x-109'>. – -Selected papers from The 13th International Symposium on
Theoretical Aspects of Software Engineering 29 July - 1 August 2019, Guilin, China-. – </span><span class='ptmri7t-x-x-109'>Sci.
Comput. Program. 218 </span><span class='ptmr7t-x-x-109'>(2022), p. 102804.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[54]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_scp_MeryR22'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, A. R<span class='small-caps'>aschke</span></span><span class='ptmr7t-x-x-109'>. – -Selected papers from the Rigorous State-Based Methods 7th
International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020-. – </span><span class='ptmri7t-x-x-109'>Sci. Comput. Program.
216 </span><span class='ptmr7t-x-x-109'>(2022), p. 102780.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[55]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xsingh_hal-03617603'></a><span class='ptmrc7t-x-x-109'>N. K. S<span class='small-caps'>ingh</span>, Y. Aï<span class='small-caps'>t</span>-A<span class='small-caps'>meur</span>, I. M<span class='small-caps'>endil</span>, D. Mé<span class='small-caps'>ry</span>, D. N<span class='small-caps'>avarre</span>, P. P<span class='small-caps'>alanque</span>,
M. P<span class='small-caps'>antel</span></span><span class='ptmr7t-x-x-109'>. – -F3FLUID: A formal framework for developing safety-critical interactive systems
in FLUID-. – </span><span class='ptmri7t-x-x-109'>Journal of Software: Evolution and Process </span><span class='ptmr7t-x-x-109'>(2022). – Early View = Online Version
of Record before inclusion in an issue : e2439.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[56]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_jsa_MendilAKDMP23'></a><span class='ptmrc7t-x-x-109'>I. M<span class='small-caps'>endil</span>, Y. Aï<span class='small-caps'>t</span>-A<span class='small-caps'>meur</span>, N. K. S<span class='small-caps'>ingh</span>,
G. D<span class='small-caps'>upont</span>, D. Mé<span class='small-caps'>ry</span>, P. A. P<span class='small-caps'>alanque</span></span><span class='ptmr7t-x-x-109'>. – -Formal domain-driven system development in
Event-B: Application to interactive critical systems-. – </span><span class='ptmri7t-x-x-109'>J. Syst. Archit. 135 </span><span class='ptmr7t-x-x-109'>(2023), p. 102798.</span>
</p>
</div>
<!-- l. 409 --><p class='noindent'>
</p>
<h4 class='likesubsectionHead' id='general-papers-for-popularization'><a id='x7-21000'></a>General Papers for Popularization</h4>
<!-- l. 409 --><p class='noindent'>
</p><div class='thebibliography'>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[57]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery95e'></a><span class='ptmri7t-x-x-109'>Formal methods for concurrency, parallelism and distribution</span><span class='ptmr7t-x-x-109'>, 23. – octobre 1995. ERCIM
News, numéro 23, 2 pages.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[58]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery97b'></a><span class='ptmri7t-x-x-109'>Spécification de services et gestion des interactions</span><span class='ptmr7t-x-x-109'>. – avril 1997. Lettre B, Numéro 2, pages
6-7.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[59]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XCANSELL_2005_35645'></a><span class='ptmri7t-x-x-109'>Un système d’analyse de la qualité: de la norme au produit en passant par le raffinement</span><span class='ptmr7t-x-x-109'>, 73.
– CNAM - Paris, France, 2005, 44–50p.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[60]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmorel_hal-00805851'></a><span class='ptmri7t-x-x-109'>Spécification d’exigences physico-physiologiques d’interaction homme-machine en ingénierie
système</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Mars 2013</span><span class='ptmr7t-x-x-109'>, 104. – mars 2013, 29–39p. 10 pages.</span>
</p>
</div>
<!-- l. 435 --><p class='noindent'>
</p>
<h4 class='likesubsectionHead' id='book-chapters'><a id='x7-22000'></a>Book chapters</h4>
<!-- l. 435 --><p class='noindent'>
</p><div class='thebibliography'>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[61]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xcarrez92a'></a><span class='ptmrc7t-x-x-109'>F. C<span class='small-caps'>arrez</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Specification and Derivation of Process Networks-. – </span><span class='ptmri7t-x-x-109'>In : The
Unified Computation Laboratory : Modelling, Specifications, and Tools</span><span class='ptmr7t-x-x-109'>, R. Clark et C. Rattray
(réd.). Oxford University Press, 1992, ch. 275–291.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[62]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery92a'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Proving and Developing Concurrent Programs: a Small System-. – </span><span class='ptmri7t-x-x-109'>In : The
Unified Computation Laboratory Modelling, Specifications, and Tools</span><span class='ptmr7t-x-x-109'>, R. Clark et C. Rattray
(réd.). Oxford University Press, 1992, ch. 381–396.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[63]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xgibson97a'></a><span class='ptmrc7t-x-x-109'>J.-P. G<span class='small-caps'>ibson</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A Unifying Framework for Multi-Semantic Software
Development-. – </span><span class='ptmri7t-x-x-109'>In : Special Issues in Object-Oriented Programming</span><span class='ptmr7t-x-x-109'>, M. Mühlhäuser (réd.).
Dpunkt, 1997.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[64]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery97h'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Logiques temporelles-. – </span><span class='ptmri7t-x-x-109'>In : Ecole d’été - Temps réel 1997</span><span class='ptmr7t-x-x-109'>, C. N. R. S.
(réd.). CNRS, 1997, p. 17.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[65]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery99l'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -La méthode B : Fondements et Applications-. – </span><span class='ptmri7t-x-x-109'>In : Ecole d’été - Temps réel
1999</span><span class='ptmr7t-x-x-109'>. C. N. R. S., 1999, p. 17.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[66]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xcansell_inria-00099264'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Abstraction and refinement of features-. – </span><span class='ptmri7t-x-x-109'>In : Language
Constructs for Designing Features</span><span class='ptmr7t-x-x-109'>, G. Stephen et R. Mark (réd.). Springer, 2000. – Contribution
à un ouvrage.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[67]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery2000a'></a><span class='ptmrc7t-x-x-109'>J.-P. G<span class='small-caps'>ibson</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – </span><span class='ptmri7t-x-x-109'>Object-oriented technology and computing systems
re-engineering</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Computer Science and Electronic Engineering</span><span class='ptmr7t-x-x-109'>. Horwood Publishing Ltd, 2000,
ch. Fair Objects. – ISBN 1-898563-56-X.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[68]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XCANSELL_2006_INRIA-00096696_1'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Event B-. – </span><span class='ptmri7t-x-x-109'>In : Software Specification Methods</span><span class='ptmr7t-x-x-109'>, H. Habrias
et M. Frappier (réd.). Hermes-Science Lavoisier, 2006.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[69]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xlosl-b'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – </span><span class='ptmri7t-x-x-109'>Logics of Specification Languages</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>EATCS Textbook in
Computer Science</span><span class='ptmr7t-x-x-109'>. Springer, 2007, ch. The Event-B Modelling Method: Concepts and Case
Studies, pp. 33–140.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[70]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-00926335'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Event B-. – </span><span class='ptmri7t-x-x-109'>In : Mise en oeuvre de la méthode B</span><span class='ptmr7t-x-x-109'>, J.-L.
Boulanger (réd.), </span><span class='ptmri7t-x-x-109'>Informatique et Systèmes d’Informations</span><span class='ptmr7t-x-x-109'>. HERMES, avril 2013.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[71]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xsingh_hal-01216779'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Event B (english version)-. – </span><span class='ptmri7t-x-x-109'>In : Formal Methods Applied to
Complex Systems</span><span class='ptmr7t-x-x-109'>, J.-L. Boulanger (réd.), </span><span class='ptmri7t-x-x-109'>Formal Methods Applied to Complex Systems</span><span class='ptmr7t-x-x-109'>. Wiley,
juillet 2014.</span>
</p>
</div>
<!-- l. 513 --><p class='noindent'>
</p>
<h4 class='likesubsectionHead' id='invited-conferences'><a id='x7-23000'></a>Invited Conferences</h4>
<!-- l. 513 --><p class='noindent'>
</p><div class='thebibliography'>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[72]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery96a'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -De la transformation de prédicats à la transformation de programmes-. –
</span><span class='ptmri7t-x-x-109'>In : Actes des journées Formalisation des activités concurrentes</span><span class='ptmr7t-x-x-109'>, CERT-IRIT-LAAS, pp. 1–15. –
février 1996.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[73]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery99i'></a><span class='ptmrc7t-x-x-109'>P. G<span class='small-caps'>ibson</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Formal modelling of services for getting a better understanding
of the feature interaction problem - multi-view approach-. – </span><span class='ptmri7t-x-x-109'>In : PSI’99, Andrei Ershov Third
International Conference, PERSPECTIVES OF SYSTEM INFORMATICS</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Lecture Notes in
Computer Science</span><span class='ptmr7t-x-x-109'>, Springer Verlag, p. 25. – Novosibirsk, Akademgorodok, Russia, 6 - 9 July
1999. Lecture Notes in Computer Science.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[74]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_zum_CansellM00'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Playing with Abstraction and Refinement for Managing
Features Interactions-. – </span><span class='ptmri7t-x-x-109'>In : ZB 2000: Formal Specification and Development in Z and B,
First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000,
Proceedings</span><span class='ptmr7t-x-x-109'>, pp. 148–167. – 2000.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[75]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00540008'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Trustable Formal Specification for Software Certification-. –
</span><span class='ptmri7t-x-x-109'>In : 4th International Symposium On Leveraging Applications of Formal Methods - ISOLA 2010</span><span class='ptmr7t-x-x-109'>,
T. Margaria, B. Ste (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>6416</span><span class='ptmr7t-x-x-109'>, Springer, pp. 312–326. –
Heraklion, Crete, Greece, octobre 2010.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[76]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00638473'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Formalisation of the Heart based on Conduction of Electrical
Impulses and Cellular-Automata-. – </span><span class='ptmri7t-x-x-109'>In : International Symposium on Foundations of Health
Information Engineering and Systems (FHIES, 2011)</span><span class='ptmr7t-x-x-109'>, Z. Liu, A. Wassyng (réd.), UMIST
Macau. – Johannesburg, South Africa, août 2011. conference 2011.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[77]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_medi_Mery14'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Playing with State-Based Models for Designing Better Algorithms-. – </span><span class='ptmri7t-x-x-109'>In :
Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus,
September 24-26, 2014. Proceedings</span><span class='ptmr7t-x-x-109'>, pp. 1–3. – 2014.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[78]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery2018crisis'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Correct-by-Construction Modelling Methodology for Trustworthy Medical
Devices-. – 16th-18th October 2018.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[79]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-02400379'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Verification by Construction of Distributed Algorithms-. – </span><span class='ptmri7t-x-x-109'>In : Theoretical
Aspects of Computing - ICTAC 2019 - 16th International Colloquium</span><span class='ptmr7t-x-x-109'>, R. M. Hierons,
M. Mosbah (réd.), </span><span class='ptmri7t-x-x-109'>Theoretical Aspects of Computing - ICTAC 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings</span><span class='ptmr7t-x-x-109'>, 11884, Springer,
pp. 22–38. – Mammamet, Tunisia, octobre 2019.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[80]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery2019jaipur'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Correctness-by-Construction for Safe and Secure Systems-. – MNIT, Jaipur,
INDIA. – 10th-12th January 2019.</span>
</p>
</div>
<!-- l. 592 --><p class='noindent'>
</p>
<h4 class='likesubsectionHead' id='communications-in-international-conferences-or-symposia-with-peerreviewed-proceedings-published-by-springer-ieee-acm-elsevier-leibnitz-institute'><a id='x7-24000'></a>Communications in international conferences or symposia with peer-reviewed proceedings
published by Springer, IEEE, ACM, Elsevier, Leibnitz Institute</h4>
<!-- l. 592 --><p class='noindent'>
</p><div class='thebibliography'>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[81]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery86a'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A proof system to derive eventuality properties under justice hypothesis-. – </span><span class='ptmri7t-x-x-109'>In :
Mathematical Foundations of Computer Science</span><span class='ptmr7t-x-x-109'>, J. Gruszka (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer
Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>233</span><span class='ptmr7t-x-x-109'>, Springer Verlag. – Bratislava, august 1986.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[82]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery86b'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, A. P<span class='small-caps'>uccetti</span></span><span class='ptmr7t-x-x-109'>. – -An operational approach for proving Real Time ADA
programs-. – </span><span class='ptmri7t-x-x-109'>In : Chilean Computer Science Society</span><span class='ptmr7t-x-x-109'>. – 1986. Santiago, Chili.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[83]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xfiack89a'></a><span class='ptmrc7t-x-x-109'>R. F<span class='small-caps'>iack</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -On the relation between Statecharts and SCCS; Some ideas to
explain the behaviour-. – </span><span class='ptmri7t-x-x-109'>In : IX International Conference of the Chilean Computer Science
Society and XV Latin American Conference on Informatics</span><span class='ptmr7t-x-x-109'>. – july 1989.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[84]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xcarrez90b'></a><span class='ptmrc7t-x-x-109'>F. C<span class='small-caps'>arrez</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Temporal Specifications Directed by Grammar and Design of
Process Networks-. – </span><span class='ptmri7t-x-x-109'>In : Specification and Verification of Concurrent Systems</span><span class='ptmr7t-x-x-109'>, C. Rattray (réd.),
</span><span class='ptmri7t-x-x-109'>Workshops in Computing</span><span class='ptmr7t-x-x-109'>, British Computer Society, Springer Verlag, pp. 410—427. – 1990.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[85]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery91b'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, A. M<span class='small-caps'>okkedem</span></span><span class='ptmr7t-x-x-109'>. – -Demonstration of Crocos-. – </span><span class='ptmri7t-x-x-109'>In : Fifth SDL Forum Evolving
methods</span><span class='ptmr7t-x-x-109'>, O. Faergemand, R. Reed (réd.), North-Holland. – 1991.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[86]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery91a'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, A. M<span class='small-caps'>okkedem</span></span><span class='ptmr7t-x-x-109'>. – -A proof environment for a subset of SDL-. – </span><span class='ptmri7t-x-x-109'>In : Fifth SDL
Forum Evolving methods</span><span class='ptmr7t-x-x-109'>, O. Faergemand, R. Reed (réd.), North-Holland. – 1991.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[87]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery92c'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, A. M<span class='small-caps'>okkedem</span></span><span class='ptmr7t-x-x-109'>. – -CROCOS: An Integrated Environment For Interactive
Verification OF SDL Specifications-. – </span><span class='ptmri7t-x-x-109'>In : Computer-Aided Verification Proceedings</span><span class='ptmr7t-x-x-109'>,
G. Bochmann (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, Springer Verlag. – 1992.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[88]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery93a'></a><span class='ptmrc7t-x-x-109'>N. B<span class='small-caps'>rown</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A Proof Environment for Concurrent Programs -. – </span><span class='ptmri7t-x-x-109'>In : FME93:
Industrial-Strength Formal Methods</span><span class='ptmr7t-x-x-109'>, J. C. P. Woodcock, P. G. Larsen (réd.), Springer Verlag. –
1993. Lecture Notes in Computer Science 670.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[89]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery93d'></a><span class='ptmrc7t-x-x-109'>N. B<span class='small-caps'>rown</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Towards an Integrated Environment for Concurrent Programs
Development -. – </span><span class='ptmri7t-x-x-109'>In : Algebraic Methodology and Software Technology (AMAST’93)</span><span class='ptmr7t-x-x-109'>, T. R.
M. Nivat, C. Rattray, G. Scollo (réd.), Springer Verlag.Workshops in Computing, to appear. –
1993. System Demonstrations.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[90]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery93c'></a><span class='ptmrc7t-x-x-109'>A. M<span class='small-caps'>okkedem</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -On using a Composition Principle to Design Parallel
Programs-. – </span><span class='ptmri7t-x-x-109'>In : Algebraic Methodology and Software Technology</span><span class='ptmr7t-x-x-109'>, M. Nivat, C. Rattray,
T. Rus, G. Scollo (réd.), Twente, Springer Verlag. – June 1993.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[91]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery94a'></a><span class='ptmrc7t-x-x-109'>A. M<span class='small-caps'>okkedem</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A stuttering closed temporal logic for modular reasoning
about concurrent programs-. – </span><span class='ptmri7t-x-x-109'>In : First International Conference on Temporal Logic</span><span class='ptmr7t-x-x-109'>, Gabbay
(réd.). – 1994. Lectures Notes in Artificial Intelligence.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[92]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery96c'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Machines Abstraites Temporelles- Analyse Comparative de B et TLA+
(Version Préliminaire)-. – </span><span class='ptmri7t-x-x-109'>In : First B Conference</span><span class='ptmr7t-x-x-109'>, H. Habrias (réd.). – 1996.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[93]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery96b'></a><span class='ptmrc7t-x-x-109'>J.-F. Pé<span class='small-caps'>tin</span>, D. Mé<span class='small-caps'>ry</span>, H. P<span class='small-caps'>annetto</span>, B. I<span class='small-caps'>ung</span></span><span class='ptmr7t-x-x-109'>. – -Validation of software components
for intelligent actuation and measurement-. – </span><span class='ptmri7t-x-x-109'>In : Sixth International Symposium On Robotics
And Manufacturing</span><span class='ptmr7t-x-x-109'>, IFAC, IFAC. – 1996.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[94]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery97c'></a><span class='ptmrc7t-x-x-109'>J.-P. G<span class='small-caps'>ibson</span>, B.</span><span class='ptmrc7t-x-x-109'> M<span class='small-caps'>ermet</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Feature Interactions: A Mixed Semantic Model
Approach-. – </span><span class='ptmri7t-x-x-109'>In : 1st Irish Workshop on Formal Methods</span><span class='ptmr7t-x-x-109'>, G. O’Regan, S. Flynn (réd.), Irish
Formal Methods Special Interest Group (IFMSIG), Springer Verlag. – Dublin, Ireland, juillet
1997. http://ewic.springer.co.uk/.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[95]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery97a'></a><span class='ptmrc7t-x-x-109'>J.-P. G<span class='small-caps'>ibson</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Telephone Feature Verification: Translating SDL to TLA+-. –
</span><span class='ptmri7t-x-x-109'>In : Eighth SDL Forum Evolving methods</span><span class='ptmr7t-x-x-109'>, North-Holland. – 1997. Evry, France, 22-26 September
1997.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[96]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery97g'></a><span class='ptmrc7t-x-x-109'>B. M<span class='small-caps'>ermet</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Incremental Specification of Telecommunication Services-. –
</span><span class='ptmri7t-x-x-109'>In : First IEEE International Conference on Formal Engineering Methods (ICFEM)</span><span class='ptmr7t-x-x-109'>, M. Hinchey
(réd.), IEEE. – Hiroshima, novembre 1997.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[97]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery97e'></a><span class='ptmrc7t-x-x-109'>B. M<span class='small-caps'>ermet</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Safe combinations of services using B-. – </span><span class='ptmri7t-x-x-109'>In : SAFECOMP97
The 16th International Conference on Computer Safety, Reliability and Security</span><span class='ptmr7t-x-x-109'>, J. McDermid
(réd.), Springer Verlag. – York, septembre 1997.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[98]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery98e'></a><span class='ptmrc7t-x-x-109'>R. C<span class='small-caps'>outurier</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -An experiment in parallelizing an application using formal
methods-. – </span><span class='ptmri7t-x-x-109'>In : Computer-Aided Verification CAV’98</span><span class='ptmr7t-x-x-109'>, A. Hu, M. Vardi (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in
Computer Science</span><span class='ptmr7t-x-x-109'>, Springer Verlag. – Vancouver, British Columbia, CANADA, juin 1998. June
28 - July 2, 1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[99]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery98d'></a><span class='ptmrc7t-x-x-109'>J.-P. G<span class='small-caps'>ibson</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Fair Objects-. – </span><span class='ptmri7t-x-x-109'>In : 1st UK Colloquium on Object Technology
& System Re-engineering (COTSR) in conjunction with Object Technology 98 (OT98)</span><span class='ptmr7t-x-x-109'>, H. Zedan
(réd.). – 6-8 April 1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[100]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery98h'></a><span class='ptmrc7t-x-x-109'>J.-P. G<span class='small-caps'>ibson</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Teaching Formal Methods: Lessons to learn-. – </span><span class='ptmri7t-x-x-109'>In : Irish
Workshop For Formal Methods 1998, Cork, Irlande</span><span class='ptmr7t-x-x-109'>. – juillet 1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[101]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery98a'></a><span class='ptmrc7t-x-x-109'>B. M<span class='small-caps'>ermet</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Service specifications to B, or not to B-. – </span><span class='ptmri7t-x-x-109'>In : Second Workshop
on Formal Methods in Software Practice</span><span class='ptmr7t-x-x-109'>, M. Ardis (réd.), ACM Press. – Clearwater Beach,
Florida, March 4-5 1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[102]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery98f'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, J.-F. Pé<span class='small-caps'>tin</span></span><span class='ptmr7t-x-x-109'>. – -Formal engineering methods for modelling and validation of
control systems-. – </span><span class='ptmri7t-x-x-109'>In : 9th Symposium On Information Control Problems in Manufacturing
INCOM 98</span><span class='ptmr7t-x-x-109'>, G. Morel, F. Vernadat (réd.), IFAC, Elsevier Science Ltd. – Nancy, juin 1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[103]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery98b'></a><span class='ptmrc7t-x-x-109'>J.-F. Pé<span class='small-caps'>tin</span>, G. M<span class='small-caps'>orel</span>, D. Mé<span class='small-caps'>ry</span>, P. L<span class='small-caps'>amboley</span></span><span class='ptmr7t-x-x-109'>. – -Process control engineering:
contribution to a formal structuring framework with the B method-. – </span><span class='ptmri7t-x-x-109'>In : B’98 The 2nd
International B Conference</span><span class='ptmr7t-x-x-109'>, D. Bert (réd.), Springer Verlag. – Montpellier,France, April 22-24
1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[104]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery99j'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Abstract animator for temporal specifications Application to
TLA-. – </span><span class='ptmri7t-x-x-109'>In : SAS’99 Static Analysis Symposium, Venise, Italie</span><span class='ptmr7t-x-x-109'>, G. File’, A. Cortesi (réd.), </span><span class='ptmri7t-x-x-109'>LNCS</span><span class='ptmr7t-x-x-109'>,
Springer Verlag. – Heidelberg, septembre 1999.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[105]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery99a'></a><span class='ptmrc7t-x-x-109'>J.-P. G<span class='small-caps'>ibson</span>, G.</span><span class='ptmrc7t-x-x-109'> H<span class='small-caps'>amilton</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Integration Problems in Telephone Feature
Requirements-. – </span><span class='ptmri7t-x-x-109'>In : IFM’99 Integrated Formal Methods 1999</span><span class='ptmr7t-x-x-109'>, A. Galloway, K. Taguchi (réd.),
</span><span class='ptmri7t-x-x-109'>Workshop In Computing Science</span><span class='ptmr7t-x-x-109'>, Springer Verlag. – YORK, June 1999.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[106]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery99k'></a><span class='ptmrc7t-x-x-109'>P. L<span class='small-caps'>amboley</span>, J.-F. Pé<span class='small-caps'>tin</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Towards a formal engineering framework for
process automation-. – </span><span class='ptmri7t-x-x-109'>In : Seventh IEEE International Conference on Emerging Technologies
and Factory Automation</span><span class='ptmr7t-x-x-109'>, IEEE, pp. 1167 – 1175. – October 18-21 1999.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[107]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery99b'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Requirements for a temporal B : Assigning Temporal Meaning to Abstract
Machines ... and to Abstract Systems-. – </span><span class='ptmri7t-x-x-109'>In : IFM’99 Integrated Formal Methods 1999</span><span class='ptmr7t-x-x-109'>,
A. Galloway, K. Taguchi (réd.), </span><span class='ptmri7t-x-x-109'>Workshop In Computing Science</span><span class='ptmr7t-x-x-109'>. – YORK, June 1999.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[108]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery2000c'></a><span class='ptmrc7t-x-x-109'>J.-P. G<span class='small-caps'>ibson</span>, G.</span><span class='ptmrc7t-x-x-109'> H<span class='small-caps'>amilton</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Composing Fair Objects-. – </span><span class='ptmri7t-x-x-109'>In : SNPD’00</span><span class='ptmr7t-x-x-109'>,
H. Fouchal (réd.), IEEE. – REIMS, May 2000.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[109]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery2000b'></a><span class='ptmrc7t-x-x-109'>J.-P. G<span class='small-caps'>ibson</span>, G.</span><span class='ptmrc7t-x-x-109'> H<span class='small-caps'>amilton</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A Taxonomy for triggered interactions using
fair objects semantics-. – </span><span class='ptmri7t-x-x-109'>In : FIW’00 Sixth International Workshop on Feature Interactions in
Telecommunications and Software Systems</span><span class='ptmr7t-x-x-109'>, M. Calder, E. Magill (réd.). – Glasgow, Scotland,
United Kingdom, 17th - 19th May 2000.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[110]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xcansell02a'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, G. G<span class='small-caps'>opalakrishnan</span>, M. J<span class='small-caps'>ones</span>, D. Mé<span class='small-caps'>ry</span>, A. W<span class='small-caps'>einzoepflen</span></span><span class='ptmr7t-x-x-109'>. –
-Incremental Proof of the Producer/Consumer Property for the PCI Protocol-. – </span><span class='ptmri7t-x-x-109'>In : Formal
Specification and Development in Z and B- 2nd International Conference of B and Z Users - ZB
2002, Grenoble, France</span><span class='ptmr7t-x-x-109'>, D. Bert, J. Bowen, M. Henson, K. Robinson (réd.), </span><span class='ptmri7t-x-x-109'>Lectures Notes in
Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>2272</span><span class='ptmr7t-x-x-109'>, Springer, pp. 22–41. – janvier 2002.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[111]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xpanetto02a'></a><span class='ptmrc7t-x-x-109'>H. P<span class='small-caps'>anetto</span>, J.-F. P<span class='small-caps'>etin</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Formalisation of enterprise modelling standards
using UML and the B method-. – </span><span class='ptmri7t-x-x-109'>In : 8th International Conference on Concurrent Enterprising -
ICE 2002, Rome, Italie</span><span class='ptmr7t-x-x-109'>, pp. 93–101. – juin 2002. ISBN : 0 85358 113 4.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[112]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmorel04a'></a><span class='ptmrc7t-x-x-109'>G. M<span class='small-caps'>orel</span>, D. Mé<span class='small-caps'>ry</span>, J.-B. Lé<span class='small-caps'>ger</span>, T. L<span class='small-caps'>ecomte</span></span><span class='ptmr7t-x-x-109'>. – -Proof-Oriented Fault-Tolerant
Systems Engineering : Rationales, Experiments and Open Issues-. – </span><span class='ptmri7t-x-x-109'>In : 7th IFAC Symposium on
Cost Oriented Automation - COA’2004, Gatineau, Québec, Canada</span><span class='ptmr7t-x-x-109'>. – June 2004.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[113]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xabrial05a'></a><span class='ptmrc7t-x-x-109'>J.-R. A<span class='small-caps'>brial</span>, D.</span><span class='ptmrc7t-x-x-109'> C<span class='small-caps'>ansell</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Refinement and Reachability in Event_B-.
– </span><span class='ptmri7t-x-x-109'>In : ZB 2005: Formal Specification and Development in Z and B</span><span class='ptmr7t-x-x-109'>, H. Treharne, S. King,
M. Henson (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>3455</span><span class='ptmr7t-x-x-109'>, Springer Verlag, pp. 222–241. –
Guilford, UK, avril 2005.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[114]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xzb-poster'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span>, C. P<span class='small-caps'>roch</span></span><span class='ptmr7t-x-x-109'>. – -Proved Design of Hardware Architecture-. – </span><span class='ptmri7t-x-x-109'>In :
Formal Specification and Development in Z and B (ZB 2005). Poster session</span><span class='ptmr7t-x-x-109'>. – Guildford, U.K.,
avril 2005.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[115]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XCANSELL_2006_INRIA-00089497_1'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Incremental Parametric Development of Greedy Algorithms-.
– </span><span class='ptmri7t-x-x-109'>In : Automatic Verification of Critical Systems - AVoCS 2006</span><span class='ptmr7t-x-x-109'>, S. Merz, T. Nipkow (réd.),
pp. 48–62. – Nancy, France, 2006.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[116]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xbenaissa2007'></a><span class='ptmrc7t-x-x-109'>N. B<span class='small-caps'>enaissa</span>, D. C<span class='small-caps'>ansell</span>, D. M<span class='small-caps'>ery</span></span><span class='ptmr7t-x-x-109'>. – -Integration of Security Policy into System
Modeling-. – </span><span class='ptmri7t-x-x-109'>In : The 7th International B Conference - B2007</span><span class='ptmr7t-x-x-109'>, O. K. Jacques Julliand (réd.),
</span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>4355</span><span class='ptmr7t-x-x-109'>, Springer, pp. 232–247. – Besançon, France, 2007.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[117]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XCANSELL_2007_INRIA-00184833_1'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, P. G<span class='small-caps'>ibson</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Formal verification of tamper-evident storage
for e-voting-. – </span><span class='ptmri7t-x-x-109'>In : 5th IEEE International Conference on Software Engineering and Formal
Methods - SEFM 2007</span><span class='ptmr7t-x-x-109'>, Mike Hinchey, Tiziana Margaria (réd.), IEEE, pp. 329–338. – London,
United Kingdom, 2007.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[118]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XCANSELL_2007_INRIA-00168307_1'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Proved-Patterns-Based Development for Structured
Programs.-. – </span><span class='ptmri7t-x-x-109'>In : Computer Science - Theory and Applications, Second International,
Symposium on Computer Science in Russia - CSR 2007</span><span class='ptmr7t-x-x-109'>, Volker Diekert, Mikhail V. Volkov,
Andrei Voronkov (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>4649</span><span class='ptmr7t-x-x-109'>, Springer, pp. 104–114. –
Ekaterinburg, Russia, 2007.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[119]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XCANSELL_2007_HAL-00149163_1'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span>, J. R<span class='small-caps'>ehm</span></span><span class='ptmr7t-x-x-109'>. – -Time Constraint Patterns for Event B
Development-. – </span><span class='ptmri7t-x-x-109'>In : The 7th International B Conference - B 2007</span><span class='ptmr7t-x-x-109'>, O. K. Jacques Julliand (réd.),
</span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>4355</span><span class='ptmr7t-x-x-109'>, Springer, pp. 140–154. – Besançon, France, 2007.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[120]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery2'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A simple refinement-based method for constructing algorithms-. – </span><span class='ptmri7t-x-x-109'>In : First
International Workshop on Formal Methods Education and Training</span><span class='ptmr7t-x-x-109'>, J. Davies, J. Gibbons,
M. Hinchey, K. Taguchi (réd.), </span><span class='ptmri7t-x-x-109'>Report GRACE-TR-2008-03</span><span class='ptmr7t-x-x-109'>, GRACE Center-National Institute
of Informatics. – 2008.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[121]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xbenaissa2009b'></a><span class='ptmrc7t-x-x-109'>N. B<span class='small-caps'>ena</span>ï<span class='small-caps'>ssa</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Cryptologic protocols analysis using proof-based patterns-.
– </span><span class='ptmri7t-x-x-109'>In : Seventh International Andrei Ershov Memorial Conference PERSPECTIVES OF SYSTEM
INFORMATICS</span><span class='ptmr7t-x-x-109'>, A. Marchuk (réd.), Novosibirsk, Akademgorodok, Russia, A.P. Ershov Institute
of Informatics Systems & Novosibirsk State University. – 15-19 June 2009.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[122]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xtounsi_hal-00361933'></a><span class='ptmrc7t-x-x-109'>M. T<span class='small-caps'>ounsi</span>, A. H<span class='small-caps'>adj</span> K<span class='small-caps'>acem</span>, M. M<span class='small-caps'>osbah</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A Refinement Approach
for Proving Distributed Algorithms : Examples of Spanning Tree Problems-. – </span><span class='ptmri7t-x-x-109'>In : Integration of
Model-based Formal Methods and Tools - IM_FMT’2009 - in IFM’2009</span><span class='ptmr7t-x-x-109'>. – Düsseldorf, Germany,
février 2009.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[123]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xbenaissa2010a'></a><span class='ptmrc7t-x-x-109'>N. B<span class='small-caps'>ena</span>ï<span class='small-caps'>ssa</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Cryptographic Protocols Analysis in Event B-. – </span><span class='ptmri7t-x-x-109'>In :
Ershov Memorial Conference: Perspectives of Systems Informatics, 7th International Andrei
Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers</span><span class='ptmr7t-x-x-109'>,
A. Pnueli, I. Virbitskaite, A. Voronkov (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>5947</span><span class='ptmr7t-x-x-109'>,
Springer, pp. 282–293. – 2010.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[124]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xbenaissa_inria-00542919'></a><span class='ptmrc7t-x-x-109'>N. B<span class='small-caps'>enaissa</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Proof-Based Design of Security Protocols-. – </span><span class='ptmri7t-x-x-109'>In : 5th
International Computer Science Symposium in Russia, CSR 2010</span><span class='ptmr7t-x-x-109'>, E. W. Mayr (réd.), </span><span class='ptmri7t-x-x-109'>Lecture
Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>6072</span><span class='ptmr7t-x-x-109'>, Springer, pp. 25–36. – KAZAN, Russian Federation, juin
2010.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[125]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00547302'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, M. M<span class='small-caps'>osbah</span>, M. T<span class='small-caps'>ounsi</span></span><span class='ptmr7t-x-x-109'>. – -Proving Distributed Algorithms by Combining
Refinement and Local Computations-. – </span><span class='ptmri7t-x-x-109'>In : AVOCS 2010 10th International Workshop on
Automated Verification of Critical Systems</span><span class='ptmr7t-x-x-109'>, M. R. Jens Bendisposto, Michael Leuschel (réd.). –
Dusseldorf, Germany, septembre 2010.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[126]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00540005'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Real-Time Animation for Formal Specification-. – </span><span class='ptmri7t-x-x-109'>In : Complex
Systems Design & Management 2010</span><span class='ptmr7t-x-x-109'>, M. Aiguier, F. Bretaudeau, D. Krob (réd.), Springer,
pp. 49–60. – Paris, France, octobre 2010.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[127]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-00579252'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, M. M<span class='small-caps'>osbah</span>, M. T<span class='small-caps'>ounsi</span></span><span class='ptmr7t-x-x-109'>. – -Refinement-based Verification of Local
Synchronization Algorithms-. – </span><span class='ptmri7t-x-x-109'>In : Formal Methods FM2011</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer
Science</span><span class='ptmr7t-x-x-109'>, Springer, p. à paraître. – Limerick, Ireland, juin 2011.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[128]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00637768'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Analysis of DSR Protocol in Event-B-. – </span><span class='ptmri7t-x-x-109'>In : 13th International
Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011)</span><span class='ptmr7t-x-x-109'>, X. Défago,
F. Petit, V. Villain (réd.), </span><span class='ptmri7t-x-x-109'>6976</span><span class='ptmr7t-x-x-109'>, Springer Berlin / Heidelberg, pp. 401–415. – Grenoble, France,
octobre 2011.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[129]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00637765'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Automatic Code Generation from Event-B Models-. – </span><span class='ptmri7t-x-x-109'>In :
SoICT 2011</span><span class='ptmr7t-x-x-109'>, ACM ICPS. – Hanoi, Viet Nam, octobre 2011.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[130]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00638486'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Formal Development and Automatic Code Generation :
Cardiac Pacemaker-. – </span><span class='ptmri7t-x-x-109'>In : International Conference on Computers and Advanced Technology in
Education (ICCATE, 2011)</span><span class='ptmr7t-x-x-109'>. – Beijing, China, décembre 2011.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[131]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_inria-00638478'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Medical Protocol Diagnosis using Formal Methods-. –
</span><span class='ptmri7t-x-x-109'>In : International Symposium on Foundations of Health Information Engineering and Systems
(FHIES, 2011)</span><span class='ptmr7t-x-x-109'>, Z. Liu, A. Wassyng (réd.), UMIST Macau. – Johannesburg, South Africa, août
2011. conference 2011.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[132]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xandriamiarina_hal-00734131'></a><span class='ptmrc7t-x-x-109'>M. B. A<span class='small-caps'>ndriamiarina</span>, D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Revisiting Snapshot Algorithms by
Refinement-based Techniques-. – </span><span class='ptmri7t-x-x-109'>In : PDCAT 2012 : The Thirteenth International Conference on
Parallel and Distributed Computing, Applications and Technologies</span><span class='ptmr7t-x-x-109'>. – Beijing, China, 2012.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[133]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-00747305'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Critical systems development methodology using formal
techniques-. – </span><span class='ptmri7t-x-x-109'>In : 3rd International Symposium on Information and Communication Technology
- SoICT 2012</span><span class='ptmr7t-x-x-109'>, ACM, pp. 3–12. – Ha Long, Viet Nam, août 2012.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[134]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-00762821'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Formalization of Heart Models Based on the Conduction of
Electrical Impulses and Cellular Automata-. – </span><span class='ptmri7t-x-x-109'>In : Foundations of Health Informatics Engineering
and Systems</span><span class='ptmr7t-x-x-109'>, Z. Liu, A. Wassyng (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>7151</span><span class='ptmr7t-x-x-109'>, Springer
Berlin Heidelberg, pp. 140–159. – 2012. PostProcedding Version of </span><span class='cite'><span class='ptmr7t-x-x-109'> [</span><a href='#Xmery_inria-00638473'><span class='ptmr7t-x-x-109'>76</span></a><span class='ptmr7t-x-x-109'>]</span></span><span class='ptmr7t-x-x-109'>.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[135]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-00762822'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Medical Protocol Diagnosis Using Formal Methods-. – </span><span class='ptmri7t-x-x-109'>In :
Foundations of Health Informatics Engineering and Systems</span><span class='ptmr7t-x-x-109'>, Z. Liu, A. Wassyng (réd.), </span><span class='ptmri7t-x-x-109'>Lecture
Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>7151</span><span class='ptmr7t-x-x-109'>, Springer Berlin Heidelberg, pp. 1–20. – 2012. PostProcedding
Version of </span><span class='cite'><span class='ptmr7t-x-x-109'> [</span><a href='#Xmery_inria-00638478'><span class='ptmr7t-x-x-109'>131</span></a><span class='ptmr7t-x-x-109'>]</span></span><span class='ptmr7t-x-x-109'>.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[136]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xandriamiarina_hal-00819256'></a><span class='ptmrc7t-x-x-109'>M. B. A<span class='small-caps'>ndriamiarina</span>, D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Integrating Proved State-Based
Models for Constructing Correct Distributed Algorithms-. – </span><span class='ptmri7t-x-x-109'>In : iFM - 10th International
Conference on integrated Formal Methods - 2013</span><span class='ptmr7t-x-x-109'>. – Turku, Finlande, juin 2013.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[137]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-00862050'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, R. M<span class='small-caps'>onahan</span></span><span class='ptmr7t-x-x-109'>. – -Transforming EVENT B Models into Verified C#
Implementations-. – </span><span class='ptmri7t-x-x-109'>In : VPT 2013 - First International Workshop on Verification and Program
Transformation</span><span class='ptmr7t-x-x-109'>, A. Lisitsa, A. Nemytykh (réd.), </span><span class='ptmri7t-x-x-109'>EPIC</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>16</span><span class='ptmr7t-x-x-109'>, Alexei Lisitsa and Andrei Nemytykh,
pp. 57–73. – Saint Petersburg, Russie, Fédération De, juillet 2013.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[138]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-00923460'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, M. M<span class='small-caps'>osbah</span>, M. T<span class='small-caps'>ounsi</span></span><span class='ptmr7t-x-x-109'>. – -From Event-B Specifications to Programs for
Distributed Algorithms-. – </span><span class='ptmri7t-x-x-109'>In : IEEE Workshops on Enabling Technologies: Infrastructure for
Collaborative Enterprises</span><span class='ptmr7t-x-x-109'>, IEEE, pp. 104–109. – France, juin 2013.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[139]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-00813033'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, M. P<span class='small-caps'>oppleton</span></span><span class='ptmr7t-x-x-109'>. – -Formal Modelling and Verification of Population Protocols-.
– </span><span class='ptmri7t-x-x-109'>In : iFM - 10th International Conference on integrated Formal Methods - 2013</span><span class='ptmr7t-x-x-109'>, E. B. Johnsen,
L. Petre (réd.), </span><span class='ptmri7t-x-x-109'>LNCS</span><span class='ptmr7t-x-x-109'>, Springer. – Turku, Finlande, juin 2013.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[140]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery_hal-00862077'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Ideal Mode Selection of a Cardiac Pacing System-. – </span><span class='ptmri7t-x-x-109'>In :
4th International Conference - Digital Human Modeling and applications in Health, Safety,
Ergonomics and Risk Management - DHM 2013 (HCI International 2013)</span><span class='ptmr7t-x-x-109'>, V. G. Duffy (réd.),
</span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>8025</span><span class='ptmr7t-x-x-109'>, Springer, pp. 258–267. – Las Vegas, États-Unis, juillet
2013.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[141]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xtounsi_hal-00862056'></a><span class='ptmrc7t-x-x-109'>M. T<span class='small-caps'>ounsi</span>, M. M<span class='small-caps'>osbah</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -From Event-B Specifications to Programs for
Distributed Algorithms-. – </span><span class='ptmri7t-x-x-109'>In : WETICE 2013: 22th IEEE International Conference on Enabling
Technologies: Infrastructures for Collaborative Enterprises.</span><span class='ptmr7t-x-x-109'>, S. Reddy, M. Jmaiel (réd.), IEEE.
– Hammamet, Tunisie, juin 2013.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[142]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_isola_AmeurGM14'></a><span class='ptmrc7t-x-x-109'>Y. A. A<span class='small-caps'>meur</span>, J. P. G<span class='small-caps'>ibson</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -On Implicit and Explicit Semantics:
Integration Issues in Proof-Based Development of Systems - Version to Read-. – </span><span class='ptmri7t-x-x-109'>In : Leveraging
Applications of Formal Methods, Verification and Validation. Specialized Techniques and
Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11,
2014, Proceedings, Part II</span><span class='ptmr7t-x-x-109'>, pp. 604–618. – 2014.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[143]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_asm_AndriamiarinaMS14'></a><span class='ptmrc7t-x-x-109'>M. B. A<span class='small-caps'>ndriamiarina</span>, D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Analysis of Self-</span><img alt='⋆ ' class='math' src='web0x.svg' /> <span class='ptmr7t-x-x-109'>and P2P
Systems Using Refinement-. – </span><span class='ptmri7t-x-x-109'>In : Abstract State Machines, Alloy, B, TLA, VDM, and Z
- 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings</span><span class='ptmr7t-x-x-109'>,
pp. 117–123. – 2014.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[144]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmerysingh2014-soict'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Formal Evaluatuion of Landing Gear System-. – </span><span class='ptmri7t-x-x-109'>In : SoICT
2014</span><span class='ptmr7t-x-x-109'>, ACM ICPS. – Hanoi, Viet Nam, décembre 2014.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[145]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_hci_MeryS14'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -The Semantics of Refinement Chart-. – </span><span class='ptmri7t-x-x-109'>In : Digital Human
Modeling. Applications in Health, Safety, Ergonomics and Risk Management - 5th International
Conference, DHM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June
22-27, 2014. Proceedings</span><span class='ptmr7t-x-x-109'>, pp. 415–426. – 2014.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[146]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_medi_MeryST15'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, R. S<span class='small-caps'>awant</span>, A. T<span class='small-caps'>arasyuk</span></span><span class='ptmr7t-x-x-109'>. – -Integrating Domain-Based Features into
Event-B: A Nose Gear Velocity Case Study-. – </span><span class='ptmri7t-x-x-109'>In : Model and Data Engineering - 5th
International Conference, MEDI 2015, Rhodes, Greece, Septemfber 26-28, 2015, Proceedings</span><span class='ptmr7t-x-x-109'>,
pp. 89–102. – 2015.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[147]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_hci_MeryS15'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Analyzing Requirements Using Environment Modelling-. –
</span><span class='ptmri7t-x-x-109'>In : Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management:
Ergonomics and Health - 6th International Conference, DHM 2015, Held as Part of HCI
International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II</span><span class='ptmr7t-x-x-109'>, pp. 345–357.
– 2015.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[148]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_isola_ChengMM16'></a><span class='ptmrc7t-x-x-109'>Z. C<span class='small-caps'>heng</span>, D. Mé<span class='small-caps'>ry</span>, R. M<span class='small-caps'>onahan</span></span><span class='ptmr7t-x-x-109'>. – -On Two Friends for Getting Correct Programs
- Automatically Translating Event B Specifications to Recursive Algorithms in Rodin-. –
</span><span class='ptmri7t-x-x-109'>In : Leveraging Applications of Formal Methods, Verification and Validation: Foundational
Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14,
2016, Proceedings, Part I</span><span class='ptmr7t-x-x-109'>, pp. 821–838. – 2016.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[149]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_ACISicis_FakhfakhTMMK17'></a><span class='ptmrc7t-x-x-109'>F. F<span class='small-caps'>akhfakh</span>, M. T<span class='small-caps'>ounsi</span>, M. M<span class='small-caps'>osbah</span>, D. Mé<span class='small-caps'>ry</span>, A. H. K<span class='small-caps'>acem</span></span><span class='ptmr7t-x-x-109'>. – -A
correct-by-construction approach for proving distributed algorithms in spanning trees-. – </span><span class='ptmri7t-x-x-109'>In : 16th
IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan,
China, May 24-26, 2017</span><span class='ptmr7t-x-x-109'>, pp. 1–6. – 2017.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[150]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_forte_GibsonKM17'></a><span class='ptmrc7t-x-x-109'>J. P. G<span class='small-caps'>ibson</span>, S. K<span class='small-caps'>herroubi</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Applying a Dependency Mechanism for
Voting Protocol Models Using Event-B-. – </span><span class='ptmri7t-x-x-109'>In : Formal Techniques for Distributed Objects,
Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held
as Part of the 12th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings</span><span class='ptmr7t-x-x-109'>, pp. 124–138. – 2017.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[151]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_journals_corr_abs-1805-05517'></a><span class='ptmrc7t-x-x-109'>J. P. G<span class='small-caps'>ibson</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Explicit Modelling of Physical Measures: From Event-B to
Java-. – In : Laleau </span><span class='ptmri7t-x-x-109'>et al. </span><span class='cite'><span class='ptmr7t-x-x-109'> [</span><a href='#XDBLP_journals_corr_abs-1805-04636'><span class='ptmr7t-x-x-109'>17</span></a><span class='ptmr7t-x-x-109'>]</span></span><span class='ptmr7t-x-x-109'>, pp. 64–79.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[152]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_medi_KherroubiM17'></a><span class='ptmrc7t-x-x-109'>S. K<span class='small-caps'>herroubi</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Contextualization and Dependency in State-Based
Modelling - Application to Event-B-. – </span><span class='ptmri7t-x-x-109'>In : Model and Data Engineering - 7th International
Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings</span><span class='ptmr7t-x-x-109'>, pp. 137–152. –
2017.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[153]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_asm_AmeurACGHKMMSV18'></a><span class='ptmrc7t-x-x-109'>Y. A. A<span class='small-caps'>meur</span>, I. Aï<span class='small-caps'>t</span>-S<span class='small-caps'>adoune</span>, P. C<span class='small-caps'>asteran</span>, J. P. G<span class='small-caps'>ibson</span>, K. H<span class='small-caps'>acid</span>,
S. K<span class='small-caps'>herroubi</span>, D. Mé<span class='small-caps'>ry</span>, L. M<span class='small-caps'>ohand</span>-O<span class='small-caps'>ussa</span>ï<span class='small-caps'>d</span>, N. K. S<span class='small-caps'>ingh</span>, L. V<span class='small-caps'>oisin</span></span><span class='ptmr7t-x-x-109'>. – -On the
Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments
with Event-B-. – </span><span class='ptmri7t-x-x-109'>In : Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International
Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings</span><span class='ptmr7t-x-x-109'>, pp. 425–430. – 2018.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[154]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_isola_Mery18'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Modelling by Patterns for Correct-by-Construction Process-. – </span><span class='ptmri7t-x-x-109'>In :
Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th
International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part
I</span><span class='ptmr7t-x-x-109'>, pp. 399–423. – 2018.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[155]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xsingh_hal-02942767'></a><span class='ptmrc7t-x-x-109'>N. K. S<span class='small-caps'>ingh</span>, Y. Aï<span class='small-caps'>t</span>-A<span class='small-caps'>meur</span>, D. Mé<span class='small-caps'>ry</span>, D. N<span class='small-caps'>avarre</span>, P. P<span class='small-caps'>alanque</span>, M. P<span class='small-caps'>antel</span></span><span class='ptmr7t-x-x-109'>.
– -Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661-. –
</span><span class='ptmri7t-x-x-109'>In : 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019)</span><span class='ptmr7t-x-x-109'>,
</span><span class='ptmri7t-x-x-109'>1165</span><span class='ptmr7t-x-x-109'>, pp. 21–39. – Shenzhen, China, novembre 2019.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[156]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xcirstea_hal-02997277'></a><span class='ptmrc7t-x-x-109'>H. C<span class='small-caps'>irstea</span>, A. G<span class='small-caps'>rall</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Generating Distributed Programs from Event-B
Models-. – </span><span class='ptmri7t-x-x-109'>In : International Workshop on Verification and Program Transformation</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>320</span><span class='ptmr7t-x-x-109'>,
pp. 110–124. – Dublin, Ireland, avril 2020.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[157]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmendil_hal-02999148'></a><span class='ptmrc7t-x-x-109'>I. M<span class='small-caps'>endil</span>, N. K. S<span class='small-caps'>ingh</span>, Y. Aï<span class='small-caps'>t</span>-A<span class='small-caps'>meur</span>, D. Mé<span class='small-caps'>ry</span>, P. P<span class='small-caps'>alanque</span></span><span class='ptmr7t-x-x-109'>. – -An Integrated
Framework for the Formal Analysis of Critical Interactive Systems-. – </span><span class='ptmri7t-x-x-109'>In : The 27th Asia-Pacific
Software Engineering Conference</span><span class='ptmr7t-x-x-109'>, Y. Liu, S.-P. Ma, S. Chen, J. Sun (réd.), </span><span class='ptmri7t-x-x-109'>The 27th Asia-Pacific
Software Engineering Conference</span><span class='ptmr7t-x-x-109'>, Jun Sun, IEEE, p. 10. – Singapour, Singapore, décembre
2020.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[158]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_birthday_AmeurLMS21'></a><span class='ptmrc7t-x-x-109'>Y. A. A<span class='small-caps'>meur</span>, R. L<span class='small-caps'>aleau</span>, D. Mé<span class='small-caps'>ry</span>, N. K. S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Towards Leveraging Domain
Knowledge in State-Based Formal Methods-. – </span><span class='ptmri7t-x-x-109'>In : Logic, Computation and Rigorous Methods
- Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday</span><span class='ptmr7t-x-x-109'>, A. Raschke,
E. Riccobene, K. Schewe (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>12750</span><span class='ptmr7t-x-x-109'>, Springer, pp. 1–13.
– 2021.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[159]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_medi_ChengM21'></a><span class='ptmrc7t-x-x-109'>Z. C<span class='small-caps'>heng</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A Refinement Strategy for Hybrid System Design with Safety
Constraints-. – </span><span class='ptmri7t-x-x-109'>In : Model and Data Engineering - 10th International Conference, MEDI 2021,
Tallinn, Estonia, June 21-23, 2021, Proceedings</span><span class='ptmr7t-x-x-109'>, J. C. Attiogbé, S. B. Yahia (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes
in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>12732</span><span class='ptmr7t-x-x-109'>, Springer, pp. 3–17. – 2021.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[160]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_fmics_MendilASMP21'></a><span class='ptmrc7t-x-x-109'>I. M<span class='small-caps'>endil</span>, Y. A. A<span class='small-caps'>meur</span>, N. K. S<span class='small-caps'>ingh</span>, D. Mé<span class='small-caps'>ry</span>, P. A. P<span class='small-caps'>alanque</span></span><span class='ptmr7t-x-x-109'>. – -Standard
Conformance-by-Construction with Event-B-. – </span><span class='ptmri7t-x-x-109'>In : Formal Methods for Industrial Critical
Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021,
Proceedings</span><span class='ptmr7t-x-x-109'>, A. Lluch-Lafuente, A. Mavridou (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>,
</span><span class='ptmri7t-x-x-109'>12863</span><span class='ptmr7t-x-x-109'>, Springer, pp. 126–146. – 2021.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[161]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_ifm_AmeurDMMPRS22'></a><span class='ptmrc7t-x-x-109'>Y. A. A<span class='small-caps'>meur</span>, G. D<span class='small-caps'>upont</span>, I. M<span class='small-caps'>endil</span>, D. Mé<span class='small-caps'>ry</span>, M. P<span class='small-caps'>antel</span>, P. R<span class='small-caps'>iviere</span>, N. K.
S<span class='small-caps'>ingh</span></span><span class='ptmr7t-x-x-109'>. – -Empowering the Event-B Method Using External Theories-. – </span><span class='ptmri7t-x-x-109'>In : Integrated Formal
Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022,
Proceedings</span><span class='ptmr7t-x-x-109'>, M. H. ter Beek, R. Monahan (réd.), </span><span class='ptmri7t-x-x-109'>Lecture Notes in Computer Science</span><span class='ptmr7t-x-x-109'>, </span><span class='ptmri7t-x-x-109'>13274</span><span class='ptmr7t-x-x-109'>,
Springer, pp. 18–35. – 2022.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[162]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='XDBLP_conf_apsec_MendilRASMP22'></a><span class='ptmrc7t-x-x-109'>I. M<span class='small-caps'>endil</span>, P. R<span class='small-caps'>iviere</span>, Y. A. A<span class='small-caps'>meur</span>, N. K. S<span class='small-caps'>ingh</span>, D. Mé<span class='small-caps'>ry</span>, P. A. P<span class='small-caps'>alanque</span></span><span class='ptmr7t-x-x-109'>.
– -Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models
Behaviours-. – </span><span class='ptmri7t-x-x-109'>In : 29th Asia-Pacific Software Engineering Conference, APSEC 2022, Virtual
Event, Japan, December 6-9, 2022</span><span class='ptmr7t-x-x-109'>, IEEE, pp. 129–138. – 2022.</span>
</p>
</div>
<!-- l. 1298 --><p class='noindent'>
</p>
<h4 class='likesubsectionHead' id='communications-in-international-workshops-or-national-conferences-with-peerreviewed-proceedings'><a id='x7-25000'></a>Communications in international workshops or national conferences with peer-reviewed
proceedings</h4>
<!-- l. 1298 --><p class='noindent'>
</p><div class='thebibliography'>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[163]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xfiack89c'></a><span class='ptmrc7t-x-x-109'>R. F<span class='small-caps'>iack</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -From informal statements to formal statements: A Heating
System specified in the Statechart formalism-. – </span><span class='ptmri7t-x-x-109'>In : First Mahgrebian Conference on Software
Engineering and Artificial Intelligence</span><span class='ptmr7t-x-x-109'>, M. Bettaz (réd.), Université de Constantine. – septembre
1989.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[164]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xbrown92a'></a><span class='ptmrc7t-x-x-109'>N. B<span class='small-caps'>rown</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Deriving Occam Programs through the Refinement of Unity-like
Specifications-. – </span><span class='ptmri7t-x-x-109'>In : Proceedings European Workshop on Parallel Computing</span><span class='ptmr7t-x-x-109'>. – Barcelona
(Spain), 1992.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[165]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery92d'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, A. M<span class='small-caps'>okkedem</span></span><span class='ptmr7t-x-x-109'>. – -CROCOS : Un environnement de preuve interactive de
specifications SDL-. – </span><span class='ptmri7t-x-x-109'>In : Journées GROPLAN et GRD Programmation et Outils de l’Intelligence
Artificielle</span><span class='ptmr7t-x-x-109'>, GRECO Programmation et Outils de l’IA. – 1992.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[166]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery94e'></a><span class='ptmrc7t-x-x-109'>N. B<span class='small-caps'>rown</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Formal Development of C-Linda Programs-. – </span><span class='ptmri7t-x-x-109'>In : ERCIM
Workshop on Development and Transformation of Programs</span><span class='ptmr7t-x-x-109'>, J. Souquieres (réd.), INRIA. –
1993. Nancy, FRANCE.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[167]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery94b'></a><span class='ptmrc7t-x-x-109'>D. Mé<span class='small-caps'>ry</span>, D. R<span class='small-caps'>oegel</span></span><span class='ptmr7t-x-x-109'>. – -Refining Formal Specifications to Get Efficient Structured and
Correct Concurrent Programs-. – </span><span class='ptmri7t-x-x-109'>In : Proceedings Workshop High Performance Computing</span><span class='ptmr7t-x-x-109'>,
J. A. Z. et al (réd.), IEEE/USP-LSI, IEEE, pp. 69–82. – 1994.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[168]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xgibson96a'></a><span class='ptmrc7t-x-x-109'>J.-P. G<span class='small-caps'>ibson</span>, D.</span><span class='ptmrc7t-x-x-109'> Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -A Unifying Model for Specification and Design-. – </span><span class='ptmri7t-x-x-109'>In :
Proceedings Workshop on Proof Theory of Concurrent Object-Oriented Programming</span><span class='ptmr7t-x-x-109'>, D. G.
J.P. Bashoun, J. Fiadeiro, A. Yonezawa (réd.). – Linz (Austria), juillet 1996.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[169]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery97i'></a><span class='ptmrc7t-x-x-109'>R. C<span class='small-caps'>outurier</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Coordination of abstract machines-. – </span><span class='ptmri7t-x-x-109'>In : CSIT’97</span><span class='ptmr7t-x-x-109'>. –
Yerevan, Armenia, September 1997.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[170]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery97f'></a><span class='ptmrc7t-x-x-109'>B. M<span class='small-caps'>ermet</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Détection d’interactions de services : une approche avec B-. –
</span><span class='ptmri7t-x-x-109'>In : AFADL : Approches formelles dans l’assistance au développement de logiciels</span><span class='ptmr7t-x-x-109'>. – mai 1997.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[171]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery98j'></a><span class='ptmrc7t-x-x-109'>D. C<span class='small-caps'>ansell</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Interprétation de spécifications temporelles à l’aide d’un outil
de preuve-. – </span><span class='ptmri7t-x-x-109'>In : AFADL’98</span><span class='ptmr7t-x-x-109'>, N. Lévy, Y. Ledru (réd.). – septembre-octobre 1998.</span>
</p>
<p class='bibitem'><span class='biblabel'>
<span class='ptmr7t-x-x-109'>[172]</span><span class='bibsp'><span class='ptmr7t-x-x-109'> </span></span></span><a id='Xmery98l'></a><span class='ptmrc7t-x-x-109'>R. C<span class='small-caps'>outurier</span>, D. Mé<span class='small-caps'>ry</span></span><span class='ptmr7t-x-x-109'>. – -Parallelization of a Monte Carlo simulation of a spins