Published in: OASIcs, Volume 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024)
Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William DeMeo, and Ulf Norell. Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. In 5th International Workshop on Formal Methods for Blockchains (FMBC 2024). Open Access Series in Informatics (OASIcs), Volume 118, pp. 2:1-2:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{knispel_et_al:OASIcs.FMBC.2024.2, author = {Knispel, Andre and Melkonian, Orestis and Chapman, James and Hill, Alasdair and J\"{a}\"{a}ger, Joosep and DeMeo, William and Norell, Ulf}, title = {{Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda}}, booktitle = {5th International Workshop on Formal Methods for Blockchains (FMBC 2024)}, pages = {2:1--2:18}, 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.2}, URN = {urn:nbn:de:0030-drops-198673}, doi = {10.4230/OASIcs.FMBC.2024.2}, annote = {Keywords: blockchain, distributed ledgers, UTxO, Cardano, formal verification, Agda} }
Published in: OASIcs, Volume 6, 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07) (2007)
Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, and Robert Pointon. Automatic Amortised Worst-Case Execution Time Analysis. In 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07). Open Access Series in Informatics (OASIcs), Volume 6, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{herrmann_et_al:OASIcs.WCET.2007.1186, author = {Herrmann, Christoph A. and Bonenfant, Armelle and Hammond, Kevin and Jost, Steffen and Loidl, Hans-Wolfgang and Pointon, Robert}, title = {{Automatic Amortised Worst-Case Execution Time Analysis}}, booktitle = {7th International Workshop on Worst-Case Execution Time Analysis (WCET'07)}, pages = {1--6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-05-7}, ISSN = {2190-6807}, year = {2007}, volume = {6}, editor = {Rochange, Christine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1186}, URN = {urn:nbn:de:0030-drops-11868}, doi = {10.4230/OASIcs.WCET.2007.1186}, annote = {Keywords: Amortisation, functional programming, performance measurement, static analysis, type and effect systems, worst-case execution time} }
Published in: OASIcs, Volume 4, 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06) (2006)
Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofman, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, and Andy Wallace. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. In 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06). Open Access Series in Informatics (OASIcs), Volume 4, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{hammond_et_al:OASIcs.WCET.2006.677, author = {Hammond, Kevin and Ferdinand, Christian and Heckmann, Reinhold and Dyckhoff, Roy and Hofman, Martin and Jost, Steffen and Loidl, Hans-Wolfgang and Michaelson, Greg and Pointon, Robert and Scaife, Norman and S\'{e}rot, Jocelyn and Wallace, Andy}, title = {{Towards Formally Verifiable WCET Analysis for a Functional Programming Language}}, booktitle = {6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)}, pages = {1--6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-03-3}, ISSN = {2190-6807}, year = {2006}, volume = {4}, editor = {Mueller, Frank}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2006.677}, URN = {urn:nbn:de:0030-drops-6773}, doi = {10.4230/OASIcs.WCET.2006.677}, annote = {Keywords: Worst-case execution time, functional programming, Hume, cost model, asynchronous, finite state machine} }
Feedback for Dagstuhl Publishing