Published in: OASIcs, Volume 105, 4th International Workshop on Formal Methods for Blockchains (FMBC 2022)
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, and Bas Spitters. Finding Smart Contract Vulnerabilities with ConCert’s Property-Based Testing Framework. In 4th International Workshop on Formal Methods for Blockchains (FMBC 2022). Open Access Series in Informatics (OASIcs), Volume 105, pp. 2:1-2:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{milo_et_al:OASIcs.FMBC.2022.2, author = {Milo, Mikkel and Nielsen, Eske Hoy and Annenkov, Danil and Spitters, Bas}, title = {{Finding Smart Contract Vulnerabilities with ConCert’s Property-Based Testing Framework}}, booktitle = {4th International Workshop on Formal Methods for Blockchains (FMBC 2022)}, pages = {2:1--2:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-250-1}, ISSN = {2190-6807}, year = {2022}, volume = {105}, editor = {Dargaye, Zaynah and Schneidewind, Clara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2022.2}, URN = {urn:nbn:de:0030-drops-171834}, doi = {10.4230/OASIcs.FMBC.2022.2}, annote = {Keywords: Smart Contracts, Formal Verification, Property-Based Testing, Coq} }
Published in: LIPIcs, Volume 39, 20th International Conference on Types for Proofs and Programs (TYPES 2014)
Raphaël Cauderlier and Catherine Dubois. Objects and Subtyping in the Lambda-Pi-Calculus Modulo. In 20th International Conference on Types for Proofs and Programs (TYPES 2014). Leibniz International Proceedings in Informatics (LIPIcs), Volume 39, pp. 47-71, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{cauderlier_et_al:LIPIcs.TYPES.2014.47, author = {Cauderlier, Rapha\"{e}l and Dubois, Catherine}, title = {{Objects and Subtyping in the Lambda-Pi-Calculus Modulo}}, booktitle = {20th International Conference on Types for Proofs and Programs (TYPES 2014)}, pages = {47--71}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-88-0}, ISSN = {1868-8969}, year = {2015}, volume = {39}, editor = {Herbelin, Hugo and Letouzey, Pierre and Sozeau, Matthieu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2014.47}, URN = {urn:nbn:de:0030-drops-54919}, doi = {10.4230/LIPIcs.TYPES.2014.47}, annote = {Keywords: object, calculus, encoding, dependent type, rewrite system} }
Published in: LIPIcs, Volume 13, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011)
H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, and Barbara König. Conditional Reactive Systems. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Leibniz International Proceedings in Informatics (LIPIcs), Volume 13, pp. 191-203, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{bruggink_et_al:LIPIcs.FSTTCS.2011.191, author = {Bruggink, H. J. Sander and Cauderlier, Rapha\"{e}l and H\"{u}lsbusch, Mathias and K\"{o}nig, Barbara}, title = {{Conditional Reactive Systems}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011)}, pages = {191--203}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-34-7}, ISSN = {1868-8969}, year = {2011}, volume = {13}, editor = {Chakraborty, Supratik and Kumar, Amit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2011.191}, URN = {urn:nbn:de:0030-drops-33257}, doi = {10.4230/LIPIcs.FSTTCS.2011.191}, annote = {Keywords: reactive systems, graph transformation, graph logic, Hoare triples, critical pair analysis} }
Feedback for Dagstuhl Publishing