Projects of the R&D-Division Transportation
Integration algebraischer Datendarstellungen in symbolisches Modelchecken (Sorry - this ...
Duration: 2000 - 2002
Ammerländer Logistik
(Sorry - this page is only available in German)
Duration: 2005 - 2007
ANDRES Project
Duration: 2006 - 2009
ARAMiS – Automotive, Railway and Avionic Multicore System
Duration: 2011 - 2014
A Network for Innovative Design Methods for Embedded Systems
Duration: 2002 - 2006
Embedded Systems Design - Network of Excellence
Duration: 2004 - 2008
Design of Embedded Systems– Network of Excellence
Duration: 2008 - 2011
Formale Verifikation von ASCET-SD-Modellen (Sorry - this page is only available in German.)
Duration: 2002 - 2005
Automotive System Integration
Duration: 2013 - 2009
Architecture for Automatic Power Minimization of Signalprocessing Systems
Duration: 2004 - 2005
Betriebsdatenerfassung mit RFID (Sorry - this page is only available in German.)
Duration: 2013 - open
Connected Cars in a Connected World
Duration: 2007 - 2012
Model-based Cooperative and Adaptive Ship-based Context Aware Design
Duration: 2013 - 2015
Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems
Duration: 2009 - 2012
Controlling LEAkage power in NanoCMOS SoCs
Duration: 2005 - 2008
Provably Correct Communication Networks
Duration: 1993 - 1996
Cognitive Logistic Networks
Duration: 2008 - 2013
Component-based Embedded Systems Design Techniques
Duration: 2008 - 2011
COdesign and power Management in PLatform-based design space EXploration
Duration: 2009 - 2012
Designing Dynamic Distributed Cooperative Systems
Duration: 2011 - 2014
Designing for Adaptability and evolutioN in System of systems Engineering
Duration: 2011 - 2014
Design Pattern for Eingebetteter Systeme
Duration: 2003 - 2005
Dependability Network
Duration: 2004 - 2008
Electronic Architecture and System Engineering for Integrated Safety Systems
Duration: 2004 - 2007
Entwicklung und Implementierung spezieller Transponder und Herstellungsverfahren für die ...
Duration: 2005 - 2008
Methodik zum Entwurf von energiesparenden, verifizierten Systemen
Duration: 2011 - 2014
Neue Methoden in der Sicherheitsanalyse komplexer Systeme
(Sorry - only available in german!)
Duration: 2001 - 2003
Entwicklung einer handlungsorientierten und wissensbasierten Lernumgebung in der ...
Duration: 2001 - 2004
EURopean Intellectual Property In Design Electronic Systems
Duration: 1997 - 2002
Formal Methods for Correct System Design
Duration: 1993 - 1995
Research cooperation with the ChipVision Design Systems AG
Duration: 2003 - 2012
Anwendung der FORMAT-Werkzeuge im industriellen Umfeld
(Sorry - only available in german!)
Duration: 1996 - 1997
Dezentrale, agentenbasierte Selbststeuerung von Fahrerlosen Transportsystemen (sorry - only ...
Duration: 2011 - 2013
Competitive Aerial Robotic Technologies
(Sorry - only available in german!)
Duration: 2008 - 2010
Model-based Analysis of Human errors during Aircraft Cockpit System Design
Duration: 2008 - 2011
Entwicklung einer innovativen CBT Architektur im Internet
(Sorry - only available in german!)
Duration: 2001 - 2004
Interface and Communication based Design of Embedded Systems
Duration: 2004 - 2007
Integrated Modeling for Safe Transportation
Duration: 2007 - 2010
Integrated Modeling for Safe Transportation 2 (sorry - only available in german)
Duration: 2010 - 2013
Einflussanalyse neuer Entwicklungsmethoden auf industrielle Entwicklungsprozesse
(Sorry - ...
Duration: 2009 - 2011
Innovative Operational UAS Integration
(Sorry - only available in german!)
Duration: 2007 - 2009
Integrative Pattern- und UML-orientierte Lern- und System-Entwicklungsumgebung
(Sorry - ...
Duration: 2004 - 2005
Intelligent Integration Of Railway Systems
Duration: 2005 - 2008
INdustry-driven TRAining for Low-power European Designers
Duration: 2002 - 2005
Verifikationstechniken zum IP-Schutz
(Sorry - only available in german!)
Duration: 2003 - 2004
Improvement of Safety Activities on Aeronautical Complex systems
Duration: 2004 - 2007
Integrated Human Modelling and Simulation to support Human Error Analysis of Partially ...
Duration: 2008 - 2011
Verlustleistungsanalyse integrierter Schaltungen
(Sorry - only available in german!)
Duration: 2000 - 2000
Korrekte Software für sicherheitskritische Systeme
(Sorry - only available in german!)
Duration: 1995 - 1998
Low-Power Design Methods for Mobile Systems
Duration: 2003 - 2007
Entwicklung einer Optimierungskomponente zur Bestimmung der Bandbelieferung in einem ...
Duration: 2013 - open
E-Learning für die Logistikwirtschaft: Qualitätsmanagement in der Logistik
(Sorry - only ...
Duration: 2013 - open
Power estimation of control dominated systems on behavioral level
Duration: 2000 - 2001
Power estimation of integrated circuits based on system specifications in C/C++ language
Duration: 2001 - 2002
Micro-Architectural Power Management: Methods, Algorithms and Prototype tools
Duration: 2006 - 2008
A central market place for dissemination of lowpower micro-electronics design knowledge
Duration: 2002 - 2005
Combined Model-based Analysis and Testing of Embedded Systems
Duration: 2011 - 2014
More Integrated and cost efficient Systems Safety Assessment
Duration: 2008 - 2011
Nanoelectronics for Electric Vehicle Intelligent Failsafe PowerTrain
Duration: 2011 - 2014
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances
Duration: 2010 - 2013
Multimediales Selbstlernsystem zur Aus-und Fortbildung von Elektrofachkräften
(Sorry - ...
Duration: 1997 - 1998
Nanoelectronic design for 3D systems
Duration: 2010 - 2013
IMA Requirements Verification (sorry - only available in German)
Duration: 2012 - 2015
Neue Mobilität im ländlichen Raum (sorry - only available in German)
Duration: 2011 - 2014
ICT-enabled Wearable Artificial Kidney and Personal Renal Care System
Duration: 2010 - 2014
Competence Center of Lower Saxony for information systems for mobile usage
Duration: 2001 - 2011
Object-oriented co-DEsign and functional Test TEchniques
Duration: 2000 - 2003
Entwicklung korrekter eingebetteter Realzeitsysteme
(sorry - only available in German)
Duration: 2002 - 2005
Analyse und Spezifikation von Kommunikationsmechanismen für ein objektorientiertes ...
Duration: 2000 - 2001
Titel Object-Oriented Co-Simulation of Embedded Control Systems
Duration: 1997 - 2003
CENELEC-driven Optimization of the Development of Train Control Systems
Duration: 2004 - 2006
Power Estimation of Embedded Systems
Duration: 1998 - 2001
Development of a Pick-To-Light-System providing comprehensive processor controlled self ...
Duration: 2001 - 2004
Personal Mobility Center (sorry - only available in German)
Duration: 2010 - 2011
Power Optimization of Embedded systems
Duration: 2001 - 2005
Polymorphic Objects for Design of Reconfigurable FPGAs
Duration: 2003 - 2008
Info-Terminal für Vitakraft (sorry - only available in German)
Duration: 2006 - 2009
Power Optimization and Simulation.Efficient strategies in deep sub-micron CMOS
Duration: 1997 - 1998
Power Reduction for Digital Audio Signal Processing (DFG Project of the University of Oldenburg)
Duration: 2000 - 2004
Referenzsystem zur Messung der Produktivität eim Entwurf nanoelektronischer Systeme (sorry ...
Duration: 2005 - 2008
Rapid System Prototyping and Platformbased Design for Mixed-Signal-Multiprocessor SoC
Duration: 2008 - 2011
Design for RELIABILITY of SoCs for Applications like Transportation, Medical, and ...
Duration: 2011 - 2014
REuse and QUality ESTimation
Duration: 1995 - 1998
Designing Robust Nanoelectric Systems
Duration: 2009 - 2012
Safety Critical Embedded Systems
Duration: 1995 - 1998
Safe Automotive soFtware architEcture
Duration: 2011 - 2014
Eingebettete Systeme in sicherheitskritischen Avioniksystemen (sorry - only available in German)
Duration: 2000 - 2004
Sichere autonome Logistik- und Transportfahrzeuge im Außenbereich (sorry - only available ...
Duration: 2009 - 2012
Sichere Systeme auf Basis einer durchgängigen Verifikation entlang der gesamten ...
Duration: 2009 - 2012
Sensor Configuration and Aggregation Middleware for Multi Platform Interchange (sorry - ...
Duration: 2009 - 2012
Efficient collection and processing of spatio-temporial sensor data in mobility applications
Duration: 2010 - 2013
Strategische Handlungsflexibilität in absatzwirtschaftlichen Bereichen (sorry - only ...
Duration: 1996 - 1997
Computergestütztes Trainingsprogramm für strategische Handlungsflexibilität (sorry - ...
Duration: 2000 - 2004
Sichere Offshore-Operationen (sorry - only available in German)
Duration: 2011 - 2014
Specification and Algorithm / Architecture-Co-Design for Highly Complex Applications in ...
Duration: 2001 - 2003
Specification and Algorithm / Architecture-Co-Design for Highly Complex Applications in ...
Duration: 2003 - 2005
Speculative and Exploratory Design in Systems Engineering
Duration: 2006 - 2010
Software Plattform Embedded Systems 2020 (sorry - only available in German)
Duration: 2008 - 2012
Software Platform Embedded Systems 2020_XT
(sorry - only available in German)
Duration: 2012 - 2015
Static QUality Assurance for Software and Hardware
Duration: 1998 - 2000
Wissensbasierte Methoden in der Sicherheitsanalyse (sorry - only available in German)
Duration: 1998 - 2001
Wissensbasiertes Computer Based Training zur Kunststoffherstellung (sorry - only available ...
Duration: 1995 - 1996
Einsatz visueller Formalismen in der industriellen Praxis (sorry - only available in German)
Duration: 1999 - 2001
Formal verification of VHDL-Based Real-Time Hardware Designs
Duration: 1994 - 1998
Modeling, Control and Management of Thermal Effects in Electronic Circuits of the Future
Duration: 2010 - 2013
Verifying System Designs Using Formal Methods
Duration: 1997 - 1999
Verifikation moderner Prozessor-Architekturen (sorry - only available in German)
Duration: 1999 - 2001
Formal Verification as Engineering Science
Duration: 2005 - 2007
Kompetenzzentrum Engineering sicherheitskritischer Systeme (sorry - only available in German)
Duration: 2001 - 2003
Distributed Integrated Systems and Network Architectures for the Application Domains ...
Duration: 2006 - 2009
Virtuelles Software-Engineering-Kompetenznetz (sorry - only available in German)
Duration: 2004 - 2007
Verifikation eingebetteter Systeme basierend auf UML (sorry - only available in German)
Duration: 1999 - 2002
