Didier Bert - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2007

2006

Propriétés dynamiques avec hypothèses d équité en B événementielHéctor Ruíz Barradas, Didier Bert. tsi, 25(1):73-102, 2006. [doi]

Validation of Regulation Documents by Automated Analysis of Formal ModelsDidier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes. caise 2007: [doi]

A Reverse-Engineering Approach to Understanding B Specifications with UML DiagramsAkram Idani, Yves Ledru, Didier Bert. sew 2006: 97-106 [doi]

Adopting a situational requirements engineering approach for the analysis of civil aviation security standardsRégine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux. sopr, 11(5):487-503, 2006. [doi]

An attempt to combine UML and formal methods to model airport securityYves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux. caise 2006: [doi]

2005

A Fixpoint Semantics of Event Systems With and Without Fairness AssumptionsHéctor Ruíz Barradas, Didier Bert. IFM 2005: 327-346 [doi]

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security PropertiesDidier Bert, Marie-Laure Potet, Nicolas Stouls. zum 2005: 299-318 [doi]

Derivation of UML Class Diagrams as Static Views of Formal B DevelopmentsAkram Idani, Yves Ledru, Didier Bert. icfem 2005: 37-51 [doi]

2004

Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOMFrédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin. tsi, 23(7):879-903, 2004.

2003

La recherche en BDidier Bert. tsi, 22(1):129-130, 2003. [doi]

Adaptable Translator of B Specifications to Embedded C ProgramsDidier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin. FM 2003: 94-113 [doi]

2002

Specification and Proof of Liveness Properties under Fairness Assumptions in B Event SystemsHéctor Ruíz Barradas, Didier Bert. IFM 2002: 360-379 [doi]

TAO: Temporal Algebraic Operators for modeling multimedia presentationsStéphane Lo Presti, Didier Bert, Andrzej Duda. jnca, 25(4):319-342, 2002. [doi]

2000

Construction of Finite Labelled Transistion Systems from B Abstract SystemsDidier Bert, Francis Cave. IFM 2000: 235-254 [doi]

1999

Algebraic Specification of Operator-Based Multimedia ScenariosDidier Bert, Stéphane Lo Presti. WADT 2000: 383-400

1996

Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract InterpretationDidier Bert, Rachid Echahed, Kamel Adi. amast 1996: 629-632

1995

Abstraction of Conditional Term Rewriting SystemsDidier Bert, Rachid Echahed. SLP 1995: 162-176

A Model Inference System for Generic Specification with Application to Code SharingDidier Bert, Catherine Oriat. tapsoft 1995: 741-755

1994

On the Operational Semantics of the Algebraic and Logic Programming Language LPGDidier Bert, Rachid Echahed. compass 1995: 132-152

Integrating Disequations in the Algebraic and Logic Programming Language LPGDidier Bert, Rachid Echahed. ICLP 1994: 76-93 [doi]

1993

Abstract RewritingDidier Bert, Rachid Echahed, Bjarte M. Østvold. SAS 1993: 178-192

1991

Integration of Semantical Verification Conditions in a Specification Language DefinitionDidier Bert, Christine Lafontaine. amast 1992: 467-477

1988

LPG: A Generic, Logic and Functional Programming LanguageDidier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Demeuse Demeuse, Pierre Yves Schobbens, François Wautier. ESOP 1988: 376-377

1987

LPG: A Generic, Logic and Functional Programming LanguageDidier Bert, Pascal Drabik, Rachid Echahed. STACS 1987: 468-469

1986

Design and Implementation of a Generic, Logic and Functional Programming LanguageDidier Bert, Rachid Echahed. ESOP 1986: 119-132

1983

Refinements of Generic Specifications with Algebraic ToolsDidier Bert. ifip 1983: 815-820

1981

About Data Type GenericityDidier Bert, Roger Soler. icfpc 1981: 231-243

1980

Types algébriques et sémantique des langages de programmationDidier Bert. programm 1980: 30-43

1979

La Programmation générique : construction de logiciel, spécification algébrique et vérificationDidier Bert. 1979. [doi]

1977

Problem Specification and Algorithmic ProgrammingDidier Bert. icsym 1977: 111-117

1973

Etude d'éléments fondamentaux des langages de programmation : contrôle de l'utilisation des objets et primitives d'exécutionDidier Bert. PhD thesis, Joseph Fourier University, Grenoble, France, 1973. [doi]

Sign in or sign up to see more results.

runs on WebDSL