elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Contact | Deutsch
Fontsize: [-] Text [+]

Items where Subject is "Institute of Space Systems > Avioniksysteme"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: A | B | D | E | F | G | J | K | L | M | P | R | S | T
Number of items at this level: 97.

A

  Aitken, Robert and Fey, Görschwin and Kalbarczyk, Zbigniew T. and Reichenbach, Frank and Sonza Reorda, Matteo (2013) Reliability Analysis Reloaded: How Will We Survive? Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, Frankreich. Volltext nicht online.

  Aleksandrowicz, Gadi and Arbel, Eli and Bloem, Roderick and Braak ter, Timon and Devadze, Sergeij and Fey, Görschwin and Jenihhinyy, Maksim and Jutman, Artur and Kerkhoff, Hans G. and Könighofer, Robert and Malburg, Jan and Moran, Shiri and Raik, Jaan and Rauwerda, Gerard and Riener, Heinz and Röck, Franz and Shibin, Konstantin and Sunesenz, Kim and Wan, Jinbo and Zhao, Yong (2016) Designing reliable cyber-physical Systems. Forum on specification & Design Languages (FDL) 2016, 14.-16. Sept. 2016, Bremen, Deutschland. Volltext nicht online.

  Avramenko, Serhiy and Sonza Reorda, Matteo and Violante, Massimo and Fey, Görschwin (2016) Analysis of the Effects of soft Errors on Compression Algorithms through Fault Injection inside Program Variables. In: IEEE Latin-American Test Symposium (LATS), pp. 14-19. IEEE Latin-American Test Symposium (LATS), 06.-08. April 2016, Foz do Iguacu, Brasilien. DOI: 10.1109/LATW.2016.7483332. ISBN 978-1-5090-1331-9. Volltext nicht frei. file

  Avramenko, Serhiy and Sonza Reorda, Matteo and Violante, Massimo and Fey, Görschwin and Meß, Jan-Gerd and Schmidt, Robert (2016) On the Robustness of DCT-based Compression Algorithms for Space Applications. In: IEEE International On-Line Testing Symposium (IOLTS), pp. 14-19. IEEE Latin-American Test Symposium (LATS), 04.-06. Juni 2016, Sant Feliu de Guixols, Spanien. (In Press) Volltext nicht frei.

  Aydos, Gökce and Fey, Görschwin (2015) Empirical Results on Parity-based Soft Error Detection with Software-based Retry. IEEE Nordic Circuits and Systems Conference (NORCAS), Oslo, Norwegen. DOI: 10.1109/NORCHIP.2015.7364378. Volltext nicht online.

  Aydos, Gökce and Fey, Görschwin (2016) Exploiting error detection latency for parity-based soft error detection. In: IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), pp. 1-6. IEEE Int. Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), Kosice, Slowakei, 20.-22. April 2016, Kosice, Slowakei. DOI: 10.1109/DDECS.2016.7482440. ISBN 978-1-5090-2467-4. Volltext nicht frei. file

  Aydos, Gökce and Fey, Görschwin (2016) Empirical Results on Parity-based Soft Error Detection with Software-based Retry. Microprocessors and Microsystems. Elsevier. ISSN 0141-9331. Volltext nicht online.

B

  Bartels, Christoph (2009) Software Demonstrator für das NetworkCentric Core Avionics Konzept. Diploma, Hochschule Bremen. Volltext nicht frei. file

  Benninghoff, Heike and Borchers, Kai and Börner, Anko and Dumke, Michael and Fey, Görschwin and Gerndt, Andreas and Höflinger, Kilian and Langwald, Jörg and Lüdtke, Daniel and Maibaum, Olaf and Peng, Ting and Schwenk, Kurt and Weps, Benjamin and Westerdorff, Karsten (2016) OBC-NG Concept and Implementation. DLR-Forschungsbericht, Project Report. DLR-FB-2016-3, 65 S. file

  Bloem, Roderick and Drechsler, Rolf and Fey, Görschwin and Finder, Alexander and Hofferek, Georg and Könighofer, Robert and Raik, Jaan and Repinski , Urmas and Sülflow, Andre (2012) FoREnSiC - an automatic debugging environment for C programs. IBM Haifa Verification Conference (HVC), Haifa, Israel. Volltext nicht online.

  Borchers, Kai and Fey, Görschwin and Lüdtke, Daniel (2014) Automatic performance tracking of a spacewire network. In: IEEE International SpaceWire Conference. International SpaceWire Conference, 22.-26. September 2014, Griechenland. Volltext nicht online.

D

  Dachwald, Bernd and Boehnhardt, Hermann and Broj, Ulrich and Johnson, Les and Kührt, Ekkehard and Mottola, Stefano and Macdonald, Malcolm and McInnes, Colin and Vasile, Massimiliano and Reinhard, Rüdeger (2014) Gossamer Roadmap Technology Reference Study for a Multiple NEO Rendezvous Mission. In: Advances in Solar Sailing, pp. 211-226. Springer. Third International Symposium on Solar Sailing, 11.-13. Jun. 2013, Glasgow, Scotland, UK. DOI: 10.1007/978-3-642-34907-2_1 5. ISBN 978-3642349065. Volltext nicht online.

  Dannemann, Frank and Montenegro, Sergio (2013) Embedded Logging Framework For Spacecrafts. DASIA 2013, 14.-16. Mai 2013, Porto, Portugal. Volltext nicht frei. file

  Dannemann, Frank (2014) Towards Unified Monitoring of Spacecrafts. In: 65th International Astronautical Congress (ISSN: 1995-6258). 65th International Astronautical Congress, 29. Sept. - 3. Okt. 2014, Toronto, Kanada. ISSN 1995-6258 Volltext nicht frei. file

  Dannemann, Frank (2015) Unified Monitoring of Spacecrafts. Dissertation, Universität Würzburg. Volltext nicht online.

  Dannemann, Frank and Greif, Fabian (2014) Software Platform of the DLR Compact Satellite Series. In: Proceedings of 4S Symposium 2014. 4S Symposium, 26.-30. Mai 2014, Mallorca, Spanien. Volltext nicht frei. file

  Dannemann, Frank and Jetzschmann, Michael (2016) Technology-Driven Design of a Scalable Small Satellite Platform. In: Proceedings of 4S Symposium 2016. 4S Symposium, 30. Mai - 3. Juni 2016, Malta. file

  Dehbashi, Mehdi and Fey, Görschwin (2012) Automated debugging from pre-silicon to post-silicon. IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, Tallinn, Estonia. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin and Roy, Kaushik and Raghunathan, Anand (2012) Functional analysis of circuits under timing variations. IEEE European Test Symposium 2012, Annecy, France. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2012) Automated post-silicon debugging of failing speedpaths. Asian Test Symposium (ATS), Niigata, Japan. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2012) Application of timing variation modeling to speedpath diagnosis. System, Software, SoC and Silicon Debug Conference (S4D), Vienna, Austria. Volltext nicht online.

  Dehbashi, Mehdi and Fey , Görschwin and Roy, Kaushik and Raghunathan, Anand (2012) On modeling and evaluation of logic circuits under timing variations. EUROMICRO Symposium on Digital System Design (DSD), Cesme, Izmir, Turkey. Volltext nicht online.

  Dehbashi, Mehdi (2013) Debug Automation from Pre-Silicon to Post-Silicon. Dissertation, Universität Bremen. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2013) Efficient automated speedpath debugging. IEEE Int’l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Karlovy Vary. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2014) Sat-based speedpath debugging using waveforms. IEEE European Test Symposium, Paderborn. DOI: 10.1109/ETS.2014.6847802. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2013) Debug automation for logic circuits under timing varations. IEEE Design and Test, pp. 60-69. ISSN 2168-2356. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2014) Transaction-Based Online Debug for NoC-Based Multiprocessor SoCs. Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP), Italien. DOI: 10.1109/PDP.2014.72. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2014) Debug Automation for Synchronization Bugs at RTL. VLSI Design Conference, Indien. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2015) Debug Automation from Pre-Silicon to Post-Silicon. Springer. ISBN 978-3-319-09309-3. Volltext nicht online.

  Dehbashi, Mehdi and Fey, Görschwin (2015) Transaction-based online debug for NoC-based multiprocessor SoCs. Microprocessors and Microsystems, 39 (3), pp. 157-166. ISSN 0141-9331. Volltext nicht online.

  Dehbashi, Mehdi and Sülflow, André and Fey, Görschwin (2013) Automated design debugging in a testbench-based verification environment. Microprocessors and Microsystems, 37 (2), pp. 206-217. ISSN 0141-9331. Volltext nicht online.

E

  Eggersglüß, Stephan and Fey, Görschwin and Polian, Illia (2014) Test digitaler Schaltkreise. DE GRUYTER OLDENBOURG. ISBN 978-3-486-72014-3. Volltext nicht online.

F

  Fey, Görschwin (2012) Assessing system vulnerability using formal verification techniques. In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS) – Revised Selected Papers Lecture Notes in Computer Science, 7119. Springer. pp. 47-56. Volltext nicht online.

  Fey, Görschwin (2014) Command and Data Handling Infrastructure for Space Systems. IEEE Int'l Symposium on Multi-Valued Logic (ISMVL), Bremen. (Unpublished) Volltext nicht online.

  Fey, Görschwin and Harris, Ian and Ray, Sandip and Soeken, Mathias (2016) Multilevel Design Understanding: From Specification to logic. International Conference On Computer Aided Design (ICCAD) 2016, 07.-10. Nov. 2016, Austin, USA. Volltext nicht online.

  Finder, Alexander and Fey, Görschwin (2012) Evaluating debugging algorithms from a qualitative perspective. In: Lecture Notes in Electrical Engineering Lecture Notes in Electrical Engineering, 106. Springer. pp. 21-36. Volltext nicht online.

  Finder, Alexander and Sülflow, Andre and Fey, Görschwin (2014) Latency analysis for sequential circuits. IEEE Transactions on Computers, pp. 643-647. ISSN 0018-9340. Volltext nicht online.

  Finder, Alexander and Witte, Jan-Philipp and Fey, Görschwin (2013) Debugging HDL designs based on functional equivalences with high-level specifications. IEEE Int’l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Karlovy Vary. Volltext nicht online.

  Flenker, Tino (2014) Wörterbuchintegrierung für die Lokalisierung von Verzögerungsfehlern in Logikschaltungen. Master's, Universität Bremen. Volltext nicht online.

  Flenker, Tino and Fey, Görschwin (2016) Matching Abstract and concrete Hardware Models for Desing Understanding. Design Automation for Understanding Hardware Designs (DUHDe), 18. März 2016, Dresden, Deutschland. Volltext nicht frei. file

  Flenker, Tino and Sülflow, André and Fey, Görschwin (2015) Diagnostic Tests and Diagnosis for Delay Faults using Path Segmentation. Asian Test Symposium (ATS), Mumbai, Indien. Volltext nicht online.

  Frehse, Stefan and Fey, Görschwin and Arbel , Eli and Yorav, Karen and Drechsler, Rolf (2012) Complete and effective robustness checking by means of interpolation. Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK. Volltext nicht online.

  Frehse, Stefan and Riener, Heinz and Fey, Görschwin (2012) Hardware-Software-Co-Synthese zur Verbesserung der Fehlertoleranz. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE), Bremen, Deutschland. Volltext nicht frei. file

G

  Gao, Xiao (2014) Charakterisierung der Fehler von Eingebetteten Systemen. Master's, Universität Bremen. Volltext nicht online.

  Große, Daniel and Fey, Görschwin and Drechsler, Rolf (2013) Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis. Electronic Communications of the EASST, 62, pp. 1-14. ISSN 1863-2122. file

  Grundmann, Jan Thimo and Auster, U. and Baturkin, Volodymyr and Bellion, Anthony and Bibring, Jean-Pierre and Biele, Jens and Boden, Ralf and Bompis, Olivier and Borgs, Belinda and Bousquet, Pierre and Canalias, Elisabet and Celotti, Luca and Cenac-Morthe, Céline and Cordero, Federico and Deleuze, Muriel and Evesque, Corinne and Findlay, Ross and Fredon, Stéphane and Glaßmeier, K.H. (4) and Granena, David and Grimm, Christian and Grott, Matthias and Hamm, Vincent and Hendrikse, Jeffrey and Hercik, David and Ho, Tra-Mi and Jaumann, Ralf and Krause, Christian and Kroth, Ronald and Ksenik, Eugen and Lange, Caroline and Lange, Michael and Mierheim, Olaf and Okada, Tatsuaki and Reill, Josef and Sasaki, Kaname and Schmitz, Nicole and Sedlmayr, Hans-Jürgen and Talapina, Maria and Tangruamsub, Sirinart and Termtanasombat, Nawarat and Ulamec, Stephan and Wejmo, Elisabet and Wrasmann, Michael and Yoshimitsu, T. and Ziach, Christian and the MASCOT team, the MASCOT team (2015) Mobile Asteroid Surface Scout (MASCOT) - Design, Development and Delivery of a Small Asteroid Lander Aboard Hayabusa2. In: IAA proceedings on-line - http://pdc.iaaweb.org/?q=ipc. IAA. 4th IAA Planetary Defense Conference – PDC 2015, 13.-17. April 2015, Frascati, Rom, Italien. filefile

  Grundmann, Jan Thimo and Bauer, Waldemar and Biele, Jens and Cordero, Federico and Dachwald, Bernd and Koncz, Alexander and Krause, Christian and Mikschl, Tobias and Montenegro, Sergio and Quantius, Dominik and Ruffer, Michael and Sasaki, Kaname and Schmitz, Nicole and Seefeldt, Patric and Toth, Norbert and Wejmo, Elisabet and Koch, Aaron and Seboldt, W. and Sznajder, Maciej (2015) From Sail to Soil - Getting Sailcraft out of the Harbour on a Visit to One of Earth's Nearest Neighbours. In: IAA PDC2015 proceedings online - http://pdc.iaaweb.org/?q=ipc. IAA on-line. 4th IAA Planetary Defense Conference – PDC 2015, 13.-17. Apr. 2015, Frascati, Rom, Italien. filefilefile

  Göksu, Murat (2014) Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für Satelliten. Master's, Universität Bremen. Volltext nicht frei. file

J

  Jan, Malburg and Finder, Alexander and Görschwin, Fey (2013) Analyse dynamischer Abhängigkeitsgraphen zum Debugging von Hardwaredesigns. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE), Dresden. Volltext nicht online.

K

  Kleinermann, Patrick (2015) Zeitsynchrone Erfassung seismischer Sensordaten. Bachelor's, Universität Bremen. file

  Krafczyk, Niklas and Riener, Heinz and Fey, Görschwin (2016) WCET Overapproximation for Software in the Context of a Cyber-Physical System. In: 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 26.-28. Sept. 2016, Tellinn, Estland. Volltext nicht online.

  Kretzenbacher, Michael and Lange, Caroline and Harvey, David (2016) Practical Application of Model Based Systems Engineering to Early Phase Space System Development. 7th International Conference on Systems & Concurrent Engineering for Space Applications SECESA 2016, 3-7. Okt. 2016, Madrid, Spanien. (Submitted) Volltext nicht frei. file

L

  Lüdtke, Daniel and Westerdorff, Karsten and Stohlmann, Kai and Börner, Anko and Maibaum, Olaf and Peng, Ting and Weps, Benjamin and Fey, Görschwin and Gerndt, Andreas (2014) OBC-NG: Towards a reconfigurable on-board computing architecture for spacecraft. In: IEEE Aerospace Conference, pp. 1-13. Aerospace Conference, 2014 IEEE, 1.-8. Mär. 2014, Big Sky, MT, USA. ISBN 978-1-4799-5582-4. Volltext nicht frei. file

M

  Maiwald, Volker and Bassam, Muhammad and Skoczylas, Thomas and Baturkin, Volodymyr and Sasaki, Kaname and Grundmann, Jan Thimo and Beyer, Alexander and Wejmo, Elisabet and Braukhane, Andy and Hobbie, Catherin Fiona and Sagliano, Marco and Benninghoff, Heike and Vrakking, Vincent and Lieder, Matthias and Gnat, Marcin and Sellmaier, Florian and Faller, Ralf and Boge, Toralf and Grunwald, Gerhard and Ziach, Christian and Martelo, Antonio (2015) Feasibility-Study OOS-RAV. DLR-Interner Bericht. DLR-IB-RY-HB-2015-3. Volltext nicht online.

  Malburg, Jan and Finder, Alexander and Fey, Görschwin (2012) Automated feature localization for hardware designs using coverage metrics. The 49th Annual Design Automation Conference 2012, DAC '12, San Francisco, CA, USA. Volltext nicht online.

  Malburg, Jan (2015) Feature Localization and Design Understanding for Hardware Designs. Dissertation, Universtität Bremen. Volltext nicht online.

  Malburg, Jan and Encrenaz-Tiphene, Emmanuelle and Fey, Görschwin (2014) Mutation based Feature Localization. Microprocessor Test and Verification Workshop (MTV), 15.-16. Dez. 2014, Austin, USA. DOI: 10.1109/MTV.2014.14. ISBN 978 1 4673 6858 2. ISSN 1550-4093 Volltext nicht frei. file

  Malburg, Jan and Fey, Görschwin and Krafczyk, N (2014) Automatically connecting hardware blocks via light-weight matching techniques. IEEE Int`l Symposium on Design and Diagnostics of Electronic Circuits and Systems, 23.04.-25.04.2014, Polen. Volltext nicht online.

  Malburg, Jan and Finder, Alexander and Fey, Gorschwin (2013) Tuning Dynamic Data Flow Analysis to Support Design Understanding. Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, Frankreich. Volltext nicht online.

  Malburg, Jan and Finder, Alexander and Fey, Görschwin (2014) A simulation based approach for automated feature localization. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, pp. 1886-1899. ISSN 0278-0070. Volltext nicht online.

  Malburg, Jan and Flenker, Tino and Fey, Görschwin (2016) Generating Good Properties from a Small Number of Use Cases. IEEE International Verification and Security Workshop, 4.-6. Juli 2016, Sant Feliu de Guixols, Spanien. Volltext nicht online.

  Martinez, Jabier and Malburg, Jan and Ziadi, Tewfik and Fey, Görschwin (2015) Towards analysing Feature Locations through Testing Traces with BUT4Reuse. Design Automation for Understanding Hardware Designs (DUHDe), 13. März 2015, Montpellier, Frankreich. Volltext nicht frei.

  Meß, Jan-Gerd and Schmidt, Robert and Fey, Görschwin and Dannemann, Frank (2016) On the Compression of Spacecraft Housekeeping Data using Discrete Cosine Transforms. ESA International Workshop on Tracking, Telemetry and Command Systems for Space Applications, TTC 2016, 13.-16. Sept. 2016, Noordwijk, Niederlande. Volltext nicht online.

  Montenegro, Sergio and Dannemann, Frank (2009) The software architecture for TET and AsteroidFinder satellites. 7th Symposium on Small Satellites for Earth Observation, Mai 04 - 08, 2009, Berlin, Deutschland. file

  Montenegro, Sergio and Dannemann, Frank (2009) Requirements-Driven Design of Small Satellites: TET and AsteroidFinder. 7th Symposium on Small Satellites for Earth Observation, Mai 04 - 08 2009, Berlin. file

  Müller, Sven (2012) Entwicklung eines Rahmenwerks zur Nachrichtenprotokollierung für das eingebettete Echtzeitbetriebssystem RODOS. Diploma, Universität Oldenburg. Volltext nicht frei. file

P

  Pedersen, Jakob Fromm (2016) Power System for the Eu:CROPIS Satellite - Results from Design, Trade-offs, Analysis, Simulation and Testing. European Space Power Conference 2016, 3.-7. Okt. 2016, Griechenland. Volltext nicht frei. file

  Pieper, Pascal (2016) Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash. Bachelor's, Universität Bremen. file

R

  Reinking, Janosch (2015) Design und Entwicklung einer Kameraschnittstelle nach dem Packet Utilization Standard. Bachelor's, Universtität Bremen. Volltext nicht frei. file

  Riener, Heinz and Fey, Görschwin (2012) FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. Springer. Model Checking Software - 19th International Workshop, SPIN , Oxford. ISSN 0302-9743 Volltext nicht online.

  Riener, Heinz and Fey, Görschwin (2012) Model-based diagnosis versus error explanation. ACM/IEEE Int’l Conference on Formal Methods and Models for Codesign (MEMOCODE), Arlington, VA, USA. Volltext nicht online.

  Riener, Heinz and Ehlers, Rüdiger and Fey, Görschwin (2015) Path-Based Program Repair. International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), London, United Kingdom. Volltext nicht online.

  Riener, Heinz and Fey, Görschwin (2016) Exact Diagnosis using boolean Satisfiability. International Conference On Computer Aided Design (ICCAD) 2016, 07.-10. Nov. 2016, Austin, USA. Volltext nicht online.

  Riener, Heinz and Fey, Görschwin (2016) Counterexample-Guided Diagnosis. IEEE International Verification and Security Workshop, 4.-6. Juli 2016, Sant Feliu de Guixols, Spanien. Volltext nicht online.

  Riener, Heinz and Frehse, Stefan and Fey, Görschwin (2013) Improving Fault Tolerance Utilizing Hardware-Software-Co-Synthesis. Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, Frankreich. Volltext nicht online.

  Riener, Heinz and Haedicke, Finn and Frehse, Stefan and Soeken, Mathias and Große, Daniel and Drechsler, Rolf and Fey, Goerschwin (2016) metaSMT: Focus On Your Application And Not On Solver Integration. International Journal on Software Tools for Technology Transfer. DOI: 10.1007/s10009-016-0426-1. ISSN 1433-2779. Volltext nicht online.

  Riener, Heinz and Könighofer, Robert and Fey, Görschwin and Bloem, Roderick (2016) SMT-based CPS Parameter Synthesis. Applied Verification for Continuous and Hybrid Systems (ARCH), 11. April 2016, Wien, Österreich. Volltext nicht online.

  Riener, Heinz and Soeken, M. and Werther, C. and Fey, Görschwin and Drechlser, R. (2014) metaSMT: A unifield interface to SMT-LIB2. Forum on Specification and Design Languages, 14.-16. Okt. 2014, Deutschland (München). Volltext nicht online.

  Riener, Heinz and Thomsen, Michael Kirkedal and Fey, Görschwin (2015) Execution Tracing of C Code for Formal Analysis. In: IEEE European Test Symposium (ETS). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015), 03.-04. März 2015, Chemnitz, Deutschland. Volltext nicht frei.

  Rinaldo, Rhea (2015) Entwicklung und Auswertung der Telemetrie/Telekommando-Schnittstelle einer Logging-Komponente für Satelliten. Bachelor's, Universität Bremen. Volltext nicht frei. file

  Rühenbeck, Tim (2014) Automatische Analyse und Verifikation von AIS-Daten. Bachelor's, Universität Bremen. Volltext nicht online.

S

  Sandi, Habinc and Anandhavel, Sakthivel and Jonas, Ekergarn and Arvid, Björkengren and Richard, Pender and Sven, Landström and Federico, Cordero and Jose, Mendes and Tra-Mi, Ho and Kai, Stohlmann (2013) MASCOT ON-BOARD COMPUTER BASED ON SPACEWIRE LINKS. In: International Spacewire Conference 2013. International Spacewire Conference 2013, 10.-14. Jun. 2013, Göteborg, Schweden. file

  Schiefelbein, Carsten (2014) Entwicklung redundanter MOSFET-Relais zur An- und Abschaltung einzelner Komponenten eines Avioniksystems. Bachelor's, Universität Bremen. Volltext nicht online.

  Schlömer, Jöran (2015) Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen. Bachelor's, Universtität Bremen. Volltext nicht frei. file

  Schulze, Michael (2015) The development of an autonomous data-capture system for use in the service module of the XCOR Lynx suborbital space-plane, in the drop tower, and in other microgravity platforms. Bachelor's, Universtität Bremen. Volltext nicht frei. file

  Schwieger, Felix (2014) DLR School_Lab Bremen - Lageregelungsexperiment "FloatSat": Handbuch für die Bodenstation und den Satelliten. Project Report. (Unpublished) Volltext nicht frei. file

  Steen, Frerk (2014) Fehlertolerante drahtlose Kommunikation an Bord der Gossamer I-Satelliten. Bachelor's, Universität Bremen. Volltext nicht online.

T

  Thielman, Katrin (2015) Hardware-in-the-loop-Testen von Satelliten-on-Board-Komponenten: Design und Implementierung eines Testframeworks. Master's. Volltext nicht frei. file

  Thole, Niels and Anghel, Lorena and Fey, Görschwin (2016) A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. IEEE Annual Symposium on VLSI (ISVLSI), Pittsburgh, USA. Volltext nicht online.

  Thole, Niels and Anghel, Lorena and Fey, Görschwin (2016) A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. In: IEEE European Test Symposium (ETS). IEEE European Test Symposium (ETS), 23.-27. Mai 2016, Amsterdam, Niederlande. DOI: 10.1109/ETS.2016.7519326. ISSN 1558-1780 Volltext nicht frei. file

  Thole, Niels and Anghel, Lorena and Fey, Görschwin (2016) A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. In: IEEE European Test Symposium (ETS). Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 06. März 2016, Siegen, Deutschland. Volltext nicht frei. file

  Thole, Niels and Fey, Görschwin and Garcia-Ortiz, Alberto (2015) Conservatively Analyzing Transient Faults. IEEE Annual Symposium on VLSI (ISVLSI), 2015, Montpellier, France. Volltext nicht online.

  Thole, Niels and Fey, Görschwin and Garcia-Ortiz, Alberto (2015) Analyzing an SET at Gate Level using a Conservative Approach. Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 01.-03. März 2015, Bad Urach, Deutschland. Volltext nicht frei. file

  Thole, Niels and Riener, Heinz and Fey, Görschwin (2015) Equivalence Checking on System Level Using a Priori Knowledge. IEEE Int’l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), Belgrad, Serbien. Volltext nicht online.

  Thole, Niels and Riener, Heinz and Fey, Görschwin (2016) Equivalence Checking on ESL Utilizing A Priori Knowledge. Forum on specification & Design Languages (FDL) 2016, 14.-16. Sept. 2016, Bremen, Deutschland. Volltext nicht online.

  Toth, Norbert and Dannemann, Frank and Sergio, Montenegro and Thomas, Walter and Muhammad, Faisal (2012) Wireless Avionics for a Solar Sailer (GOSSAMER-1). DASIA, 14.-16. Mai 2012, Dubrovnik, Croatien. Volltext nicht online.

  Treudler, Carl Johann and Schröder, Jan-Carsten and Greif, Fabian and Borchers, Kai and Aydos, Gökce and Fey, Görschwin (2014) Scalability of a base level design for an on-board-computer for scientific missions. In: Data Systems in Aerospace (DASIA 2014). Data Systems In Aerospace (DASIA), Polen. Volltext nicht online.

This list was generated on Sat Sep 24 02:10:35 2016 CEST.
Browse
Search
Help & Contact
Informationen
electronic library is running on EPrints 3.3.12
Copyright © 2008-2012 German Aerospace Center (DLR). All rights reserved.