Travelled to:1 × China
1 × Denmark
1 × Finland
1 × Germany
1 × Ireland
1 × Italy
1 × The Netherlands
1 × USA
1 × Vietnam
Collaborated with:∅ T.S.Hoang A.Fürst I.H.Sørensen H.Kuruma D.A.Basin M.K.O.Lee D.Neilson P.N.Scharbach J.Steensgaard-Madsen J.W.Hughes M.S.Powell H.Ehrig H.Kreowski L.S.Nielsen R.M.Gallimore D.Coleman J.A.Goguen G.T.Leavens D.S.Batory M.J.Butler A.Coglio K.Fisler E.C.R.Hehner C.B.Jones D.Miller S.L.P.Jones M.Sitaraman D.R.Smith A.Stump
Talks about:event (4) program (3) method (3) develop (2) tool (2) discoveri (1) construct (1) sequenti (1) industri (1) topolog (1)
Person: Jean-Raymond Abrial
DBLP: Abrial:Jean=Raymond
Contributed to:
20132009
2009
2006
2006
2003
198819811991Wrote 10 papers:
- IFM-2013-Abrial #proving #source code
- From Z to B and then Event-B: Assigning Proofs to Meaningful Programs (JRA), pp. 1–15.
- IFM-2009-HoangKBA
- Developing Topology Discovery in Event-B (TSH, HK, DAB, JRA), pp. 1–19.
- SEFM-2009-HoangFA #tool support
- Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.
- GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
- Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
- ICSE-2006-Abrial #formal method #industrial #problem
- Formal methods in industry: achievements, problems, future (JRA), pp. 761–768.
- FME-2003-Abrial #development #pointer
- Event Based Sequential Program Development: Application to Constructing a Pointer Program (JRA), pp. 51–74.
- VDME-1988-Abrial
- The B Tool (JRA), pp. 86–87.
- PS-1981-Steensgaard-MadsenHPEKNASGCG #generative
- KWIC-index generation (JSM, JWH, MSP, HE, HJK, LSN, JRA, IHS, RMG, DC, JAG), pp. 47–117.
- VDME-1991-AbrialLNSS
- The B-Method (JRA, MKOL, DN, PNS, IHS), pp. 398–405.