Liste als BibTeX-Datei exportieren

2021

• 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
• 2015 Using Dynatrace Monitoring Data for Generating Performance Models of Java EE Applications Felix Willnecker , Andreas Brunnert , Wolfgang Gottesheim und Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Seiten 103-104, New York, NY, USA, 2015. ACM. Details URL DOI BIB