I agree that this site is using cookies. You can find further informations here.
X
Bodeveix, Jean-Paul
242  results:
Search for persons X
?
1

Verifying HyperLTL Properties in Event-B:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Bodeveix, Jean-Paul ; Carle, Thomas ; Fares, Elie.. - p. 255-261 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Formalizing the Relationship between Security Policies and ..:

, In: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C),
Rouland, Quentin ; Hamid, Brahim ; Bodeveix, Jean-Paul. - p. 151-158 , 2023
Link: https://doi.org/10.1109/..
 
?
3

C2AADL_Reverse: A Model-Driven Reverse Engineering Approach..:

Yang, Zhibin ; Qiu, Zhikai ; Zhou, Yong...
ACM SIGAda Ada Letters.  43 (2023)  1 - p. 50-53 , 2023
Link: https://doi.org/10.1145/..
 
?
4

Specification and Verification of Communication Paradigms f..:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),
Thierry, Loic ; Jaskolka, Jason ; Hamid, Brahim. - p. 157-166 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Formal Modelling of PBFT Consensus Algorithm in Event-B:

Li, Jie ; Hu, Kai ; Zhu, Jian...
Wireless Communications and Mobile Computing.  2022 (2022)  - p. 1-17 , 2022
Link: https://doi.org/10.1155/..
 
?
6

C2AADL_Reverse: A model-driven reverse engineering approach..:

Yang, Zhibin ; Qiu, Zhikai ; Zhou, Yong...
Journal of Systems Architecture.  118 (2021)  - p. 102202 , 2021
Link: https://doi.org/10.1016/..
 
?
7

Sound Verification Procedures for Temporal Properties of In..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Peyras, Quentin ; Bodeveix, Jean-Paul ; Brunel, Julien. - p. 337-360 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Formal Simulation and Verification of Solidity contracts in..:

, In: 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC),
Zhu, Jian ; Hu, Kai ; Filali, Mamoun... - p. 1309-1314 , 2021
Link: https://doi.org/10.1109/..
 
?
9

Exploiting augmented intelligence in the modeling of safety..:

Yang, Zhibin ; Bao, Yang ; Yang, Yongqiang...
Formal Aspects of Computing.  33 (2021)  3 - p. 343-384 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Multi-task Ada code generation from synchronous dataflow pr..:

Yang, Zhibin ; Yuan, Shenghao ; Bodeveix, Jean-Paul...
Science of Computer Programming.  207 (2021)  - p. 102644 , 2021
Link: https://doi.org/10.1016/..
 
?
11

Event-B Formalization of Event-B Contexts:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Bodeveix, Jean-Paul ; Filali, Mamoun - p. 66-80 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Event-B formalization of a variability-aware component mode..:

Bodeveix, Jean-Paul ; Dieumegard, Arnaud ; Filali, Mamoun
Science of Computer Programming.  199 (2020)  - p. 102511 , 2020
Link: https://doi.org/10.1016/..
 
?
13

An Event-B Development Process for the Distributed BIP Fram..:

, In: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems,
Siala, Badr ; Bodeveix, Jean-Paul ; Filali, Mamoun. - p. 283-307 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Automated Ada Code Generation from Synchronous Dataflow Pro..:

, In: Communications in Computer and Information Science; Formal Techniques for Safety-Critical Systems,
Yuan, Shenghao ; Yang, Zhibin ; Bodeveix, Jean-Paul... - p. 57-73 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Towards a simple and safe Objective Caml compiling framewor..:

Yang, Zhibin ; Bodeveix, Jean-Paul ; Filali, Mamoun
Frontiers of Computer Science.  13 (2019)  4 - p. 715-734 , 2019
Link: https://doi.org/10.1007/..
 
1-15