BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × The Netherlands
1 × USA
2 × France
Collaborated with:
M.Filali L.Pi S.Majoul C.Percebois O.Nasr M.R.Irit J.L.Lawall G.Muller B.Berthomieu C.Chaudet S.Dal-Zilio F.Vernadat
Talks about:
specif (3) formal (2) verif (2) model (2) aadl (2) techniqu (1) communic (1) automata (1) schedul (1) languag (1)

Person: Jean-Paul Bodeveix

DBLP DBLP: Bodeveix:Jean=Paul

Contributed to:

Ada-Europe 20092009
SAC 20062006
IFM 20052005
TACAS 20002000
TOOLS USA 19991999

Wrote 6 papers:

AdaEurope-2009-BerthomieuBCDFV #specification #verification
Formal Verification of AADL Specifications in the Topcased Environment (BB, JPB, CC, SDZ, MF, FV), pp. 207–221.
AdaEurope-2009-PiBF #communication #modelling
Modeling AADL Data Communication with BIP (LP, JPB, MF), pp. 192–206.
SAC-2006-NasrBFI #automaton #specification #verification
Verification of a scheduler in B through a timed automata specification (ON, JPB, MF, MRI), pp. 1800–1801.
IFM-2005-BodeveixFLM #domain-specific language #formal method
Formal Methods Meet Domain Specific Languages (JPB, MF, JLL, GM), pp. 187–206.
TACAS-2000-BodeveixF #infinity #named #validation
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems (JPB, MF), pp. 204–219.
TOOLS-USA-1999-MajoulPB #component #concurrent #coordination #java
A Concurrent Object-Based Model and its Use for Coordinating Java Components (SM, CP, JPB), p. 332–?.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.