@inproceedings{affeldt2018jssst,
author = {Reynald Affeldt and David Nowak},
title = {Experimenting with Monadic Equational Reasoning in {Coq}},
booktitle = {日本ソフトウェア科学会 第35 回大会 講演論文集 (\href{https://jssst2018.wordpress.com/}{JSSST 2018}), 大阪府吹田市, August 29--31, 2018},
year = {2018},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Aug},
organization = {},
publisher = {},
abstract = {14 pages \href{https://github.com/affeldt-aist/monae}{プロジェクト ページ} 日本語でのタイトル: CoqにおけるMonadic等式推論の実験 \href{http://staff.aist.go.jp/reynald.affeldt/documents/mona_equa.pdf}{pdf preprint}}
}
@inproceedings{garrigue2018jssst,
author = {Reynald Affeldt and Jacques Garrigue and Xuanrui Qi and 田中 一成},
title = {Proving tree algorithms for succinct data structures},
booktitle = {日本ソフトウェア科学会 第35 回大会 講演論文集 (\href{https://jssst2018.wordpress.com/}{JSSST 2018}), 大阪府吹田市, August 29--31, 2018},
year = {2018},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Aug},
organization = {},
publisher = {},
abstract = {13 pages \href{https://github.com/affeldt-aist/succinct}{プロジェクト ページ} 日本語でのタイトル: 簡潔データ構造における木構造アルゴリズムの形式証明について \href{http://staff.aist.go.jp/reynald.affeldt/documents/garrigue_jssst2018.pdf}{pdf preprint}}
}
@inproceedings{tanaka2018jssst,
author = {田中 哲 and Reynald Affeldt and Jacques Garrigue},
title = {{Coq}用{C}コード生成器の線形性検査拡張},
booktitle = {日本ソフトウェア科学会 第35 回大会 講演論文集 (\href{https://jssst2018.wordpress.com/}{JSSST 2018}), 大阪府吹田市, August 29--31, 2018},
year = {2018},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Aug},
organization = {},
publisher = {},
abstract = {11 pages (日本語) 日本語でのタイトル: Coq用Cコード生成器の線形性検査拡張 \href{http://staff.aist.go.jp/reynald.affeldt/documents/tanaka_jssst2018.pdf}{pdf preprint}}
}
@inproceedings{affeldt2016jssst,
author = {Reynald Affeldt and Cyril Cohen},
title = {Formal Foundations for Rigid Body Transformation},
booktitle = {日本ソフトウェア科学会 第33 回大会 講演論文集 (\href{https://jssst2016.wordpress.com/}{JSSST 2016}), 宮城県仙台市, September 6--9, 2016},
year = {2016},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {11 pages \href{https://staff.aist.go.jp/reynald.affeldt/robot/}{プロジェクト ページ} 日本語でのタイトル: 剛体変換のための形式基礎 \href{http://staff.aist.go.jp/reynald.affeldt/documents/robot_jssst2016.pdf}{pdf preprint}}
}
@inproceedings{affeldt2015ouyou,
author = {Reynald Affeldt},
title = {An Intrinsic Encoding of a Subset of {C} and its Application to {TLS} Network Packet Processing},
booktitle = {日本応用数理学会 2015 年度年会 講演予稿集, 金沢大学, 角間キャンパス, September 9-11, 2015},
year = {2015},
editor = {},
volume = {},
number = {},
series = {},
pages = {306--307},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{プロジェクト ページ} \href{http://staff.aist.go.jp/reynald.affeldt/documents/affeldt-jsiam2015.pdf}{pdf preprint}}
}
@inproceedings{affeldt2014tpp,
author = {Reynald Affeldt and Jacques Garrigue},
title = {Formalization of Error-correcting Codes using {SSReflect}},
booktitle = {MI Lecture Note 研究集会 高信頼な理論と実装のための定理証明および定理証明器 (TPP2014), 九州大学, December 3--5, 2014},
year = {2014},
editor = {},
volume = {61},
number = {},
series = {},
pages = {76--78},
address = {},
month = {Dec},
organization = {},
publisher = {},
abstract = {\href{https://staff.aist.go.jp/reynald.affeldt/ecc/}{プロジェクト ページ}}
}
@inproceedings{affeldt2013ieice,
author = {Reynald Affeldt},
title = {Formalization of {Shannon}'s Theorems Using the {Coq} Proof-Assistant},
booktitle = {2013年電子情報通信学会ソサイエティ大会 基礎・境界 講演論文集, 福岡工業大学, September 17--20, 2013},
year = {2013},
editor = {},
volume = {},
series = {},
pages = {39--44},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/ieice2013.pdf}{pdf preprint} \href{https://staff.aist.go.jp/reynald.affeldt/shannon/}{プロジェクト ページ} \href{http://www.ieice-taikai.jp/jpn/report/13so/houkoku.html}{conference website} IEICE, Technical Committee on Information Theory}
}
@inproceedings{affeldt2013imi,
author = {Reynald Affeldt},
title = {About the Formal Verification of {Shannon}'s Theorems},
booktitle = {COE Lecture Note 九州大学 マス・フォア・インダストリ研究所, 共同利用研究集会II:モダン符号理論からポストモダン符号理論への展望, 九州大学, March 4--7, 2013},
year = {2013},
editor = {},
volume = {44},
number = {},
series = {},
pages = {86--94},
address = {},
month = {Mar},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/source_coding_theorem.pdf}{pdf preprint} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{プロジェクト ページ}}
}
@inproceedings{affeldt2011ouyou,
author = {Reynald Affeldt},
title = {Toward a Library of Verified Arithmetic Functions},
booktitle = {日本応用数理学会 2011 年度年会 講演予稿集, 同志社大学, September 14--16, 2011},
year = {2011},
editor = {},
volume = {},
number = {},
series = {},
pages = {377--378},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{プロジェクト ページ}}
}
@inproceedings{affeldt2011jssst,
author = {Reynald Affeldt and 山田 聖},
title = {Formal Verification of {C} Programs for Implementations of Communication Protocols},
booktitle = {日本ソフトウェア科学会 第28 回大会 講演論文集 (\href{http://jssst11.kuis.kyoto-u.ac.jp/}{JSSST 2011}), 沖縄県那覇市, September 26--29, 2011},
year = {2011},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/affeldt-taikai2011revised.pdf}{pdf preprint} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{プロジェクト ページ}}
}
@inproceedings{affeldt2009ouyou,
author = {Reynald Affeldt and David Nowak and 山田 聖},
title = {形式的な暗号学的安全性証明によるアセンブリプログラムの安全性検証：BBSの事例},
booktitle = {日本応用数理学会 2009 年度年会 講演予稿集 (\href{http://www.jsiam.org/modules/eguide01/event.php?eid=47}{JSIAM 2009}), 大阪大学, September 28--30, 2009},
year = {2009},
editor = {},
volume = {},
number = {},
series = {},
pages = {53--54},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/fais2009-bbs.pdf}{pdf preprint} \href{http://staff.aist.go.jp/reynald.affeldt/documents/fais2009-bbs-slides.pdf}{スライド} (日本語) \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{プロジェクト ページ}}
}
@inproceedings{affeldt2008ouyou,
author = {Reynald Affeldt and Hubert Comon-Lundh},
title = {Towards Verification with no False Attack of Security Protocols in First-order Logic},
booktitle = {日本応用数理学会 2008 年度年会 講演予稿集 (\href{http://www.jsiam.org/modules/eguide01/event.php?eid=39}{JSIAM 2008}), 東京大学, 柏キャンパス, September 17--19, 2008},
year = {2008},
editor = {},
volume = {},
number = {},
series = {},
pages = {177--178},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/fais2008-rigid.pdf}{pdf preprint} \href{http://staff.aist.go.jp/reynald.affeldt/documents/fais2008-rigid-slides.pdf}{スライド} \href{https://staff.aist.go.jp/reynald.affeldt/rigid/}{プロジェクト ページ}}
}
@inproceedings{affeldt2008ouyoub,
author = {Reynald Affeldt and 川本 裕輔},
title = {Report on {FCS-ARSPA-WITS}, {CSF}, {FCC}'08---About Automated Verification and Certification},
booktitle = {日本応用数理学会 2008 年度年会 講演予稿集, 東京大学, 柏キャンパス, September 17--19, 2008},
year = {2008},
editor = {},
volume = {},
number = {},
series = {},
pages = {187--188},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {日本語でのタイトル: FCS-ARSPA-WITS, CSF, FCC'08参加報告---自動検証と形式的証明について}
}
@inproceedings{kawamoto2008ouyou,
author = {川本 裕輔 and Reynald Affeldt},
title = {{FCS-ARSPA-WITS}, {CSF}, {FCC}'08参加報告---安全性の形式化について},
booktitle = {日本応用数理学会 2008 年度年会 講演予稿集, 東京大学, 柏キャンパス, September 17--19, 2008},
year = {2008},
editor = {},
volume = {},
number = {},
series = {},
pages = {185--186},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {(日本語)}
}
@inproceedings{affeldt2007ouyou,
author = {Reynald Affeldt and 田中 三貴 and Nicolas Marti},
title = {証明可能安全性の形式的証明:定理証明ツールによるゲームの手法},
booktitle = {日本応用数理学会 2017 年度年会 講演予稿集 (\href{http://www.jsiam.org/annualmeeting/2007/}{JSIAM 2007}), 北海道大学, September 15--17, 2007},
year = {2007},
editor = {},
volume = {},
number = {},
series = {},
pages = {44--45},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/atm-jsiam.pdf}{pdf preprint} (日本語)}
}
@inproceedings{affeldt2006jssst,
author = {Reynald Affeldt and Nicolas Marti},
title = {Formal Verification of Arithmetic Functions in {SmartMIPS} Assembly},
booktitle = {日本ソフトウェア科学会 第23 回大会 講演論文集, 東京大学, 本郷キャンパス, September 13--15, 2006},
year = {2006},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/affeldt-jssst2006-en.pdf}{pdf preprint} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{プロジェクト ページ}}
}
@inproceedings{marti2006jssst,
author = {Nicolas Marti and Reynald Affeldt and 米澤 明憲},
title = {Model-checking of a Multi-threaded Operating System},
booktitle = {日本ソフトウェア科学会 第23 回大会 講演論文集, 東京大学, 本郷キャンパス, September 13--15, 2006},
year = {2006},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/marti-jssst2006-en.pdf}{pdf preprint} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/spin/}{プロジェクト ページ}}
}
@inproceedings{marti2005jssst,
author = {Nicolas Marti and Reynald Affeldt and 米澤 明憲},
title = {Towards Formal Verification of Memory Properties using Separation Logic},
booktitle = {日本ソフトウェア科学会 第22 回大会 講演論文集, 東北大学, 青葉山キャンパス, September 13--15, 2005},
year = {2005},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/marti-affeldt-yonezawa.pdf}{pdf preprint} \href{http://staff.aist.go.jp/reynald.affeldt/documents/seplog-jssst.pdf}{スライド} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{プロジェクト ページ}}
}
@inproceedings{affeldt2001jssst,
author = {Reynald Affeldt and 増原 英彦 and 住井 英二郎 and 米澤 明憲},
title = {Supporting Objects in Run-time Bytecode Specialization},
booktitle = {日本ソフトウェア科学会 第18 回大会 講演論文集 (\href{http://www.ueda.info.waseda.ac.jp/jssst2001/}{JSSST 2011}), 公立はこだて未来大学, September 18--20, 2001},
year = {2001},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/jssst_affeldt.pdf}{pdf preprint}}
}
This file was generated by bibtex2html 1.99.