RIVIERE, Peter Bernard (RIVIERE, Peter Bernard)特任助教
情報科学, 次世代デジタル社会基盤研究領域
◆学位
Ph.D. in Computer Science National Institute of Polytechnic of Toulouse
Engineer Diploma in Computer Science National Institute of Polytechnic of Toulouse–ENSEEIHT (French Grande École)
Baccalaureate, Major in Maths, Physic, Chemistry Lycée Jean Jaures (Carmaux, France)
◆専門分野
数理情報学

■研究業績

◆発表論文
Extending the EB4EB framework with parameterised events.
Peter Rivière, Neeraj Kumar Singh 0001, Yamine Aït-Ameur, Guillaume Dupont
Sci. Comput. Program., 243, 103279-103279, 2025
Reflexive Event-B: Semantics and Correctness the EB4EB Framework.
Peter Rivière, Neeraj Kumar Singh 0001, Yamine Aït-Ameur
IEEE Transactions on Reliability, 73, 2, 835-850, 2024
A Complete Fragment of LTL(EB).
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur
CoRR, abs/2401.16838, -, 2024
On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS.
Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh 0001, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont
ICFEM, 314-331, 2024
A Complete Fragment of LTL(EB).
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur
Foundations of Information and Knowledge Systems - 13th International Symposium(FoIKS), 237-255, 2024