Liste als BibTeX-Datei exportieren

2021

• 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
• September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes , Casper Thule , Levi Lúcio , Hans Vangheluwe und Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), Band 12226 von LNCS, September 2020. Springer, Cham. Details DOI BIB
• Juli 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder , Sebastian Voss , Andreas Bayha , Alexandru Ipatiov und Maged Khalil Software and Systems Modeling, 19():911–934, Juli 2020. Details DOI BIB
• 2020 Describing Capabilities of Industrie 4.0 Components Andreas Bayha , Jürgen Bock , Birgit Boss , Christian Diedrich und Somayeh Malakuti German Electrical and Electronics Manufacturers Association, Frankfurt am Main, Germany, ():, 2020. Details URL BIB

2019

• Dezember 2019 Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective Alexander Perzylo , Julian Vogel , Levi Lúcio , Michael Weser , Somayeh Malakuti , Pierre Venet , Vincent Aravantinos und Torben Deppe IFAC-PapersOnLine, 52(13):1590–1596, Dezember 2019. Details URL DOI BIB
• September 2019 An Approach for an Automated Adaption of KPI Ontologies by Reusing Systems Engineering Data Hendrik Walzel , Milan Vathoopan , Alois Zoitl und Alois Knoll In 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Seiten 1693-1696, September 2019. Details DOI BIB
• September 2019 Function Blocks for the Interaction with the Asset Administration Shell Tarik Terzimehić , Andreas Bayha und Kirill Dorofeev In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2019. Details DOI BIB
• September 2019 Semantics of Co-simulation Algorithms with Simulator Contracts Cláudio Gomes , Levi Lúcio und Hans Vangheluwe In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Seiten 784–798, September 2019. IEEE. Details DOI BIB
• September 2019 SMT-Based Deployment Calculation in Industrial Automation Domain Tarik Terzimehić , Monika Wenger , Sebastian Voss , Sten Grüner und Haitham Elfham In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2019. IEEE. Details DOI BIB
• September 2019 Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report Tomas Bures , Danny Weyns , Bradley Schmerl , John Fitzgerald , Adina Aniculaesei , Christian Berger , Joao Cambeiro , Jan Carlson , Shafiul Azam Chowdhury , Marian Daun , Nianyu Li , Matthias Markthaler , Claudio Menghi , Birgit Penzenstadler , Aedan Pettit , Robert Pettit , Luca Sabatucci , Christos Tranoris , Hans Vangheluwe , Sebastian Voss und Edith Zavala SIGSOFT Softw. Eng. Notes, 44(4):11–13, September 2019. Details DOI BIB
• Juli 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko , Hernán Ponce de León , Florian Furbach , Keijo Heljanko und Roland Meyer In Computer Aided Verification (CAV) 2019., Band 11561 von LNCS, Juli 2019. Springer, Cham. Details DOI BIB