Publications
- Marcus, Mikulcak, Paula, Herber, Thomas, Göthel, and Sabine, Glesner. . “Information Flow Analysis of Combined Simulink/Stateflow Models.” Information Technology and Control 48 (2): 299–315. doi: 10.5755/j01.itc.48.2.21759.
- Timm, Liebrenz, and Paula, Herber and Sabine Glesner. . “A Service-oriented Approach for Decomposing and Verifying Hybrid System Models.” in Vol. 12018 of LNCS Springer. doi: 10.1007/978-3-030-40914-2\_7.
- Moesus, Nikolai, Scholze, Matthias, Schlesinger, Sebastian, Herber, and Paula. . “A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability.” in Software Technologies, edited by Marten van Sinderen and Leszek A. Maciaszek.
- Witteck, Ulrike, Griessbach, Denis, and Herber, Paula. . “Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms.” contribution to the International Conference on Software Technologies (ICSOFT 2019), Prague, Czech Republic SciTePress.
- Feldner, B, and Herber, P. . “A Qualitative Evaluation of IPv6 for the Industrial Internet of Things.” International Workshop on the Future of the Internet of Things (FIT 2018) 138. doi: 10.1016/j.procs.2018.07.195.
- Moesus, N, Scholze, M, Schlesinger, S, and Herber, P. . “Automated Selection of Software Refactorings that Improve Performance.” in 13th International Conference on Software Technologies (ICSOFT'18) SciTePress.
- Liebrenz, T, Herber, P, and Glesner, S. . “Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X.” in International Conference on Formal Engineering Methods (ICFEM 2018, to appear) Springer. doi: 10.1007/978-3-030-02450-5_6.
- Pfeffer, T, Herber, P, Druschke, L, and Glesner, S. . “Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language.” in Proceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018), Paris, France, 27-29 June 2018 Wiley-IEEE Computer Society Press. doi: 10.1109/WETICE.2018.00052.
- Mikulcak, M, Herber, P, Göthel, T, and Glesner, S. . “Information Flow Analysis of Combined Simulink/Stateflow Models.” in VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018) Wiley-IEEE Computer Society Press. doi: 10.1109/WETICE.2018.00050.
- Schlesinger, S, Herber, P, Göthel, T, and Glesner, S. . “Equivalence Checking for Hybrid Control Systems Modelled in Simulink.” in 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) Wiley-IEEE Press. doi: 10.1109/QRS-C.2018.00101.
- Sydow, S, Nabelsee, M, Parzyjegla, H, and Herber, P. . “A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing.” in Parallel, Distributed and Network-based Processing (PDP), 2018 26th Euromicro International Conference on Wiley-IEEE Computer Society Press. doi: 10.1109/PDP2018.2018.00040.
- Mikulcak, M, Herber, P, Göthel, T, and Glesner, S. . “Timed Path Conditions in MATLAB/Simulink.” in System Level Design from HW/SW to Memory for Embedded Systems. Springer., Vol. 523 of IFIP Advances in Information and Communication Technology Springer.
- Jaß, L, and Herber, P. . “Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving.” in System Level Design from HW/SW to Memory for Embedded Systems Springer.
- Fellmuth, J, Herber, P, Pfeffer, TF, and Glesner, S. . “Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity.” in Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence & Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC/PiCom/DataCom/CyberSciTech), 2017 IEEE 15th Intl Wiley-IEEE Press. doi: 10.1109/DASC-PICom-DataCom-CyberSciTec.2017.88.
- Liebrenz, T, Herber, P, Göthel, T, and Glesner, S. . “Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink.” in Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual, Vol. 2 Wiley-IEEE Press. doi: 10.1109/COMPSAC.2017.251.
- Liebrenz, T, Klös, V, and Herber, P. . “Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC.” ACM SIGAda Ada Letters 36 (2): 9–17. doi: 10.1145/3092893.3092895.
- Schlesinger, S, Herber, P, Göthel, T, and Glesner, S. . “Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow.” in International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems Springer.
- Schlesinger, S, Herber, P, Göthel, T, and Glesner, S. . “Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models.” in ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications.
- Herber, P, and Klös, V. . “A Multi-Robot Search Using LEGO Mindstorms -- An Embedded Software Design Project.” ACM SIGBED Review, Special Issue on Embedded and Cyber-Physical Systems Education 14 (1).
- Pfeffer, TF, Sydow, S, Fellmuth, J, and Herber, P. . “Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking.” in Software Quality, Reliability and Security (QRS), 2016 IEEE International Conference on doi: 10.1109/QRS.2016.35.
- Mikulcak, M, Göthel, T, Herber, P, and Glesner, S. . “Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.” contribution to the Informatik 2016, Klagenfurt, Austria
- Schlesinger, S, Herber, P, Göthel, T, and Glesner, S. . “Towards the verification of refactorings of hybrid Simulink models.” in Proceedings of 3rd International Workshop on Verification and Program Transformation, EPTCS, Vol. 199
- Herber, P, and Glesner, S. . “Verification of Embedded Real-time Systems.” in Formal Modeling and Verification of Cyber-Physical Systems, edited by R. Drechsler and U. Kühne. Springer Vieweg. doi: 10.1007/978-3-658-09994-7_1.
- Herber, P, Pockrandt, M, and Glesner, S. . “STATE--A SystemC to Timed Automata Transformation Engine.” in High Performance Computing and Communications (HPCC), 2015 IEEE 7th International Symposium on Cyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferen on Embedded Software and Systems (ICESS), 2015 IEEE 17th International Conference on doi: 10.1109/HPCC-CSS-ICESS.2015.188.
- Herber, P. . “The RESCUE Approach-Towards Compositional Hardware/Software Co-verification.” in High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC, CSS, ICESS), 2014 IEEE Intl Conf on doi: 10.1109/HPCC.2014.109.
- Herber, P, and Hünnemeyer, B. . “Formal Verification of SystemC Designs using the BLAST Software Model Checker.” in ACESMB@ MoDELS
- Pfeffer, TF, Herber, P, and Schneider, J. . “Reverse engineering of ARM binaries using formal transformations.” in Proceedings of the 7th International Conference on Security of Information and Networks doi: 10.1145/2659651.2659697.
- Pockrandt, M, Herber, P, Klös, V, and Glesner, S. . “Model checking memory-related properties of hardware/software co-designs.” in International Embedded Systems Symposium doi: 10.1007/978-3-642-38853-8_9.
- Herber, P, Reicherdt, R, and Bittner, P. . “Bit-precise formal verification of discrete-time MATLAB/Simulink models using SMT solving.” in Embedded Software (EMSOFT), 2013 Proceedings of the International Conference on doi: 10.1109/EMSOFT.2013.6658586.
- Herber, P, and Glesner, S. . “A HW/SW co-verification framework for SystemC.” ACM Transactions on Embedded Computing Systems (TECS) 12 (1s): 61.. doi: 10.1145/2435227.2435257.
- Pockrandt, M, Herber, P, Gross, H, and Glesner, S. . “Optimized Transformation and Verification of SystemC Methods.” Electronic Communications of the EASST 53.
- Herber, P. . “Automated HW/SW Co-Verification of SystemC Designs using Timed Automata.” it-Information Technology Methoden und innovative Anwendungen der Informatik und Informationstechnik 54 (6): 296–300.
- Herber, P. . “Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata.” it - Information Technology. Ausgezeichnete Informatikdissertationen 54 (6): 296–300.
- Pockrandt, M, Herber, P, and Glesner, S. . “Towards a Formal Semantics of the SystemC-TLM Core Interfaces.” in GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
- Pockrandt, M, Herber, P, and Glesner, S. . “Model checking a SystemC/TLM design of the AMBA AHB protocol.” in Embedded Systems for Real-Time Multimedia (ESTIMedia), 2011 9th IEEE Symposium on doi: 10.1109/ESTIMedia.2011.6088527.
- Hänsel, J, Rose, D, Herber, P, and Glesner, S. . “An evolutionary algorithm for the generation of timed test traces for embedded real-time systems.” in Software Testing, Verification and Validation (ICST), 2011 IEEE Fourth International Conference on
- Herber, P, Pockrandt, M, and Glesner, S. . “Transforming SystemC transaction level models into UPPAAL timed automata.” in Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign doi: 10.1109/MEMCOD.2011.5970523.
- Herber, P. . A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata Logos Verlag.
- Herber, P, Pockrandt, M, and Glesner, S. . “Automated conformance evaluation of SystemC designs using timed automata.” in Test Symposium (ETS), 2010 15th IEEE European doi: 10.1109/ETSYM.2010.5512761.
- Herber, P, Friedemann, F, and Glesner, S. . “Combining model checking and testing in a continuous hw/sw co-verification process.” in International Conference on Tests and Proofs doi: 10.1007/978-3-642-02949-3_10.