Export list as BibTeX file

2021

• 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
• February 2015 Model-based Performance Evaluation of Large-Scale Smart Metering Architectures Johannes Kroß , Andreas Brunnert , Christian Prehofer , Thomas A. Runkler and Helmut Krcmar In Proceedings of the 4th International Workshop on Large-Scale Testing, pages 9–12, New York, NY, USA, February 2015. ACM. Details URL DOI BIB
• 2015 Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems Klaus Becker and 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 and Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, 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 and Wolfgang Gottesheim In Computer Performance Engineering, volume 9272 of Lecture Notes in Computer Science, pages 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 and Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, pages 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 and Helmut Krcmar volume 9272 of Lecture Notes in Computer Science, pages 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 and Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, pages 321–324, New York, NY, USA, 2015. ACM. Details URL DOI BIB
• 2015 Using Dynatrace Monitoring Data for Generating Performance Models of Java EE Applications Felix Willnecker , Andreas Brunnert , Wolfgang Gottesheim and Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, pages 103-104, New York, NY, USA, 2015. ACM. Details URL DOI BIB