![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Nicholas Smallbone
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c28]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: 214-232 - [i3]Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen:
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. CoRR abs/2404.16062 (2024) - 2023
- [c27]Robert Krook
, Nicholas Smallbone
, Bo Joel Svensson
, Koen Claessen
:
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. IFL 2023: 9:1-9:12 - [c26]Moa Johansson, Nicholas Smallbone:
Exploring Mathematical Conjecturing with Large Language Models. NeSy 2023: 62-77 - 2022
- [j4]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): 2393-2406 (2022) - 2021
- [c25]Nicholas Smallbone
:
Twee: An Equational Theorem Prover. CADE 2021: 602-613 - [c24]Moa Johansson, Nicholas Smallbone:
Conjectures, Tests and Proofs: An Overview of Theory Exploration. VPT@ETAPS 2021: 1-16 - 2020
- [j3]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): 5247-5260 (2020) - [c23]Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson:
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. IFL 2020: 67-78
2010 – 2019
- 2019
- [c22]David Thönnessen, Nick Smallbone, Martin Fabian
, Koen Claessen, Stefan Kowalewski:
Testing Safety PLCs Using QuickCheck. CASE 2019: 1-6 - [c21]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: 34-46 - [c20]Zahra Ramezani, Nicholas Smallbone, Martin Fabian
, Knut Åkesson:
Evaluating Two Semantics for Falsification using an Autonomous Driving Example. INDIN 2019: 386-391 - [c19]Ann Lillieström, Koen Claessen, Nicholas Smallbone:
Inferring morphological rules from small examples using 0/1 linear programming. NODALIDA 2019: 164-174 - [i2]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 abs/1910.08306 (2019) - 2018
- [c18]Koen Claessen, Nicholas Smallbone:
Efficient Encodings of First-Order Horn Formulas in Equational Logic. IJCAR 2018: 388-404 - [c17]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: 8-9 - [c16]Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang
:
Understanding formal specifications through good examples. Erlang Workshop 2018: 13-24 - 2017
- [j2]Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed:
Quick specifications for the busy programmer. J. Funct. Program. 27: e18 (2017) - [c15]Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone:
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). Haskell 2017: 38-39 - 2016
- [j1]Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone:
Encoding Monomorphic and Polymorphic Types. Log. Methods Comput. Sci. 12(4) (2016) - [c14]John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts:
Find more bugs with QuickCheck! AST@ICSE 2016: 71-77 - 2015
- [c13]Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang
:
Linking unit tests and properties. Erlang Workshop 2015: 19-26 - [c12]Dan Rosén, Nicholas Smallbone:
TIP: Tools for Inductive Provers. LPAR 2015: 219-232 - [c11]Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone:
TIP: Tons of Inductive Problems. CICM 2015: 333-337 - 2014
- [c10]Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes:
An Expressive Semantics of Mocking. FASE 2014: 385-399 - [c9]Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen:
Hipster: Integrating Theory Exploration in a Proof Assistant. CICM 2014: 108-122 - [i1]Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen:
Hipster: Integrating Theory Exploration in a Proof Assistant. CoRR abs/1405.3426 (2014) - 2013
- [b1]Nicholas Smallbone:
Lightweight verification of functional programs. Chalmers University of Technology, Gothenburg, Sweden, 2013 - [c8]Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone:
Automating Inductive Proofs Using Theory Exploration. CADE 2013: 392-406 - [c7]Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone:
Encoding Monomorphic and Polymorphic Types. TACAS 2013: 493-507 - 2012
- [c6]Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone:
HipSpec: Automating Inductive Proofs of Program Properties. ATx/WInG@IJCAR 2012: 16-25 - 2011
- [c5]Koen Claessen, Ann Lillieström
, Nicholas Smallbone:
Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. CADE 2011: 207-221 - [c4]Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson:
Accelerating race condition detection through procrastination. Erlang Workshop 2011: 14-22 - 2010
- [c3]Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson:
Ranking programs using black box testing. AST 2010: 103-110 - [c2]Koen Claessen, Nicholas Smallbone, John Hughes:
QuickSpec: Guessing Formal Specifications Using Testing. TAP@TOOLS 2010: 6-21
2000 – 2009
- 2009
- [c1]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: 149-160
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint