Jean-Paul Bodeveix

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with coauthor community group 1

> Home > Persons > Jean-Paul Bodeveix

Publications

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)
  - references & 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)
  - references & 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)
  - references & 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)
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)
  - references & 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)
  - references & 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)
  - references & 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)
  - no references & citations available
- 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)
  - references & 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)
  - references & 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
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)
  - references & 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)
  - references & 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
2003
[c10]
- no documents available
  - no references & citations available
- 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)
  - references & 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
  - no references & citations available
- 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
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
  - no references & citations available
- 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

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.