Pablo Lamela Seijas

13 papers C 1Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2021 — conf
Standardized Crypto-Loans on the Cardano Blockchain.
Financial Cryptography Workshops
Dmytro Kondratiuk, Pablo Lamela Seijas, Alexander Nemish, Simon J. Thompson
2020 — conf
Efficient Static Analysis of Marlowe Contracts.
ISoLA (3)
Pablo Lamela Seijas, David Smith, Simon J. Thompson
2020 — conf
Marlowe: Implementing and Analysing Financial Contracts on Blockchain.
Financial Cryptography Workshops
Pablo Lamela Seijas, Alexander Nemish, David Smith, Simon J. Thompson
2018 — conf
Marlowe: Financial Contracts on Blockchain.
ISoLA (4)
Pablo Lamela Seijas, Simon J. Thompson
2018 J jnl
Model extraction and test generation from JUnit test suites.
Softw. Qual. J.
Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco
2017 — —
Model construction, evolution, and use in testing of software systems.
Pablo Lamela Seijas
2016 — conf
Identifying and introducing interfaces and callbacks using Wrangler.
IFL
Pablo Lamela Seijas, Simon J. Thompson
2016 — conf
Model extraction and test generation from JUnit test suites.
AST@ICSE
Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco
2016 J jnl
Scripting smart contracts for distributed ledger technology.
IACR Cryptol. ePrint Arch.
Pablo Lamela Seijas, Simon J. Thompson, Darryl McAdams
2014 C conf
Automating property-based testing of evolving web services.
PEPM
Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco
2014 — conf
Synapse: automatic behaviour inference and implementation comparison for Erlang.
Erlang Workshop
Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick
2013 — conf
Towards property-based testing of RESTful web services.
Erlang Workshop
Pablo Lamela Seijas, Huiqing Li, Simon J. Thompson
2011 — conf
Extracting QuickCheck specifications from EUnit test cases.
Erlang Workshop
Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson