researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

jeanpaulbodeveix

Statistics

Publications: 3
Edited: 0

Aliases

J.-P. Bodeveix
Bodeveix, Jean-Paul
Jean-Paul Bodeveix
Bodeveix, J.-P.
Bodeveix

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Jean-Paul Bodeveix's Profile

Publications

Unidentified Publications

Publications with a 'Jean-Paul Bodeveix' as author, editor, or advisor:

A Concurrent Object-Based Model and its Use for Coordinating Java ComponentsSalam Majoul, Christian Percebois, Jean-Paul Bodeveix. TOOLS 1999: 332 [doi]
On the Automatic Validation of Parameterized Unity ProgramsJean-Paul Bodeveix, Mamoun Filali. ipps 1998: 807-819
Revising and Extending the Uppaal Communication MechanismAbdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali. SC 2012: 114-131 [doi]
Formal Verification of AADL Specifications in the Topcased EnvironmentBernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat. Ada-Europe 2009: 207-221 [doi]
A Comparative Study of FIACRE and TASM to Define AADL Real Time ConceptsLei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma. ICECCS 2009: 347-352 [doi]
An Event-B Development Process for the Distributed BIP FrameworkBadr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali. icfem 2016: 313-328 [doi]
Event B Development of a Synchronous AADL SchedulerJean-Paul Bodeveix, Mamoun Filali. ENTCS, 280:23-33, 2011. [doi]
FMona: A Tool for Expressing Validation Techniques over Infinite State SystemsJean-Paul Bodeveix, Mamoun Filali. TACAS 2000: 204-219 [doi]
Mechanically Verifying the Fundamental Liveness Property of the Chord ProtocolJean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali. FM 2019: 45-63 [doi]
Event Algebra for Transition Systems Composition - Application to Timed AutomataElie Fares, Jean-Paul Bodeveix, Mamoun Filali. time 2013: 125-132 [doi]
Formal Methods Meet Domain Specific LanguagesJean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller. IFM 2005: 187-206 [doi]
A Parallel Prolog Execution Model Theoretical Approach and Experimental ResultsJean-Paul Bodeveix, Érick Bizouarn. ipps 1993: 7-15
From AADL to Timed Abstract State Machines: A verified model transformationZhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin. jss, 93:42-68, 2014. [doi]
Verifying HyperLTL Properties in Event-BJean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang. zum 2024: 255-261 [doi]
Verification of Timed BPEL 2.0 ModelsElie Fares, Jean-Paul Bodeveix, Mamoun Filali. caise 2011: 261-275 [doi]
A refinement-based compiler development for synchronous languagesJean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan. memocode 2017: 165-174 [doi]
Towards the Automatic Verification of Atomic Memory ProtocolsJean-Paul Bodeveix, Mamoun Filali. ppl, 7(1):101-112, 1997.
Event algebra for transition systems composition application to timed automataElie Fares, Jean-Paul Bodeveix, Mamoun Filali. ACTA, 55(5):363-400, 2018. [doi]
A Formal Methods Approach to Security Requirements Specification and VerificationQuentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. ICECCS 2019: 236-241 [doi]
An Automatic Technique for Checking the Simulation of Timed SystemsElie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho. ATVA 2013: 71-86 [doi]
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL ModelsFei Wang, Zhibin Yang, Zhi-qiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali. tr, 69(1):154-173, 2020. [doi]
Event-B Formalization of a Variability-Aware Component Model Patterns FrameworkJean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali. facs2 2018: 54-74 [doi]
TransM: A Structured Document Transformation ModelNouhad Amaneddine, Jean Paul Bahsoun, Jean-Paul Bodeveix. ista 2004: 53-66
A Mechanized Semantic Framework for Real-Time SystemsManuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine. formats 2013: 106-120 [doi]
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial studyZhibin Yang, Shenghao Yuan, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou. SCP, 207:102644, 2021. [doi]
Event-B formalization of a variability-aware component model patterns frameworkJean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali. SCP, 199:102511, 2020. [doi]
Multi-Core Code Generation from Polychronous Programs with Time-Predictable PropertiesZhibin Yang, Jean-Paul Bodeveix, Mamoun Filali. MoDELS 2014: [doi]
A State/Event Temporal Deontic LogicJulien Brunel, Jean-Paul Bodeveix, Mamoun Filali. deon 2006: 85-100 [doi]
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time SystemsAbdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali. fsen 2013: 111-132 [doi]
Hierarchical Behavior Annex: Towards an AADL Functional Specification ExtensionJinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali. memocode 2018: 88-98 [doi]
Synoptic: A Domain-Specific Modeling Language for Space On-board Application SoftwareAlexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, Mamoun Filali, G. Garcia, Julien Ouy, Marc Pantel, A. Rugina, Martin Strecker, Jean-Pierre Talpin. In Sandeep Kumar Shukla, Jean-Pierre Talpin, editors, Synthesis of Embedded Software - Frameworks and Methodologies for Correctness by Construction. pages 79-119, Springer, 2010. [doi]
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNALZhibin Yang, Jean-Paul Bodeveix, Mamoun Filali. fcsc, 13(4):715-734, 2019. [doi]
Modes in Asynchronous SystemsJean-FranÃ§ois Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas. ICECCS 2008: 282-287 [doi]
Exploiting augmented intelligence in the modeling of safety-critical autonomous systemsZhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu. fac, 33(3):343-384, 2021. [doi]
Verification of a scheduler in B through a timed automata specificationOdile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit. SAC 2006: 1800-1801 [doi]
Two Formal Semantics of a Subset of the AADLZhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin. ICECCS 2011: 344-349 [doi]
Towards a verified transformation from AADL to the formal component-based language FIACREJean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang. SCP, 106:30-53, 2015. [doi]
Types versus classesDidier Plaindoux, Jean-Paul Bodeveix, Christian Percebois. Lobjet, 4(1), 1998.
Automatic Refinement for Event-B through Annotated PatternsBadr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri. pdp 2017: 287-290 [doi]
Formal Simulation and Verification of Solidity contracts in Event-BJian Zhu, Kai Hu 0004, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao. compsac 2021: 1309-1314 [doi]
Sound Verification Procedures for Temporal Properties of Infinite-State SystemsQuentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil. cav 2021: 337-360 [doi]
Pattern-Based Refinement Generation Through Domain Specific LanguagesElie Fares, Jean-Paul Bodeveix, Mamoun Filali. zum 2023: 35-42 [doi]
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical softwareZhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali. jsa, 118:102202, 2021. [doi]
Reduction and Quantifier Elimination Techniques for Program ValidationJean-Paul Bodeveix, Mamoun Filali. fmsd, 20(1):69-89, 2002.
Security policy compliance with violation managementJulien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix. ccs 2007: 31-40 [doi]
Supporting the Design of Safety Critical Systems Using AADLT. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat. ICECCS 2010: 331-336 [doi]
Formalizing the Relationship between Security Policies and Objectives in Software ArchitecturesQuentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka. icsa 2023: 151-158 [doi]
Compositional Refinement for Real-Time Systems with PrioritiesAbdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali. time 2012: 57-64 [doi]
Type Synthesis in B and the Translation of B to PVSJean-Paul Bodeveix, Mamoun Filali. zum 2002: 350-369 [doi]
Towards a HOL Theory and MemoryJean-Paul Bodeveix, Mamoun Filali, P. Roche. tphol 1994: 49-64
Modeling AADL Data Communication with BIPLei Pi, Jean-Paul Bodeveix, Mamoun Filali. Ada-Europe 2009: 192-206 [doi]
Abstract machine construction through operational semantics refinementsFrédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix. fgcs, 16(7):753-769, 2000. [doi]
A verified transformation: from polychronous programs to a variant of clocked guarded actionsZhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma. scopes 2014: 128-137 [doi]
Event-B Formalization of Event-B ContextsJean-Paul Bodeveix, Mamoun Filali. asm 2021: 66-80 [doi]
Automatic Verification of Bossa Scheduler PropertiesJean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller. ENTCS, 185:17-32, 2007. [doi]
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial StudyShenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou. ftscs 2020: 57-73 [doi]
Vérification de modèles UML fondée sur OCLPierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois. inforsid 2003: 185-202
Experimenting Acceleration Methods for the Validation of Infinite State SystemsJean-Paul Bodeveix, Mamoun Filali. icdcsw 2000:
An Alternative Definition for Timed Automata CompositionJean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali. ATVA 2011: 105-119 [doi]
Correct Pattern-Based Development Through Refinements and Weakest Preconditions CalculusElie Fares, Jean-Paul Bodeveix, Mamoun Filali. facs2 2024: 59-78 [doi]
Design of a BPEL Verification ToolElie Fares, Jean-Paul Bodeveix, Mamoun Filali. wsfm 2012: 95-110 [doi]
Spécification et vérification d un ordonnanceur en B via les automates temporisésOdile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali. Lobjet, 14(4):43-72, 2008. [doi]
A comparative study of two formal semantics of the SIGNAL languageZhibin Yang, Jean-Paul Bodeveix, Mamoun Filali. fcsc, 7(5):673-693, 2013. [doi]
Towards the verification of real-time systems in avionics: the Cotre approachBernard 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. ENTCS, 80:203-218, 2003. [doi]
Towards a verified compiler prototype for the synchronous language SIGNALZhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma. fcsc, 10(1):37-53, 2016. [doi]
Specification and Verification of Communication Paradigms for CBSE in Event BLoïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix. ICECCS 2023: 157-166 [doi]
On the Refinement of symmetric memory protocolsJean-Paul Bodeveix, Mamoun Filali. tphol 1995: 58-74
Towards Safe Design of Synchronous Bus Protocols in Event-BRicardo Bedin FranÃ§a, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali. sbmf 2009: 170-185 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL