Dr.-Ing. Reiner Hartenstein Professor, TU Kaiserslautern Dr.-Ing. Reiner W. Hartenstein is professor of Computer Science and Engineering at Kaiserslautern University of Technology (TU Kaiserslautern), where his more rece

Source URL: helios.informatik.uni-kl.de

Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing Reiner W. Hartenstein1, Ricardo P. Jacobi2 1 Fachbereich Informatik Kaiserslautern University of Technology

Source URL: www.mat.unb.br

A Software Language Approach to Derivative Contracts in Finance Dipl.-Inf. Jean-Marie Gaillourdet Software Technology Group, Department of Computer Science, University of Kaiserslautern, Germany Abstract— Financial der

Source URL: ceur-ws.org

27th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 7-10th July 2015 Organised by the Euromicro Technical Committee on Real-Time Systems Conference web site: ecrts15.ecrts.org

Source URL: www.control.lth.se

• Real-time computing
• Worst-case execution time
• EUROMICRO
• Ying Lu
• Max Planck Institute for Software Systems
• Kaiserslautern University of Technology
• Computing
• Electronics

ERA.Net RUS Plus: Innovation Call ID Acronym

Source URL: www.era.net-rus.eu

• Science and technology in Germany
• Freiberg
• Freiberg University of Mining and Technology
• Fraunhofer Society
• Kaiserslautern University of Technology
• Federal Ministry of Education and Research
• German Aerospace Center
• Science and technology
• States of Germany

DFKI_SF_SBMD_SecurityFramework_02.indd

Source URL: dfki-3036.dfki.de

• German Research Centre for Artificial Intelligence
• Saarbrcken
• Cyber-physical system
• Detlef Zhlke
• Kaiserslautern University of Technology

………………………………………………………… First name, Family name ………………………………………………………… Street and house number

Source URL: www.zfuw.uni-kl.de

• Kaiserslautern University of Technology
• Technische Hochschule
• Daimler

OPENSKY: A SWISS ARMY KNIFE FOR AIR TRAFFIC SECURITY RESEARCH Martin Strohmeier, Ivan Martinovic, University of Oxford, UK Markus Fuchs, SeRo Systems, Germany Matthias Schäfer, University of Kaiserslautern, Germany Vinc

Source URL: www.lenders.ch

• Avionics
• Air traffic control
• Security
• Automatic dependent surveillance broadcast
• Technology
• Flightradar24
• Multilateration
• Global Positioning System
• Computer security
• Secondary surveillance radar

Call for Papers 31th EUROMICRO CONFERENCE Track on "Multimedia & Telecommunications: Pervasive Multimedia and Networking" Porto, Portugal – August 30th - September 3rd, 2005 Program Chairs

Source URL: www.icsy.de

• Ambient intelligence
• Kaiserslautern University of Technology
• Visual arts
• Structure
• Technology
• EUROMICRO
• Institute of Electrical and Electronics Engineers
• Multimedia

SensorMapRT – a System for Real-Time Acquisition, Visualization and Analysis of Mobile Sensor Data in an Urban Context Jan-Philipp Exner, Daniel Broschart, Daniel Steffen, Peter Zeile, Hartmut Schächinger (Dr.-Ing.M.S

Source URL: cpe.arubi.uni-kl.de

• Visualization
• Geographic information system
• Kaiserslautern University of Technology
• Science
• Computational science
• Infographics
• Scientific modeling