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

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

• Numerical software
• Model checking
• Neuropsychology
• Solver
• Problem solving

Unsupervised Event Clustering and Aggregation from Newswire and Web Articles Swen Ribeiro LIMSI, CNRS Univ. Paris-Sud Universit´e Paris-Saclay

Source URL: www.aclweb.org

The “known unknown" of Big Data in IoT: How big will your data grow and by when? Swen Conrad, CEO Ocean9 Cloud Expo, New York, June 2017 IoT for Digital Transformation

Source URL: res.cdn.sys-con.com

Incremental Instance Generation in Local Reasoning Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E1.4, Saarbr¨ ucken, Germany

Source URL: www.swenjacobs.com

Parameterized Synthesis⋆ Swen Jacobs1 and Roderick Bloem2 1 ´ Ecole

Source URL: www.swenjacobs.com

Comparing Instance Generation Methods for Automated Reasoning ∗ Swen Jacobs () and Uwe Waldmann () Max-Planck-Institut f¨ ur Informatik, Saarbr¨

Source URL: www.swenjacobs.com

Hierarchic Decision Procedures for Verification Swen Jacobs Dissertation zur Erlangung des Grades des

Source URL: www.swenjacobs.com

Lazy Synthesis⋆ Bernd Finkbeiner1 and Swen Jacobs2 1 2

Source URL: www.swenjacobs.com

Reductions for Synthesis Procedures? Swen Jacobs1 , Viktor Kuncak2 , and Philippe Suter2 1 2

Source URL: www.swenjacobs.com

Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ?

Source URL: www.swenjacobs.com