TU Berlin

Software and Embedded Systems EngineeringVeröffentlichungen

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Prof. Dr. Paula Herber

Veröffentlichungen

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 zur Originalpublikation

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 zur Originalpublikation

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 zur Originalpublikation

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 zur Originalpublikation

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 zur Originalpublikation

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 zur Originalpublikation

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 zur Originalpublikation

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe