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

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

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

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 Jenihhin, 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 Sunesen, Kim and Wan, Jinbo and Zhao, Yong (2016) Designing Reliable Cyber-Physical Systems. In: Forum on Specification and Design Languages. Forum on specification & Design Languages (FDL) 2016, 14.-16. Sept. 2016, Bremen, Deutschland. ISBN 9791092279177 Volltext nicht frei. file

  Aleksandrowicz, Gadi and Arbel, Eli and Bloem, Roderick and ter Braak, Timon and Devadze, Sergeij and Fey, Görschwin and Jenihhin, Maksim and Jutman, Artur and Kerkhoff, Hans G. and Könighofer, Robert and Koyfman, Shlomit and Malburg, Jan and Moran, Shiri and Raik, Jaan and Rauwerda, Gerard and Riener, Heinz and Röck, Franz and Shibin, Konstantin and Sunesen, Kim and Wan, Jinbo and Zhao, Yong (2017) Designing Reliable Cyber-Physical Systems. In: Forum on Specification and Design Languages, 454, pp. 15-38. Springer International Publishing AG. Lecture Notes in Electrical Engineering book series, Book. DOI: 10.1007/978-3-319-62920-9_2 ISBN 978-3-319-62919-3 ISSN 1876-1100 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: LATS 2016 - 17th IEEE Latin-American Test Symposium, 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 (2017) A High-Level Approach to Analyze the Effects of Soft Errors on Lossless Compression Algorithms. Journal of Electronic Testing, 33 (1), pp. 53-64. Springer. DOI: 10.1007/s10836-016-5637-6 ISSN 0923-8174 Volltext nicht online.

  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 International On-Line Testing Symposium (IOLTS), 04.-06. Juni 2016, Sant Feliu de Guixols, Spanien. DOI: 10.1109/IOLTS.2016.7604656 ISSN 1942-9401 file

  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 International Test Conference (TC), pp. 1-6. IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), 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 (2017) Empirical Results on Parity-based Soft Error Detection with Software-based Retry. Microprocessors and Microsystems, 48, pp. 62-68. Elsevier. DOI: 10.1016/j.micpro.2016.09.009 ISSN 0141-9331 Volltext nicht frei. file

B

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

  Bauer, Waldemar and Rickmers, Peter and Kallenbach, Alexander and Stappert, Sven and Schwarz, René and Sagliano, Marco and Häseker, Janis Sebastian and Flock, Andreas K. and Thiele, Thomas and Bierig, Andreas and Windelberg, Jens and Ksenik, Eugen (2017) Upcoming DLR Reusability Flight Experiment. In: Proceedings of the International Astronautical Congress, IAC. Proceedings of the International Astronautical Congress, IAC, 25-29 September 2017, Adelaide, Australia. filefile

  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.

  Borchers, Kai and Lüdtke, Daniel and Fey, Görschwin and Montenegro, Sergio (2018) Time-Triggered Data Transfers over SpaceWire for Distributed Systems. In: IEEE Aerospace Conference Proceedings. IEEE Aerospace Conference, 03. - 10. Mär, Big Sky, United States of America. Volltext nicht frei. file

  Budroweit, Jan (2016) Software-defined radio with flexible RF front end for satellite maritime radio applications. CEAS Space Journal, 8 (3), pp. 201-213. Springer. DOI: 10.1007/s12567-016-0121-9 ISSN 1868-2502 Volltext nicht online.

  Budroweit, Jan (2018) Design of a highly inte grated and reliable SDR platform for multiple RF applications on spacecrafts. In: GLOBECOM - IEEE Global Telecommunications Conference, pp. 1-6. GLOBECOM 2017 - 2017 IEEE Global Communications Conference, Singapur. DOI: 10.1109/GLOCOM.2017.8255087 ISBN 9781509050192 file

  Budroweit, Jan and Drobczyk, Martin (2018) Design of a small size, low profile L-band antenna, optimized for space-based ADS-B signal reception. International Conference on Radar 2018, Brisbane, Australien. file

  Budroweit, Jan and Drobczyk, Martin (2019) Dynamic space link design and verification of the spinning spacecraft mission Eu:CROPIS. In: 2019 IEEE Topical Workshop on Internet of Space, TWIOS 2019. IEEE Radio & Wireless Week 2019, 20.-23. Jan. 2019, Orlando, USA. ISBN 978-153865962-5 Volltext nicht online.

  Budroweit, Jan and Jaksch, Mattis and Delovski, Toni (2019) Design of a multi-channel ADS-B receiver for small satellite-based aircraft surveillance. IEEE Radio & Wireless Week 2019, 20.-23. Jan. 2019, Orlando, USA. (In Press) Volltext nicht online.

  Budroweit, Jan and Jaksch, Mattis and Sznajder, Maciej (2019) Proton Induced Single Event Effect Characterization on a Highly Integrated RF-Transceiver. Electronics. Multidisciplinary Digital Publishing Institute (MDPI). DOI: 10.3390/electronics8050519 ISSN 2079-9292 file

  Budroweit, Jan and Kölpin, Alexander (2018) Design challenges of a highly integrated SDR platform for multiband spacecraft applications in radiation environments. In: Proceedings 2018 Topical Workshop on Internet of Space, TWIOS 2018. IEEE Radio & Wireless Week 2018, Anaheim, USA. ISBN 978-153861293-4 file

  Budroweit, Jan and Stehle, Ferdinand and Willuweit, Christopher and Wübben, Dirk (2019) Implementation of a HDL-coder based telecommand receiver for microsatellite communication. In: IEEE Global Conference on Signal and Information Processing. IEEE Global Conference on Signal and Information Processing, 26.-29. Nov. 2019, Anaheim, USA. file

  Budroweit, Jan and Sznajder, Maciej (2018) Total Ionizing Dose Effects on a Highly Integrated RF Transceiver for Small Satellite Radio Applications in Low Earth Orbit. In: Proceedings of the International Symposium on the Physical and Failure Analysis of Integrated Circuits, IPFA. IEEE. International Symposium on the Physical and Failure Analysis of Integrated Circuits (IPFA), 16-19 July 2018, Singapore. DOI: 10.1109/IPFA.2018.8452610 ISSN 1946-1550 file

  Budroweit, Jan and Sznajder, Maciej (2018) Total Ionizing Dose Effects on a Highly Integrated RF Transceiver for Small Satellite Radio Applications in Low Earth Orbit. 2018 IEEE International Symposium on the Physical and Failure Analysis of Integrated Circuits (IPFA), 16-19. Juli 2018, Singapur. DOI: 10.1109/IPFA.2018.8452610 ISBN 978-1-5386-4929-9 file

C

  Cantoro, Riccardo and Carbonara, Sara and Florida, Andrea and Sanchez, Ernesto and Sonza Reorda, Matteo and Meß, Jan-Gerd (2019) Improved Test Solutions for COTS-Based Systems in Space Applications. In: IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip 2018 IFIP Advances in Information and Communication Technology (561). Springer International Publishing. pp. 187-206. ISBN 978-3-030-23424-9. Volltext nicht frei. file

  Cantoro, Riccardo and Carbonara, Sara and Floridia, Andrea and Sanchez, Edgar Ernesto and Sonza Reorda, Matteo and Meß, Jan-Gerd (2019) An analysis of test solutions for COTS-based systems in space applications. In: 26th IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, pp. 59-64. IEEE Computer Society. International Conference on Very Large Scale Integration, 08.-10. Okt 2018, Verona, Italien. ISBN 978-153864756-1 ISSN 2324-8432 Volltext nicht frei. file

  Carbonara, Sara and Firrincieli, Andrea and Sonza Reorda, Matteo and Meß, Jan-Gerd (2018) On the test of a COTS-based system for space applications. In: 24th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2018, pp. 47-48. IEEE. IEEE International On-Line Testing Symposium (IOLTS), 2.-4. Jul. 2018, Platja D'Aro, Spain, Spain. DOI: 10.1109/IOLTS.2018.8474085 ISBN 978-153865992-2 Volltext nicht frei. file

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

  Dannemann, Frank and Jetzschmann, Michael and Lange, Caroline (2018) Enabling Technologies and Processes for Space Missions - the S2TEP Platform. In: Proceedings of the International Astronautical Congress, IAC. IAC 2018, Bremen, Germany. 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 (ETS), 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. DOI: 10.1109/DSD.2012.91 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 variations. IEEE Design and Test, 30 (6), pp. 60-69. IEEE - Institute of Electrical and Electronics Engineers. DOI: 10.1109/MDAT.2013.2266393 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. Elsevier. DOI: 10.1016/j.micpro.2015.03.003 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. Elsevier. DOI: 10.1016/j.micpro.2012.09.004 ISSN 0141-9331 Volltext nicht online.

  Drobczyk, Martin and Bassam, Muhammad and Lange, Alexander-Thomas and Strenge, Joachim (2012) Design and Implementation of a TM/TC Software System of the Nano Satellite AISat/Clavis‐1. Small Satellites Systems and Services - The 4S Symposium 2012, 4.-8. Jun. 2012, Portorož, Slovenia. Volltext nicht online.

  Drobczyk, Martin and Budroweit, Jan (2017) Antenna subsystem far-field characterization of the spin-stabilized satellite Eu:CROPIS. In: 2017 IEEE International Conference on Communications, ICC 2017. IEEE International Conference on Communications (ICC), Paris. ISBN 978-1-4673-8999-0 ISSN 1550-3607 file

  Drobczyk, Martin and Budroweit, Jan (2017) Antenna subsystem far-field characterization of the spin-stabilized satellite Eu:CROPIS. In: 2017 IEEE International Conference on Communications, ICC 2017. IEEE International Conference on Communications, 21. - 25. Mai 2017, Paris, Frankreich. DOI: 10.1109/ICC.2017.7996649 ISBN 978-1-4673-8999-0 ISSN 1550-3607 Volltext nicht online.

  Drobczyk, Martin and Lehmann, Marcus and Strowik, Christian (2017) EMC characterization of the UWB-based wireless positioning and communication experiment (wireless Compose) for the ISS. In: 2017 IEEE International Conference on Wireless for Space and Extreme Environments, WiSEE 2017. IEEE International Conference on Wireless for Space and Extreme Environments, 10. -12. Okt. 2017, Montreal, Kanada. DOI: 10.1109/WiSEE.2017.8124893 ISBN 978-1-5386-3318-2 ISSN 2380-7636 Volltext nicht online.

  Drobczyk, Martin and Lübken, Andre (2018) Novel wireless protocol architecture for intra-spacecraft wireless sensor networks (inspaWSN). In: 2018 IEEE International Conference on Wireless for Space and Extreme Environments, WiSEE 2018. 2018 6th IEEE International Conference on Wireless for Space and Extreme Environments (WiSEE), 13.-15. Dez. 2018, Huntsville, USA. Volltext nicht online.

  Drobczyk, Martin and Martens, Hauke (2016) A study on low-latency wireless sensing in timecritical satellite applications. In: Proceedings of IEEE Sensors, pp. 1-3. IEEE. IEEE Sensors 2016, 30. Okt - 2. Nov 2016, Orlando, USA. DOI: 10.1109/ICSENS.2016.7808889 ISBN 978-1-4799-8287-5 Volltext nicht frei. file

  Drobczyk, Martin and Martens, Hauke (2016) Deployment of a Wireless Sensor Network in Assembly, Integration and Test Activities. In: Proceedings - WiSEE 2016: 2016 IEEE International Conference on Wireless for Space and Extreme Environments. Wireless for Space and Extreme Environments 2016 IEEE International Conference, 26.-29. Sep 2016, Aachen, Deutschland. ISBN 978-150902609-8 Volltext nicht online.

  Drobczyk, Martin and Philpot, Claudia and Strowik, Christian (2017) A wireless communication and positioning experiment for the ISS based on IR-UWB. In: 2017 IEEE Wireless Communications and Networking Conference Workshops, WCNCW 2017. IEEE. IEEE Wireless Communications and Networking Conference, 19.-22. Mär 2017, San Francisco. DOI: 10.1109/WCNC.2017.7925487 ISSN 1525-3511 file

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. 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, 33 (4), pp. 643-647. IEEE - Institute of Electrical and Electronics Engineers. DOI: 10.1109/TCAD.2013.2292501 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.

  Fischer, Philipp M. and Lüdtke, Daniel and Lange, Caroline and Roshani, Frank-Cyrus and Dannemann, Frank and Gerndt, Andreas (2017) Implementing model-based system engineering for the whole lifecycle of a spacecraft. CEAS Space Journal, 9 (3), pp. 351-365. Springer. DOI: 10.1007/s12567-017-0166-4 ISSN 1868-2502 file

  Fischer, Philipp M. and Lüdtke, Daniel and Lange, Caroline and Roshani, Frank-Cyrus and Dannemann, Frank and Gerndt, Andreas (2016) Implementing Model Based System Engineering for the Whole Lifecycle of a Spacecraft. In: Deutscher Luft- und Raumfahrtkongress 2016. Deutsche Luft- und Raumfahrtkongress (DLRK) 2016, 13.-15. Sep. 2016, Braunschweig, Deutschland. file

  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 Malburg, Jan and Fey, Görschwin and Avramenko, Serhiy and Violante, Massimo and Sonza Reorda, Matteo (2017) Towards Making Fault Injection on Abstract Models a More Accurate Tool for Predicting RT-Level Effects. In: Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI, pp. 533-538. 2017 IEEE Computer Society Annual Symposium on VLSI, 3.-5. Juli 2017, Bochum, Deutschland. DOI: 10.1109/ISVLSI.2017.99 ISBN 978-1-5090-6762-6 ISSN 2159-3477 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.

  Ghasempouri, Tara and Malburg, Jan and Danese, Alessandro and Pravadelli, Graziano and Fey, Görschwin and Raik, Jaan (2019) Engineering of an Effective Automatic Assertion-based Verification Platform. In: 6th Workshop on Design Automation for Understanding Hardware Designs, pp. 557-562. 6th Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2019), 29. March 2019, Florence, Italy. 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. European Association of Software Science and Technology. 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, J. and Boden, Ralf and Ceriotti, Matteo and Cordero, Federico and Dachwald, Bernd and Dumont, Etienne and Grimm, Christian and Hercik, David and Ho, Tra-Mi and Jahnke, Rico and Koch, Aaron and Koncz, Alexander and Krause, C. and Lange, Caroline and Lichtenheldt, Roy and Maiwald, Volker and Mikschl, Tobias and Mikulz, Eugen and Montenegro, Sergio and Pelivan, Ivanka and Peloni, Alessandro and Quantius, Dominik and Reershemius, Siebo and Renger, Thomas and Riemann, Johannes and Ruffer, Michael and Sasaki, Kaname and Schmitz, Nicole and Seboldt, W. and Seefeldt, Patric and Spietz, Peter and Spröwitz, Tom and Sznajder, Maciej and Tardivel, Simon and Toth, Norbert and Wejmo, Elisabet and Wolff, Friederike and Ziach, C. (2018) Capabilities of GOSSAMER-1 derived Small Spacecraft Solar Sails carrying MASCOT-derived Nanolanders for In-Situ Surveying of NEAs. Acta Astronautica. Elsevier. DOI: 10.1016/j.actaastro.2018.03.019 ISSN 0094-5765 file

  Grundmann, Jan Thimo and Bauer, Waldemar and Biele, Jens and Boden, Ralf and Borchers, Kai and Ceriotti, Matteo and Cordero, Federico and Dachwald, Bernd and Dumont, Etienne and Grimm, Christian and Hercik, David and Ho, Tra-Mi and Jahnke, Rico and Koch, Aaron and Koncz, Alexander and Krause, Christian and Lange, Caroline and Lichtenheldt, Roy and Maiwald, Volker and Mikschl, Tobias and Mikulz, Eugen and Montenegro, Sergio and Pelivan, Ivanka and Peloni, Alessandro and Quantius, Dominik and Reershemius, Siebo and Renger, Thomas and Riemann, Johannes and Ruffer, Michael and Sasaki, Kaname and Schmitz, Nicole and Seboldt, Wolfgang and Seefeldt, Patric and Spietz, Peter and Spröwitz, Tom and Sznajder, Maciej and Tardivel, Simon and Toth, Norbert and Wejmo, Elisabet and Wolff, Friederike and Ziach, Christian (2018) Small Spacecraft Solar Sailing for Small Solar System Body Multiple Rendezvous and Landing. 2018 IEEE Arospace Conference, 3.-10. Mär. 2018, Big Sky, Montana, USA. file

  Grundmann, Jan Thimo and Bauer, Waldemar and Biele, Jens and Boden, Ralf and Ceriotti, Matteo and Cordero, Federico and Dachwald, Bernd and Dumont, Etienne and Grimm, Christian and Hercik, David and Herique, Alain and Ho, Tra-Mi and Jahnke, Rico and Koch, Aaron and Kofman, Wlodek and Koncz, Alexander and Krause, Christian and Lange, Caroline and Lichtenheldt, Roy and Maiwald, Volker and Mikschl, Tobias and Mikulz, Eugen and Montenegro, Sergio and Pelivan, Ivanka and Peloni, Alessandro and Plettemeier, Dirk and Quantius, Dominik and Reershemius, Siebo and Renger, Thomas and Riemann, Johannes and Ruffer, Michael and Sasaki, Kaname and Schmitz, Nicole and Seboldt, Wolfgang and Seefeldt, Patric and Spietz, Peter and Spröwitz, Tom and Sznajder, Maciej and Tardivel, Simon and Toth, Norbert and Wejmo, Elisabet and Wolff, Friederike and Ziach, Christian (2018) Efficient Massively Parallel Prospection for ISRU by Multiple Near-Earth Asteroid Rendezvous using Near-Term Solar Sails and 'Now-Term' Small Spacecraft Solutions. In: Asteroid Science Intersections with In-Space Mine Engineering – Abstracts. 2nd Asteroid Science Intersections with In-Space Mine Engineering – ASIME 2018, 16.-17. Apr. 2018, Belval, Luxembourg. 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

  Grundmann, Jan Thimo and Biele, Jens and Dachwald, Bernd and Grimm, Christian and Lange, Caroline and Meß, Jan-Gerd and Seefeldt, Patric and Spietz, Peter and Spröwitz, Tom and Ulamec, Stephan (2017) Small Spacecraft in Small Solar System Body Applications. In: IEEE Aerospace Conference Proceedings. 2017 IEEE Aerospace Conference, 4.-11. Mär. 2017, Big Sky, Montana, USA. DOI: 10.1109/AERO.2017.7943626 ISBN 9781509016136 filefile

  Grundmann, Jan Thimo and Biele, Jens and Dachwald, Bernd and Grimm, Christian and Lange, Caroline and Ulamec, Stephan and Ziach, Christian and Spröwitz, Tom and Ruffer, Michael and Seefeldt, Patric and Spietz, Peter and Toth, Norbert and Kawaguchi, J. and Mori, O. and Rittweger, Andreas and Bibring, Jean-Pierre and Braukhane, Andy and Boden, Ralf and Chujo, Toshihiro and Dumont, Etienne and Jahnke, Stephan Siegfried and Jetzschmann, Michael and Kato, H and Krüger, Hans and Lange, Michael and Martelo Gomez, Antonio and Massonett, Didier and Mimasu, Yuya and Okada, T. and Sagliano, Marco and Sasaki, Kaname and Schröder, Silvio and Sippel, Martin and Skoczylas, Thomas and Wejmo, Elisabet (2017) Small Landers and Separable Sub-Spacecraft for Near-term Solar Sails. The Fourth International Symposium on Solar Sailing 2017, 17.-20. Jan. 2017, Kyoto, Japan. filefilefile

  Gärtner, Thomas and Treudler, Carl Johann and Dannemann, Frank and Jetzschmann, Michael (2017) Scalable Avionics for the DLR Micro- and Minisatellite Platforms S2TEP and COMPSAT. DASIA – Data Systems In Aerospace, 30. Mai - 1. Juni 2017, Göteborg, Schweden. Volltext nicht frei. file

  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 Fey, Görschwin (2013) Analyse dynamischer Abhängigkeitsgraphen zum Debugging von Hardwaredesigns. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE), Dresden. Volltext nicht online.

  Jetzschmann, Michael and Dannemann, Frank and Lange, Caroline and Gärtner, Thomas (2017) Scalability and Modularity as Dimensions of Flexibility of a Microsatellite Platform. In: Proceedings of the International Astronautical Congress, IAC. 68th International Astronautical Congress (IAC), 25.-29. Sep. 2017, Adelaide, Australien. Volltext nicht frei. file

K

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

  Kottmeier, Sebastian and Hobbie, Catherin Fiona and Orlowski-Feldhusen, Fabian and Nohka, Falk and Delovski, Toni and Morfill, Gary and Grillmayer, Lukas and Philpot, Claudia and Müller, Hartmut (2018) The Eu:Cropis Assembly, Integration and Verification Campaigns: Building the first DLR Compact Satellite. In: 69th International Astronautical Congress 2018. International Astronautical Congress IAC 2018, 1.-5. Oct. 2018, Bremen, Germany. 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. DOI: 10.1109/VLSI-SoC.2016.7753559 ISBN 978-150903561-8 Volltext nicht frei. file

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

L

  Lange, Alexander-Thomas (2012) Entwurf und Implementierung von Softwarekomponenten für ein multi-missionsfähiges, verteiltes Bodensegment zur Datenvermittlung zwischen Boden- und Raumsegment und zur Kontrolle und Überwachung des Raumsegmentes. Bachelor's, Universität Bremen. Volltext nicht frei. file

  Lange, Alexander-Thomas (2015) Konzeptentwurf einer ereignisbasierten Steuerung für Raumfahrzeuge. Master's, Universität Bremen. Volltext nicht online.

  Lange, Alexander-Thomas and Drobczyk, Martin and Nohka, Falk (2013) A distributed and multi-mission capable ground segment software solution operating the nano satellite AISat. 9th IAA Symposium on Small Satellites for Earth Observation, 08.-12. Apr. 2013, Berlin, Deutschland. Volltext nicht online.

  Lange, Caroline and Witte, Lars and Rosta, Roland and Toth, Norbert and Tsakyridis, Georgios and Jahnke, Stephan Siegfried and Kleinermann, Patrick and Wedler, Armin and Lehner, Peter and Gmeiner, Heinrich and Heffels, Alexandra and Sohl, Frank and Knapmeyer, Martin and Wilde, Martina and Völk, Stefan and Kimpe, Andreas (2017) First Results from the ROBEX Demonstration Mission on Mt. Etna: A modular lunar architecture deployed to perform seismic experiments on a volcano as terrestrial validation of a lunar mission scenario. 68th Astronautical Congress (IAC), Adelaide, Australia. Volltext nicht online.

  Lehmann, Marcus (2017) Entwicklung und EMV-Charakterisierung eines Funkmodul Prototypen für Raumfahrtanwendungen. Diploma. Volltext nicht frei. file

  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. In: 2012 49th ACM/EDAC/IEEE Design Automation Conference (DAC), pp. 941-946. Design Automation conference (DAC), San Francisco, CA, USA. ISBN 9781450311991 ISSN 0738-100X 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. In: Proceedings - International Workshop on Microprocessor Test and Verification, pp. 49-54. 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 Encrenaz-Tiphene, Emmanuelle and Fey, Görschwin (2014) Mutation based Feature Localization. Design Automation for Understanding Hardware Designs (DUHDe), 28. März 2014, Dresden, Deutschland. file

  Malburg, Jan and Fey, Görschwin and Krafczyk, Nikls (2014) Automatically connecting hardware blocks via light-weight matching techniques. In: Proceedings of the 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE Int`l Symposium on Design and Diagnostics of Electronic Circuits and Systems, 23.04.-25.04.2014, Polen. ISBN 9781479945580 ISSN 2334-3133 Volltext nicht online.

  Malburg, Jan and Finder, Alexander and Fey, Gorschwin (2013) Tuning Dynamic Data Flow Analysis to Support Design Understanding. In: Proceedings - Design, Automation and Test in Europe Conference and Exhibition, pp. 1179-1184. 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, 33 (12), pp. 1886-1899. IEEE - Institute of Electrical and Electronics Engineers. DOI: 10.1109/TCAD.2014.2360462 ISSN 0278-0070 Volltext nicht online.

  Malburg, Jan and Finder, Alexander and Fey, Görschwin (2016) Debugging Hardware Designs using Dynamic Dependency Graphs. Microprocessors and Microsystems, 47, pp. 347-359. Elsevier. DOI: 10.1016/j.micpro.2016.10.004 ISSN 0141-9331 Volltext nicht frei. file

  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.

  Malburg, Jan and Flenker, Tino and Fey, Görschwin (2017) Property Mining using Dynamic Dependency Graphs. In: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC. 22nd Asia and South Pacific Design Automation Conference, 16.-19. Januar 2017, Chiba/Tokyo, Japan. ISBN 9781509015597 Volltext nicht frei. file

  Malburg, Jan and Riener, Heinz and Fey, Görschwin (2017) Mining Latency Guarantees for RT-level Designs. 4th Workshop on Design Automation for Understanding Hardware Designs, 31. März 2017, Lausanne, Schweiz. Volltext nicht frei. file

  Malburg, Jan and Riener, Heinz and Fey, Görschwin (2018) Mining Latency Guarantees for RTL Designs. In: Proceedings of The International Symposium on Multiple-Valued Logic, pp. 68-73. IEEE. IEEE International Symposium on Multiple-Valued Logic, 16.-18. Mai 2018, Linz, Österreich. DOI: 10.1109/ISMVL.2018.00020 ISBN 978-1-5386-4464-5 ISSN 2378-2226 Volltext nicht frei. file

  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, Grenoble, Frankreich. Volltext nicht online.

  Meß, Jan-Gerd and Fey, Görschwin and Schmidt, Robert (2017) Adaptive Compression Schemes for Housekeeping Data. In: IEEE Aerospace Conference Proceedings, pp. 1-12. IEEE. IEEE Aerospace Conference 2017, 05.-12. Mär. 2017, Big Sky, USA. DOI: 10.1109/AERO.2017.7943580 ISBN 978-1-5090-1613-6 Volltext nicht frei. file

  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. ISBN 978-9-0815-8398-5 Volltext nicht frei. file

  Meß, Jan-Gerd and Sonza Reorda, Matteo and Violante, Massimo and Dannemann, Frank and Hanson, Berenike and Söderholm, Stefan and Karlsson, Niklas and Kuremyr, Tobias and Albert, Yann and Spiecker, Joachim (2018) Massively Extended Modular Monitoring and a Second Life for Upper Stages. In: Proceedings of the International Astronautical Congress, IAC. International Astronautical Congress 2018, 01.-05.10.2018, Bremen, Deutschland. file

  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

O

  Ofenloch, Annika (2017) Entwurf und Erstellung einer verteilten ereignisorientierten Simulationsumgebung fuer automatisiertes Testen von Systemen am Beispiel des Eu:CROPIS-Satelliten. Master's, University of Bremen. Volltext nicht frei. file

  Ofenloch, Annika and Greif, Fabian (2017) Design and Implementation of an Event-oriented Simulation in a Distributed System for Automated Testing of On-board Software. In: SESP 2017 - Proceedings of ESA Workshop on Simulation and EGSE for Space Programmes. Workshop on Simulation and EGSE for Space Programmes (SESP) 2017, 28-30. Mrz. 2017, Noordwijk, Niederlande. file

  Ofenloch, Annika and Greif, Fabian (2018) A Flexible Distributed Simulation Environment for Cyber-Physical Systems Using ZeroMQ. Journal of Communications. Engineering and Technology Publishing. DOI: 10.12720/jcm.13.6.333-337 ISSN 1796-2021 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

  Peng, Ting and Weps, Benjamin and Höflinger, Kilian and Borchers, Kai and Lüdtke, Daniel and Gerndt, Andreas (2016) A New SpaceWire Protocol for Reconfigurable Distributed On-Board Computers. In: Proceedings of the 2016 7th International SpaceWire Conference, SpaceWire 2016, pp. 175-182. International SpaceWire Conference 2016, 25.-27. Okt. 2016, Yokohama, Japan. DOI: https://doi.org/10.1109/SpaceWire.2016.7771624 ISBN 978-0-9557-1968-4 file

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

R

  Ray, Sandip and Harris, Ian and Fey, Görschwin 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. DOI: 10.1145/2966986.2980093 ISBN 978-145034466-1 ISSN 10923152 Volltext nicht online.

  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. International Workshop on Model Checking Software (SPIN), Oxford. DOI: 10.1007/978-3-642-31759-0_17 ISSN 0302-9743 Volltext nicht online.

  Riener, Heinz and Fey, Görschwin (2012) Model-based diagnosis versus error explanation. ACM/IEEE International 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 Ehlers, Rüdiger and Fey, Görschwin (2017) CEGAR-based EF Synthesis of Boolean Functions with an Application to Circuit Rectification. In: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC. 22nd Asia and South Pacific Design Automation Conference, 16.-19. Januar 2017, Chiba/Tokyo, Japan. Volltext nicht frei. file

  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. DOI: 10.1145/2966986.2967036 ISBN 978-145034466-1 Volltext nicht frei. file

  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. DOI: 10.1109/IVSW.2016.7566605 ISBN 978-150901141-4 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. Springer. 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. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2015), 03.-04. März 2015, Chemnitz, Deutschland. Volltext nicht online.

  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

  Rinaldo, Rhea (2018) Secure Satellite Communication using the Space Data Link. Master'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.

  Schlemm, Philipp (2018) Entwicklung einer UVM-Testbench für SpaceWire IP-Cores. Master's, Hochschule Bremen. file

  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

  Spröwitz, Tom and Grundmann, Jan Thimo and Haack, Frederik and Hillebrandt, Martin and Martens, Hauke and Meyer, Sebastian and Reershemius, Siebo and Reininghaus, Nies and Sasaki, Kaname and Seefeldt, Patric and Sergeev, Oleg and Spietz, Peter and Sznajder, Maciej and Toth, Norbert and Vehse, Martin and Wippermann, Torben and Zander, Martin E. (2019) GoSolAr – A Gossamer Solar Array Concept for High Power Spacecraft Applications using flexible Photovoltaics. In: IEEE aerospace. IEEE Aerospace Conference, 03.-08. März 2019, Big Sky, USA. Volltext nicht online.

  Spröwitz, Tom and Grundmann, Jan Thimo and Haack, Frederik and Hillebrandt, Martin and Martens, Hauke and Meyer, Sebastian and Reershemius, Siebo and Reininghaus, Nies and Sasaki, Kaname and Seefeldt, Patric and Sergeev, Oleg and Spietz, Peter and Sznajder, Maciej and Toth, Norbert and Vehse, Martin and Wippermann, Torben and Zander, Martin E. (2018) GoSolAr DLRs Gossamer Solar Array Conceptual Demonstrator. In: 3rd International Conference on Advanced Lightweight Structures and Reflector Antennas. 3rd International Conference on Advanced Lightweight Structures and Reflector Antennas, 19.-21.09.2018, Tbilisi. file

  Spröwitz, Tom and Grundmann, Jan-Thimo and Seefeldt, Patric and Spietz, Peter and Hillebrandt, Martin and Jahnke, Rico and Mikulz, Eugen and Renger, Thomas and Reershemius, Siebo and Sasaki, Kaname and Sznajder, Maciej and Toth, Norbert (2019) Membrane Deployment Technology Development at DLR for Solar Sails and Large-Scale Photovoltaics. In: IEEE Aerospace Conference Proceedings. IEEE Aerospace Conference, 03.-08. März 2019, Big Sky, USA. Volltext nicht online.

  Spröwitz, Tom and Seefeldt, Patric and Grundmann, Jan Thimo and Spietz, Peter and Toth, Norbert and Hillebrandt, Martin and Straubel, Marco and Zander, Martin E. (2017) Design of the Gossamer-1 Deployment Demonstrator. In: Proceedings of The Fourth International Symposium on Solar Sailing. The Fourth International Symposium on Solar Sailing, 17-20 January 2017, Kyoto, Japan. file

  Spröwitz, Tom and Seefeldt, Patric and Toth, Norbert and Wippermann, Torben and Sznajder, Maciej and Spietz, Peter and Hillebrandt, Martin and Meyer, Sebastian and Zander, Martin E. and Grundmann, Jan Thimo and Reershemius, Siebo and Sasaki, Kaname and Sergeev, Oleg and Vehse, Martin and Reininghaus, Nies and Haack, Frederik and Martens, Hauke (2018) GOSOLAR A GOSSAMER SOLAR ARRAY CONCEPT FOR HIGH POWER SPACECRAFT APPLICATIONS USING FLEXIBLE THIN-FILM PHOTOVOLTAICS. In: Proceedings of the International Astronautical Congress, IAC. 69th International Astronautical Congress, 01.-05. Okt. 2018, Bremen. Volltext nicht online.

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

  Strenge, Joachim (2012) Development of the Mission Operations Plan of the Nanosatellite ’AISat’ (CLAVIS-1). Bachelor's, University of Applied Sciences, Bremen. Volltext nicht frei. file

  Struck, Malte Christian (2018) Ein Service-Discovery-Protokoll für Netze heterogener Sensoreinheiten. Master's, DLR Institut für Raumfahrtsysteme. file

  Suhr, Birgit and Heidecker, Ansgar and Jetzschmann, Michael (2015) AISat-1: Analysis Results. Deutscher Luft- und Raumfahrtkongress (DLRK) der DGLR, 22. - 24. Sept. 2015, Rostock. 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. In: Proceedings of the European Test Workshop, pp. 278-283. IEEE Annual Symposium on VLSI (ISVLSI), Pittsburgh, USA. DOI: 10.1109/ISVLSI.2016.106 ISBN 978-146739038-5 ISSN 21593469 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 ISBN 978-146739659-2 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. International Symposium on Design and Diagnostics of Eletronic Circuits & 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. DOI: 10.1109/FDL.2016.7880367 ISBN 979-109227917-7 ISSN 16369874 Volltext nicht frei. file

  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. file

  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.

  Tsakyridis, Georgios and Lange, Caroline and Jahnke, Stephan Siegfried and Witte, Lars and Toth, Norbert and Scharringhausen, Marco and Xiros, Nikolaos (2018) Power system analysis and optimization of a modular experiment Carrier during an analog lunar demo mission on a volcanic environment. Acta Astronautica, pp. 200-210. Elsevier. DOI: 10.1016/j.actaastro.2018.11.034 ISSN 0094-5765 Volltext nicht online.

This list was generated on Fri Jul 19 20:42:52 2019 CEST.
Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.