Harald Søndergaard

Available identifiers

zbMath Open sondergaard.haraldMaRDI QIDQ264990

List of research outcomes

Publication	Date of Publication	Type
Transformation-Enabled Precondition Inference	2023-12-12	Paper
String abstract domains and their combination	2023-05-08	Paper
Algorithm selection for dynamic symbolic execution: a preliminary study	2022-03-23	Paper
Constraint programming for dynamic symbolic execution of JavaScript	2019-10-14	Paper
Wombit: a portfolio bit-vector solver using word-level propagation	2019-09-02	Paper
An iterative approach to precondition inference using constrained Horn clauses	2018-12-04	Paper
Exploiting sparsity in difference-bound matrices	2018-08-27	Paper
Reference Abstract Domains and Applications to String Analysis	2018-05-03	Paper
A Benders decomposition approach to deciding modular linear integer arithmetic	2017-11-15	Paper
Horn clauses as an intermediate representation for program analysis and transformation	2017-11-09	Paper
A Bit-Vector Solver with Word-Level Propagation	2016-06-27	Paper
A complete refinement procedure for regular separability of context-free languages	2016-04-01	Paper
An Abstract Domain of Uninterpreted Functions	2016-03-23	Paper
Exception analysis for non-strict languages	2015-10-07	Paper
Analyzing Array Manipulating Programs by Program Transformation	2015-10-02	Paper
Truth versus information in logic programming	2014-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q5414587	2014-05-06	Paper
Failure tabled constraint logic programming by interpolation	2014-02-27	Paper
Unbounded Model-Checking with Interpolation for Regular Language Constraints	2013-08-05	Paper
Solving Difference Constraints over Modular Arithmetic	2013-06-14	Paper
Information loss in knowledge compilation: a comparison of Boolean envelopes	2010-09-02	Paper
Automatic Abstraction for Congruences	2010-01-14	Paper
Inferring Congruence Equations Using SAT	2008-07-15	Paper
UN-KLEENE BOOLEAN EQUATION SOLVING	2007-04-25	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4736509	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4414727	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4529772	2002-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4495071	2001-05-06	Paper
Two classes of Boolean functions for dependency analysis	2000-01-04	Paper
Differential methods in logic program analysis	1998-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4217938	1998-11-11	Paper
Difference-list transformation for Prolog	1993-09-30	Paper
Bottom-up dataflow analysis of normal logic programs	1992-09-27	Paper
Referential transparency, definiteness and unfoldability	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787457	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3742761	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Harald Søndergaard