Nicholas Smallbone
Researcher at
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Showing 24 publications
2018
Efficient Encodings of First-Order Horn Formulas in Equational Logic
Koen Lindström Claessen, Nicholas Smallbone
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10900, p. 388-404
Paper in proceedings
2018
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
Koen Lindström Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
IFAC-PapersOnLine. Vol. 51 (7), p. 408-415
Paper in proceedings
2018
Understanding formal specifications through good examples
Alex Gerdes, Stefan Hanenberg, Sebastian Ivarsson et al
, p. 13-24
Paper in proceedings
2017
Quick Specifications for the Busy Programmer
Nicholas Smallbone, Moa Johansson, Koen Lindström Claessen et al
Journal of Functional Programming. Vol. 27
Journal article
2017
QuickSpec: A Lightweight Theory Exploration Tool for Programmers
Maximilian Algehed, Koen Lindström Claessen, Moa Johansson et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (10), p. 38-39
Paper in proceedings
2016
Find More Bugs with QuickCheck!
John Hughes, Ulf Norell, Nicholas Smallbone et al
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), p. 71-77
Paper in proceedings
2016
Encoding monomorphic and polymorphic types
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al
Logical Methods in Computer Science. Vol. 12 (4)
Journal article
2015
TIP: Tons of Inductive Problems
Koen Lindström Claessen, Moa Johansson, Dan Rosén et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9150, p. 332-336
Paper in proceedings
2015
Tip: Tools for inductive provers
Dan Rosén, Nicholas Smallbone
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9450, p. 219-232
Paper in proceedings
2015
Linking Unit Tests and Properties
Alex Gerdes, John Hughes, Nicholas Smallbone et al
Erlang Workshop, 2015-09-04, Vancouver, p. 19-26
Paper in proceedings
2014
An expressive semantics of mocking
Josef Svenningsson, Hans Svensson, Nicholas Smallbone et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8411, p. 385-399
Paper in proceedings
2014
Hipster: Integrating theory exploration in a proof assistant
Moa Johansson, Dan Rosén, Nicholas Smallbone et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8543, p. 108-122
Paper in proceedings
2014
Compiling Linear Logic using Continuations
Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
Preprint
2013
Automating Inductive Proofs using Theory Exploration
Koen Lindström Claessen, Dan Rosén, Moa Johansson et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7898, p. 392-406
Paper in proceedings
2013
Encoding Monomorphic and Polymorphic Types
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7795, p. 493-507
Paper in proceedings
2011
Accelerating race condition detection through procrastination
Thomas Arts, John Hughes, Ulf Norell et al
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 14-22
Paper in proceedings
2011
Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic
Koen Lindström Claessen, Ann Lillieström, Nicholas Smallbone
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 207-221
Paper in proceedings
2010
QuickSpec: Guessing Formal Specifications using Testing
Koen Lindström Claessen, Nicholas Smallbone, John Hughes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6143, p. 6-21
Paper in proceedings
2010
Ranking programs using black box testing
Koen Lindström Claessen, John Hughes, Michal Palka et al
Proceedings - International Conference on Software Engineering, p. 103-110
Paper in proceedings
2009
Finding Race Conditions in Erlang with Quick Check and PULSE
Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, p. 149-160
Paper in proceedings
2009
Finding Race Conditions in Erlang with QuickCheck and PULSE
Koen Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN international conference on Functional programming
Paper in proceedings
2009
Finding race conditions in erlang with quickcheck and PULSE
Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN Notices. Vol. 44 (9), p. 149-160
Journal article
Showing 1 research projects
2017–2022
Systematic testing of cyber-physical systems (SyTeC)
John Hughes
Functional Programming
Koen Lindström Claessen
Functional Programming
Martin Fabian
Automation
Mary Sheeran
Functional Programming
Bengt Lennartson
Automation
Nicholas Smallbone
Functional Programming
Zahra Ramezani
Automation
Knut Åkesson
Automation
Swedish Research Council (VR)
There might be more projects where Nicholas Smallbone participates, but you have to be logged in as a Chalmers employee to see them.