Published in: OASIcs, Volume 129, 6th International Workshop on Formal Methods for Blockchains (FMBC 2025)
6th International Workshop on Formal Methods for Blockchains (FMBC 2025). Open Access Series in Informatics (OASIcs), Volume 129, pp. 1-222, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@Proceedings{marmsoler_et_al:OASIcs.FMBC.2025, title = {{OASIcs, Volume 129, FMBC 2025, Complete Volume}}, booktitle = {6th International Workshop on Formal Methods for Blockchains (FMBC 2025)}, pages = {1--222}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-371-3}, ISSN = {2190-6807}, year = {2025}, volume = {129}, editor = {Marmsoler, Diego and Xu, Meng}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2025}, URN = {urn:nbn:de:0030-drops-231256}, doi = {10.4230/OASIcs.FMBC.2025}, annote = {Keywords: OASIcs, Volume 129, FMBC 2025, Complete Volume} }
Published in: OASIcs, Volume 129, 6th International Workshop on Formal Methods for Blockchains (FMBC 2025)
6th International Workshop on Formal Methods for Blockchains (FMBC 2025). Open Access Series in Informatics (OASIcs), Volume 129, pp. 0:i-0:xvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{marmsoler_et_al:OASIcs.FMBC.2025.0, author = {Marmsoler, Diego and Xu, Meng}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {6th International Workshop on Formal Methods for Blockchains (FMBC 2025)}, pages = {0:i--0:xvi}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-371-3}, ISSN = {2190-6807}, year = {2025}, volume = {129}, editor = {Marmsoler, Diego and Xu, Meng}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2025.0}, URN = {urn:nbn:de:0030-drops-230831}, doi = {10.4230/OASIcs.FMBC.2025.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 129, 6th International Workshop on Formal Methods for Blockchains (FMBC 2025)
Asad Ahmed and Diego Marmsoler. Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper). In 6th International Workshop on Formal Methods for Blockchains (FMBC 2025). Open Access Series in Informatics (OASIcs), Volume 129, pp. 12:1-12:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ahmed_et_al:OASIcs.FMBC.2025.12, author = {Ahmed, Asad and Marmsoler, Diego}, title = {{Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts}}, booktitle = {6th International Workshop on Formal Methods for Blockchains (FMBC 2025)}, pages = {12:1--12:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-371-3}, ISSN = {2190-6807}, year = {2025}, volume = {129}, editor = {Marmsoler, Diego and Xu, Meng}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2025.12}, URN = {urn:nbn:de:0030-drops-230393}, doi = {10.4230/OASIcs.FMBC.2025.12}, annote = {Keywords: Program Verification, Smart Contracts, Isabelle, Solidity} }
Published in: OASIcs, Volume 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024)
5th International Workshop on Formal Methods for Blockchains (FMBC 2024). Open Access Series in Informatics (OASIcs), Volume 118, pp. 1-164, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Proceedings{bernardo_et_al:OASIcs.FMBC.2024, title = {{OASIcs, Volume 118, FMBC 2024, Complete Volume}}, booktitle = {5th International Workshop on Formal Methods for Blockchains (FMBC 2024)}, pages = {1--164}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-317-1}, ISSN = {2190-6807}, year = {2024}, volume = {118}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024}, URN = {urn:nbn:de:0030-drops-198642}, doi = {10.4230/OASIcs.FMBC.2024}, annote = {Keywords: OASIcs, Volume 118, FMBC 2024, Complete Volume} }
Published in: OASIcs, Volume 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024)
5th International Workshop on Formal Methods for Blockchains (FMBC 2024). Open Access Series in Informatics (OASIcs), Volume 118, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{bernardo_et_al:OASIcs.FMBC.2024.0, author = {Bernardo, Bruno and Marmsoler, Diego}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {5th International Workshop on Formal Methods for Blockchains (FMBC 2024)}, pages = {0:i--0:xii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-317-1}, ISSN = {2190-6807}, year = {2024}, volume = {118}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.0}, URN = {urn:nbn:de:0030-drops-198659}, doi = {10.4230/OASIcs.FMBC.2024.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024)
Elliot Jones and Diego Marmsoler. Towards Mechanised Consensus in Isabelle. In 5th International Workshop on Formal Methods for Blockchains (FMBC 2024). Open Access Series in Informatics (OASIcs), Volume 118, pp. 4:1-4:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{jones_et_al:OASIcs.FMBC.2024.4, author = {Jones, Elliot and Marmsoler, Diego}, title = {{Towards Mechanised Consensus in Isabelle}}, booktitle = {5th International Workshop on Formal Methods for Blockchains (FMBC 2024)}, pages = {4:1--4:22}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-317-1}, ISSN = {2190-6807}, year = {2024}, volume = {118}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.4}, URN = {urn:nbn:de:0030-drops-198692}, doi = {10.4230/OASIcs.FMBC.2024.4}, annote = {Keywords: Formal Methods, Blockchain, Isabelle/HOL, Consensus, Verification, Theorem Provers} }
Published in: OASIcs, Volume 95, 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)
3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). Open Access Series in Informatics (OASIcs), Volume 95, pp. 1-68, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@Proceedings{bernardo_et_al:OASIcs.FMBC.2021, title = {{OASIcs, Volume 95, FMBC 2021, Complete Volume}}, booktitle = {3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)}, pages = {1--68}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-209-9}, ISSN = {2190-6807}, year = {2021}, volume = {95}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2021}, URN = {urn:nbn:de:0030-drops-154239}, doi = {10.4230/OASIcs.FMBC.2021}, annote = {Keywords: OASIcs, Volume 95, FMBC 2021, Complete Volume} }
Published in: OASIcs, Volume 95, 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)
3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). Open Access Series in Informatics (OASIcs), Volume 95, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{bernardo_et_al:OASIcs.FMBC.2021.0, author = {Bernardo, Bruno and Marmsoler, Diego}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)}, pages = {0:i--0:xii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-209-9}, ISSN = {2190-6807}, year = {2021}, volume = {95}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2021.0}, URN = {urn:nbn:de:0030-drops-154246}, doi = {10.4230/OASIcs.FMBC.2021.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 84, 2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Open Access Series in Informatics (OASIcs), Volume 84, pp. 1-136, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Proceedings{bernardo_et_al:OASIcs.FMBC.2020, title = {{OASIcs, Volume 84, FMBC 2020, Complete Volume}}, booktitle = {2nd Workshop on Formal Methods for Blockchains (FMBC 2020)}, pages = {1--136}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-169-6}, ISSN = {2190-6807}, year = {2020}, volume = {84}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2020}, URN = {urn:nbn:de:0030-drops-134121}, doi = {10.4230/OASIcs.FMBC.2020}, annote = {Keywords: OASIcs, Volume 84, FMBC 2020, Complete Volume} }
Published in: OASIcs, Volume 84, 2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Open Access Series in Informatics (OASIcs), Volume 84, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{bernardo_et_al:OASIcs.FMBC.2020.0, author = {Bernardo, Bruno and Marmsoler, Diego}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {2nd Workshop on Formal Methods for Blockchains (FMBC 2020)}, pages = {0:i--0:xii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-169-6}, ISSN = {2190-6807}, year = {2020}, volume = {84}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2020.0}, URN = {urn:nbn:de:0030-drops-134137}, doi = {10.4230/OASIcs.FMBC.2020.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Feedback for Dagstuhl Publishing