direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Prof. Dr. Paula Herber

Publications

2019

Liebrenz, T., Herber, P. and Glesner, S. (2019). A Service-oriented Approach for Decomposing and Verifying Hybrid System Models. International Conference on Formal Aspects of Component Software. Springer.


2018

Sydow, S., Nabelsee, M., Parzyjegla, H. and Herber, P. (2018). A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing. 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2018, to appear). Conference Publishing Services (CPS), 239-243.

Link to original publication

Mikulcak, M., Herber, P., Göthel, T. and Glesner, S. (2018). Information Flow Analysis of Combined Simulink/Stateflow Models. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 223–228.


Moesus, N., Scholze, M., Schlesinger, S. and Herber, P. (2018). Automated Selection of Software Refactorings that Improve Performance. 13th International Conference on Software Technologies (ICSOFT'18, to appear). SCITEPRESS.


Schlesinger, S., Herber, P., Göthel, T. and Glesner, S. (2018). Equivalence Checking for Hybrid Control Systems modelled in Simulink. IEEE International Workshop on Model-based Verification and validation (MVV 2018). IEEE, 572–579.


Feldner, B. and Herber, P. (2018). A Qualitative Evaluation of IPv6 for the Industrial Internet of Things. International Workshop on the Future of the Internet of Things (FIT 2018, to appear). Elsevier.


Liebrenz, T., Herber, P. and Glesner, S. (2018). Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X. International Conference on Formal Engineering Methods. Springer.

Link to original publication

Pfeffer, T., Herber, P., Druschke, L. and Glesner, S. (2018). Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 235 - 240.

Link to original publication

2017

Liebrenz, T., Herber, P., Göthel, T. and Glesner, S. (2017). Towards Service-oriented Design of Hybrid Systems modeled in Simulink. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017). IEEE, 469–474.

Link to original publication

Fellmuth, J., Herber, P., Pfeffer, T. F. and Glesner, S. (2017). Securing Real-Time Cyber-Physical Systems using WCET-Aware Artificial Diversity. 2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing (DASC'17), 454-461.

Link to original publication

Jaß, L. and Herber, P. (2017). Bit-Precise Formal Verification for SystemC using Satisfiability Modulo Theories Solving. System Level Design from HW/SW to Memory for Embedded Systems. Springer.


Mikulcak, M., Herber, P., Göthel, T. and Glesner, S. (2017). Timed Path Conditions in MATLAB/Simulink. System Level Design from HW/SW to Memory for Embedded Systems. Springer.


2016

Liebrenz, T., Klös, V. and Herber, P. (2016). Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC. ACM SIGAda Ada Letters. ACM, 9–17.

Link to original publication

Mikulcak, M., Göthel, T., Herber, P. and Glesner, S. (2016). Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. INFORMATIK 2016. Gesellschaft für Informatik (GI), 1495–1508.


Schlesinger, S., Herber, P., Göthel, T. and Glesner, S. (2016). Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. Cyber Physical Systems. Design, Modeling, and Evaluation. Springer, 71-86.

Link to original publication

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe