Fraunhofer-Gesellschaft

YearTitle/AuthorDocument Type
2013 Design space exploration for cyber physical system design using constraint solving
Höckner, B.; Hofstedt, P.; Kaltschmidt, S.; Sauer, P.; Vörtler, T.
Conference Paper
2013Algorithmic approaches for system-level simulation of MEMS and aspects of cosimulation
Schneider, Peter; Clauß, Christoph; Donath, Ulrich; Elst, Günter; Enge-Rosenblatt, Olaf; Uhle, Thomas
Book Article
2013Anmerkungen zur Modellierung hybrider dynamischer Systeme
Haase, Joachim; Hessel, Ewald
Conference Paper
Fulltext
2013Ein Ansatz zur Verifikation von Materialflusssystemen durch Model Checking
Turek, Karsten; Klotz, Thomas; Schmidt, Thorsten; Straube, Bernd
Conference Paper
Fulltext
2013Antennennachführung auf Fahrzeugen zur mobilen Satelittenkommunikation
Zaiczek, Tobias; Enge-Rosenblatt, Olaf; Franke, Matthias; Lorenz, Mario
Conference Paper
Fulltext
2013Application of tool-specific simulation algorithms to Memristor models written in Modelica
Majetta, Kristin; Clauß, Christoph; Schmidt, Torsten; Tetzlaff, Ronald
Conference Paper
2013Applying the new ESL standards efficiently to raise the abstraction level and to meet the upcoming mixed-signal SoC challenges: Presentation held at edaWorkshop 2013, May 14-16, 2013, Dresden
Einwich, Karsten
Presentation
Fulltext
2013Aufbau einer Umgebung für die Simulation des Alterungsverhaltens von integrierten elektronischen Schaltungen
Müller, Leif; Müller, Jan (Betreuer); Jancke, Roland (Betreuer); Tetzlaff, Ronald (Verantwortl. Hochschullehrer)
Thesis
Fulltext
2013Automated formal verification of routing in material handling systems
Klotz, Thomas; Schönherr, Jens; Seßler, Norman; Straube, Bernd; Turek, Karsten
Journal Article
Fulltext
2013Automatisierte Ressourcenbedarfsschätzung für Simulationsexperimente in der Cloud
Schneider, André
Conference Paper
Fulltext
2013Automatisierter Analog-Entwurf in Mikro- und Nanotechnologien: Tutorial
Reich, Torsten; Eichler, Uwe; Rooch, Karl-Heinz; Herzer, Elmar; Graupner, Achim
Conference Paper
Fulltext
2013Challenges and methods for the design of 3D-integrated smart systems
Knöchel, Uwe; Heinig, Andy
Conference Paper
2013CHRONOS: Ein Werkzeug zur Berücksichtigung von Alterungseffekten in Schaltungssimulationen
Müller, Leif; Lange, André; Sohrmann, Christoph; Jancke, Roland
Conference Paper
Fulltext
2013Closing the gap between systemC/AMS simulation and lab-based validation: Presentation held at edaWorkshop 2013, Dresden, May 14-16, 2013
Vörtler, Thilo; Arndt, Thomas; Einwich, Karsten
Presentation
Fulltext
2013Ein Cloud-basierter Workflow für die effektive Fehlerdiagnose von Loop-Back-Strukturen
Gulbins, Matthias; Schneider, André; Rülke, Steffen
Conference Paper
Fulltext
2013Consideration of local structures in hierarchical partitioning of integrated circuit netlists modelled by hypergraphs
Steinhardt, Alexander; Tittmann, Peter (Erstprüfer); Heinig, Andy (Zweitprüfer)
Master Thesis
2013Constraint-based approach for an early inspection of the feasibility of cyber physical systems
Höckner, B.; Hofstedt, P.; Vörtler, T.; Sauer, P.; Hinze, T.
Conference Paper
2013D2.3 Modelling methodology
Márquez, F.; Jiménez, N.; Barragán, A.; Vadera, S.; Haufe, J.; Wlodarczyk, T.; Diaz, F.; Jiménez, N.
Report
2013D2.8 Energy control strategy. First release
Donath, U.; Haufe, J.; Esteves, R.; Wlodarczyk, T.; Montague, S.; Vadera, S.; Jiménez-Redondo, N.
Report
Fulltext
2013D5.4 Specification and implementation of interfaces that have been integrated and tested
Meyer, R.; Haufe, J.; Díaz, F.; Jiménez-Redondo, N.
Report
Fulltext
2013The DECO framework: Reliability simulation based on a general design environment communication approach
Sohrmann, Christoph; Lange, André; Jancke, Roland; Müller, Leif
Conference Paper
Fulltext
2013Design of a 12-bit cyclic RSD ADC sensor interface IC using the intelligent analog IP library
Reich, Torsten; Eichler, Uwe; Rooch, Karl-Heinz; Buhl, René
Conference Paper
Fulltext
2013Design of a 12-bit cyclic RSD ADC sensor interface IC using the intelligent analog IP library
Reich, Torsten; Eichler, Uwe; Rooch, Karl-Heinz; Buhl, René
Conference Paper
Fulltext
2013Diagnosis of a drum motor using mathematical modeling and signal analyzing techniques
Enge-Rosenblatt, Olaf; Bayer, Christian; Paschke, Fabian
Journal Article
Fulltext
2013Dresdner Arbeitstagung Schaltungs- und Systementwurf, DASS 2013. Tagungsband. CD-ROM: 25. - 26. April 2013, Dresden
Schneider, Peter (Hrsg.); Klotz, Thomas (Hrsg.) ; Fraunhofer-Institut für Integrierte Schaltungen -IIS-, Institutsteil Entwurfsautomatisierung -EAS-, Dresden
Conference Proceedings
Fulltext
2013Electro-thermal co-design of chip-package-board systems
Sohrmann, Christoph; Heinig, Andy; Dittrich, Michael; Jancke, Roland; Schneider, Peter
Conference Paper
Fulltext
2013Emulation platform for coexistence analysis in wireless automation
Ullmann, Markus; Hoener, Sascha; Frotzscher, Andreas; Wetzker, Ulf; Splitt, Ingmar; Galetzka, Michael
Conference Paper
Fulltext
2013Energiebewusster Softwareentwurf für eingebettete Systeme
Ehrlich, Paul; Radke, Stephan
Conference Paper
Fulltext
2013Energy-aware software development for embedded systems in HW/SW co-design
Ehrlich, Paul; Radke, Stephan
Conference Paper
Fulltext
2013Entwicklung eines SKILL-basierten IP-Generators zur parameterabhängigen Erzeugung von Schaltplan und Layout eines Flash-ADC variabler Bitbreite in CMOS-Technologie
Prautsch, Hans Dieter Benjamin; Reich, Torsten (Betreuer); Schüffny, R. (Betreuer); Hänzsche, Stefan (Betreuer)
Thesis
2013Entwurfsmethodik für integrierte Mixed-Signal Bildverarbeitungssysteme
Döge, J.; Reichel, P.; Enge-Rosenblatt, O.
Conference Paper
Fulltext
2013Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0
Arnold, M.; Clauss, C.; Schierz, T.
Journal Article
2013Fehlerdiagnose für ADCs und DACs in einer Loop-Back-Struktur unter Einbeziehung von Parametervariationen
Gulbins, Matthias; Vermeiren, Wolfgang; Redlich, Stefan
Conference Paper
Fulltext
2013Fernmonitoring komplexer Fertigungsprozesse mit Hochgeschwindigkeits-Bildsensoren
Döge, Jens; Schäfer, Edgar
Conference Paper
Fulltext
2013Formale Verifikation von Materialflusssystemen
Turek, Karsten; Klotz, Thomas; Straube, Bernd
Conference Paper
2013Grid-, Cloud- und Big-Data-Technologien für Systementwurf und -analyse: Grid4Sys 2013, Workshop; 27. und 28. November 2013
Schneider, André (Organisator); Rülke, Steffen (Organisator)
Conference Proceedings
2013Hardwarebeschleunigung des Verfahrens der konjugierten Gradienten mithilfe paralleler FPGA-Architekturen
Becker, Ralf; Tetzlaff, Ronald; Bayer, Christian
Conference Paper
Fulltext
2013Herausforderungen und Lösungsansätze für die Berücksichtigung des Alterungsverhaltens beim Entwurf integrierter Schaltungen
Jancke, Roland; Lange, André; Müller, Leif; Sohrmann, Christoph
Conference Paper
Fulltext
2013Hybrid dynamical systems for memristor modelling: An approach avoiding the terminal-state problem
Haase, Joachim; Lange, André
Conference Paper
Fulltext
2013Layout dependent synthesis for manufacturing costs optimized 3D integrated systems
Heinig, Andy
Conference Paper
Fulltext
2013Model based optimization of the energy consumption in building control systems
Clauß, Christoph; Haufe, Jürgen; Blochwitz, Torsten; Liebold, Edgar; Hintzen, Ullrich; Klostermann, Volker
Conference Paper
2013Model checking specifications of smart cards
Greimel, Karin; Seßler, Norman; Klotz, Thomas
Conference Paper
Fulltext
2013Modeling and verification of material handling systems
Klotz, Thomas; Spallek, Rainer G. (Erstgutachter); Eveking, Hans (Zweitgutachter); Straube, Bernd (Fachreferent)
Dissertation
2013New efficient architectures for RF pulse width modulators
Haslach, C.; Markert, D.; Frotzscher, A.; Pascht, A.
Conference Paper
2013On the computation of flat outputs for nonlinear control systems
Franke, Matthias; Röbenack, Klaus
Conference Paper
Fulltext
2013PowerSC: Power Aware Modeling in SystemC. Open SANITAS SystemC Verification Workshop: Presentation held at edaWorkshop 2013, Dresden, May 14-16, 2013
Radke, Stephan; Vörtler, Thilo; Ehrlich, Paul
Presentation
Fulltext
2013Probabilistic standard cell modeling considering non-gaussian parameters and correlations
Lange, André; Jancke, Roland; Haase, Joachim; Lorenz, Ingolf; Schlichtmann, Ulf
Conference Paper
2013Sensorless drive diagnosis using automated feature extraction, significance ranking and reduction
Bayer, Christian; Enge-Rosenblatt, Olaf; Bator, Martyna; Mönks, Uwe; Dicks, Alexander; Lohweg, Volker
Conference Paper
Fulltext
2013Sensorlose Zustandsüberwachung an Synchronmotoren
Lohweg, Volker; Paschke, Fabian; Bayer, Christian; Bator, Martyna; Mönks, Uwe; Dicks, Alexander; Enge-Rosenblatt, Olaf
Conference Paper
Fulltext
2013Simulation of memristors using simulationX
Majetta, Kristin; Clauß, Christoph; Enge-Rosenblatt, Olaf
Conference Paper
2013Simulationsmodelle für Memristoren
Majetta, Kristin; Clauß, Christoph; Schmidt, Torsten; Tetzlaff, Ronald
Conference Paper
2013System level simulation - a core method for efficient design of MEMS and mechatronic systems
Schneider, Peter; Bayer, Christian; Einwich, Karsten; Köhler, Andreas
Book Article
2013System level verification/validation for heterogeneous systems: Presentation held at Forum on Specification & Design Languages, FDL 2013, Paris, France, 24. - 26.09.2013
Vörtler, Thilo
Presentation
Fulltext
2013SystemC AMS and cosimulation aspects
Pécheux, François; Louërat, Marie-Minerve; Einwich, Karsten
Book Article
2013Testkonzept für ein interposerbasiertes 3D-System
Heinig, Andy; Hopsch, Fabian
Conference Paper
2013Testmethoden und Zuverlässigkeit von Schaltungen und Systemen. 25. GI/GMM/ITG-Workshop 2013: 24. - 26.02.2013, Dresden; TuZ 2013
Dietrich, Manfred (General Chair)
Conference Proceedings
2013Tracking control of a balancing robot
Zaiczek, Tobias; Franke, Matthias
Conference Paper
2013Using a BIM flow for the design and operation of Building Energy Management Systems: Paper presented at the 1st International Conference "ICT for Sustainable Places", September 9-11, 2013, Nice, France
Stenzel, Pit; Haufe, Jürgen; Jimenez Redondo, Noemi
Presentation
Fulltext
2013Utilizing 2D and 3D rectilinear blocks for efficient IP reuse and floorplanning of 3D-integrated systems
Fischbach, R.; Knechtel, J.; Lienig, J.
Conference Paper
2013Validierung und Anwendung des IFC-Schemas für eine raumlufttechnische Anlage zur Generierung einer Energiebedarfsberechnung im Rahmen der Open-BIM-Initiative
Stenzel, Pit; Guruz, Romy (Betreuer); Donath, Ulrich (Betreuer)
Thesis
Fulltext
2013The VERDI project: Mixed signal verification and validation for SystemC/AMS: Sixth Topic
Vörtler, Thilo
Conference Paper
2013XML-based hierarchical description of 3D systems and SIP
Wolf, Susann; Heinig, Andy; Knöchel, Uwe
Journal Article