Liste als BibTeX-Datei exportieren

2022

• Mai 2022 Architecture Synthesis for Optimized and Flexible Production Tarik Terzimehić In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Mai 2022. IEEE. Details DOI BIB
• Februar 2022 A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis Yuri Gil Dantas , Tiziano Munaro , Carmen Cârlan , Vivek Nigam , Simon Barner , Shiqing Fan , Alexander Pretschner , Ulrich Schöpp und Sergey Tverdyshev In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Seiten 36–47, Februar 2022. SCITEPRESS. Details DOI BIB
• Februar 2022 Design-time Specification of Dynamic Modular Safety Cases in Support of Run-Time Safety Assessment Elham Mirzaei , Carmen Cârlan , Carsten Thomas und Barbara Gallina In Proceedings of the Thirtieth Safety-Critical Systems Symposium, Band 170, Februar 2022. SCSC. Details URL BIB
• Februar 2022 Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy Tarik Terzimehić , Kirill Dorofeev und Sebastian Voss In Software Engineering 2022 - Fachtagung des GI-Fachbereichs Softwaretechnik, Februar 2022. Gesellschaft für Informatik (GI). Details DOI BIB

2021

• Oktober 2021 Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy Tarik Terzimehić , Kirill Dorofeev und Sebastian Voss In ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), Oktober 2021. IEEE. Details DOI BIB
• September 2021 Generation of the Orchestrator Code for Skill-Based Automation Systems Kirill Dorofeev , Sebastian Bergemann , Tarik Terzimehić , Julian Grothoff , Michael Thies und Alois Zoitl In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2021. IEEE. Details DOI BIB
• September 2021 PLC Integration into Industry 4.0 Middleware: Function Block Library for the Interaction with REST and OPC UA Asset Administration Shells Jonas Gampig , Tarik Terzimehić und Kirill Dorofeev In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2021. IEEE. Details DOI BIB
• September 2021 Towards Service Deployment and Composition in Industry 4.0 Tarik Terzimehić , Kirill Dorofeev , Sebastian Bergemann , Alois Zoitl und Sebastian Voss In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2021. IEEE. Details DOI BIB
• August 2021 Safety Case Maintenance: A Systematic Literature Review Carmen Cârlan , Barbara Gallina und Liana Soima In Proceedings of the 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Band 12852 von LNCS, Seiten 115–129, August 2021. Springer, Cham. Details DOI BIB
• Juni 2021 CyberGSN: A Semi-formal Language for Specifying Safety Cases Tewodros Beyene und Carmen Cârlan In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Juni 2021. IEEE. Details DOI BIB
• April 2021 FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Daniel Ratiu , Arne Nordmann , Peter Munk , Carmen Cârlan und Markus Voelter Domain-Specific Languages in Practice, ():131–164, April 2021. Details DOI BIB
• April 2021 Smart Self-Adaptive Cyber-Physical Systems: How can Exploration and Learning Improve Performance in a Partially Observable Multi-Agent Context? Ana Petrovska , Malte Neuss , Sebastian Bergemann , Martin Büchner und Ansab Shohab In ADAPTIVE 2021: The Thirteenth International Conference on Adaptive and Self-Adaptive Systems and Applications, April 2021. Details URL BIB
• Februar 2021 AI-Blueprint for Deep Neural Networks Ernest Wozniak , Henrik J. Putzer und Carmen Cârlan In Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI '21), Band 2808, Februar 2021. CEUR. Details URL BIB
• Februar 2021 RMC Factory: A New Approach for Avionics Software Reuse Laurent Dieudonne , Andreas Bayha und Benedikt Müller In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), Band 2814, Februar 2021. CEUR-WS. Details URL BIB
• Januar 2021 Handling Concurrency in Embedded Software System from Architectural Point of View Jasmin Jahić und Alexander Diewald In HiPEAC conference, Tutorials, Januar 2021. Details URL BIB

2020

• Dezember 2020 Architectures for Flexible Collaborative Systems Birthe Böhm , Carmen Cârlan , Annelie Sohr , Stephan Unverdorben und Jan Vollmar Springer International Publishing, Dezember 2020. Details DOI BIB
• November 2020 Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis Carmen Cârlan und Barbara Gallina In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), November 2020. Details DOI BIB
• Oktober 2020 Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products Carmen Cârlan , Daniel Petrișor , Barbara Gallina und Hannes Schoenhaar In Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE, Oktober 2020. IEEE. Details URL BIB
• September 2020 FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases Carmen Cârlan und Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12234 von LNCS, Seiten 298–306, September 2020. Springer. Details DOI BIB
• September 2020 A Safety Case Pattern for Systems with Machine Learning Components Ernest Wozniak , Carmen Cârlan , Esra Acar-Celik und Henrik J. Putzer In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12235 von LNCS, Seiten 370–382, September 2020. Springer. Details DOI BIB