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: Bodeveix:Jean=Paul
Contributed to:
2009
2006
2005
2000
1999Wrote 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–?.