Pablo Lamela Seijas

ORCID

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 8

Top Venues

Financial Cryptography Workshops

Erlang Workshop

AST@ICSE

PEPM

University of Kent, Canterbury, UK (PHD)

Education History

University of Kent, Canterbury, UK

PHD

Publications

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

Pablo Lamela Seijas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pablo Lamela Seijas