Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2014
- A framework for reliability-aware embedded system design on multiprocessor platforms Microprocessors and Microsystems, 38(6):539–551, März 2014. Details DOI BIB
- Ghost-in-the-Machine: Initial Results In Proceedings of the 9th ACM/IEEE International Conference on Human-Robot Interaction (HRI 2014), Bielefeld, Germany, März 2014. Details BIB
- Tool Support for Integrated Development of Component-based Embedded Systems In Software Engineering 2014 (SE 2014), Seiten 61–62, Kiel, Germany, Februar 2014. GI. Details BIB
- A Safety Aware Run-Time Environment for Adaptive Automotive Control Systems In Embedded Real-Time Software and Systems (ERTS2), Februar 2014. Details BIB
- Data-Centric Middleware support for ASIL assessment and decomposition in open automotive systems In Automotive meets Electronics, Februar 2014. VDE/VDI Gesellschaft Mikroelekonik Mikrosystem- und Feinwerktechnik (GMM) in Dortmund, Details BIB
- Design Space Exploration and its Visualization in AutoFOCUS3 In Software Engineering (Workshops), Seiten 57–66, Februar 2014. Details URL BIB
- Eingebettete Systeme der Zukunft - Charakteristika, Schl�sseltechnologien und Forschungsbedarf Band . BICCnet Clusterb�ro, , Ausgabe, Januar 2014. Details BIB
- Capability-based Planning and Scheduling for Adaptable Manufacturing Systems In IEEE Conference on Emerging Technology and Factory Automation (ETFA), Seiten 1—8, 2014. Details BIB
- G4LTL-ST: Automatic Generation of PLC Programs In Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, Seiten 541–549, 2014. Details URL DOI BIB
- Increasing the Adaptability of Manufacturing Systems by Using Data-centric Communication In IEEE Conference on Emerging Technology and Factory Automation (ETFA), Seiten 1–8, 2014. Details BIB
- A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems In Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), 2014. Details DOI BIB
- A Formal Systems Engineering Approach in Practice: An Experience Report In SER&IPs, Seiten 34–41, 2014. Details BIB
- A new biarticular joint mechanism to extend stiffness ranges In Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014. Details DOI BIB
- A Pattern-based Approach towards Modular Safety Analysis and Argumentation In Embedded Real Time Software and Systems Conference (ERTS 2014), Toulouse, France, 2014. Details BIB
- A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Band 8822 von LNCS, Seiten 137–151, 2014. Springer. Details DOI BIB
- A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, Seiten 596–601, 2014. IEEE, Details BIB
- A unit-test framework for event-driven control components modeled in IEC 61499 In Emerging Technology and Factory Automation (ETFA), 2014 IEEE, Seiten 1–8, 2014. IEEE, Details BIB
- Advancement of a Sensor Aided Smart Grid Node Architecture In 2014. Details BIB
- Analyzing Stakeholders in Complex E-Government Projects: Towards a Stakeholder Interaction Model In Electronic Government - 13th IFIP W.G. 8.5 International Conference EGOV 2014, Seiten 194-205, 2014. Springer. Details BIB
- Autonomes Fahren und die ISO 26262 In Embedded Software Engineering Kongress 2014, Seiten 217-221, 2014. Details BIB