![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jean-Paul Bodeveix
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c54]Jean-Paul Bodeveix
, Thomas Carle
, Elie Fares
, Mamoun Filali
, Thai Son Hoang
:
Verifying HyperLTL Properties in Event-B. ABZ 2024: 255-261 - 2023
- [c53]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]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]Elie Fares
, Jean-Paul Bodeveix
, Mamoun Filali
:
Pattern-Based Refinement Generation Through Domain Specific Languages. ABZ 2023: 35-42 - 2021
- [j16]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]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]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]Jean-Paul Bodeveix
, Mamoun Filali
:
Event-B Formalization of Event-B Contexts. ABZ 2021: 66-80 - [c49]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]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]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]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]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
- 2019
- [j11]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]Jean-Paul Bodeveix, Julien Brunel, David Chemouil
, Mamoun Filali:
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. FM 2019: 45-63 - [c46]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]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]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]Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali:
Event-B Formalization of a Variability-Aware Component Model Patterns Framework. FACS 2018: 54-74 - [c43]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]Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan:
A refinement-based compiler development for synchronous languages. MEMOCODE 2017: 165-174 - [c41]Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri:
Automatic Refinement for Event-B through Annotated Patterns. PDP 2017: 287-290 - [i2]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]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]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]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]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]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]Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali:
Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties. ACVI@MoDELS 2014 - [c38]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]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]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]Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine:
A Mechanized Semantic Framework for Real-Time Systems. FORMATS 2013: 106-120 - [c35]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]Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Event Algebra for Transition Systems Composition - Application to Timed Automata. TIME 2013: 125-132 - 2012
- [c33]Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali:
Revising and Extending the Uppaal Communication Mechanism. SC@TOOLS 2012: 114-131 - [c32]Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali:
Compositional Refinement for Real-Time Systems with Priorities. TIME 2012: 57-64 - 2011
- [c31]Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali:
An Alternative Definition for Timed Automata Composition. ATVA 2011: 105-119 - [c30]Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Verification of Timed BPEL 2.0 Models. BMMDS/EMMSAD 2011: 261-275 - [c29]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]Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Design of a BPEL Verification Tool. WS-FM 2011: 95-110 - [c27]Jean-Paul Bodeveix, Mamoun Filali:
Event B Development of a Synchronous AADL Scheduler. B@FM 2011: 23-33 - 2010
- [c26]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]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
- 2009
- [c25]Lei Pi, Jean-Paul Bodeveix, Mamoun Filali:
Modeling AADL Data Communication with BIP. Ada-Europe 2009: 192-206 - [c24]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]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]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]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]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]Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil
, Dave Thomas:
Modes in Asynchronous Systems. ICECCS 2008: 282-287 - 2007
- [c19]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]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]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]Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali:
A State/Event Temporal Deontic Logic. DEON 2006: 85-100 - [c15]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]Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller:
Automatic Verification of Bossa Scheduler Properties. AVoCS 2006: 17-32 - 2005
- [c13]Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller:
Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206 - [c12]Jean-Paul Bodeveix, David Chemouil
, Mamoun Filali, Martin Strecker
:
Towards formalising AADL in Proof Assistants. FESCA@ETAPS 2005: 153-169 - 2004
- [c11]Nouhad Amaneddine, Jean Paul Bahsoun, Jean-Paul Bodeveix:
TransM: A Structured Document Transformation Model. ISTA 2004: 53-66 - 2003
- [c10]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]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]Jean-Paul Bodeveix, Mamoun Filali:
Reduction and Quantifier Elimination Techniques for Program Validation. Formal Methods Syst. Des. 20(1): 69-89 (2002) - [c8]Jean-Paul Bodeveix, Mamoun Filali:
Type Synthesis in B and the Translation of B to PVS. ZB 2002: 350-369 - 2000
- [j3]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]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]Jean-Paul Bodeveix, Mamoun Filali:
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. TACAS 2000: 204-219
1990 – 1999
- 1999
- [c5]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]Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois:
Types versus classes. Obj. Logiciel Base données Réseaux 4(1) (1998) - [c4]Jean-Paul Bodeveix, Mamoun Filali:
On the Automatic Validation of Parameterized Unity Programs. IPPS/SPDP Workshops 1998: 807-819 - 1997
- [j1]Jean-Paul Bodeveix, Mamoun Filali:
Towards the Automatic Verification of Atomic Memory Protocols. Parallel Process. Lett. 7(1): 101-112 (1997) - 1995
- [c3]Jean-Paul Bodeveix, Mamoun Filali:
On the Refinement of symmetric memory protocols. TPHOLs 1995: 58-74 - 1994
- [c2]Jean-Paul Bodeveix, Mamoun Filali, P. Roche:
Towards a HOL Theory and Memory. TPHOLs 1994: 49-64 - 1993
- [c1]Jean-Paul Bodeveix, Érick Bizouarn:
A Parallel Prolog Execution Model Theoretical Approach and Experimental Results. IPPS 1993: 7-15
Coauthor Index
aka: Mamoun Filali-Amine
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 21:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint