Travelled to:1 × Finland
1 × France
1 × The Netherlands
1 × USA
2 × Germany
2 × Italy
Collaborated with:R.Echahed H.R.Barradas F.Cave C.Oriat B.M.Østvold S.Boulmé M.Potet A.Requet L.Voisin P.Drabik O.Declerfayt D.Demeuse P.Schobbens F.Wautier
Talks about:system (6) abstract (3) program (3) generic (3) specif (3) function (2) languag (2) assumpt (2) rewrit (2) logic (2)
Person: Didier Bert
DBLP: Bert:Didier
Contributed to:
2005
200320022000
1995
1993
19881986
1995Wrote 9 papers:
- IFM-2005-BarradasB #fixpoint #semantics
- A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions (HRB, DB), pp. 327–346.
- FME-2003-BertBPRV #adaptation #c #embedded #source code #specification
- Adaptable Translator of B Specifications to Embedded C Programs (DB, SB, MLP, AR, LV), pp. 94–113.
- IFM-2002-BarradasB #liveness #proving #specification
- Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems (HRB, DB), pp. 360–379.
- IFM-2000-BertC #finite
- Construction of Finite Labelled Transistion Systems from B Abstract Systems (DB, FC), pp. 235–254.
- ILPS-1995-DidierE #abstraction #term rewriting
- Abstraction of Conditional Term Rewriting Systems (DB, RE), pp. 162–176.
- WSA-1993-BertEO
- Abstract Rewriting (DB, RE, BMØ), pp. 178–192.
- ESOP-1988-BertDEDDSW #functional #logic #named #programming language
- LPG: A Generic, Logic and Functional Programming Language (DB, PD, RE, OD, DD, PYS, FW), pp. 376–377.
- ESOP-1986-BertE #design #functional #implementation #logic #programming language
- Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.
- TAPSOFT-1995-BertO #model inference #specification
- A Model Inference System for Generic Specification with Application to Code Sharing (DB, CO), pp. 741–755.