Export list as BibTeX file

2022

• May 2022 Architecture Synthesis for Optimized and Flexible Production Tarik Terzimehić In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), May 2022. IEEE. Details DOI BIB
• February 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 and Sergey Tverdyshev In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pages 36–47, February 2022. SCITEPRESS. Details DOI BIB
• February 2022 Design-time Specification of Dynamic Modular Safety Cases in Support of Run-Time Safety Assessment Elham Mirzaei , Carmen Cârlan , Carsten Thomas and Barbara Gallina In Proceedings of the Thirtieth Safety-Critical Systems Symposium, volume 170, February 2022. SCSC. Details URL BIB
• February 2022 Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy Tarik Terzimehić , Kirill Dorofeev and Sebastian Voss In Software Engineering 2022 - Fachtagung des GI-Fachbereichs Softwaretechnik, February 2022. Gesellschaft für Informatik (GI). Details DOI BIB

2021

• October 2021 Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy Tarik Terzimehić , Kirill Dorofeev and Sebastian Voss In ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), October 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 and 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ć and 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 and 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 and Liana Soima In Proceedings of the 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP), volume 12852 of LNCS, pages 115–129, August 2021. Springer, Cham. Details DOI BIB
• June 2021 CyberGSN: A Semi-formal Language for Specifying Safety Cases Tewodros Beyene and Carmen Cârlan In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), June 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 and 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 and Ansab Shohab In ADAPTIVE 2021: The Thirteenth International Conference on Adaptive and Self-Adaptive Systems and Applications, April 2021. Details URL BIB
• February 2021 AI-Blueprint for Deep Neural Networks Ernest Wozniak , Henrik J. Putzer and Carmen Cârlan In Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI '21), volume 2808, February 2021. CEUR. Details URL BIB
• February 2021 RMC Factory: A New Approach for Avionics Software Reuse Laurent Dieudonne , Andreas Bayha and Benedikt Müller In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), volume 2814, February 2021. CEUR-WS. Details URL BIB
• January 2021 Handling Concurrency in Embedded Software System from Architectural Point of View Jasmin Jahić and Alexander Diewald In HiPEAC conference, Tutorials, January 2021. Details URL BIB

2020

• December 2020 Architectures for Flexible Collaborative Systems Birthe Böhm , Carmen Cârlan , Annelie Sohr , Stephan Unverdorben and Jan Vollmar Springer International Publishing, December 2020. Details DOI BIB
• November 2020 Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis Carmen Cârlan and Barbara Gallina In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), November 2020. Details DOI BIB
• October 2020 Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products Carmen Cârlan , Daniel Petrișor , Barbara Gallina and Hannes Schoenhaar In Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE, October 2020. IEEE. Details URL BIB
• September 2020 FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases Carmen Cârlan and Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12234 of LNCS, pages 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 and Henrik J. Putzer In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12235 of LNCS, pages 370–382, September 2020. Springer. Details DOI BIB