The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Didier Bert" ( http://dblp.L3S.de/Authors/Didier_Bert )

  Author page on DBLP  Author page in RDF  Community of Didier Bert in ASPL-2

Publication years (Num. hits)
1973-1995 (15) 1996-2005 (17) 2006-2010 (9)
Publication types (Num. hits)
article(10) book(1) inproceedings(25) phdthesis(1) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 14 keywords

Results
Found 42 publication records. Showing 41 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Didier Bert, Marie-Laure Potet, Nicolas Stouls GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Akram 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. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Didier Bert, H. Barradas Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ré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. Search on Bibsonomy RCIS The full citation details ... 2007 DBLP  BibTeX  RDF
1Héctor Ruíz Barradas, Didier Bert Propriétés dynamiques avec hypothèses d'équité en B événementiel. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ré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. Search on Bibsonomy Software Process: Improvement and Practice The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes Validation of Regulation Documents by Automated Analysis of Formal Models. Search on Bibsonomy ReMo2V The full citation details ... 2006 DBLP  BibTeX  RDF
1Yves 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. Search on Bibsonomy CAiSE Forum The full citation details ... 2006 DBLP  BibTeX  RDF
1Akram Idani, Yves Ledru, Didier Bert A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. Search on Bibsonomy SEW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML, Formal concept analysis, B, Concept formation
1Héctor Ruíz Barradas, Didier Bert Proof obligations for specification and refinement of liveness properties under weak fairness Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Héctor Ruíz Barradas, Didier Bert A Fixpoint Semantics of Event Systems with and without Fairness Assumptions Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Akram Idani, Yves Ledru, Didier Bert Derivation of UML Class Diagrams as Static Views of Formal B Developments. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, Formal concept analysis, B, Method integration
1Didier Bert, Marie-Laure Potet, Nicolas Stouls GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. Search on Bibsonomy ZB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Héctor Ruíz Barradas, Didier Bert A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
1Fré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. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Didier Bert La recherche en B. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2003 DBLP  BibTeX  RDF
1Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin Adaptable Translator of B Specifications to Embedded C Programs. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF embedded systems, Code generation, smart cards, B method
1Didier Bert, Jonathan P. Bowen, Steve King 0001, Marina Waldén (eds.) 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 Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Stéphane Lo Presti, Didier Bert, Andrzej Duda TAO: Temporal Algebraic Operators for modeling multimedia presentations. Search on Bibsonomy J. Network and Computer Applications The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.) 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 Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Héctor Ruíz Barradas, Didier Bert Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Didier Bert, Christine Choppy, Peter D. Mosses (eds.) Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers Search on Bibsonomy WADT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Didier Bert, Francis Cave Construction of Finite Labelled Transistion Systems from B Abstract Systems. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Didier Bert, Stéphane Lo Presti Algebraic Specification of Operator-Based Multimedia Scenarios. Search on Bibsonomy WADT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Didier Bert (eds.) B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings Search on Bibsonomy B The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Didier Bert, Rachid Echahed, Kamel Adi Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. Search on Bibsonomy AMAST The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Didier Bert, Rachid Echahed Abstraction of Conditional Term Rewriting Systems. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Didier Bert, Catherine Oriat A Model Inference System for Generic Specification with Application to Code Sharing. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Didier Bert, Rachid Echahed Integrating Disequations in the Algebraic and Logic Programming Language LPG. Search on Bibsonomy ICLP Workshop: Integration of Declarative Paradigms The full citation details ... 1994 DBLP  BibTeX  RDF
1Didier Bert, Rachid Echahed On the Operational Semantics of the Algebraic and Logic Programming Language LPG. Search on Bibsonomy COMPASS/ADT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Didier Bert, Rachid Echahed, Bjarte M. Østvold Abstract Rewriting. Search on Bibsonomy WSA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Didier Bert, Christine Lafontaine Integration of Semantical Verification Conditions in a Specification Language Definition. Search on Bibsonomy AMAST The full citation details ... 1991 DBLP  BibTeX  RDF
1Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier LPG: A Generic, Logic and Functional Programming Language. Search on Bibsonomy ESOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Didier Bert, Pascal Drabik, Rachid Echahed LPG: A Generic, Logic and Functional Programming Language. Search on Bibsonomy STACS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Didier Bert, Rachid Echahed Design and Implementation of a Generic, Logic and Functional Programming Language. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Didier Bert Refinements of Generic Specifications with Algebraic Tools. Search on Bibsonomy IFIP Congress The full citation details ... 1983 DBLP  BibTeX  RDF
1Didier Bert, Roger Soler About Data Type Genericity. Search on Bibsonomy ICFPC The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Didier Bert Types algébriques et sémantique des langages de programmation. Search on Bibsonomy Symposium on Programming The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Didier Bert La Programmation générique : construction de logiciel, spécification algébrique et vérification. Search on Bibsonomy 1979   RDF
1Didier Bert Problem Specification and Algorithmic Programming. Search on Bibsonomy International Computing Symposium The full citation details ... 1977 DBLP  BibTeX  RDF
1Didier Bert Etude d'éléments fondamentaux des langages de programmation : contrôle de l'utilisation des objets et primitives d'exécution. Search on Bibsonomy 1973   RDF
Displaying result #1 - #41 of 41 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license