Nicholas Smallbone

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 20

Top Venues

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. CoRR (2024)
Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda
Lemma Discovery and Strategies for Automated Induction. IJCAR (1) (2024)
Moa Johansson, Nicholas Smallbone
Exploring Mathematical Conjecturing with Large Language Models. NeSy (2023)
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. IFL (2023)
Zahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson
Testing Cyber-Physical Systems Using a Line-Search Falsification Method. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (8) (2022)
Nicholas Smallbone
Twee: An Equational Theorem Prover. CADE (2021)
Moa Johansson, Nicholas Smallbone
Conjectures, Tests and Proofs: An Overview of Theory Exploration. VPT@ETAPS (2021)
Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. IFL (2020)
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. FHPNC@ICFP (2019)
Ann Lillieström, Koen Claessen, Nicholas Smallbone
Inferring morphological rules from small examples using 0/1 linear programming. NODALIDA (2019)
Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson
Evaluating Two Semantics for Falsification using an Autonomous Driving Example. INDIN (2019)
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans. CoRR (2019)
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang
Understanding formal specifications through good examples. Erlang Workshop (2018)
Koen Claessen, Nicholas Smallbone
Efficient Encodings of First-Order Horn Formulas in Equational Logic. IJCAR (2018)
Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi
Applying Valued Booleans in Testing of Cyber-Physical Systems. MT@CPSWeek (2018)
Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed
Quick specifications for the busy programmer. J. Funct. Program. 27 (2017)
Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). Haskell (2017)
John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
Find more bugs with QuickCheck! AST@ICSE (2016)
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone
Encoding Monomorphic and Polymorphic Types. Log. Methods Comput. Sci. 12 (4) (2016)
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
TIP: Tons of Inductive Problems. CICM (2015)
Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang
Linking unit tests and properties. Erlang Workshop (2015)
Dan Rosén, Nicholas Smallbone
TIP: Tools for Inductive Provers. LPAR (2015)
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Hipster: Integrating Theory Exploration in a Proof Assistant. CICM (2014)
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Hipster: Integrating Theory Exploration in a Proof Assistant. CoRR (2014)
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
An Expressive Semantics of Mocking. FASE (2014)
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
Automating Inductive Proofs Using Theory Exploration. CADE (2013)
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone
Encoding Monomorphic and Polymorphic Types. TACAS (2013)
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
HipSpec: Automating Inductive Proofs of Program Properties. ATx/WInG@IJCAR (2012)
Koen Claessen, Ann Lillieström, Nicholas Smallbone
Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. CADE (2011)
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Accelerating race condition detection through procrastination. Erlang Workshop (2011)
Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson
Ranking programs using black box testing. AST (2010)
Koen Claessen, Nicholas Smallbone, John Hughes
QuickSpec: Guessing Formal Specifications Using Testing. TAP@TOOLS (2010)
Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger
Finding race conditions in Erlang with QuickCheck and PULSE. ICFP (2009)

Nicholas Smallbone.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicholas Smallbone