Paula Herber - RankMe

82 papers A 2B 9C 18Misc 2Journal 11Unranked 36

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Deductive Verification of Cooperative RTOS Applications. ACM Trans. Embed. Comput. Syst. Philip Tasche, Paula Herber, Marieke Huisman
2025	J	`jnl`	Introduction to the Special Collection from iFM 2023. Formal Aspects Comput. Paula Herber, Anton Wijs
2025	—	`conf`	Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. QEST+FORMATS Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber
2025	J	`jnl`	Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. CoRR Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber
2024	B	`conf`	Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. SEFM Philip Tasche, Paula Herber, Marieke Huisman
2024	—	`conf`	Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. PhD@IFM Pauline Blohm, Paula Herber, Anne Remke
2024	—	`conf`	Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. VMCAI (2) Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman
2024	—	`book`	Ernst Denert Award for Software Engineering 2022 - Practice Meets Foundations Ernst Denert Award for Software Engineering Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer
2024	J	`jnl`	Ernst Denert Preis 2023. Softwaretechnik-Trends Eric Bodden, Yasemin Acar, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Bernhard Rumpe
2024	B	`conf`	Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. SEFM Paula Herber, Julius Adelt, Philip Tasche
2024	C	`conf`	Improving Robustness of Satellite Image Processing Using Principal Component Analysis for Explainability. ICSOFT Ulrike Witteck, Jan Stambke, Denis Grießbach, Paula Herber
2024	—	`conf`	Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. FM (2) Julius Adelt, Robert Mensing, Paula Herber
2024	J	`jnl`	Reusable formal models for concurrency and communication in custom real-time operating systems. Int. J. Softw. Tools Technol. Transf. Julius Adelt, Julian Gebker, Paula Herber
2024	—	`conf`	Safe Battery Use and Grid-Convenience in an Intelligent Energy Control System. VALUETOOLS Julius Adelt, Paula Herber, Johann L. Hurink, Mathis Niehage, Anne Remke, Lisa Willemsen
2024	—	`conf`	SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. ISoLA (3) Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich
2024	B	`conf`	Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems. SEFM Jonas Becker-Kupczok, Paula Herber
2024	—	`conf`	Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems. ISoLA (4) Jonas Becker-Kupczok, Paula Herber
2024	—	`conf`	Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. ISoLA (3) Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke
2024	B	`conf`	Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. IFM Pauline Blohm, Paula Herber, Anne Remke
2024	B	`ed.`	iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings iFM Paula Herber, Anton Wijs
2023	A	`conf`	A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. ICST Philip Tasche, Paula Herber
2023	C	`conf`	Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox. Software Engineering Julius Adelt, Timm Liebrenz, Paula Herber
2023	C	`conf`	Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. MEMOCODE Pauline Blohm, Julius Adelt, Paula Herber
2023	—	`conf`	Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. AISoLA Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke
2023	—	`conf`	The VerifyThis Collaborative Long-Term Challenge Series. TOOLympics@ETAPS Wolfgang Ahrendt, Gidon Ernst, Paula Herber, Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl
2022	—	`ch.`	Ernst Denert Software Engineering Award 2022. Ernst Denert Award for Software Engineering Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer
2022	B	`conf`	Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. ATVA Julius Adelt, Daniel Brettschneider, Paula Herber
2022	—	`conf`	Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis. IESS Marcel Schoppmeier, Paula Herber
2022	—	`conf`	SpecifyThis - Bridging Gaps Between Program Specification Paradigms. ISoLA (1) Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich
2022	C	`conf`	Towards Reusable Formal Models for Custom Real-Time Operating Systems. FMICS Julius Adelt, Julian Gebker, Paula Herber
2022	—	`conf`	Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. ISoLA (1) Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke
2021	B	`conf`	Combining Forces: How to Formally Verify Informally Defined Embedded Systems. FM Paula Herber, Timm Liebrenz, Julius Adelt
2021	C	`conf`	Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X. Software Engineering (Satellite Events) Paula Herber, Julius Adelt, Timm Liebrenz
2021	B	`conf`	Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. FM Julius Adelt, Timm Liebrenz, Paula Herber
2021	J	`jnl`	Service-oriented decomposition and verification of hybrid system models using feature models and contracts. Sci. Comput. Program. Timm Liebrenz, Paula Herber, Sabine Glesner
2020	C	`conf`	A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications. ICSOFT Ulrike Witteck, Denis Grießbach, Paula Herber
2020	—	`conf`	A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing. ICSOFT (Selected Papers) Ulrike Witteck, Denis Grießbach, Paula Herber
2020	—	`conf`	Automated Verification of Embedded Control Software - Track Introduction. ISoLA (3) Dilian Gurov, Paula Herber, Ina Schaefer
2020	C	`conf`	Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. MEMOCODE Paula Herber, Timm Liebrenz
2020	—	`conf`	Early Analysis of Security Threats by Modeling and Simulating Power Attacks in SystemC. VTC Spring Josef Treus, Paula Herber
2020	C	`conf`	Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver. WETICE Simon Schwan, Paula Herber
2020	—	`conf`	Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. ISoLA (3) Timm Liebrenz, Paula Herber, Sabine Glesner
2020	C	`conf`	Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust. SBAC-PAD Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber
2019	—	`conf`	A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. FACS Timm Liebrenz, Paula Herber, Sabine Glesner
2019	—	`conf`	Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing. ICSOFT (Selected Papers) Ulrike Witteck, Denis Grießbach, Paula Herber
2019	J	`jnl`	Information Flow Analysis of Combined Simulink/Stateflow Models. Inf. Technol. Control. Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
2019	C	`conf`	Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms. ICSOFT Ulrike Witteck, Denis Grießbach, Paula Herber
2018	—	`conf`	A Qualitative Evaluation of IPv6 for the Industrial Internet of Things. FNC/MobiSPC Benjamin Feldner, Paula Herber
2018	—	`conf`	A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability. ICSOFT (Selected Papers) Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber
2018	C	`conf`	A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing. PDP Stefan Sydow, Mohannad Nabelsee, Helge Parzyjegla, Paula Herber
2018	C	`conf`	Automated Selection of Software Refactorings that Improve Performance. ICSOFT Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber
2018	C	`conf`	Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. ICFEM Timm Liebrenz, Paula Herber, Sabine Glesner
2018	C	`conf`	Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. WETICE Tobias F. Pfeffer, Paula Herber, Lucas Druschke, Sabine Glesner
2018	—	`conf`	Equivalence Checking for Hybrid Control Systems Modelled in Simulink. QRS Companion Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
2018	C	`conf`	Information Flow Analysis of Combined Simulink/Stateflow Models. WETICE Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
2017	—	`conf`	Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. DASC/PiCom/DataCom/CyberSciTech Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner
2017	—	`conf`	Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. COMPSAC (2) Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner
2016	J	`jnl`	A multi-robot search using LEGO mindstorms: an embedded software design project. SIGBED Rev. Paula Herber, Verena Klös
2016	C	`conf`	Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. QRS Tobias F. Pfeffer, Stefan Sydow, Joachim Fellmuth, Paula Herber
2016	—	`conf`	Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. CyPhy Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
2016	—	`conf`	Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. GI-Jahrestagung Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner
2015	—	`conf`	A Multi-Robot Search Using LEGO Mindstorms - An Embedded Software Design Project. WESE Paula Herber, Verena Klös
2015	—	`conf`	Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving. IESS Lydia Jaß, Paula Herber
2015	—	`conf`	STATE - A SystemC to Timed Automata Transformation Engine. HPCC/CSS/ICESS Paula Herber, Marcel Pockrandt, Sabine Glesner
2015	—	`conf`	Timed Path Conditions in MATLAB/Simulink. IESS Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner
2015	—	`conf`	Verification of Embedded Real-time Systems. SyDe Summer School Paula Herber, Sabine Glesner
2014	—	`conf`	Formal Verification of SystemC Designs using the BLAST Software Model Checker. ACES-MB@MoDELS Paula Herber, Bettina Hünnemeyer
2014	C	`conf`	Reverse Engineering of ARM Binaries Using Formal Transformations. SIN Tobias F. Pfeffer, Paula Herber, Jörg Schneider
2014	—	`conf`	The RESCUE Approach - Towards Compositional Hardware/Software Co-verification. HPCC/CSS/ICESS Paula Herber
2013	J	`jnl`	A HW/SW co-verification framework for SystemC. ACM Trans. Embed. Comput. Syst. Paula Herber, Sabine Glesner
2013	Misc	`conf`	Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving. EMSOFT Paula Herber, Robert Reicherdt, Patrick Bittner
2013	—	`conf`	Model Checking Memory-Related Properties of Hardware/Software Co-designs. IESS Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner
2012	J	`jnl`	Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. it Inf. Technol. Paula Herber
2012	J	`jnl`	Optimized Transformation and Verification of SystemC Methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner
2011	A	`conf`	An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. ICST Joachim Hänsel, Daniela Rose, Paula Herber, Sabine Glesner
2011	—	`conf`	Model checking a SystemC/TLM design of the AMBA AHB protocol. ESTIMedia Marcel Pockrandt, Paula Herber, Sabine Glesner
2011	C	`conf`	Transforming SystemC Transaction Level Models into UPPAAL timed automata. MEMOCODE Paula Herber, Marcel Pockrandt, Sabine Glesner
2010	—	`—`	A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. Paula Herber
2010	B	`conf`	Automated conformance evaluation of SystemC designs using timed automata. ETS Paula Herber, Marcel Pockrandt, Sabine Glesner
2010	—	`ch.`	Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata. Ausgezeichnete Informatikdissertationen Paula Herber
2009	—	`conf`	Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP@TOOLS Paula Herber, Florian Friedemann, Sabine Glesner
2008	Misc	`conf`	Model checking SystemC designs using timed automata. CODES+ISSS Paula Herber, Joachim Fellmuth, Sabine Glesner