Export list as BibTeX file

2023

• April 2023 Designing AI for Appropriation Will Calibrate Trust Zelun Tony Zhang , Yuanting Liu and Andreas Butz In CHI TRAIT '23: Workshop on Trust and Reliance in AI-Assisted Tasks at CHI 2023, April 2023. Details URL BIB

2022

• November 2022 Fine Time Measurement Based Synchronisation for Industrial Wireless/Wired Networks Sugandh H. Mohan and Rute C. Sofia In inProc. IEEE WPMC2022, November 2022. IEEE. Details URL DOI BIB
• July 2022 Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber–physical systems Ana Petrovska , Stefan Kugele , Thomas Hutzelmann , Theo Beffart , Sebastian Bergemann and Alexander Pretschner Information and Software Technology, 147():, July 2022. Details DOI BIB
• June 2022 Challenges in Multi-View Model Consistency Management for Systems Engineering Sebastian Bergemann In Modellierung 2022 Satellite Events, pages 77-89, June 2022. Gesellschaft für Informatik e.V.. Details URL DOI BIB
• February 2022 Towards an Accountable and Reproducible Federated Learning: A FactSheets Approach Nathalie Baracaldo , Ali Anwar , Mark Purcell , Ambrish Rawat , Mathieu Sinn , Bashar Altakrouri , Dian Balta , Mahdi Sellami , Peter Kuhn and Matthias Buchinger February 2022. Details URL DOI BIB

2021

• November 2021 Low-Redundancy Realization of Safety-Critical Automotive Functions Simon Barner , Stefan Matthes , Holger Dormann , Angelika Schingale , Eberhard Kaulfersch , Michael Eichhorst , Lutz Scheiter , Holger Schmidt and Jürgen Gebert In MikroSystemTechnik (MST) Kongress, November 2021. VDE Verlag GmbH Berlin Offenbach.. Details URL BIB
• August 2021 A Spiking Central Pattern Generator for the control of a simulated lamprey robot running on SpiNNaker and Loihi neuromorphic boards Emmanouil Angelidis , Emanuel Buchholz , Jonathan Patrick Arreguit O'Neil , Alexis Rougé , Terrence Stewart , Axel von Arnim , Alois Knoll and Auke Ijspeert Neuromorphic Computing and Engineering, 1(1):, August 2021. Details URL 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
• July 2021 Toward Embodied Intelligence: Smart Things on the Rise Arne Broering , Christoph Niedermeier , Ioana Olaru , Ulrich Schöpp , Kilian Telschig and Michael Villnow IEEE Computer, 54(7):57-68, July 2021. Details DOI BIB
• May 2021 A Performance Analysis of Internet of Things Networking Protocols: Evaluating MQTT, CoAP, OPC UA Daniel Maniglia da Silva , Liliana I. Carvalho , José Soares and Rute C. Sofia MDPI Appl. Sci. 2021, 11(11), 4879; Highly Cited Paper Award, ():, May 2021. Details URL DOI BIB

2020

• July 2020 Experimental and Computational Study on Motor Control and Recovery After Stroke: Toward a Constructive Loop Between Experimental and Virtual Embodied Neuroscience Anna Letizia Allegra Mascaro , Egidio Falotico , Spase Petkoski , Maria Pasquini , Lorenzo Vannucci , Nuria Tort-Colet , Emilia Conti , Francesco Resta , Cristina Spalletti , Shravan Tata Ramalingasetty , Axel von Arnim , Emanuele Formento , Emmanouil Angelidis , Camilla Blixhavn , Trygve Leergaard , Matteo Caleo , Alain Destexhe , Auke Ijspeert , Silvestro Micera , Cecilia Laschi , Viktor Jirsa , Marc-Oliver Gewaltig and Francesco Pavone Frontiers in Systems Neuroscience, 14():, July 2020. Details URL DOI BIB

2019

• September 2019 SMT-Based Deployment Calculation in Industrial Automation Domain Tarik Terzimehić , Monika Wenger , Sebastian Voss , Sten Grüner and Haitham Elfham In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2019. IEEE. Details DOI BIB
• July 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko , Hernán Ponce de León , Florian Furbach , Keijo Heljanko and Roland Meyer In Computer Aided Verification (CAV) 2019., volume 11561 of LNCS, July 2019. Springer, Cham. Details DOI BIB

2018

• March 2018 Formal analysis of feature degradation in fault-tolerant automotive systems Klaus Becker , Sebastian Voss and Bernhard Schätz Science of Computer Programming, 154(1):89–133, March 2018. Details DOI BIB

2017

• June 2017 Software Deployment Analysis for Mixed Reliability Automotive Systems Klaus Becker TU München, June 2017. Details URL BIB

2016

• January 2016 A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems Klaus Becker and Sebastian Voss In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, January 2016. Details DOI BIB
• 2016 PET: Continuous Performance Evaluation Tool Johannes Kroß , Felix Willnecker and Thomas Zwickl In Proceedings of the 2nd International Workshop on Quality-Aware DevOps, pages 42–43, New York, NY, USA, 2016. ACM. Details URL DOI BIB

2015

• November 2015 Modeling Big Data Systems by Extending the Palladio Component Model Johannes Kroß , Andreas Brunnert and Helmut Krcmar Softwaretechnik-Trends, 35(3):, November 2015. Details URL BIB
• September 2015 The SFIT tool: Supporting assembly planners to deal with new product variants Antoaneta Kondeva , Vincent Aravantinos , Lukas Hermanns and Leenhard Hörauf In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB
• March 2015 Deployment Calculation and Analysis for a Fault-Tolerant System Platform Klaus Becker and Bernhard Schätz In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), pages 100-109, March 2015. Details URL BIB