Didier Bert

2007
38		Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes: Using Computer Science Modeling Techniques for Airport Security Certification. RCIS 2007: 61-72
37	EE	Akram Idani, Yves Ledru, Didier Bert: Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B. Technique et Science Informatiques 26(7): 819-851 (2007)
36	EE	Didier Bert, H. Barradas: Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala. Technique et Science Informatiques 26(7): 853-882 (2007)
2006
35	EE	Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: An attempt to combine UML and formal methods to model airport security. CAiSE Forum 2006
34	EE	Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes: Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V 2006
33	EE	Akram Idani, Yves Ledru, Didier Bert: A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. SEW 2006: 97-106
32	EE	Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice 11(5): 487-503 (2006)
31	EE	Héctor Ruíz Barradas, Didier Bert: Propriétés dynamiques avec hypothèses d'équité en B événementiel. Technique et Science Informatiques 25(1): 73-102 (2006)
2005
30	EE	Akram Idani, Yves Ledru, Didier Bert: Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM 2005: 37-51
29	EE	Héctor Ruíz Barradas, Didier Bert: A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. IFM 2005: 327-346
28	EE	Didier Bert, Marie-Laure Potet, Nicolas Stouls: GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. ZB 2005: 299-318
27	EE	Héctor Ruíz Barradas, Didier Bert: Proof obligations for specification and refinement of liveness properties under weak fairness CoRR abs/cs/0502046: (2005)
26	EE	Héctor Ruíz Barradas, Didier Bert: A Fixpoint Semantics of Event Systems with and without Fairness Assumptions CoRR abs/cs/0512082: (2005)
2004
25		Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin: Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. Technique et Science Informatiques 23(7): 879-903 (2004)
2003
24		Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings Springer 2003
23	EE	Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin: Adaptable Translator of B Specifications to Embedded C Programs. FME 2003: 94-113
22	EE	Didier Bert: La recherche en B. Technique et Science Informatiques 22(1): 129-130 (2003)
2002
21		Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings Springer 2002
20	EE	Héctor Ruíz Barradas, Didier Bert: Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. IFM 2002: 360-379
19	EE	Stéphane Lo Presti, Didier Bert, Andrzej Duda: TAO: Temporal Algebraic Operators for modeling multimedia presentations. J. Network and Computer Applications 25(4): 319-342 (2002)
2000
18		Didier Bert, Christine Choppy, Peter D. Mosses: Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers Springer 2000
17	EE	Didier Bert, Francis Cave: Construction of Finite Labelled Transistion Systems from B Abstract Systems. IFM 2000: 235-254
1999
16		Didier Bert, Stéphane Lo Presti: Algebraic Specification of Operator-Based Multimedia Scenarios. WADT 1999: 383-400
1998
15		Didier Bert: B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings Springer 1998
1996
14		Didier Bert, Rachid Echahed, Kamel Adi: Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. AMAST 1996: 629-632
1995
13		Didier Bert, Rachid Echahed: Abstraction of Conditional Term Rewriting Systems. ILPS 1995: 162-176
12		Didier Bert, Catherine Oriat: A Model Inference System for Generic Specification with Application to Code Sharing. TAPSOFT 1995: 741-755
1994
11		Didier Bert, Rachid Echahed: On the Operational Semantics of the Algebraic and Logic Programming Language LPG. COMPASS/ADT 1994: 132-152
10	EE	Didier Bert, Rachid Echahed: Integrating Disequations in the Algebraic and Logic Programming Language LPG. ICLP Workshop: Integration of Declarative Paradigms 1994: 76-93
1993
9		Didier Bert, Rachid Echahed, Bjarte M. Østvold: Abstract Rewriting. WSA 1993: 178-192
1991
8		Didier Bert, Christine Lafontaine: Integration of Semantical Verification Conditions in a Specification Language Definition. AMAST 1991: 467-477
1988
7		Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Demeuse Demeuse, Pierre-Yves Schobbens, François Wautier: LPG: A Generic, Logic and Functional Programming Language. ESOP 1988: 376-377
1987
6		Didier Bert, Pascal Drabik, Rachid Echahed: LPG: A Generic, Logic and Functional Programming Language. STACS 1987: 468-469
1986
5		Didier Bert, Rachid Echahed: Design and Implementation of a Generic, Logic and Functional Programming Language. ESOP 1986: 119-132
1983
4		Didier Bert: Refinements of Generic Specifications with Algebraic Tools. IFIP Congress 1983: 815-820
1981
3		Didier Bert, Roger Soler: About Data Type Genericity. ICFPC 1981: 231-243
1980
2		Didier Bert: Types algébriques et sémantique des langages de programmation. Symposium on Programming 1980: 30-43
1977
1		Didier Bert: Problem Specification and Algorithmic Programming. International Computing Symposium 1977: 111-117

Coauthor Index

1	Kamel Adi	[14]
2	Frédéric Badeau	[25]
3	H. Barradas	[36]
4	Héctor Ruíz Barradas	[20] [26] [27] [29] [31]
5	Sylvain Boulmé	[23] [25]
6	Fabrice Bouquet	[34] [38]
7	Jonathan P. Bowen	[21] [24]
8	Francis Cave	[17]
9	Christine Choppy	[18]
10	Olivier Declerfayt	[7]
11	Demeuse Demeuse	[7]
12	Véronique Donzeau-Gouge	[32] [35] [38]
13	Pascal Drabik	[6] [7]
14	Catherine Dubois	[32] [35] [38]
15	Andrzej Duda	[19]
16	Rachid Echahed	[5] [6] [7] [9] [10] [11] [13] [14]
17	Martin C. Henson	[21]
18	Akram Idani	[30] [33] [37]
19	Steve King	[24]
20	Christine Lafontaine	[8]
21	Régine Laleau (Regine Laleau)	[32] [35] [38]
22	Yves Ledru	[30] [32] [33] [34] [35] [37] [38]
23	Michel Lemoine	[32] [35] [38]
24	Christophe Métayer	[25]
25	Peter D. Mosses	[18]
26	Catherine Oriat	[12]
27	Bjarte M. Østvold	[9]
28	Fabien Peureux	[32] [35]
29	Marie-Laure Potet	[23] [25] [28]
30	Stéphane Lo Presti	[16] [19]
31	Antoine Requet	[23]
32	Ken Robinson (Kenneth Arthur Robinson)	[21]
33	Pierre-Yves Schobbens	[7]
34	Roger Soler	[3]
35	Nicolas Stouls	[25] [28]
36	Sylvie Vignes	[32] [34] [35] [38]
37	Laurent Voisin	[23] [25]
38	Marina A. Waldén	[24]
39	François Wautier	[7]

Colors in the list of coauthors