default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDidier Bert
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
[i3]Didier Bert, Marie-Laure Potet, Nicolas Stouls
:
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. CoRR abs/1004.1472 (2010)
2000 – 2009
- 2007
- [j7]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. Tech. Sci. Informatiques 26(7): 819-851 (2007) - [j6]Didier Bert, H. Barradas:
Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala. Tech. Sci. Informatiques 26(7): 853-882 (2007) - [c25]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 - 2006
- [j5]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. Softw. Process. Improv. Pract. 11(5): 487-503 (2006) - [j4]Héctor Ruíz Barradas, Didier Bert:
Propriétés dynamiques avec hypothèses d'équité en B événementiel. Tech. Sci. Informatiques 25(1): 73-102 (2006) - [c24]Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes:
Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V 2006 - [c23]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 - [c22]Akram Idani, Yves Ledru, Didier Bert:
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. SEW 2006: 97-106 - 2005
- [c21]Akram Idani, Yves Ledru, Didier Bert:
Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM 2005: 37-51 - [c20]Héctor Ruíz Barradas, Didier Bert:
A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions. IFM 2005: 327-346 - [c19]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 - [i2]Héctor Ruíz Barradas, Didier Bert:
Proof obligations for specification and refinement of liveness properties under weak fairness. CoRR abs/cs/0502046 (2005) - [i1]Héctor Ruíz Barradas, Didier Bert:
A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. CoRR abs/cs/0512082 (2005) - 2004
- [j3]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. Tech. Sci. Informatiques 23(7): 879-903 (2004) - 2003
- [j2]Didier Bert:
La recherche en B. Tech. Sci. Informatiques 22(1): 129-130 (2003) - [c18]Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin:
Adaptable Translator of B Specifications to Embedded C Programs. FME 2003: 94-113 - [e4]Didier Bert, Jonathan P. Bowen, Steve King, Marina 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. Lecture Notes in Computer Science 2651, Springer 2003, ISBN 3-540-40253-5 [contents] - 2002
- [j1]Stéphane Lo Presti, Didier Bert, Andrzej Duda:
TAO: Temporal Algebraic Operators for modeling multimedia presentations. J. Netw. Comput. Appl. 25(4): 319-342 (2002) - [c17]Héctor Ruíz Barradas, Didier Bert:
Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. IFM 2002: 360-379 - [e3]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. Lecture Notes in Computer Science 2272, Springer 2002, ISBN 3-540-43166-7 [contents] - 2000
- [c16]Didier Bert, Francis Cave:
Construction of Finite Labelled Transistion Systems from B Abstract Systems. IFM 2000: 235-254 - [e2]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. Lecture Notes in Computer Science 1827, Springer 2000, ISBN 3-540-67898-0 [contents]
1990 – 1999
- 1999
- [c15]Didier Bert, Stéphane Lo Presti:
Algebraic Specification of Operator-Based Multimedia Scenarios. WADT 1999: 383-400 - 1998
- [e1]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. Lecture Notes in Computer Science 1393, Springer 1998, ISBN 3-540-64405-9 [contents] - 1996
- [c14]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
- [c13]Didier Bert, Rachid Echahed:
Abstraction of Conditional Term Rewriting Systems. ILPS 1995: 162-176 - [c12]Didier Bert, Catherine Oriat:
A Model Inference System for Generic Specification with Application to Code Sharing. TAPSOFT 1995: 741-755 - 1994
- [c11]Didier Bert, Rachid Echahed:
On the Operational Semantics of the Algebraic and Logic Programming Language LPG. COMPASS/ADT 1994: 132-152 - [c10]Didier Bert, Rachid Echahed:
Integrating Disequations in the Algebraic and Logic Programming Language LPG. ICLP Workshop: Integration of Declarative Paradigms 1994: 76-93 - 1993
- [c9]Didier Bert, Rachid Echahed, Bjarte M. Østvold:
Abstract Rewriting. WSA 1993: 178-192 - 1991
- [c8]Didier Bert, Christine Lafontaine:
Integration of Semantical Verification Conditions in a Specification Language Definition. AMAST 1991: 467-477
1980 – 1989
- 1988
- [c7]Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier:
LPG: A Generic, Logic and Functional Programming Language. ESOP 1988: 376-377 - 1987
- [c6]Didier Bert, Pascal Drabik, Rachid Echahed:
LPG: A Generic, Logic and Functional Programming Language. STACS 1987: 468-469 - 1986
- [c5]Didier Bert, Rachid Echahed:
Design and Implementation of a Generic, Logic and Functional Programming Language. ESOP 1986: 119-132 - 1983
- [c4]Didier Bert:
Refinements of Generic Specifications with Algebraic Tools. IFIP Congress 1983: 815-820 - 1981
- [c3]Didier Bert, Roger Soler:
About Data Type Genericity. ICFPC 1981: 231-243 - 1980
- [c2]Didier Bert:
Types algébriques et sémantique des langages de programmation. Symposium on Programming 1980: 30-43
1970 – 1979
- 1979
- [b2]Didier Bert:
La Programmation générique : construction de logiciel, spécification algébrique et vérification. Joseph Fourier University, Grenoble, France, 1979 - 1977
- [c1]Didier Bert:
Problem Specification and Algorithmic Programming. International Computing Symposium 1977: 111-117 - 1973
- [b1]Didier Bert:
Etude d'éléments fondamentaux des langages de programmation : contrôle de l'utilisation des objets et primitives d'exécution. Joseph Fourier University, Grenoble, France, 1973
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
