search result

Cover von Synthesis for regular specifications over unbounded domains
article pp. 101-109 : FMCAD 2010, Formal Methods in Computer-Aided Design 2010
Author: Hamza, Jad; Jobstmann, Barbara; Kunčak, Viktor Search for this author
Year: 2010
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Year: 2017
Media group: LIPIcs
Cover von Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk)

Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk)

Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0