@inproceedings{affeldt2018jssst,
author = {Reynald Affeldt and David Nowak},
title = {Experimenting with Monadic Equational Reasoning in {Coq}},
booktitle = {the proceedings of the 35th Meeting of the Japan Society for Software Science and Technology (\href{https://jssst2018.wordpress.com/}{JSSST 2018}), Osaka-fu, Suita-shi, 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}{project page} \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 Kazunari Tanaka},
title = {Proving tree algorithms for succinct data structures},
booktitle = {the proceedings of the 35th Meeting of the Japan Society for Software Science and Technology (\href{https://jssst2018.wordpress.com/}{JSSST 2018}), Osaka-fu, Suita-shi, 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}{project page} \href{http://staff.aist.go.jp/reynald.affeldt/documents/garrigue_jssst2018.pdf}{pdf preprint}}
}
@inproceedings{tanaka2018jssst,
author = {Akira Tanaka and Reynald Affeldt and Jacques Garrigue},
title = {Extension of a {C} code generator for {Coq} with a linearity checker},
booktitle = {the proceedings of the 35th Meeting of the Japan Society for Software Science and Technology (\href{https://jssst2018.wordpress.com/}{JSSST 2018}), Osaka-fu, Suita-shi, August 29--31, 2018},
year = {2018},
editor = {},
volume = {},
number = {},
series = {},
pages = {},
address = {},
month = {Aug},
organization = {},
publisher = {},
abstract = {11 pages (in Japanese) \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 = {the proceedings of the 33rd Meeting of the Japan Society for Software Science and Technology (\href{https://jssst2016.wordpress.com/}{JSSST 2016}), Miyagi-ken, Sendai-shi, 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/}{project page} \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 = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2015, Kanazawa University, Kakuma campus, 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/}{project page} \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 Workshop on Theorem proving and provers for reliable theory and implementations (TPP2014), Kyushu University, 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/}{project page}}
}
@inproceedings{affeldt2013ieice,
author = {Reynald Affeldt},
title = {Formalization of {Shannon}'s Theorems Using the {Coq} Proof-Assistant},
booktitle = {proceedings of the 2013 IEICE General Conference, The Institute of Electronics, Information and Communication Engineers, Fukuoka Institute of Technology, 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/}{project page} \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 Kyushu University Institute of Mathematics for Industry, Workshop of the Joint Research Projects: From Modern Coding Theory To Postmodern Coding Theory, Kyushu University, 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/}{project page}}
}
@inproceedings{affeldt2011ouyou,
author = {Reynald Affeldt},
title = {Toward a Library of Verified Arithmetic Functions},
booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2011, Doshisha University, 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/}{project page}}
}
@inproceedings{affeldt2011jssst,
author = {Reynald Affeldt and Kiyoshi Yamada},
title = {Formal Verification of {C} Programs for Implementations of Communication Protocols},
booktitle = {the proceedings of the 28th Meeting of the Japan Society for Software Science and Technology (\href{http://jssst11.kuis.kyoto-u.ac.jp/}{JSSST 2011}), Okinawa-ken, Naha-shi, 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/}{project page}}
}
@inproceedings{affeldt2009ouyou,
author = {Reynald Affeldt and David Nowak and Kiyoshi Yamada},
title = {Certifying Assembly with Formal Cryptographic Proofs: the Case of {BBS}},
booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2009 (\href{http://www.jsiam.org/modules/eguide01/event.php?eid=47}{JSIAM 2009}), Osaka University, 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}{slides} (in Japanese) \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}
@inproceedings{affeldt2008ouyou,
author = {Reynald Affeldt and Hubert Comon-Lundh},
title = {Towards Verification with no False Attack of Security Protocols in First-order Logic},
booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2008 (\href{http://www.jsiam.org/modules/eguide01/event.php?eid=39}{JSIAM 2008}), The University of Tokyo, Kashiwa campus, 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}{slides} \href{https://staff.aist.go.jp/reynald.affeldt/rigid/}{project page}}
}
@inproceedings{affeldt2008ouyoub,
author = {Reynald Affeldt and Yusuke Kawamoto},
title = {Report on {FCS-ARSPA-WITS}, {CSF}, {FCC}'08---About Automated Verification and Certification},
booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2008, The University of Tokyo, Kashiwa campus, September 17--19, 2008},
year = {2008},
editor = {},
volume = {},
number = {},
series = {},
pages = {187--188},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {}
}
@inproceedings{kawamoto2008ouyou,
author = {Yusuke Kawamoto and Reynald Affeldt},
title = {Report on {FCS-ARSPA-WITS}, {CSF}, {FCC}'08---About Formalization of Security Properties},
booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2008, The University of Tokyo, Kashiwa campus, September 17--19, 2008},
year = {2008},
editor = {},
volume = {},
number = {},
series = {},
pages = {185--186},
address = {},
month = {Sep},
organization = {},
publisher = {},
abstract = {(in Japanese)}
}
@inproceedings{affeldt2007ouyou,
author = {Reynald Affeldt and Miki Tanaka and Nicolas Marti},
title = {Formal Proof of Provable Security by Game-playing in a Proof Assistant},
booktitle = {Annual Workshop of the Japan Society for Industrial and Applied Mathematics 2017 (\href{http://www.jsiam.org/annualmeeting/2007/}{JSIAM 2007}), Hokkaido University, 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} (in Japanese)}
}
@inproceedings{affeldt2006jssst,
author = {Reynald Affeldt and Nicolas Marti},
title = {Formal Verification of Arithmetic Functions in {SmartMIPS} Assembly},
booktitle = {the proceedings of the 23rd Meeting of the Japan Society for Software Science and Technology, The University of Tokyo, Hongo campus, 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/}{project page}}
}
@inproceedings{marti2006jssst,
author = {Nicolas Marti and Reynald Affeldt and Akinori Yonezawa},
title = {Model-checking of a Multi-threaded Operating System},
booktitle = {the proceedings of the 23rd Meeting of the Japan Society for Software Science and Technology, The University of Tokyo, Hongo campus, 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/}{project page}}
}
@inproceedings{marti2005jssst,
author = {Nicolas Marti and Reynald Affeldt and Akinori Yonezawa},
title = {Towards Formal Verification of Memory Properties using Separation Logic},
booktitle = {the proceedings of the 22nd Meeting of the Japan Society for Software Science and Technology, Tohoko University, Aobayama campus, 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}{slides} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}
@inproceedings{affeldt2001jssst,
author = {Reynald Affeldt and Hidehiko Masuhara and Eijiro Sumii and Akinori Yonezawa},
title = {Supporting Objects in Run-time Bytecode Specialization},
booktitle = {the proceedings of the 18th Meeting of the Japan Society for Software Science and Technology (\href{http://www.ueda.info.waseda.ac.jp/jssst2001/}{JSSST 2011}), Future University Hakodate, 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.