| Model checking SystemC designs using timed automata P Herber, J Fellmuth, S Glesner Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware …, 2008 | 129 | 2008 |
| A HW/SW co-verification framework for SystemC P Herber, S Glesner ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-23, 2013 | 41 | 2013 |
| Transforming SystemC transaction level models into UPPAAL timed automata P Herber, M Pockrandt, S Glesner Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011 | 38 | 2011 |
| Bit-precise formal verification of discrete-time MATLAB/Simulink models using SMT solving P Herber, R Reicherdt, P Bittner 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 37 | 2013 |
| Deductive verification of hybrid control systems modeled in Simulink with KeYmaera X T Liebrenz, P Herber, S Glesner Formal Methods and Software Engineering: 20th International Conference on …, 2018 | 36 | 2018 |
| An evolutionary algorithm for the generation of timed test traces for embedded real-time systems J Hänsel, D Rose, P Herber, S Glesner 2011 fourth ieee international conference on software testing, verification …, 2011 | 33 | 2011 |
| Model checking a SystemC/TLM design of the AMBA AHB protocol M Pockrandt, P Herber, S Glesner 2011 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 66-75, 2011 | 30 | 2011 |
| STATE--A SystemC to Timed Automata Transformation Engine P Herber, M Pockrandt, S Glesner 2015 IEEE 17th International Conference on High Performance Computing and …, 2015 | 29 | 2015 |
| A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata P Herber Logos Verlag Berlin GmbH, 2010 | 23 | 2010 |
| A qualitative evaluation of IPv6 for the Industrial Internet of Things B Feldner, P Herber Procedia Computer Science 134, 377-384, 2018 | 21 | 2018 |
| Combining model checking and testing in a continuous hw/sw co-verification process P Herber, F Friedemann, S Glesner International Conference on Tests and Proofs, 121-136, 2009 | 20 | 2009 |
| Automated conformance evaluation of SystemC designs using timed automata P Herber, M Pockrandt, S Glesner 2010 15th IEEE European Test Symposium, 188-193, 2010 | 19 | 2010 |
| A service-oriented approach for decomposing and verifying hybrid system models T Liebrenz, P Herber, S Glesner Formal Aspects of Component Software: 16th International Conference, FACS …, 2020 | 17 | 2020 |
| The RESCUE approach-towards compositional hardware/software co-verification P Herber 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014 | 16 | 2014 |
| Formal Verification of SystemC Designs using the BLAST Software Model Checker. P Herber, B Hünnemeyer ACES-MB@ MoDELS, 44-53, 2014 | 14 | 2014 |
| Verification of embedded real-time systems P Herber, S Glesner Formal Modeling and Verification of Cyber-Physical Systems: 1st …, 2015 | 13 | 2015 |
| Towards safe and resilient hybrid systems in the presence of learning and uncertainty J Adelt, P Herber, M Niehage, A Remke International Symposium on Leveraging Applications of Formal Methods, 299-319, 2022 | 12 | 2022 |
| Formal verification of intelligent hybrid systems that are modeled with simulink and the reinforcement learning toolbox J Adelt, T Liebrenz, P Herber Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 12 | 2021 |
| Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X. P Herber, J Adelt, T Liebrenz Software Engineering (Satellite Events) 168, 2021 | 8 | 2021 |
| Automatic analysis and abstraction for model checking HW/SW co-designs modeled in SystemC T Liebrenz, V Klös, P Herber ACM SIGAda Ada Letters 36 (2), 9-17, 2017 | 8 | 2017 |
