Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/ifipTCS/KufnerNR12,
  author       = {Philipp K{\"{u}}fner and
                  Uwe Nestmann and
                  Christina Rickmann},
  editor       = {Jos C. M. Baeten and
                  Thomas Ball and
                  Frank S. de Boer},
  title        = {Formal Verification of Distributed Algorithms - From Pseudo Code to
                  Checked Proofs},
  booktitle    = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International
                  Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7604},
  pages        = {209--224},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33475-7\_15},
  doi          = {10.1007/978-3-642-33475-7\_15},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/KufnerNR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sec/MondetAP11,
  author       = {Sebastien Mondet and
                  Ion Alberdi and
                  Thomas Plagemann},
  editor       = {Jan Camenisch and
                  Simone Fischer{-}H{\"{u}}bner and
                  Yuko Murayama and
                  Armand Portmann and
                  Carlos Rieder},
  title        = {Generating Optimised and Formally Checked Packet Parsing Code},
  booktitle    = {Future Challenges in Security and Privacy for Academia and Industry
                  - 26th {IFIP} {TC} 11 International Information Security Conference,
                  {SEC} 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {354},
  pages        = {173--184},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21424-0\_14},
  doi          = {10.1007/978-3-642-21424-0\_14},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sec/MondetAP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ahs/Liu10,
  author       = {Bao Liu},
  editor       = {Tughrul Arslan and
                  Didier Keymeulen and
                  David Merodio and
                  Khaled Benkrid and
                  Ahmet T. Erdogan and
                  Umeshkumar D. Patel},
  title        = {Error-detecting/correcting-code-based self-checked/corrected/timed
                  circuits},
  booktitle    = {2010 {NASA/ESA} Conference on Adaptive Hardware and Systems, {AHS}
                  2010, Anaheim, California, USA, June 15-18, 2010},
  pages        = {66--72},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/AHS.2010.5546217},
  doi          = {10.1109/AHS.2010.5546217},
  timestamp    = {Thu, 21 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ahs/Liu10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/IzerroukenPT09,
  author       = {Nassima Izerrouken and
                  Marc Pantel and
                  Xavier Thirioux},
  editor       = {Karin K. Breitman and
                  Ana Cavalcanti},
  title        = {Machine-Checked Sequencer for Critical Embedded Code Generator},
  booktitle    = {Formal Methods and Software Engineering, 11th International Conference
                  on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
                  December 9-12, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5885},
  pages        = {521--540},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10373-5\_27},
  doi          = {10.1007/978-3-642-10373-5\_27},
  timestamp    = {Mon, 21 Feb 2022 14:40:49 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/IzerroukenPT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}