default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Paul Bodeveix

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/FaresBF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/FaresBF24
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Correct Pattern-Based Development Through Refinements and Weakest Preconditions Calculus. FACS 2024: 59-78
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/BodeveixCFFH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/BodeveixCFFH24
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang:
Verifying HyperLTL Properties in Event-B. ABZ 2024: 255-261
2023
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ThierryJHB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ThierryJHB23
Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix:
Specification and Verification of Communication Paradigms for CBSE in Event B. ICECCS 2023: 157-166
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/RoulandHBJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/RoulandHBJ23
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka:
Formalizing the Relationship between Security Policies and Objectives in Software Architectures. ICSA-C 2023: 151-158
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/FaresBF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/FaresBF23
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Pattern-Based Refinement Generation Through Domain Specific Languages. ABZ 2023: 35-42
2021
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/YangBYHBFG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/YangBYHBFG21
Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu:
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems. Formal Aspects Comput. 33(3): 343-384 (2021)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/YangQZHBF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/YangQZHBF21
Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali:
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software. J. Syst. Archit. 118: 102202 (2021)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/YangYBFWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/YangYBFWZ21
Zhibin Yang, Shenghao Yuan, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou:
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study. Sci. Comput. Program. 207: 102644 (2021)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BodeveixF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BodeveixF21
Jean-Paul Bodeveix, Mamoun Filali:
Event-B Formalization of Event-B Contexts. ABZ 2021: 66-80
[c49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PeyrasBBC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PeyrasBBC20
Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil:
Sound Verification Procedures for Temporal Properties of Infinite-State Systems. CAV (2) 2021: 337-360
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/Zhu0FBTC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/Zhu0FBTC21
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao:
Formal Simulation and Verification of Solidity contracts in Event-B. COMPSAC 2021: 1309-1314
2020
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BodeveixDF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BodeveixDF20
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali:
Event-B formalization of a variability-aware component model patterns framework. Sci. Comput. Program. 199: 102511 (2020)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/WangYHLZBF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/WangYHLZBF20
Fei Wang, Zhibin Yang, Zhi-qiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali:
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. IEEE Trans. Reliab. 69(1): 154-173 (2020)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-01261
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-01261
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin:
Formal Verification of Solidity contracts in Event-B. CoRR abs/2005.01261 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/YangBF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/YangBF19
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali:
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL. Frontiers Comput. Sci. 13(4): 715-734 (2019)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BodeveixBCF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BodeveixBCF19
Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali:
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. FM 2019: 45-63
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/YuanYBFWZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/YuanYBFWZ19
Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou:
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study. FTSCS 2019: 57-73
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/RoulandHBF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/RoulandHBF19
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali:
A Formal Methods Approach to Security Requirements Specification and Verification. ICECCS 2019: 236-241
2018
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/FaresBF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FaresBF18
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Event algebra for transition systems composition application to timed automata. Acta Informatica 55(5): 363-400 (2018)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BodeveixDF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BodeveixDF18
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali:
Event-B Formalization of a Variability-Aware Component Model Patterns Framework. FACS 2018: 54-74
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/XuYHZLXBF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/XuYHZLXBF18
Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali:
Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. MEMOCODE 2018: 88-98
2017
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/BodeveixFK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/BodeveixFK17
Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan:
A refinement-based compiler development for synchronous languages. MEMOCODE 2017: 165-174
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/SialaBFB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/SialaBFB17
Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri:
Automatic Refinement for Event-B through Annotated Patterns. PDP 2017: 287-290
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BodeveixFBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BodeveixFBS17
Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala:
An Event-B framework for the validation of Event-B refinement plugins. CoRR abs/1701.00960 (2017)
2016
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/YangBFHZM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/YangBFHZM16
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma:
Towards a verified compiler prototype for the synchronous language SIGNAL. Frontiers Comput. Sci. 10(1): 37-53 (2016)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SialaBBF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SialaBBF16
Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali:
An Event-B Development Process for the Distributed BIP Framework. ICFEM 2016: 313-328
2015
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BodeveixFGSY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BodeveixFGSY15
Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang:
Towards a verified transformation from AADL to the formal component-based language FIACRE. Sci. Comput. Program. 106: 30-53 (2015)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BerthomieuBDFBV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BerthomieuBDFBV15
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat:
Real-Time Model Checking Support for AADL. CoRR abs/1503.00493 (2015)
2014
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/YangHMBPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/YangHMBPT14
Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin:
From AADL to Timed Abstract State Machines: A verified model transformation. J. Syst. Softw. 93: 42-68 (2014)
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/YangBF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/YangBF14
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali:
Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties. ACVI@MoDELS 2014
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/scopes/YangBFHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scopes/YangBFHM14
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma:
A verified transformation: from polychronous programs to a variant of clocked guarded actions. SCOPES 2014: 128-137
2013
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/YangBF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/YangBF13
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali:
A comparative study of two formal semantics of the SIGNAL language. Frontiers Comput. Sci. 7(5): 673-693 (2013)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FaresBFG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FaresBFG13
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho:
An Automatic Technique for Checking the Simulation of Timed Systems. ATVA 2013: 71-86
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/GarnachoBF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/GarnachoBF13
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine:
A Mechanized Semantic Framework for Real-Time Systems. FORMATS 2013: 106-120
[c35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsen/BoudjadarVBF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BoudjadarVBF13
Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali:
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. FSEN 2013: 111-132
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/time/FaresBF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/FaresBF13
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Event Algebra for Transition Systems Composition - Application to Timed Automata. TIME 2013: 125-132
2012
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/soco/BoudjadarBF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/BoudjadarBF12
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali:
Revising and Extending the Uppaal Communication Mechanism. SC@TOOLS 2012: 114-131
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/time/BoudjadarBF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BoudjadarBF12
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali:
Compositional Refinement for Real-Time Systems with Priorities. TIME 2012: 57-64
2011
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BodeveixBF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BodeveixBF11
Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali:
An Alternative Definition for Timed Automata Composition. ATVA 2011: 105-119
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/FaresBF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/FaresBF11
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Verification of Timed BPEL 2.0 Models. BMMDS/EMMSAD 2011: 261-275
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/YangHBPMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/YangHBPMT11
Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin:
Two Formal Semantics of a Subset of the AADL. ICECCS 2011: 344-349
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/FaresBF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/FaresBF11
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Design of a BPEL Verification Tool. WS-FM 2011: 95-110
[c27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BodeveixF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BodeveixF11
Jean-Paul Bodeveix, Mamoun Filali:
Event B Development of a Synchronous AADL Scheduler. B@FM 2011: 23-33
2010
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/CorreaBFBFV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/CorreaBFBFV10
T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat:
Supporting the Design of Safety Critical Systems Using AADL. ICECCS 2010: 331-336
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/10/CortierBBBDFGOPRST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/10/CortierBBBDFGOPRST10
Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, Mamoun Filali, Gérald Garcia, Julien Ouy, Marc Pantel, Ana-Elena Rugina, Martin Strecker, Jean-Pierre Talpin:
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. Synthesis of Embedded Software 2010: 79-119

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PiBF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PiBF09
Lei Pi, Jean-Paul Bodeveix, Mamoun Filali:
Modeling AADL Data Communication with BIP. Ada-Europe 2009: 192-206
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BerthomieuBCDFV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BerthomieuBCDFV09
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat:
Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe 2009: 207-221
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/PiYBFHM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/PiYBFHM09
Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma:
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. ICECCS 2009: 347-352
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/FrancaBBFF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/FrancaBBFF09
Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali:
Towards Safe Design of Synchronous Bus Protocols in Event-B. SBMF 2009: 170-185
[c21]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1003-0554
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-0554
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat:
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. FMA 2009: 80-87
2008
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/Lobjet/NasrRBF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/NasrRBF08
Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali:
Spécification et vérification d'un ordonnanceur en B via les automates temporisés. Obj. Logiciel Base données Réseaux 14(4): 43-72 (2008)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/RollandBFCT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/RollandBFCT08
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas:
Modes in Asynchronous Systems. ICECCS 2008: 282-287
2007
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BrunelCCSB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BrunelCCSB07
Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix:
Security policy compliance with violation management. FMSE 2007: 31-40
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/FrancaBFRCT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/FrancaBFRCT07
Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas:
The AADL behaviour annex - experiments and roadmap. ICECCS 2007: 377-382
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/jtres/BodeveixCCFR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jtres/BodeveixCCFR07
Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland:
A mapping from AADL to Java-RTSJ. JTRES 2007: 165-174
2006
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/BrunelBF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/BrunelBF06
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali:
A State/Event Temporal Deontic Logic. DEON 2006: 85-100
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/NasrBFI06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/NasrBFI06
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit:
Verification of a scheduler in B through a timed automata specification. SAC 2006: 1800-1801
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BodeveixFLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BodeveixFLM07
Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller:
Automatic Verification of Bossa Scheduler Properties. AVoCS 2006: 17-32
2005
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BodeveixFLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BodeveixFLM05
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller:
Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206
[c12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BodeveixCFS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BodeveixCFS05
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker:
Towards formalising AADL in Proof Assistants. FESCA@ETAPS 2005: 153-169
2004
[c11]
- view
- export record
  dblp key:
  - conf/ista/AmaneddineBB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ista/AmaneddineBB04
Nouhad Amaneddine, Jean Paul Bahsoun, Jean-Paul Bodeveix:
TransM: A Structured Document Transformation Model. ISTA 2004: 53-66
2003
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/inforsid/BazexBMCP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inforsid/BazexBMCP03
Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois:
Vérification de modèles UML fondée sur OCL. INFORSID 2003: 185-202
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BerthomieuRVBFBFPMFGDL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BerthomieuRVBFBFPMFGDL03
Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert:
Towards the verification of real-time systems in avionics: the Cotre approach. FMICS 2003: 203-218
2002
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BodeveixF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BodeveixF02
Jean-Paul Bodeveix, Mamoun Filali:
Reduction and Quantifier Elimination Techniques for Program Validation. Formal Methods Syst. Des. 20(1): 69-89 (2002)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/BodeveixF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/BodeveixF02
Jean-Paul Bodeveix, Mamoun Filali:
Type Synthesis in B and the Translation of B to PVS. ZB 2002: 350-369
2000
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/CabestrePB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/CabestrePB00
Frédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix:
Abstract machine construction through operational semantics refinements. Future Gener. Comput. Syst. 16(7): 753-769 (2000)
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icdcsw/BodeveixF00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcsw/BodeveixF00
Jean-Paul Bodeveix, Mamoun Filali:
Experimenting Acceleration Methods for the Validation of Infinite State Systems. ICDCS Workshop on Distributed System Validation and Verification 2000: E23-E30
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BodeveixF00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BodeveixF00
Jean-Paul Bodeveix, Mamoun Filali:
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. TACAS 2000: 204-219

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/MajoulPB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/MajoulPB99
Salam Majoul, Christian Percebois, Jean-Paul Bodeveix:
A Concurrent Object-Based Model and its Use for Coordinating Java Components. TOOLS (30) 1999: 332-
1998
[j2]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/Lobjet/PlaindouxBP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/PlaindouxBP98
Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois:
Types versus classes. Obj. Logiciel Base données Réseaux 4(1) (1998)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/BodeveixF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/BodeveixF98
Jean-Paul Bodeveix, Mamoun Filali:
On the Automatic Validation of Parameterized Unity Programs. IPPS/SPDP Workshops 1998: 807-819
1997
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ppl/BodeveixF97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ppl/BodeveixF97
Jean-Paul Bodeveix, Mamoun Filali:
Towards the Automatic Verification of Atomic Memory Protocols. Parallel Process. Lett. 7(1): 101-112 (1997)
1995
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/BodeveixF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/BodeveixF95
Jean-Paul Bodeveix, Mamoun Filali:
On the Refinement of symmetric memory protocols. TPHOLs 1995: 58-74
1994
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/BodeveixFR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/BodeveixFR94
Jean-Paul Bodeveix, Mamoun Filali, P. Roche:
Towards a HOL Theory and Memory. TPHOLs 1994: 49-64
1993
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/BodeveixB93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/BodeveixB93
Jean-Paul Bodeveix, Érick Bizouarn:
A Parallel Prolog Execution Model Theoretical Approach and Experimental Results. IPPS 1993: 7-15

Coauthor Index

see FAQ

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.