Scripting smart contracts for distributed ledger technology P Lamela Seijas, S Thompson, D McAdams | 108* | 2016 |
Marlowe: Financial Contracts on Blockchain P Lamela Seijas, S Thompson International Symposium on Leveraging Applications of Formal Methods, 356-375, 2018 | 50 | 2018 |
Marlowe: implementing and analysing financial contracts on blockchain P Lamela Seijas, A Nemish, D Smith, S Thompson | 30 | 2020 |
Towards Property-Based Testing of RESTful Web Services P Lamela Seijas, H Li, S Thompson Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, 77-78, 2013 | 26 | 2013 |
Extracting QuickCheck specifications from EUnit test cases T Arts, P Lamela Seijas, S Thompson Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 62-71, 2011 | 14 | 2011 |
Automating Property-based Testing of Evolving Web Services H Li, S Thompson, P Lamela Seijas, MÁ Francisco Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and …, 2014 | 12 | 2014 |
Model extraction and test generation from JUnit test suites P Lamela Seijas, S Thompson, MÁ Francisco Proceedings of the 11th International Workshop on Automation of Software …, 2016 | 8 | 2016 |
Making Property-Based Testing Easier to Read for Humans LM Castro, P Lamela Seijas, S Thompson Computing & Informatics 35 (4), 2016 | 5 | 2016 |
Scripting smart contracts for distributed ledger technology S Thompson, P Lamela Seijas, D McAdams Cryptology ePrint Archive, 2016 | 4 | 2016 |
Synapse: automatic behaviour inference and implementation comparison for Erlang P Lamela Seijas, S Thompson, R Taylor, K Bogdanov, J Derrick Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 73-74, 2014 | 3 | 2014 |
Efficient Static Analysis of Marlowe Contracts P Lamela Seijas, D Smith, S Thompson International Symposium on Leveraging Applications of Formal Methods, 161-177, 2020 | 2 | 2020 |
Model construction, evolution, and use in testing of software systems P Lamela Seijas University of Kent, 2017 | 1* | 2017 |
Identifying and introducing interfaces and callbacks using Wrangler P Lamela Seijas, S Thompson Proceedings of the 28th Symposium on the Implementation and Application of …, 2016 | 1* | 2016 |
D3.3 Report on tools and techniques to model, in an uniform way, the differences between different versions of a system, which are parametrised or configured in different ways. R Taylor, P Lamela Seijas, J Derrick, S Adams, S Thompson | | 2015 |
D2.3 Property extraction P Lamela Seijas, S Thompson, MÁ Francisco | | 2014 |
D2.5 Properties in semi-natural language LM Castro, P Lamela Seijas | | 2014 |
D3.2 Report on techniques for modelling the differences between successive implementations of a system, and prototype implementation of the work. R Taylor, J Derrick, P Lamela Seijas, S Thompson | | 2014 |
D3.4 Prototype for Property Evolution H Li, S Thompson, P Lamela Seijas, MÁ Francisco | | 2013 |
Visualizing-EUnit-tests T Arts, S Thompson, P Lamela Seijas | | 2011 |
Improving FSM reverse engineering for test development in Erlang P Lamela Seijas Chalmers University of Technology, 2011 | | 2011 |