Simon Cruanes

22 papers A 5B 1C 1Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
Extending a brainiac prover to lambda-free higher-order logic.
Int. J. Softw. Tools Technol. Transf.
Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz
2022 J jnl
Making Higher-Order Superposition Work.
J. Autom. Reason.
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
2021 A conf
Making Higher-Order Superposition Work.
CADE
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
2021 J jnl
Superposition for Lambda-Free Higher-Order Logic.
Log. Methods Comput. Sci.
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
2020 J jnl
Superposition for Lambda-Free Higher-Order Logic.
CoRR
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
2020 — conf
The Imandra Automated Reasoning System (System Description).
IJCAR (2)
Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
2020 J jnl
The Imandra Automated Reasoning System (system description).
CoRR
Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
2019 — conf
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic.
TACAS (1)
Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz
2019 A conf
Faster, Higher, Stronger: E 2.3.
CADE
Stephan Schulz, Simon Cruanes, Petar Vukmirovic
2018 C conf
An Automation-Friendly Set Theory for the B Method.
ABZ
Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard
2018 A conf
Superposition for Lambda-Free Higher-Order Logic.
IJCAR
Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann
2017 — conf
Language and Proofs for Higher-Order SMT (Work in Progress).
PxTP
Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine
2017 — conf
Making Automatic Theorem Provers more Versatile.
ARCADE@CADE
Simon Cruanes
2017 A conf
Satisfiability Modulo Bounded Checking.
CADE
Simon Cruanes
2017 — conf
Superposition with Structural Induction.
FroCoS
Simon Cruanes
2016 — conf
Extending Nunchaku to Dependent Type Theory.
HaTT@IJCAR
Simon Cruanes, Jasmin Christian Blanchette
2016 A conf
Model Finding for Recursive Functions in SMT.
IJCAR
Andrew Reynolds, Jasmin Christian Blanchette, Simon Cruanes, Cesare Tinelli
2015 — —
Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond. (Extensions de la Superposition pour l'Arithmétique Linéaire Entière, l'Induction Structurelle, et bien plus encore).
Simon Cruanes
2014 — conf
Logtk: A Logic ToolKit for Automated Reasoning and its Implementation.
PAAR@IJCAR
Simon Cruanes
2014 — conf
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).
Specification, Algebra, and Software
Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar
2013 — conf
Detection of First Order Axiomatic Theories.
FroCos
Guillaume Burel, Simon Cruanes
2013 B conf
Tool Integration with the Evidential Tool Bus.
VMCAI
Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar