Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University

Source URL: www.falkhowar.de

• Computing
• Software engineering
• Formal methods
• Software
• Theoretical computer science
• Simulation software
• Visual programming languages
• Numerical software
• Simulink
• SIGNAL
• Autopilot
• Formal verification

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

Learning Component Interfaces with May and Must Abstractions Rishabh Singh1, , Dimitra Giannakopoulou2 , and Corina P˘ as˘areanu2 1

Source URL: rishabhmit.bitbucket.io

• Computing
• Combinatorics
• Formal languages
• Software engineering
• Character encoding
• String
• Abstraction
• Component-based software engineering

Mid-latitude cloud shifts, their primary link to the Hadley cell, & their diverse radiative effects George Tselioudis1,2, Bernard Lipat1, Dimitra Konsta3, Kevin Grise4, Lorenzo Polvani1,5,6

Source URL: isccp.giss.nasa.gov

Assesing Social Vulnerabilities Under the Current Socioeconomic Conjecture: Quantitative and Qualitative Findings on Health and Labour Markets Status in the EU and within Greece Olympia Kaminioti1 , Dimitra Kondyli2 1 Na

Source URL: www.dcscrn.org

XSLT Conversion between XLIFF and RDF Dimitra Anastasiou SFB/TR8 Computer Science/Languages Science University of Bremen Bremen, Germany

Source URL: iswc2011.semanticweb.org

Control the Corporation Washington, DC. April 2, 2012 What can we do to control the corporations? by Dimitra Doukas

Source URL: csrl.org

REPORT Splice-Site Mutations in the Axonemal Outer Dynein Arm Docking Complex Gene CCDC114 Cause Primary Ciliary Dyskinesia Alexandros Onoufriadis,1,10 Tamara Paff,2,3,4,10 Dinu Antony,1 Amelia Shoemark,5 Dimitra Micha,2

Source URL: www.uk10k.org

Linking subject labels in Cultural Heritage Metadata to MIMO vocabulary using CultuurLink Hugo Manguinhas1, Valentine Charles1, Antoine Isaac1, Tom Miles2, Aude Lima3, Ariane Néroulidis4, Véronique Ginouvès4, Dimitra

Source URL: ceur-ws.org

Semantic representation of action games Costas Boletsis, Dimitra Chasanidou, Panagiotis Pandis, and Katia Lida Kermanidis Dept. of Informatics, Ionian University, Kerkyra 49100, Greece {c10bole,c10chas,c10pand,kerman}@io

Source URL: folk.ntnu.no