Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1

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

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Proof assistants
• Logic in computer science
• Automated theorem proving
• Isabelle
• Automated reasoning
• E theorem prover
• Formal verification
• KeY

SP 02: Modelling and measurements of land  use specific greenhouse gas emissions Researchers:     Florian Stange 1, Uwe Franko 2, Hermann Jungkunst 3 Objective The main objective is to achieve substant

Source URL: www.uni-goettingen.de

.. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. ......................... Zentrum Dresden Priv.-Doz. Dr. med. Uwe Platzbecker Universitätsklinikum Carl Gustav Carus der TU Dresden 1) uwe.platz

Source URL: www.mds-register.de

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnJust test what you cannot verify!1 Mike Czech2 Marie-Christine Jakobs3 Heike Wehrhe

Source URL: subs.emis.de

3D-Reconstruction of Basal Cell Carcinoma Patrick Scheibe1 , Ulf-Dietrich Braumann2 , Jens-Peer Kuskad, Markus L¨offler3 , Jan C. Simon4 , Uwe Paasch4 , and Tino Wetzig4 1 2

Source URL: halirutan.de

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, BonnModel-based Security Verification for Evolving Systems Jan Jürjens 1,2, Sven Wenzel

Source URL: subs.emis.de

Ni, W., Fang, J., Yao, Y., Moulinec, C. and Lu, LLargescale turbulent secondary flows induced by spanwise alternatively distributed strips control. In: UKTC Annual Workshop 2016, Cambridge, UK, 1-2 September 201

Source URL: eprints.uwe.ac.uk

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnLearning how to prevent return-oriented programming efficiently David Pfaff 1 Sebas

Source URL: subs.emis.de

Programming Heterogeneous Multicore Systems using Threading Building Blocks? George Russell1 , Paul Keir2 , Alastair F. Donaldson3 , Uwe Dolinsky1 , Andrew Richards1 and Colin Riley1 1

Source URL: www.codeplay.com

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, BonnKeynote: Continuous Software Engineering Wilhelm Hasselbring 1

Source URL: subs.emis.de