Items where Subject is "Institute of Systems Engineering for Future Mobility > System Evolution and Operation"

Institutes and Facilities (150636)
- Institute of Systems Engineering for Future Mobility (408)
  - System Evolution and Operation (96)

Number of items at this level: 96.

Fränzle, Martin and Niehaus, Jürgen and Westphal, Bernd, eds. (2025) Engineering Safe and Trustworthy Cyber-Physical Systems. Lecture Notes in Computer Science (15471). Springer. doi: 10.1007/978-3-031-97537-0. ISBN 978-3-031-97537-0. Volltext nicht online.

Austel, Anna and Hake, Georg and Wetzig, Nina (2026) A Visual Formalism for the Specification of Maritime Traffic Scenarios. In: 32nd International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2026, 16497, pp. 75-90. Springer. Requirements Engineering: Foundation for Software Quality (REFSQ) 2026, 2026-03-23 - 2026-03-26, Poznań, Poland. doi: 10.1007/978-3-032-21423-2_6. ISBN 978-303221422-5. ISSN 0302-9743. Volltext nicht frei.

Austel, Anna and Panneke, Lukas and Piotrowski, Janusz Andrzej and Wetzig, Nina and Steidel, Matthias and Westphal, Bernd (2025) Using Monitoring of Maritime Traffic Scenarios in the Validation of Maritime Systems. In: 2025 Symposium on Maritime Informatics and Robotics, MARIS 2025. 2025 Symposium on Maritime Informatics and Robotics (MARIS), 2025-06-26 - 2025-06-27, Ermoupolis, Griechenland. doi: 10.1109/MARIS64137.2025.11139541. ISBN 9798331513108. Volltext nicht frei.

Austel, Anna and Wetzig, Nina and Westphal, Bernd (2026) Formal specification of COLREG steering and sailing rules. In: Singapore Maritime Research Conference x MTEC/ICMASS Conference 2026 22/04/2026 - 23/04/2026 Singapore, Singapore, 3299 (1), 012013. IOP Publishing. SMRC x MTEC/ICMASS Conference 2026, 2026-04-22 - 2026-04-23, Singapur. doi: 10.1088/1742-6596/3299/1/012013. ISSN 1742-6596. Volltext nicht frei.

Austel, Anna and Wetzig, Nina and Westphal, Bernd (2026) Formal specification of COLREG steering and sailing rules - Extended Abstract. In: SMRC x MTEC/ICMASS Conference Proceedings 2026, p. 102. SMRC x MTEC/ICMASS 2026, 2026-04-22 - 2026-04-23, Singapore. doi: 10.5281/zenodo.20286746. Volltext nicht frei.

Bogner, Mirjam and Steidel, Matthias and Austel, Anna (2025) Leveraging Maritime Automation for Efficient and Sustainable Port Maintenance. In: Journal of Physics: Conference Series, 1 (3123). IOPScience. International Conference on Maritime Autonomous Surface Ships 2025, 2025-10-08 - 2025-10-09, Hamburg. doi: 10.1088/1742-6596/3123/1/012033. ISSN 1742-6588.

Bruns, Friederike and Glaser, Glaser and Kogler, Florian and Lienke, Jonas and Ravani Nanjundaswamy, Nithin and Nitsche, Gregor and R. Perjikolaei, Behnam and Walter, Jörg (2025) Trust is Good, Monitoring is Better: FPGA- & TEE-Based Monitoring for Malware Detection. In: 13th IMA International Conference on Modelling in Industrial Maintenance and Reliability MIMAR2025. 13th IMA International Conference on Modelling in Industrial Maintenance and Reliability MIMAR2025, 2025-07-08 - 2025-07-10, Université de Lorraine, France. doi: 10.19124/ima.2025.01.25.

Cantin, Antoine and Le Nours, Sebastien and Pillement, Sebastien and Helms, Domenik and Grüttner, Kim and Stemmer, Ralf (2025) Timing Prediction of Deep Neural Networks on Multi-Core Platforms with Memory Hierarchy Effects. In: Colloque 2025 du GDR SOC². Colloque 2025 du GDR SOC² – System-On-Chip, Systèmes embarqués, et Objets Connectés, 2025-06-11 - 2025-06-13, Lorient, Frankreich. Volltext nicht frei.

Cordes, Jan and Joy, Joyson (2025) Smart Gravel or Smart Wireless Sensors in Rail: A Comprehensive Review. In: Proceedings of the 35th European Safety and Reliability Conference (ESREL2025) and the 33rd Society for Risk Analysis Europe Conference (SRA-E 2025). Research Publishing, Singapore. ESREL-SRA-E 2025, 2025-06-15 - 2025-06-19, Stavanger, Norway. doi: 10.3850/978-981-94-3281-3_esrel-sra-e2025-p2159-cd. Volltext nicht online.

Dariol, Quentin (2024) Energy Optimization of Neural Networks on Edge Multi-Core Platforms. [Other]

Dariol, Quentin (2023) Early Timing and Energy Prediction and Optimization of Artificial Neural Networks on Multi-Core Platforms. Dissertation, Nantes Université. doi: 10.5281/zenodo.11207819.

Dariol, Quentin and Helms, Domenik (2024) Low Power and High-Throughput LUT-based Accelerator Architecture for Distributed CNN Inference at the Edge. GDR SoC2 Symposium 2024, 2024-06-10 - 2024-06-12, Toulouse, France. doi: 10.5281/zenodo.11924255.

Dariol, Quentin and Le Nours, Sebastien and Helms, Domenik and Stemmer, Ralf and Pillement, Sebastien and Grüttner, Kim (2023) Fast Yet Accurate Timing and Power Prediction of Artificial Neural Networks Deployed on Clock-Gated Multi-Core Platforms. In: Workshop on System Engineering for Constrained Embedded Systems - Drone Systems Engineering and Rapid Simulation and Performance Evaluation: Methods and Tools, DroneSE and RAPIDO 2023 - Presented at HiPEAC 2023 Conference, pp. 1-8. Association for Computing Machinery (ACM). RAPIDO'23: Rapid Simulation and Performance Evaluation for Design Optimization: Methods and Tools, 2023-01-16 - 2023-01-18, Toulouse, France. doi: 10.1145/3579170.3579263. ISBN 979-8-4007-0045-3.

Dariol, Quentin and Le Nours, Sebastien and Pillement, Sebastien and Grüttner, Kim and Helms, Domenik and Stemmer, Ralf (2022) Setup of an Experimental Framework for Performance Modeling and Prediction of Embedded Multicore AI Architectures. Project Report. Other. Nantes Université. 19 S. doi: 10.5281/zenodo.11208743.

Dariol, Quentin and Le Nours, Sebastien and Pillement, Sebastien and Stemmer, Ralf and Helms, Domenik and Grüttner, Kim (2022) Hybrid Performance Prediction Models for Fully-Connected Neural Networks on MPSoC. In: Hybrid Performance Prediction Models for Fully-Connected Neural Networks on MPSoC. 16th Colloquium of GDR SoC2, 2022-06-27 - 2022-06-29, Strasbourg, France. doi: 10.5281/zenodo.11208702.

Dariol, Quentin and Le Nours, Sebastien and Pillement, Sebastien and Stemmer, Ralf and Helms, Domenik and Grüttner, Kim (2023) Early Performance and Energy Prediction of Neural Networks Deployed on Multi-Core Platforms. GRETSI 2023 - XXIXème Colloque Francophone de Traitement du Signal et des Images, 2023-08-28 - 2023-09-01, Grenoble, France. doi: 10.5281/zenodo.11208196.

Dariol, Quentin and Le Nours, Sebastien and Pillement, Sebastien and Stemmer, Ralf and Helms, Domenik and Grüttner, Kim (2022) A Hybrid Performance Prediction Approach for Fully-Connected Artificial Neural Networks on Multi-core Platforms. In: 22nd International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, 13511, pp. 250-263. Springer. Embedded Computer Systems: Architectures, Modeling, and Simulation - SAMOS 2022, 2022-07-03 - 2022-07-07, Samos, Greece. doi: 10.1007/978-3-031-15074-6_16. ISBN 978-303115073-9. ISSN 0302-9743.

Ecker, Wolfgang and Adelt, Peer and Mueller, Wolfgang and Heckmann, Reinhold and Krstic, Milos and Herdt, Vladimir and Drechsler, Rolf and Angst, Gerhard and Wimmer, Ralf and Mauderer, Andreas and Stahl, Rafael and Emrich, Karsten and Mueller-Gritschneder, Daniel and Becker, Bernd and Scholl, Philipp and Jentzsch, Eyck and Schlamelcher, Jan and Grüttner, Kim and Bernardo, Paul Palomero and Bringmann, Oliver and Damian, Mihaela and Oppermann, Julian and Koch, Andreas and Bormann, Jörg and Partzsch, Johannes and Mayr, Christian and Kunz, Wolfgang (2022) The Scale4Edge RISC-V Ecosystem. 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022-03-14 - 2022-03-23, Virtuell. Volltext nicht frei.

Ecker, Wolfgang and Adelt, Peer and Müller, Wolfgang and Heckmann, Reinhold and Kristic, Milos and Herdt, Vladimir and Drechsler, Rolf and Angst, Gerhard and Wimmer, Ralf and Mauderer, Andreas and Stahl, Rafael and Emrich, Karsten and Müller-Gritschneder, Daniel and Becker, Bernd and Scholl, Philipp and Jentzsch, Eyck and Schlamelcher, Jan and Grüttner, Kim and Palomero Bernardo, Paul and Bringmann, Oliver and Damian, Mihaela and Oppermann, Julian and Koch, Andreas and Bormann, Jörg and Partzsch, Johannes and Mayr, Christian and Kunz, Wolfgang (2022) The Scale4Edge RISC-V Ecosystem. In: 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022-03-14 - 2022-03-23, Online. doi: 10.23919/DATE54114.2022.9774593. ISBN 978-3-9819263-6-1. Volltext nicht frei.

Ecker, Wolfgang and Krstic, Milos and Ulbricht, Markus and Mauderer, Andreas and Jentzsch, Eyck and Koch, Andreas and Koppelmann, Bastian and Müller, Wolfgang and Sadiye, Babak and Bruns, Niklas and Drechsler, Rolf and Mueller-Gritschneder, Daniel and Schlamelcher, Jan and Grüttner, Kim and Bormann, Jörg and Kunz, Wolfgang and Heckmann, Reinhold and Angst, Gerhard and Wimmer, Ralf and Becker, Bernd and Faller, Tobias and Palomero Bernardo, Paul and Bringmann, Oliver and Partzsch, Johannes and Mayr, Christian (2023) Scale4Edge - Scaling RISC-V for Edge Applications. RISC-V Summit Europe, 2023-06-05 - 2023-06-09, Barcelona.

Eichenseer, Frank and Sarkar, Shinjini and Shakeri, Ali (2024) A Systematic Methodology for Specifying the Operational Design Domain of Automated Vehicles. In: 35th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2024. IEEE. 35th IEEE International Symposium on Software Reliability Engineering, 2024-10-28 - 2024-10-31, Tsukuba, Japan. doi: 10.1109/ISSREW63542.2024.00040. ISBN 979-835036704-1. ISSN 2994-810X.

Emile, Erwan (2024) Measurements and Analysis of Power Consumption and Execution Time for AI Accelerators. Master's, Nantes University - Polytech Nantes. Volltext nicht frei.

Fratu, Octavian and Mackay, Adam and Kulcsár, Géza and Westphal, Bernd (2026) Bridging Domains in Large-scale Complex and Critical Systems, 2026 Ed. Zenodo. [Other] Volltext nicht frei.

Grundt, Dominik and Saxena, Ishan and Petersen, Malte and Westphal, Bernd and Möhlmann, Eike (2025) Context-aware, Ante-hoc Explanations of Driving Behaviour. In: 7th International Workshop on Formal Methods for Autonomous Systems, FMAS 2025, 436 (11). Electronic Proceedings in Theoretical Computer Science. Seventh International Workshop on Formal Methods for Autonomous Systems (2025), 2025-11-17 - 2025-11-19, Paris, Frankreich. doi: 10.4204/EPTCS.436.11. ISSN 2075-2180.

Grünhäuser, Miriam and Heuer, Fin Malte and Irizar Da Silva, Imanol and Bahn, Björn and Shakeri, Ali and Westphal, Bernd and Modrakowski, Elias and Uschok, Angela R. and Stäbler, Maximilian and Turnbull, Steffen and Wagner, Peter (2025) Schlussbericht GAIA-X4PLC-AAD Production, After Sales und PLC Across Automated Driving :Validierung im Testfeld - Automatisierte Fahrfunktion PLC - Sensor PLC - Zulassung automatisierter Fahrzeuge. [Other]

Grüttner, Kim and Heckmann, Reinhold and Ecker, Wolfgang (2023) Scale4Edge Success Story: Multi-Compiler Support. [Other]

Grüttner, Kim and Jupe-Weinauer, Julia (2025) Ergebnisrückblick V&V4NGC: Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC. V&V4NGC Abschlussevent, 2025-11-11, Oldenburg, Deutschland.

Grüttner, Kim and Rothemann, Karina (2025) Mobilität der Zukunft - mit Sicherheit auf die Überholspur. Growmorrow 2025, 2025-08-21 - 2025-08-22, Oldenburg, Deutschland.

Grüttner, Kim and Schröder, Torsten (2025) Hochautomatisierte Erstellung einer digitale Prüfakte für Windkraftanalagen mit Hilfe von Drohnenbefliegungen. next Startup Day, 2025-09-17, Hannover, Deutschland.

Hake, Georg and Austel, Anna and Becker, Jan Steffen and Putze, Lina and Wetzig, Nina (2025) Safety Assessment of Maritime Autonomous Surface Ships: A Scenario-Based Approach. In: Journal of Physics: Conference Series. 8th International Conference On Maritime Autonomous Surface Ships (ICMASS 2025), 2025-10-08 - 2025-10-09, Hamburg, Deutschland. doi: 10.1088/1742-6596/3123/1/012022. ISSN 1742-6588.

Hake, Georg and Reiher, David and Mentjes, Jan and Hahn, Axel (2024) Integrating scenario- and contract-based verification for automated vessels. Journal of Marine Science and Technology. Springer Nature. doi: 10.1007/s00773-024-01008-0. ISSN 0948-4280.

Hakemann, Jan (2022) Automated Monitoring of Traffic Sequence Chart Specifications for Simulated Driving Scenarios. Master's, Carl von Ossietzky Universität Oldenburg. Volltext nicht frei.

Haxel, Fredierik and Viehl, Alexander and Benkel, Michael and Beyreuther, Bjoern and Birken, Klaus and Schmedes, Rolf and Grüttner, Kim and Mueller-Gritschneder, Daniel (2022) Universal Safety Format: Automated Safety Software Generation. In: 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022, pp. 155-166. 10th International Conference on Model-Driven Engineering and Software Development - MODELSWARD, 2022-02-06 - 2022-02-08, Online. doi: 10.5220/0010784200003119. ISBN 978-989-758-550-0. ISSN 2184-4348. Volltext nicht frei.

Helms, Domenik and John, Werner and Withöft, Julian and Ecik, Emre and Ghafarian, Nima (2025) Chip to System - xAI BackUp (Entwicklung von AI/ML-Modellen mit Hilfe eines KI-Workbench Konzepts). edaWorkshop25, 2025-05-12 - 2025-05-13, Dresden. Volltext nicht frei.

Jupe-Weinauer, Julia and Grüttner, Kim and Baumgartner, Daniel and Brembeck, Jonathan and Bünte, Tilman and de Graaff, Thies and Koopmann, Björn Philipp and Neurohr, Birte and Rehm, Michaela Jaqueline and Rothemann, Karina and Schlender, Henning and Stemmer, Ralf and Ultsch, Johannes and Westphal, Bernd (2024) V&V4NGC Methods, Processes and tool chains for the Validation & Verification of Next Generation Car. GeoDPA24, 2024-04-23 - 2024-04-25, Oldenburg. Volltext nicht frei.

Jünger, Franz and Torens, Christoph and Rüter, Joachim and Shakeri, Ali and Westphal, Bernd and Mut, Ryan and Sauter, Gerald (2025) Domain Transfer of ODD Monitoring from Aviation to Automotive. In: 44th AIAA DATC/IEEE Digital Avionics Systems Conference, DASC 2025. 44th AIAA DATC/IEEE Digital Avionics Systems Conference (DASC), 2025-09-14 - 2025-09-18, Montreal, Kanada. doi: 10.1109/DASC66011.2025.11257350. ISBN 979-833152519-4. ISSN 2155-7195. Volltext nicht frei.

Klemp, Oliver (2023) Innovation Modeling Grid - Motivation of Innovation Modeling. [Other] Volltext nicht online.

Klemp, Oliver (2023) Innovation Modeling Grid - Delimitation of the Methodology. [Other] Volltext nicht online.

Klemp, Oliver (2023) Innovation Modeling Grid - Process of IMoG. [Other] Volltext nicht online.

Klemp, Oliver (2023) Innovation Modeling Grid - IMoG Methodology Overview. [Other] Volltext nicht online.

Klemp, Oliver (2023) Innovation Modeling Grid - Tooling Prototype. [Other] Volltext nicht online.

Klemp, Oliver and Westphal, Bernd and Puch, Stefan (2023) IMoG - a methodology for modeling future microelectronic innovations. [Other]

Krishnamurthy, Pradeep (2022) Erforschung und Implementierung von Zeitmess- und Zeitkontrollinstruktionen für RISC-V-Cores. Master's, Hochschule Bremerhaven.

Kulcsár, Géza and Westphal, Bernd (2026) STEADINESS for TechNexus: System engineering domains supporting cross-disciplinary bridging technologies in complex and critical systems. STEADINESS for TechNexus, 2026-01-26, Krakow, Poland. Volltext nicht online.

Lamm, Arne (2025) Simulation-based V&V of Driving Functions in the GAIA-X Data Ecosystem. ADAS & Autonomous Vehicle Technology Expo Europe, 2025-05-23 - 2025-05-25, Stuttgart, Deutschland. (Unpublished)

Manoharan, Avinaash and Helms, Domenik and Thirunavukkarasu, Arunachalam (2025) Functional Monitoring of Object Detectors via CCS: A Label - Free Evaluation Metric for Embedded AI. ITEM Workshop 2025, 2025-09-15 - 2025-09-19, Portugal. Volltext nicht frei.

Nitsche, Gregor (2025) Safe and Secure Over-the-Air Software-Updates for Software-Defined Vehicles. Eclipse SDV Community Days, 2025-06-04 - 2025-06-05, Gifhorn.

Nitsche, Gregor (2026) Advancing concepts and implementations of Safe-and-Secure OTA Software Updates from UP2DATE to UP2DATE4SDV. SDV Europe Conference 2025, 2025-01-01 - 2025-01-02, Berlin, Deutschland.

Nitsche, Gregor (2026) UP2DATE4SDV: Enabling safe & secure modular UPdates, UPgrades and DynAmic Task reallocation and Execution for Software-Defined Vehicles. HIPEAC Mixed-Critical Systems Workshop (MCS), 2026-01-26 - 2026-01-28, Krakow, Polen.

Nitsche, Gregor and Grüttner, Kim (2026) UP2DATE4SDV Enabling Safe and Secure Modular Updates, Upgrades and Dynamic Task-Reallocation and -Execution for Software Defined Vehicles. 3rd European SDV Convergence Conference, 2026-05-27 - 2026-05-28, Brüssel, Belgien.

Nitsche, Gregor and Rakow, Astrid and Stierand, Ingo and Kröger, Janis (2025) CBD4SDV - Contract Based Design for Software Defined Vehicles. SafeTrans Industrial Day 2025, 2025-11-18, Stuttgart, Deutschland.

Nitsche, Gregor and Thirunavukkarasu, Arunachalam and Ravani Nanjundaswamy, Nithin and Schmedes, Rolf and Grüttner, Kim (2023) Execution Path Timing Statistics-based Safeguarding & Online Monitoring for Embedded Software Anomaly Detection. Tag der vertrauenswürdigen Elektronik 2023, 2023-05-10, Hannover, Deutschland. Volltext nicht frei.

Nitsche, Gregor and Thirunavukkarasu, Arunachalam and Ravani Nanjundaswamy, Nithin and Schmedes, Rolf and Grüttner, Kim (2023) Execution Path Timing Statistics-based Safeguarding & Online Monitoring for Embedded Software Anomaly Detection. edaWorkshop23, 2023-05-08 - 2023-05-09, Hannover, Deutschland. Volltext nicht frei.

Nitsche, Gregor and Uven, Patrick and Fuchs, Hannes and Haehnel, Marcus and Mjangos, Ane and Mezzetti, Enrico and Grüttner, Kim (2026) Multi-Partner Project: UP2DATE4SDV Enabling Safe and Secure Modular Updates, Upgrades and Dynamic Task-Reallocation and -Execution for Software Defined Vehicles. Design Automation and Test in Europe (DATE) 2026, 2026-04-20 - 2026-04-21, Verona, Italien.

Nitsche, Gregor and Uven, Patrick and Fuchs, hannes and Haehnel, Marcus and Mijangos, Ane and Mezzetti, Enrico and Grüttner, Kim (2026) Multi-Partner Project: UP2DATE4SDV : Enabling Safe and Secure Modular Updates, Upgrades and Dynamic Task-Reallocation and -Execution for Software Defined Vehicles. In: 2026 Design, Automation and Test in Europe Conference, DATE 2026. Design, Automation and Test in Europe Conference (DATE) 2026, 2026-04-20 - 2026-04-22, Verona, Italien. doi: 10.23919/DATE69613.2026. ISBN 978-398267411-7. ISSN 1530-1591.

Nitsche, Gregor and Uven, Patrick and Stierand, Ingo and Grüttner, Kim (2022) Safe Modular Online Updates and Upgrades for Mixed-Criticality Systems. 31. SafeTRANS Industrial Day, 2022-11-28, Berlin, Deutschland.

Osterwind, Adrian (2025) AI Hardware Modeling for Science and Performance Gains. eda Barcamp, 2025-09-23 - 2025-09-24, Stuttgart. doi: 10.5281/zenodo.22113154. Volltext nicht frei.

Osterwind, Adrian and Droste-Rehling, Julian and Vemparala, Manoj Rohit and Helms, Domenik (2022) Hardware Execution Time Prediction for Neural Network Layers. In: Workshops on SoGood, NFMCP, XKDD, UMOD, ITEM, MIDAS, MLCS, MLBEM, PharML, DALS, IoT-PdM 2022, pp. 582-593. Springer Nature Switzerland. ITEM 2022, 2022-10-19, Grenoble, Frankreich. doi: 10.1007/978-3-031-23618-1_39. ISBN 978-3-031-23617-4. ISSN 1865-0929.

Osterwind, Adrian and Helms, Domenik and Klös, Verena (2026) Prediction of Neural Network Latency on Embedded GPU Accelerators. In: Pervasive Intelligence - From Architectures to Sustainable Edge AI Systems-of-Systems, pp. 55-66. River Publishers. European Conference on EDGE AI Technologies and Applications – EEAI, 2025-10-20 - 2025-10-22, Neapel, Italien. doi: 10.13052/rp-9788743815204. ISBN 9788743815198.

Panneke, Lukas (2024) Symbolic Unfoldings of High-level Petri Nets. D-CON 2024, 2024-02-29 - 2024-03-01, Oldenburg, Deutschland. (Unpublished)

Petersen, Malte (2024) Runtime Monitoring of Dynamic Aspects of Operational Design Domains specified with Traffic Sequence Charts. Bachelor's, Carl von Ossietzky University Oldenburg. Volltext nicht frei.

Poorhosseini, Mehrdad (2023) A hybrid RISC-V architecture supporting mixed timing-critical and high performance workloads. Dissertation, Universität Oldenburg.

Poorhosseini, Mehrdad and Grüttner, Kim (2024) A RISC-V based platform supporting mixed timing-critical and high performance workloads. In: 26th Euromicro Conference on Digital System Design, DSD 2023. 26th Euromicro Conference on Digital System Design (DSD), 2023-09-06 - 2023-09-08, Durres, Albanien. doi: 10.1109/DSD60849.2023.00094. ISBN 9798350344196. ISSN 2639-3859. Volltext nicht frei.

Quetschlich, Nils and Forster, Tobias and Osterwind, Adrian and Helms, Domenik and Wille, Robert (2024) Towards Equivalence Checking of Classical Circuits Using Quantum Computing. In: 5th IEEE International Conference on Quantum Computing and Engineering, QCE 2024, 1, pp. 268-274. 2024 IEEE International Conferene on Quantum Computin & Engineering (QCE24), 2024-09-15 - 2024-09-20, Montréal, Québec, Canada. doi: 10.1109/QCE60285.2024.00040. ISBN 979-833154137-8. Volltext nicht frei.

Ravani Nanjundaswamy, Nithin and Grüttner, Kim (2022) Timing instructions for RISC-V based hard real time edge devices. 5th Workshop on RISC-V Activities, 2022-11-07, Berlin, Germany.

Ravani Nanjundaswamy, Nithin and Grüttner, Kim and Nitsche, Gregor and Poppen, Frank (2023) RISC-V Timing-Instructions for Open Time-Triggered Architectures. In: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, 2023-06-27 - 2023-06-30, Porto, Portugal. doi: 10.1109/DSN-W58399.2023.00058. ISBN 979-835032543-0. ISSN 2325-6648.

Ravibabu, Deepak (2022) Distributed Triple Modular Redundancy in Heterogeneous Multiprocessing Systems with C++. Master's, Hochschule Bremerhaven. Volltext nicht frei.

Saxena, Ishan (2024) Formalizing Spatial Properties of Automated Driving Functions using Abstract Scene Graphs. DLR Doctoral Symposium 2024, 2024-09-03 - 2024-09-05, Braunschweig, Deutschland. Volltext nicht frei.

Saxena, Ishan and Westphal, Bernd and Fränzle, Martin (2025) Towards Runtime Monitoring of spatial system properties of Automated Driving Functions using Abstract Scene Graphs. In: Proceedings of the 12th Young Researchers Seminar, hosted by BASt, 3 - 5 June, 2025 (YRS 2025), pp. 274-288. Bundesanstalt für Straßen- und Verkehrswesen. 12th Young Researchers Seminar - YRS2025, 2025-06-03 - 2025-06-05, Bergisch Gladbach, Deutschland. doi: 10.60850/bericht-a53. ISBN 978-3-95606-886-7. ISSN 0943-9285. Volltext nicht frei.

Saxena, Ishan and Westphal, Bernd and Fränzle, Martin (2025) Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions. In: 7th International Workshop on Formal Methods for Autonomous Systems, FMAS 2025, 436, pp. 3-14. Open Publishing Association. Seventh International Workshop on Formal Methods for Autonomous Systems (FMAS 2025), 2025-11-17 - 2025-11-19, Paris, France. doi: 10.4204/EPTCS.436.3. ISSN 2075-2180. Volltext nicht frei.

Schlamelcher, Jan and Goodfellow, Thomas and Kebianyor, Bewoayia and Grüttner, Kim (2024) Extending Clang/LLVM with Custom Instructions using TableGen – An Experience Report. In: 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, MBMV 2024, 314, pp. 204-213. MBMV 2024; 27. Workshop, 2024-02-14 - 2024-02-15, Kaiserslautern. ISBN 9783800762682. Volltext nicht frei.

Schlamelcher, Jan and Goodfellow, Thomas and Kebianyor, Bewoayia and Nitsche, Gregor and Van Kempen, Philipp and Grüttner, Kim (2025) Prototyping custom RISC-V instructions with Seal5 and CoreDSL. RISC-V Summit Europe, 2025-05-12 - 2025-05-15, Paris, Frankreich.

Schlamelcher, Jan and Grüttner, Kim (2022) A DSL based approach for supporting custom RISC-V instruction extensions in LLVM. 5th Workshop on RISC-V Activities, 2022-11-07, Berlin, Germany. Volltext nicht frei.

Schlender, Henning and Koopmann, Björn Philipp and Rothemann, Karina (2023) Automotive Software Updates. [Other]

Schlender, Henning and Koopmann, Björn Philipp and Rothemann, Karina (2024) Methoden und Techniken für sichere Over-the-Air-Updates. [Other]

Schlender, Henning and Stemmer, Ralf and Grüttner, Kim and Ehmen, Günter and Westphal, Bernd and Bruns, Friederike (2023) Teaching Cyber-Physical Systems in Student Project Groups: How do Alumni assess the Experience in Retrospective? In: Konferenz zum Software Engineering im Unterricht der Hochschulen, SEUH 2023 - Conference on Software Engineering in Higher Education Teaching, SEUH 2023, P-333 (P-333), pp. 43-54. Köllen Druck+Verlag GmbH, Bonn. SEUH 2023, 2023-02-23 - 2023-02-24, Paderborn, Germany. doi: 10.18420/seuh2023_05. ISBN 978-3-88579-727-2. ISSN 1617-5468. Volltext nicht frei.

Schmedes, Rolf and Nitsche, Gregor and Stemmer, Ralf and Grüttner, Kim (2024) Automated Integration of Safety Mechanisms into Functional Software for Safety-relevant Systems. In: 8th International Embedded Systems Symposium, IESS 2025, pp. 3-14. Springer. The 8th International Embedded Systems Symposium, IESS2024, 2024-10-14 - 2024-10-15, Gainesville, USA. doi: 10.1007/978-3-032-07102-6_1. ISSN 1868-422X. Volltext nicht frei.

Shakeri, Ali (2024) Operational Design Domains in Automated Vehicles: A Review of State-of-the-Art Standards, Challenges, and Proposed Solution. 33. SafeTRANS Industrial Day, 2024-04-24, Roding, Germany.

Shakeri, Ali (2024) Defining Operational Domain and Specifying Operational Design Domains: Current Practices, Standards, and a Systematic Approach. In: 10th Symposium Driving Simulation. 10th Symposium Driving Simulation, 2024-11-06 - 2024-11-07, Stuttgart.

Shakeri, Ali (2024) Formalization of Operational Domain and Operational Design Domain for Automated Vehicles. In: 24th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2024. IEEE. 2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), 2024-07-01 - 2024-07-05, Cambridge, United Kingdom. doi: 10.1109/QRS-C63300.2024.00131. ISBN 979-8-3503-6565-8. ISSN 2693-9371.

Shakeri, Ali and Klemp, Oliver and Westphal, Bernd (2023) Shaping a GAIA-X Data Ecosystem through Innovation Modeling. In: 31st IEEE International Requirements Engineering Conference, RE 2023, pp. 190-200. IEEE. 31st IEEE International Requirements Engineering Conference, 2023-09-04 - 2023-09-08, Hannover, Germany. doi: 10.1109/RE57278.2023.00027. ISBN 979-835032689-5. ISSN 2332-6441.

Shakeri, Ali and Westphal, Bernd and Grünhäuser, Miriam and Ahman, Maurizio and Aue, Rainer and Seidl, Sascha (2025) Insights from an Automotive Use Case for Integrating Services in a Gaia-X Data Ecosystem. International Cooperation on Theories and Concepts in Traffic safety (ICTCT), 2025-10-23 - 2025-10-24, Berlin. Volltext nicht online.

Stemmer, Ralf (2024) Simulation Based Execution Time Analysis of SDF Applications on Heterogeneous MPSoCs Using Measured Delay Distributions. Dissertation, Carl von Ossietzky Universität Oldenburg. doi: 10.5281/zenodo.11210109.

Stemmer, Ralf and Saxena, Ishan and Panneke, Lukas and Grundt, Dominik and Austel, Anna and Möhlmann, Eike and Westphal, Bernd (2025) Runtime Monitoring of Complex Scenario-based Requirements for Autonomous Driving Functions. Science of Computer Programming. Elsevier. doi: 10.1016/j.scico.2025.103301. ISSN 0167-6423.

Stemmer, Ralf and Schmedes, Rolf (2024) Challenges of Modern Embedded Systems. [Other] Volltext nicht frei.

Thirunavukkarasu, Arunachalam and Helms, Domenik (2023) Using Network Architecture Search for Optimizing Tensor Compression. In: 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, pp. 139-150. Springer International Publishing AG. The 7th International Embedded Systems Symposium, 2022-11-03 - 2022-11-04, Lippstadt, Germany. doi: 10.1007/978-3-031-34214-1_12. ISBN 978-303134213-4. ISSN 1868-4238.

Thirunavukkarasu, Arunachalam and Helms, Domenik and Bernal, Christian Ojeda and Mantowsky, Sven and Bukhari, Saqib and Bücs, Robert Lajos (2026) Model Compression Techniques for Scalable Deployment of Generative AI in Automotive Systems. Advances in Artificial Intelligence and Machine Learning, pp. 1-19. Shimur Publications. doi: 10.54364/AAIML.2026.64332. ISSN 2582-9793. (In Press)

Thirunavukkarasu, Arunachalam and Helms, Domenik and Bernal, Christian Ojeda and Mantowsky, Sven and Bukhari, Saqib and Bücs, Robert Lajos (2025) Generative AI in Automotive Industry. Advances in Artificial Intelligence and Machine Learning, 5 (4), pp. 1-18. Shimur Publications. doi: 10.54364/AAIML.2025.54260. ISSN 2582-9793.

Uven, Patrick and Grüttner, Kim and Ittershagen, Philipp (2023) Design and Analysis of an Online Update Approach for Embedded Microprocessors. In: 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, 576. Springer. IESS 2019, 2019-09-09 - 2019-09-11, Friedrichshafen, Germany. doi: 10.1007/978-3-031-26500-6_15. ISBN 978-3-031-26500-6. Volltext nicht frei.

Wetzig, Nina and Austel, Anna and Paland, Daniel and Westphal, Bernd (2025) A Test Environment for Simulation-based Testing of MASS Driving Functions in Traffic Separation Schemes. HYDRO 2025 Hydrographic Conference & Exhibition, 2025-10-28 - 2025-10-30, Liverpool, England. (Submitted)

Wetzig, Nina and Austel, Anna and Westphal, Bernd (2026) Considering the intended behaviour in evaluating the rule compliance of MASS - Extended Abstract. In: SMRC x MTEC/ICMASS Conference Proceedings 2026, p. 99. SMRC x MTEC/ICMASS 2026, 2026-04-22 - 2026-04-23, Singapore. doi: 10.5281/zenodo.20306098. Volltext nicht frei.

Wetzig, Nina and Austel, Anna and Westphal, Bernd (2026) Considering the intended behaviour in evaluating the rule compliance of MASS. In: Singapore Maritime Research Conference x MTEC/ICMASS Conference 2026 22/04/2026 - 23/04/2026 Singapore, Singapore, 3299 (1), 012011. IOP Publishing. SMRC x MTEC/ICMASS Conference 2026, 2026-04-22 - 2026-04-23, Singapur. doi: 10.1088/1742-6596/3299/1/012011. ISSN 1742-6596. Volltext nicht frei.

Withöft, Julian and John, Werner and Vargehese Modayil, Philip and Ecik, Emre and Ghafarian Shoaee, Nima and Khamdamov, Bekhzodkhon and Helms, Domenik and Brüning, Ralf and Götze, Jürgen (2025) Chip2System - LLM-gestütztes Co-Design. edaWorkshop25, 2025-05-12 - 2025-05-13, Dresden. (Submitted)

Yarza, Irune and Mugarza, Imanol and Nitsche, Gregor and Uven, Patrick and Orbegozo, Juan Maria (2023) Towards a Contract-Based Definition of Update-Compatibility Modelling Safety Integration Criteria. In: 26th IEEE International Conference on Intelligent Transportation Systems, ITSC 2023. IEEE. 26th IEEE International Conference on Intelligent Transportation Systems, 2023-09-24 - 2023-09-28, Bilbao, Bizkaia, Spain. doi: 10.1109/ITSC57777.2023.10422590. ISBN 979-835039946-2. ISSN 2153-0009. Volltext nicht frei.

This list was generated on Fri Sep 4 20:29:38 2026 CEST.