Giles - PDFSEARCH.IO - Document Search Engine

Giles
Results: 1038

#	Item
1	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-09-19 11:02:58 I1 Garbage collection
2	What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-13 07:25:09 Debugging Logic in computer science Runtime verification Software optimization Computing Instrumentation Tracing Information technology management Management
3	A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:31 Logic Symbol Substitution Mathematical logic Finite automata
4	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:10 Software engineering Computing Programming language theory Procedural programming languages Programming languages Logic in computer science Runtime verification Cross-platform software Program slicing Model checking L-system Trace
5	The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles Reger Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:08:44 Software engineering Mathematical logic Theoretical computer science Formal methods Logic in computer science Model theory Computability theory Procedural programming languages First-order logic Automated theorem proving ALGOL 68 Let expression
6	Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Theoretical computer science Logic in computer science Automated theorem proving Formal methods Constraint programming Logic programming Resolution Unification Satisfiability modulo theories Andrei Voronkov
7	Cooperating Proof Attempts Giles Reger, Dmitry Tishkovsky, and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. This paper introduces a pseudo-concurrent architecture for first-order saturation-based Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:09 Formal methods Theoretical computer science Complexity classes Automated theorem proving Vampire NP IP Mathematics Constraint programming Proof compression
8	AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-06 05:17:59 Theoretical computer science Logic Mathematical logic Logic in computer science Artificial intelligence Automated reasoning Automated theorem proving Predicate logic Quantifier Andrei Voronkov Z3 Alt-Ergo
9	Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK ISoLa 2016 – Corfu, October 13, 2016 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-13 07:25:34 Program analysis Typestate analysis
10	Selecting the Selection? Kryˇstof Hoder, Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,3 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:49:24 Logic Automated theorem proving Propositional calculus Mathematical logic Logic programming Mathematics Rules of inference Resolution Clause Literal Unit propagation E theorem prover