Saarland

Results: 3122



#Item
1DryadSynth:	A	Concolic SyGuS Solver Xiaokang	Qiu (joint	work	with	Kangjing Huang	and	Yanjun Wang) Purdue	University SYNT	Workshop

DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
2The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz

The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
3SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration

SYNT Workshop - SyGuS Comp’17 SaturdayE3Solver: Decision Tree Unification by Enumeration

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
4Decoupled State Space Search – Dissertation Abstract Daniel Gnad Saarland University Saarbr¨ucken, Germany

Decoupled State Space Search – Dissertation Abstract Daniel Gnad Saarland University Saarbr¨ucken, Germany

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:27
5Synthesizing Universally-Quantified Inductive Invariants Sharon Shoham Tel Aviv University

Synthesizing Universally-Quantified Inductive Invariants Sharon Shoham Tel Aviv University

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
    6* CTL synthesis via LTL synthesis

    * CTL synthesis via LTL synthesis

    Add to Reading List

    Source URL: www.react.uni-saarland.de

    Language: English - Date: 2017-08-02 04:54:12
    7Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de

    Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de

    Add to Reading List

    Source URL: icaps16.icaps-conference.org

    Language: English - Date: 2016-06-09 08:09:42
    8SyGuS Techniques in the Core of an SMT Solver Andrew Reynolds SYNT Workshop July 22, 2017

    SyGuS Techniques in the Core of an SMT Solver Andrew Reynolds SYNT Workshop July 22, 2017

    Add to Reading List

    Source URL: www.react.uni-saarland.de

    Language: English - Date: 2017-08-02 04:54:12
    9Do Portfolio Solvers Harm? Christoph Weidenbach Max Planck Insitute for Informatics Saarland Informatics CampusSaarbr¨ ucken, Germany

    Do Portfolio Solvers Harm? Christoph Weidenbach Max Planck Insitute for Informatics Saarland Informatics CampusSaarbr¨ ucken, Germany

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2017-08-02 07:37:32
    10LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi

    LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi

    Add to Reading List

    Source URL: www.react.uni-saarland.de

    Language: English - Date: 2017-08-02 04:54:12