Pablo Lamela Seijas

According to our database, Pablo Lamela Seijas authored at least 12 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Standardized Crypto-Loans on the Cardano Blockchain.

Dmytro Kondratiuk, Pablo Lamela Seijas, Alexander Nemish, Simon J. Thompson

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2020

Efficient Static Analysis of Marlowe Contracts.

Pablo Lamela Seijas, David Smith, Simon J. Thompson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Marlowe: Implementing and Analysing Financial Contracts on Blockchain.

Pablo Lamela Seijas, Alexander Nemish, David Smith, Simon J. Thompson

Proceedings of the Financial Cryptography and Data Security, 2020

2018

Model extraction and test generation from JUnit test suites.

Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco

Softw. Qual. J., 2018

Marlowe: Financial Contracts on Blockchain.

Pablo Lamela Seijas, Simon J. Thompson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Model construction, evolution, and use in testing of software systems.

Pablo Lamela Seijas

PhD thesis, 2017

2016

Scripting smart contracts for distributed ledger technology.

Pablo Lamela Seijas, Simon J. Thompson, Darryl McAdams

IACR Cryptol. ePrint Arch., 2016

Identifying and introducing interfaces and callbacks using Wrangler.

Pablo Lamela Seijas, Simon J. Thompson

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2014

Automating property-based testing of evolving web services.

Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Synapse: automatic behaviour inference and implementation comparison for Erlang.

Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Towards property-based testing of RESTful web services.

Pablo Lamela Seijas, Huiqing Li, Simon J. Thompson

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

2011

Extracting QuickCheck specifications from EUnit test cases.

Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011