トップページ  >  教員個別情報
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)
◆専門分野
数理情報学, ソフトウェア
◆研究キーワード
Event-B, Formal Methods

■研究業績

◆発表論文
Relational Verification of Identity Disclosure Using Alloy
Seungil Yang, Peter Rivière, Toshiaki Aoki
-, 2026
Encoding BDI Syntax with Theories in Event-B
Mengwei Xu, Peter Rivière, Toshiaki Aoki, Marie Farrell, Yamine Aït Ameur, Neeraj Kumar Singh, Guillaume Dupont
-, 2026
A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework
Peter Riviere, Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
-, 2026
Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking
Duong Dinh Tran, Akira Hasegawa, Peter Riviere, Takashi Tomita, Toshiaki Aoki
-, 2026
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