E-LIB Suche - Ergebnisse für: Smallbone, Nicholas

1

Lemma Discovery and Strategies for Automated Induction:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Einarsdóttir, Sólrún Halla ; Hajdu, Márton ; Johansson, Moa.. - p. 214-232 , 2024

Link: https://doi.org/10.1007/..

2

QuickerCheck: Implementing and Evaluating a Parallel Run-Ti..:

, In: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages,

Krook, Robert ; Smallbone, Nicholas ; Svensson, Bo Joel. - p. 1-12 , 2023

Link: https://dl.acm.org/doi/1..

3

Testing Cyber–Physical Systems Using a Line-Search Falsific..:

Ramezani, Zahra ; Claessen, Koen ; Smallbone, Nicholas..
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41 (2022) 8 - p. 2393-2406 , 2022

Link: https://doi.org/10.1109/..

4

Twee: An Equational Theorem Prover:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,

Smallbone, Nicholas - p. 602-613 , 2021

Link: https://doi.org/10.1007/..

5

Template-based Theory Exploration: Discovering Properties o..:

, In: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages,

Einarsdóttir, Sólrún Halla ; Smallbone, Nicholas ; Johansson, Moa - p. 67-78 , 2020

Link: https://dl.acm.org/doi/1..

6

Evaluating Two Semantics for Falsification using an Autonom..:

, In: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN),

Ramezani, Zahra ; Smallbone, Nicholas ; Fabian, Martin. - p. 386-391 , 2019

Link: https://doi.org/10.1109/..

7

Safety at speed: in-place array algorithms from pure functi..:

, In: Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing,

Aronsson, Markus ; Claessen, Koen ; Sheeran, Mary. - p. 34-46 , 2019

Link: https://dl.acm.org/doi/1..

8

Understanding formal specifications through good examples:

, In: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang,

Gerdes, Alex ; Hughes, John ; Smallbone, Nicholas... - p. 13-24 , 2018

Link: https://dl.acm.org/doi/1..

9

Quick specifications for the busy programmer:

SMALLBONE, NICHOLAS ; JOHANSSON, MOA ; CLAESSEN, KOEN.
Journal of Functional Programming. 27 (2017) - p. , 2017

Link: https://doi.org/10.1017/..

10

Find more bugs with QuickCheck!:

, In: Proceedings of the 11th International Workshop on Automation of Software Test,

Hughes, John ; Norell, Ulf ; Smallbone, Nicholas. - p. 71-77 , 2016

Link: https://dl.acm.org/doi/1..

11

Accelerating race condition detection through procrastinati..:

, In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang,

Arts, Thomas ; Hughes, John ; Norell, Ulf.. - p. 14-22 , 2011

Link: https://dl.acm.org/doi/1..

12

Finding race conditions in Erlang with QuickCheck and PULSE:

, In: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming,

Claessen, Koen ; Palka, Michal ; Smallbone, Nicholas... - p. 149-160 , 2009

Link: https://dl.acm.org/doi/1..

13

Finding race conditions in Erlang with QuickCheck and PULSE:

Claessen, Koen ; Palka, Michal ; Smallbone, Nicholas...
ACM SIGPLAN Notices. 44 (2009) 9 - p. 149-160 , 2009

Link: https://doi.org/10.1145/..

14

Conjectures, Tests and Proofs: An Overview of Theory Explor..:

Johansson, Moa ; Smallbone, Nicholas
http://arxiv.org/abs/2109.03721. , 2021

Link: http://arxiv.org/abs/210..

15

Inferring morphological rules from small examples using 0/1..:

Lillieström, Ann ; Claessen, Koen ; Smallbone, Nicholas
Proceedings of the 22nd Nordic Conference on Computational Linguistics. , 2019

Link: https://hdl.handle.net/1..