Pablo Lamela Seijas

13 papers C 1Journal 2Unranked 9

Year	Rank	Type	Title / 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

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski