Friederike Bruns

According to our database, Friederike Bruns authored at least 13 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Set-Based Approach to Derive Contracts for Dynamic Behavior in Interconnected Systems.

Andreas Rauh, Friederike Bruns

Proceedings of the 29th International Conference on Methods and Models in Automation and Robotics, 2025

Validating the Design of CPS: Interfacing Simulations of Multi-Physics Components and Software with Contract-Based Monitoring.

Friederike Bruns, Francesco Tosoni, Sven Mehlhop, Andreas Rauh, Sara Vinco, Jörg Walter, Frank Oppenheimer, Franco Fummi

Proceedings of the 29th International Conference on Methods and Models in Automation and Robotics, 2025

Power State Machines: Structuring Black-Box Models for Determining Energy Consumption.

Sören Stingl, Friederike Bruns, Fabian Kott, Andreas Rauh

Proceedings of the 8th IEEE International Conference on Industrial Cyber-Physical Systems, 2025

2024

Systematic Correct-by-Construction Design for Industrial Real-Time Communication.

Friederike Bruns

PhD thesis, 2024

Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems.

Friederike Bruns, Sven Mehlhop, Bianca Wiesmayr, Alois Zoitl

Proceedings of the IEEE International Conference on Industrial Technology, 2024

Analyzing Fault Behaviors in Multi-Domain Systems with Contract-Based Monitors.

Friederike Bruns, Andreas Rauh, Francesco Tosoni, Franco Fummi, Sven Mehlhop, Frank Oppenheimer

Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

2023

Teaching Cyber-Physical Systems in Student Project Groups.

Henning Schlender, Ralf Stemmer, Kim Grüttner, Günter Ehmen, Bernd Westphal, Friederike Bruns

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2023

Model-based Automation of TSN Configuration for Industrial Distributed Systems.

Brendan J. Mackenzie, Friederike Bruns, Wolfgang Nebel

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

Supporting Model-Based Network Specification for Time-Critical Distributed Control Systems in IEC 61499.

Friederike Bruns, Bianca Wiesmayr, Alois Zoitl

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

A Detailed Analysis of Timing Effects in an IEC 61499 Ethernet/TSN Communication Scenario.

Friederike Bruns, Wolfgang Nebel, Jörg Walter

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Time Measurement and Control Blocks for Bare-Metal C++ Applications.

Friederike Bruns, Irune Yarza, Philipp Ittershagen, Kim Grüttner

ACM Trans. Embed. Comput. Syst., 2021

2020

Work-in-Progress: Modeling of real-time communication for industrial distributed automation systems.

Friederike Bruns, Wolfgang Nebel, Jörg Walter, Kim Grüttner

Proceedings of the 16th IEEE International Conference on Factory Communication Systems, 2020

2019

Time Measurement and Control Blocks for Bare-Metal C++ Applications.

Friederike Bruns, Philipp Ittershagen, Kim Grüttner

Proceedings of the 2019 Forum for Specification and Design Languages, 2019