JDart: A Dynamic Symbolic Analysis Framework? Kasper Luckow1 , Marko Dimjašević2 , Dimitra Giannakopoulou3 , Falk Howar4 , Malte Isberner5 , Temesghen Kahsai1,3 , Zvonimir Rakamarić2 , and Vishwanath Raman6 1

Source URL: www.falkhowar.de

• Theoretical computer science
• Software testing
• Software engineering
• Computing
• Constraint programming
• Automated theorem proving
• Concolic testing
• Symbolic execution
• Satisfiability modulo theories
• Java Pathfinder
• Solver
• KeY

Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE

Source URL: www.falkhowar.de

• Transport
• Land transport
• Automation
• Emerging technologies
• Road transport
• Modeling and simulation
• Advanced driver assistance systems
• Simulation
• Advanced driver-assistance systems
• Self-driving car
• Traffic
• Automated driving system

Arbeitskreis Quantitative Steuerlehre Quantitative Research in Taxation – Discussion Papers Malte Chirvi Arbeiten Frauen aufgrund des Ehegattensplittings

Source URL: www.arqus.info

Glance: Rapidly Coding Behavioral Video with the Crowd Walter S. Lasecki Computer Science Department University of Rochester Malte F. Jung

Source URL: web.eecs.umich.edu

Strengthening Canonical Pattern Databases with Structural Symmetries Silvan Sievers and Martin Wehrle and Malte Helmert University of Basel, Switzerland {silvan.sievers,martin.wehrle,malte.helmert}@unibas.ch Michael Kat

Source URL: icaps17.icaps-conference.org

Daten Das Öl des 21. Jahrhunderts? Nachhaltigkeit im digitalen Zeitalter Buchvorstellung und Gespräch mit Malte Spitz Do | | 19:30 Uhr

Source URL: www.mmautor.net

Dening Features for CSP: Re e tions on the Feature Intera tion Contest Malte Plath1 and Mark Dermot Ryan1 S hool of Computer S ien e, University of Birmingham, Edgbaston, Birmingham B15 2TT, England. m p,mdr s.bham.a .

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

Für Sven Malte Sopha ist Informationssicherheit Führungsaufgabe und muss integraler Bestandteil der Kultur einer Organisation werden. Dabei ist auch die Zusammenarbeit aller Beteiligten in Staat, Wirtschaft und Gesells

Source URL: public.cassini.de

Bernd Kleimann, Malte Hückstädt Auswahlkriterien in Berufungsverfahren: ­Universitäten und Fachhochschulen im ­Vergleich Bernd Kleimann, Malte Hückstädt

Source URL: www.bzh.bayern.de

Unsolvability Certificates for Classical Planning Salom´e Eriksson and Gabriele R¨oger and Malte Helmert University of Basel, Switzerland {salome.eriksson,gabriele.roeger,malte.helmert}@unibas.ch Abstract

Source URL: ai.cs.unibas.ch