Nicholas Smallbone
Researcher at
Functional Programming
Showing 30 publications
2020
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone et al
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Journal article
2019
Testing Safety PLCs Using QuickCheck
David Thonnessen, Nicholas Smallbone, Martin Fabian et al
IEEE International Conference on Automation Science and Engineering. Vol. 2019-August, p. 1-6
Paper in proceedings
2019
Inferring Morphological Rules from Small Examples using 0/1 Linear Programming
Ann Lillieström, Koen Claessen, Nicholas Smallbone
22nd Nordic Conference on Computational Linguistics (NoDaLiDa), p. 164-174
Paper in proceedings
2019
Evaluating Two Semantics for Falsiļ¬cation using an Autonomous Driving Example
Zahra Ramezani, Nicholas Smallbone, Martin Fabian et al
2019 IEEE 17th International Conference on Industrial Informatics (INDIN), p. 386-391
Paper in proceedings
2019
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage
Markus Aronsson, Nicholas Smallbone, Mary Sheeran et al
FHPNC 2019 Proceedings of the 8th ACM SIGPLAN International Workshop on Functional , p. 34-46
Paper in proceedings
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
Applying valued booleans in testing of cyber-physical systems
Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018, p. 8-9
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, John Hughes, Nicholas Smallbone et al
Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 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 (system demonstration)
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
Journal article
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
Download publicaton list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
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.