Sledovať
Peter Schachte
Peter Schachte
School of Computing and Information Systems, University of Melbourne
Overená e-mailová adresa na: unimelb.edu.au - Domovská stránka
Názov
Citované v
Citované v
Rok
Two classes of Boolean functions for dependency analysis
T Armstrong, K Marriott, P Schachte, H Søndergaard
Science of Computer Programming 31 (1), 3-45, 1998
1281998
State joining and splitting for the symbolic execution of binaries
T Hansen, P Schachte, H Søndergaard
International Workshop on Runtime Verification, 76-92, 2009
962009
Boolean functions for dependency analysis: Algebraic properties and efficient representation
T Armstrong, K Marriott, P Schachte, H Søndergaard
Static Analysis: First International Static Analysis Symposium, SAS'94 Namur …, 1994
901994
The Mercury language reference manual
F Henderson, T Conway, Z Somogyi, D Jeffery, P Schachte, S Taylor, ...
URL: http://www. cs. mu. oz. au/research/mercury/information/doc/reference …, 1996
80*1996
A secure event agreement (SEA) protocol for peer-to-peer games
AB Corman, S Douglas, P Schachte, V Teague
First International Conference on Availability, Reliability and Security …, 2006
532006
A Secure Group Agreement (SGA) protocol for peer-to-peer applications
AB Corman, P Schachte, V Teague
21st International Conference on Advanced Information Networking and …, 2007
462007
An abstract domain of uninterpreted functions
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
442016
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
R Bagnara, P Schachte
International Conference on Algebraic Methodology and Software Technology …, 1999
421999
Combining string abstract domains for JavaScript analysis: An evaluation
R Amadini, A Jordan, G Gange, F Gauthier, P Schachte, H Søndergaard, ...
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
412017
Signedness-agnostic program analysis: Precise integer bounds for low-level code
JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Asian Symposium on Programming Languages and Systems, 115-130, 2012
382012
Machine learning and constraint programming for relational-to-ontology schema mapping
D De Uña, N Rümmele, G Gange, P Schachte, PJ Stuckey
International Joint Conference on Artificial Intelligence 2018, 1277-1283, 2018
342018
Abstract interpretation over non-lattice abstract domains
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
342013
Horn clauses as an intermediate representation for program analysis and transformation
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Theory and Practice of Logic Programming 15 (4-5), 526-542, 2015
312015
Unbounded model-checking with interpolation for regular language constraints
G Gange, JA Navas, PJ Stuckey, H Søndergaard, P Schachte
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
312013
Interval analysis and machine arithmetic: Why signedness ignorance is bliss
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (1), 1-35, 2015
292015
Exploiting sparsity in difference-bound matrices
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016
282016
An iterative approach to precondition inference using constrained Horn clauses
B Kafle, JP Gallagher, G Gange, P Schachte, H Søndergaard, PJ Stuckey
Theory and Practice of Logic Programming 18 (3-4), 553-570, 2018
232018
Failure tabled constraint logic programming by interpolation
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
Theory and Practice of Logic Programming 13 (4-5), 593-607, 2013
232013
Compiling CP subproblems to MDDs and d-DNNFs
D De Uña, G Gange, P Schachte, PJ Stuckey
Constraints 24 (1), 56-93, 2019
202019
Constraint programming for dynamic symbolic execution of JavaScript
R Amadini, M Andrlon, G Gange, P Schachte, H Søndergaard, PJ Stuckey
Integration of Constraint Programming, Artificial Intelligence, and …, 2019
192019
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20