Paula Herber
Orcid: 0000-0002-5349-154XAffiliations:
- University of Münster, Computer Science Department, Germany
- International Computer Science Institute (ICSI), Berkeley, CA, USA
- TU Berlin, Germany (PhD)
According to our database1,
Paula Herber
authored at least 70 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Reusable formal models for concurrency and communication in custom real-time operating systems.
Int. J. Softw. Tools Technol. Transf., April, 2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems.
Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024
Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024
Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems.
Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024
SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024
Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024
Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems.
Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), 2024
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024
Improving Robustness of Satellite Image Processing Using Principal Component Analysis for Explainability.
Proceedings of the 19th International Conference on Software Technologies, 2024
Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems.
Proceedings of the Formal Methods - 26th International Symposium, 2024
2023
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox.
Proceedings of the Software Engineering 2023, 2023
Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis.
Proceedings of the Designing Modern Embedded Systems: Software, Hardware, and Applications, 2022
Proceedings of the Formal Methods for Industrial Critical Systems, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
Service-oriented decomposition and verification of hybrid system models using feature models and contracts.
Sci. Comput. Program., 2021
Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X.
Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver.
Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020
Early Analysis of Security Threats by Modeling and Simulating Power Attacks in SystemC.
Proceedings of the 91st IEEE Vehicular Technology Conference, 2020
Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust.
Proceedings of the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, 2020
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing.
Proceedings of the Software Technologies - 15th International Conference, 2020
A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications.
Proceedings of the 15th International Conference on Software Technologies, 2020
2019
Inf. Technol. Control., 2019
Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing.
Proceedings of the Software Technologies - 14th International Conference, 2019
Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms.
Proceedings of the 14th International Conference on Software Technologies, 2019
Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019
2018
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 26th Euromicro International Conference on Parallel, 2018
A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability.
Proceedings of the Software Technologies - 13th International Conference, 2018
Proceedings of the 13th International Conference on Software Technologies, 2018
Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X.
Proceedings of the Formal Methods and Software Engineering, 2018
Proceedings of the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) / The 13th International Conference on Future Networks and Communications (FNC-2018) / Affiliated Workshops, 2018
2017
Proceedings of the 15th IEEE Intl Conf on Dependable, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
SIGBED Rev., 2016
Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016
2015
Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015
Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving.
Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
2014
Proceedings of the 7th International Conference on Security of Information and Networks, 2014
Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), 2014
Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014
2013
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving.
Proceedings of the International Conference on Embedded Software, 2013
2012
it Inf. Technol., 2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
2011
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2011
2010
Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata.
Proceedings of the Ausgezeichnete Informatikdissertationen 2010, 2010
Proceedings of the 15th European Test Symposium, 2010
A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata.
PhD thesis, 2010
2009
Proceedings of the Tests and Proofs - 3rd International Conference, 2009
2008
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008