dominproceedings_nonref_en.bib

@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.