Fraunhofer-Gesellschaft

YearTitle/AuthorDocument Type
20123D integration: Opportunities, design challenges and approaches
Knöchel, U.
Conference Paper
20123D-integration: Challenges and proposals
Dietrich, Manfred; Heinig, Andy; Knöchel, Uwe
Conference Paper
Fulltext
20123D-Simulation von Strukturen zur Modellgenerierung
Stolle, Jörn; Reitz, Sven
Book Article
20129. Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems, CPMNS 2012: 9. ITG/GI/GMM Workshop, 17. bis 18. April 2012, Hotel Königshof Dresden, Domänenübergreifender Entwurf von heterogenen eingebetteten Systemen
Einwich, Karsten (Organisation) ; VDE/VDI-Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik -GMM-; Informationstechnische Gesellschaft -ITG-; Gesellschaft für Informatik -GI-, Bonn; Fraunhofer-Institut für Integrierte Schaltungen -IIS-, Erlangen
Conference Proceedings
Fulltext
2012Analyse und Bewertung des IFC-Projektmodells im Bereich der technischen Gebäudeausrüstung als Grundlage für die Ableitung von Automatisierungsstrukturen in der Gebäudeklimatisierung: Großer Beleg
Stenzel, Pit; Windisch, Ronny (Betreuer); Guruz, Romy (Betreuer); Donath, Ulrich (Betreuer)
Report
2012Anforderungen an Modellierung und Simulation von 3D-Systemen
Wilde, Andreas
Book Article
2012Ein Ansatz zur Verifikation von Materialflusssteuerungen
Klotz, Thomas; Straube, Bernd; Fordran, Eva; Seßler, Norman; Haufe, Jürgen; Schulze, Frank
Conference Paper
2012Ansätze zur Systemsimulation im Automobilbau
Hessel, Ewald; Haase, Joachim
Conference Paper
Fulltext
2012Approach to a simulation-based verification environment for material handling systems
Seidel, Stephan; Donath, Ulrich; Haufe, Jürgen
Conference Paper
Fulltext
2012Bounded model checking of Contiki applications
Vörtler, Thilo; Rülke, Steffen; Hofstedt, Petra
Conference Paper
Fulltext
2012Compilation of methodologies to speed up the verification process at system level
Radke, Stephan; Rülke, Steffen; Oliveira, Marcio F.S.; Kuznik, Christoph; Müller, Wolfgang; Ecker, Wolfgang; Esen, Volkan; Hufnagel, Simon; Bannow, Nico; Brazdrum, Helmut; Janssen, Peter; Le, Hoang M.; Große, Daniel; Drechsler, Rolf; Fehlauer, Erhard; Koch, Gernot; Burger, Andreas; Bringmann, Oliver; Rosenstiel, Wolfgang; Haedicke, Finn; Görgen, Ralph; Oetjens, Jan-Hendrik
Conference Paper
Fulltext
2012Compositional verification of material handling systems
Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens
Conference Paper
Fulltext
2012Conclusion
Dietrich, M.
Book Article
2012D1.1 Development of a methodology for the modelling of BEMS for a wide spectrum of construction types
Barragán, A.; Márquez, F.; Jiménez, N.; Maroto, A.; Cruz, J.; Haufe, J.; Nieto, L.; Castano, V.; Sopena, D.; Floss, J.
Report
Fulltext
2012D2.1 Relevant energy affecting operating parameters for the system and sub-systems
Barragán, A.; Márquez, F.; Jiménez, N.; Maroto, A.; Haufe, J.; Nieto, L.; Castano, V.; Sopena, D.; Floss, J.
Report
Fulltext
2012D2.2 SEEDS modeling ontology. BIM methods and standards. IFC data models and IDM requirement analysis
Barragán, A.; Jiménez, N.; Márquez, F.; Cruz, J.; Haufe, J.; Stenzel, P.; Donath, U.; Nieto, L.; Meziane, F.
Report
Fulltext
2012Dresdner Arbeitstagung Schaltungs- und Systementwurf, DASS 2012. Tagungsband. CD-ROM: 3. bis 4. Mai 2012 in Dresden
Schneider, Peter (Hrsg.); Klotz, Thomas (Hrsg.) ; Fraunhofer-Institut für Integrierte Schaltungen -IIS-, Institutsteil Entwurfsautomatisierung -EAS-, Dresden
Conference Proceedings
Fulltext
2012Efficient transient simulation of non-linear dynamic networks with discontinuous forcing
Uhle, Thomas; Elst, Günter
Conference Paper
2012Enabling system level simulation of 3D integrated systems
Bayer, Christian; Reitz, Sven; Stolle, Jörn; Wilde, Andreas; Schneider, Peter
Conference Paper
2012Entwurf integrierter 3D-Systeme der Elektronik
Lienig, Jens; Dietrich, Manfred
Book
2012Eine Erweiterung des linearen Lösers in SystemC AMS für zeitlich veränderliche Module
Reuther, Christiane; Einwich, Karsten
Conference Paper
Fulltext
2012Examination of process parameter variations
Acar, Emrah; Mau, Hendrik; Heinig, Andy; Li, Bing; Schlichtmann, Ulf
Book Article
2012Fehlerdiagnose für Analog-Digital- und Digital-Analog-Wandler in einer Loop-Back-Struktur
Gulbins, Matthias; Vermeiren, Wolfgang; Redlich, Stefan
Conference Paper
Fulltext
2012A flow for parasitics extraction in 3D-systems
Heinig, Andy; Dittrich, Michael; Reitz, Sven; Stolle, Jörn
Conference Paper
Fulltext
2012Future challenges for electronic design automation
Schneider, Peter
Conference Paper
2012Generation of random parameters of behavioral models
Lange, André; Haase, Joachim; Sohrmann, Christoph; Jancke, Roland
Conference Paper
2012HLDSC+ - Eine Umgebung zum effizienten High-Level-Debugging von SystemC/TLM-Modellen
Fehlauer, Erhard; Rülke, Steffen
Conference Paper
Fulltext
2012Konzeption und Entwicklung der Echtzeitkopplung einer Simulationsplattform mit Funkknoten auf Basis des Standards IEEE 802.15.4
Gärtner, Thomas; Zenker, Ralf (Betreuer); Stölzer, Sven (Betreuer)
Thesis
2012Layoutpräsentationen im 3D-Entwurf
Fischbach, Robert
Book Article
2012Master zur Simulatorkopplung via FMI
Clauß, Christoph; Arnold, Martin; Schierz, Tom; Bastian, Jens
Conference Paper
Fulltext
2012Methods of parameter variations
Knoth, Christoph; Schlichtmann, Ulf; Li, Bing; Zhang, Min; Olbrich, Markus; Acar, Emrah; Eichler, Uwe; Haase, Joachim; Lange, André; Pronath, Michael
Book Article
2012Modeling a drum motor for illustrating wearout phenomena
Enge-Rosenblatt, Olaf; Bayer, Christian; Schnüttgen, Joachim
Conference Paper
Fulltext
2012MODELISAR: From system modeling toS/W running on the vehicle: Schlussbericht. Berichtszeitraum: 01.04.2008 - 31.12.2011; Das diesem Bericht zugrunde liegende Vorhaben wurde mit den Mitteln des Bundesministeriums für Bildung und Forschung unter dem Förderkennzeichen 01IS08002F gefördert
Clauß, Christoph; Wolf, Klaus; Svacina, Jaroslav
Report
2012Möglichkeiten und Herausforderungen moderner 3D-Systeme
Knöchel, Uwe
Book Article
2012NEEDS - Nanoelektronik-Entwurf für 3D-Systeme
Hylla, Kai; Metzdorf, Malte; Grünewald, Armin; Hahn, Kai; Heinig, Andy; Knöchel, Uwe; Wolf, Susann; Miller, Felix; Wild, Thomas; Quiring, Artur; Olbrich, Markus; Sattler, Sebastian; Treytnar, Dieter
Conference Paper
2012On the formal verification of routing in material handling systems
Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens
Conference Paper
Fulltext
2012On the verification of routing in material handling systems
Seßler, Norman; Klotz, Thomas; Fordran, Eva
Thesis
2012Path-based statistical gate-level analyses considering timing and energy
Lange, André; Hopsch, Fabian; Haase, Joachim
Conference Paper
Fulltext
2012Physical and mathematical fundamentals
Lemaitre, Bernd; Sohrmann, Christoph; Muche, Lutz; Haase, Joachim
Book Article
2012Process variations and probabilistic integrated circuit design
Dietrich, Manfred (Ed.); Haase, Joachim (Ed.)
Book
2012Process variations and probabilistic integrated circuit design. Introduction
Haase, J.; Dietrich, M.
Book Article
2012Restbus-Simulation unter Verwendung virtueller Prototypen
Arndt, Thomas; Einwich, Karsten; Presting, Hartmut
Conference Paper
2012Sensitivity analysis and adaptive multi-point multi-moment model order reduction in MEMS design
Köhler, A.; Reitz, S.; Schneider, P.
Journal Article
2012Services for numerical simulations and optimizations in grids
Limmer, S.; Schneider, A.; Boehme, C.; Fey, D.; Schmitz, S.; Graupner, A.; Sülzle, M.
Conference Paper
Fulltext
2012Simulation of nonholonomic mechanical systems using algorithmic differentiation
Franke, Matthias; Zaiczek, Tobias; Röbenack, Klaus
Conference Paper
2012Simulation und Verifikation eines mehrachsigen magnetischen Positionssensorsystems auf Basis von HallinOne(R)-Sensoren
Binder, Bastian; Tetzlaff, Ronald (Betreuer); Bretschneider, Jörg (Betreuer); Schmidt, Torsten (Betreuer)
Thesis
2012Syntheseoptimierung bei 3D-Schaltungen
Luo, Zhongying; Heinig, Andy (Betreuer); Lienig, Jens (Betreuer)
Thesis
2012System level simulation - a core method for efficient design of MEMS and mechatronic systems
Schneider, Peter; Bayer, Christian; Einwich, Karsten; Köhler, Andreas
Conference Paper
Fulltext
2012System-level time-domain behavioral baseband modeling of RF blocks for mixed-signal simulation
Harasymiv, Ihor; Jancke, Roland
Conference Paper
Fulltext
2012A SystemC AMS extension for controlled modules and dynamic step sizes
Reuther, Christiane; Einwich, Karsten
Conference Paper
Fulltext
2012SystemC-AMS basierte Modellierung, Simulation und HiL Echtzeitsimulation für Anwendungen der Automobilelektronik
Einwich, Karsten; Arndt, Thomas
Conference Paper
Fulltext
2012Testentwicklung für digitale Schaltungen unter Verwendung von elektrischer Fehlersimulation
Hopsch, Fabian; Straube, Bernd; Vermeiren, Wolfgang; Vierhaus, Heinrich Theodor
Conference Paper
Fulltext
2012Thermal management in the design space exploration of 3D stacks and corresponding package
Heinig, Andy; Knöchel, Uwe; Schneider, Peter; Wilde, Andreas
Conference Paper
2012Thermische Analyse von 3D-Strukturen
Jancke, Roland; Bayer, Christian
Book Article
2012Towards a memristor model library in modelica
Majetta, Kristin; Clauß, Christoph; Schmidt, Torsten
Conference Paper
Fulltext
2012Towards an integrated simulation and virtual commissioning environment for controls of material handling systems
Seidel, Stephan; Donath, Ulrich; Haufe, Jürgen
Conference Paper
Fulltext
2012Werkzeuge und Methoden für den interposerbasierten 3D-Entwurf
Heinig, Andy
Conference Paper
Fulltext
2012Wigner surmises and the two-dimensional Poisson-Voronoi tessellation
Muche, Lutz; Nieminen, John M.
Journal Article
2012XML-basierte Sprache für die hierarchische und parametrisierbare Beschreibung von 3D-Systemen
Wolf, Susann; Heinig, Andy; Knöchel, Uwe
Book Article