Liste als BibTeX-Datei exportieren

2021

• 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
• Juli 2021 Toward Embodied Intelligence: Smart Things on the Rise Arne Broering , Christoph Niedermeier , Ioana Olaru , Ulrich Schöpp , Kilian Telschig und Michael Villnow IEEE Computer, 54(7):57-68, Juli 2021. Details DOI BIB
• Mai 2021 A Performance Analysis of Internet of Things Networking Protocols: Evaluating MQTT, CoAP, OPC UA Daniel Maniglia da Silva , Liliana I. Carvalho , José Soares und Rute C. Sofia MDPI Appl. Sci. 2021, 11(11), 4879; Highly Cited Paper Award, ():, Mai 2021. Details URL DOI BIB

2020

• Juli 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 und Francesco Pavone Frontiers in Systems Neuroscience, 14():, Juli 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 und Haitham Elfham In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), September 2019. IEEE. 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

2018

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

2017

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

2016

• Januar 2016 A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems Klaus Becker und Sebastian Voss In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, Januar 2016. Details DOI BIB
• 2016 PET: Continuous Performance Evaluation Tool Johannes Kroß , Felix Willnecker und Thomas Zwickl In Proceedings of the 2nd International Workshop on Quality-Aware DevOps, Seiten 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 und 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 und Leenhard Hörauf In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB
• März 2015 Deployment Calculation and Analysis for a Fault-Tolerant System Platform Klaus Becker und Bernhard Schätz In 11th Dagstuhl-Workshop on Model-Based Development of Embedded Systems (MBEES), Seiten 100-109, März 2015. Details URL BIB
• Februar 2015 Model-based Performance Evaluation of Large-Scale Smart Metering Architectures Johannes Kroß , Andreas Brunnert , Christian Prehofer , Thomas A. Runkler und Helmut Krcmar In Proceedings of the 4th International Workshop on Large-Scale Testing, Seiten 9–12, New York, NY, USA, Februar 2015. ACM. Details URL DOI BIB
• 2015 Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems Klaus Becker und Sebastian Voss In 18th IEEE Symposium on Real-Time Distributed Computing (ISORC), 2015. IEEE. Details DOI BIB
• 2015 AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems Vincent Aravantinos , Sebastian Voss , Sabine Teufl , Florian Hölzl und Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 Ausgabe, 2015. Details URL BIB
• 2015 Comparing the Accuracy of Resource Demand Measurement and Estimation Techniques Felix Willnecker , Markus Dlugi , Andreas Brunnert , Simon Spinner , Samuel Kounev und Wolfgang Gottesheim In Computer Performance Engineering, Band 9272 von Lecture Notes in Computer Science, Seiten 115-129. Springer International Publishing, 2015. Details URL DOI BIB
• 2015 Landscaping Performance Research at the ICPE and Its Predecessors: A Systematic Literature Review Alexandru Danciu , Johannes Kroß , Andreas Brunnert , Felix Willnecker , Christian Vögele , Anand Kapadia und Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Seiten 91–96, New York, NY, USA, 2015. ACM. Details DOI BIB
• 2015 Stream Processing on Demand for Lambda Architectures Johannes Kroß , Andreas Brunnert , Christian Prehofer , Thomas A. Runkler und Helmut Krcmar Band 9272 von Lecture Notes in Computer Science, Seiten 243-257. Springer International Publishing, 2015. Details URL DOI BIB
• 2015 Towards a Performance Model Management Repository for Component-based Enterprise Applications Andreas Brunnert , Alexandru Danciu und Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Seiten 321–324, New York, NY, USA, 2015. ACM. Details URL DOI BIB