dblp.uni-trier.dewww.uni-trier.de

Didier Bert Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
37EEAkram 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)
36EEDidier 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
35EEYves 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
34EEDidier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes: Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V 2006
33EEAkram Idani, Yves Ledru, Didier Bert: A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. SEW 2006: 97-106
32EERé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)
31EEHé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
30EEAkram Idani, Yves Ledru, Didier Bert: Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM 2005: 37-51
29EEHéctor Ruíz Barradas, Didier Bert: A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. IFM 2005: 327-346
28EEDidier 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
27EEHéctor Ruíz Barradas, Didier Bert: Proof obligations for specification and refinement of liveness properties under weak fairness CoRR abs/cs/0502046: (2005)
26EEHé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
23EEDidier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin: Adaptable Translator of B Specifications to Embedded C Programs. FME 2003: 94-113
22EEDidier 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
20EEHéctor Ruíz Barradas, Didier Bert: Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. IFM 2002: 360-379
19EESté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
17EEDidier 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
12EEDidier 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
10EEDidier 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
7EEDidier 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
6EEDidier Bert, Pascal Drabik, Rachid Echahed: LPG: A Generic, Logic and Functional Programming Language. STACS 1987: 468-469
1986
5EEDidier 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)