Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2014
- 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
- Component-Based Modeling and Integration of Automotive Application Architectures In Proceedings of the IEEE International Electric Vehicle Conference 2014 IEVC, 2014. Details BIB
- Continuous Control of the DLR Light-weight Robot III by a human with tetraplegia using the BrainGate2 Neural Interface System In Springer Tracts in Experimental Robotics, . Springer, 2014. Details BIB
- Design Space Exploration in AutoFOCUS3 - An Overview In Vladimír Mařík , JoseL. Martinez Lastra und Petr Skobelev , Editor, IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems, 2014. Springer, Details BIB
- Detecting Performance Change in Enterprise Application Versions Using Resource Profiles In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, Seiten 165 - 172, ICST, Brussels, Belgium, Belgium, 2014. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). Details URL DOI BIB