Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHeike Wehrheim
Person information
- affiliation: University of Oldenburg, Germany
- affiliation (former): University of Paderborn, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c146]Ori Lahav
, Brijesh Dongol, Heike Wehrheim:
Rely-Guarantee Reasoning for Causally Consistent Shared Memory. CAV (1) 2023: 206-229- [c145]Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim:
Parallel Program Analysis via Range Splitting. FASE 2023: 195-219 - [c144]Heike Wehrheim, Lara Bargmann, Brijesh Dongol:
Reasoning About Promises in Weak Memory Models with Event Structures. FM 2023: 282-300 - [c143]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering 2023: 37-38 - [c142]Felix Pauck, Heike Wehrheim:
Jicer: Slicing Android Apps for Cooperative Analysis. Software Engineering 2023: 101-102 - [c141]Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim:
Variable Misuse Detection: Software Developers versus Neural Bug Detectors. Software Engineering 2023: 103-104 - [c140]Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim:
Property-Driven Black-Box Testing of Numeric Functions. Software Engineering 2023: 111-112 - [c139]Lara Bargmann, Heike Wehrheim:
View-Based Axiomatic Reasoning for PSO. TASE 2023: 286-304 - [i25]Lara Bargmann, Heike Wehrheim:
View-Based Axiomatic Reasoning for PSO (Extended Version). CoRR abs/2301.07967 (2023) - [i24]Ori Lahav, Brijesh Dongol, Heike Wehrheim:
Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version). CoRR abs/2305.08486 (2023) - [i23]Lara Bargmann, Heike Wehrheim:
Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version). CoRR abs/2309.01433 (2023) - 2022
- [j39]Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim:
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL. J. Autom. Reason. 66(1): 141-171 (2022) - [j38]Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Modularising Verification Of Durable Opacity. Log. Methods Comput. Sci. 18(3) (2022) - [j37]Simon Doherty, Sadegh Dalvandi, Brijesh Dongol, Heike Wehrheim:
Unifying Operational Weak Memory Verification: An Axiomatic Approach. ACM Trans. Comput. Log. 23(4): 27:1-27:39 (2022) - [c138]Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. CONCUR 2022: 31:1-31:23 - [c137]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. ICSE 2022: 536-548 - [c136]Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim:
Property-Driven Testing of Black-Box Functions. FormaliSE@ICSE 2022: 113-123 - [c135]Jan Haltermann, Heike Wehrheim:
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study. ICST 2022: 12-23 - [c134]Cedric Richter, Heike Wehrheim:
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. ICST 2022: 162-173 - [c133]Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim:
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? ASE 2022: 9:1-9:12 - [c132]Cedric Richter, Heike Wehrheim:
TSSB-3M: Mining single statement bugs at massive scale. MSR 2022: 418-422 - [c131]Jan Haltermann, Heike Wehrheim:
CoVEGI: Cooperative Verification via Externally Generated Invariants. Software Engineering 2022: 41-42 - [c130]Jan Haltermann, Heike Wehrheim:
Information Exchange Between Over- and Underapproximating Software Analyses. SEFM 2022: 37-54 - [i22]Cedric Richter, Heike Wehrheim:
TSSB-3M: Mining single statement bugs at massive scale. CoRR abs/2201.12046 (2022) - [i21]Cedric Richter, Heike Wehrheim:
Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes. CoRR abs/2207.00301 (2022) - [i20]Heike Wehrheim, Lara Bargmann, Brijesh Dongol:
Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version). CoRR abs/2211.16330 (2022) - 2021
- [j36]Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Heike Wehrheim, Tobias Wiersema:
Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access 9: 160559-160579 (2021) - [j35]John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects Comput. 33(4-5): 547-573 (2021) - [j34]Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim:
Editorial. Formal Aspects Comput. 33(6): 827 (2021) - [j33]Jordi Cabot, Heike Wehrheim, Eerke A. Boiten:
Editorial. Formal Aspects Comput. 33(6): 1037 (2021) - [c129]Jan Haltermann, Heike Wehrheim:
CoVEGI: Cooperative Verification via Externally Generated Invariants. FASE 2021: 108-129 - [c128]Arnab Sharma, Caglar Demir, Axel-Cyrille Ngonga Ngomo, Heike Wehrheim:
MLCHECK- Property-Driven Testing of Machine Learning Classifiers. ICMLA 2021: 738-745 - [c127]Jürgen König, Heike Wehrheim:
On the Correctness Problem for Serializability. ICTAC 2021: 47-64 - [c126]Felix Pauck, Heike Wehrheim:
Jicer: Simplifying Cooperative Android App Analysis Tasks. SCAM 2021: 187-197 - [c125]Felix Pauck, Heike Wehrheim:
Cooperative Android App Analysis with CoDiDroid. Software Engineering 2021: 83-84 - [c124]John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Brief Announcement: On Strong Observational Refinement and Forward Simulation. DISC 2021: 55:1-55:4 - [i19]Arnab Sharma, Caglar Demir, Axel-Cyrille Ngonga Ngomo, Heike Wehrheim:
MLCheck- Property-Driven Testing of Machine Learning Models. CoRR abs/2105.00741 (2021) - [i18]Heike Wehrheim:
On the (Non-)Applicability of a Small Model Theorem to Model Checking STMs. CoRR abs/2107.00271 (2021) - [i17]Cedric Richter, Heike Wehrheim:
DeepMutants: Training neural bug detectors with contextual mutations. CoRR abs/2107.06657 (2021) - [i16]John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
On Strong Observational Refinement and Forward Simulation. CoRR abs/2107.14509 (2021) - 2020
- [j32]Cedric Richter, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim:
Algorithm selection for software validation based on graph kernels. Autom. Softw. Eng. 27(1): 153-186 (2020) - [j31]Holger Karl, Dennis Kundisch, Friedhelm Meyer auf der Heide, Heike Wehrheim:
A Case for a New IT Ecosystem: On-The-Fly Computing. Bus. Inf. Syst. Eng. 62(6): 467-481 (2020) - [j30]Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim:
Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser. 6(2): 15:1-15:2 (2020) - [c123]Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim:
Owicki-Gries Reasoning for C11 RAR. ECOOP 2020: 11:1-11:26 - [c122]Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. FORTE 2020: 39-58 - [c121]Steffen Beringer, Heike Wehrheim:
Consistency Analysis of AUTOSAR Timing Requirements. ICSOFT 2020: 15-26 - [c120]Dirk Beyer, Heike Wehrheim:
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. ISoLA (1) 2020: 143-167 - [c119]Arnab Sharma, Heike Wehrheim:
Higher income, larger loan? monotonicity testing of machine learning models. ISSTA 2020: 200-210 - [c118]Cedric Richter, Heike Wehrheim:
Attend and Represent: A Novel View on Algorithm Selection for Software Verification. ASE 2020: 1016-1028 - [c117]Arnab Sharma, Heike Wehrheim:
Automatic Fairness Testing of Machine Learning Models. ICTSS 2020: 255-271 - [c116]Felix Pauck, Eric Bodden, Heike Wehrheim:
Reproducing Taint-Analysis Results with ReproDroid. SE 2020: 123-124 - [e5]Heike Wehrheim, Jordi Cabot:
Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Lecture Notes in Computer Science 12076, Springer 2020, ISBN 978-3-030-45233-9 [contents] - [e4]Wolfgang Ahrendt, Heike Wehrheim:
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]. Lecture Notes in Computer Science 12165, Springer 2020, ISBN 978-3-030-50994-1 [contents] - [i15]Arnab Sharma, Heike Wehrheim:
Testing Monotonicity of Machine Learning Models. CoRR abs/2002.12278 (2020) - [i14]Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. CoRR abs/2004.08200 (2020) - [i13]Jan Haltermann, Heike Wehrheim:
Cooperative Verification via Collective Invariant Generation. CoRR abs/2008.04551 (2020) - [i12]Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Modularising Verification Of Durable Opacity. CoRR abs/2011.15013 (2020)
2010 – 2019
- 2019
- [j29]Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan:
Editorial. Formal Aspects Comput. 31(1): 1 (2019) - [j28]Alessandra Russo, Andy Schürr, Heike Wehrheim:
Editorial. Formal Aspects Comput. 31(5): 457-458 (2019) - [c115]John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim:
Verifying Correctness of Persistent Concurrent Data Structures. FM 2019: 179-195 - [c114]Arnab Sharma, Heike Wehrheim:
Testing Machine Learning Algorithms for Balanced Data Usage. ICST 2019: 125-135 - [c113]Stefan Schneider, Arnab Sharma, Holger Karl, Heike Wehrheim:
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. IM 2019: 116-124 - [c112]Jürgen König, Heike Wehrheim:
Data Independence for Software Transactional Memory. NFM 2019: 263-279 - [c111]Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick:
Verifying C11 programs operationally. PPoPP 2019: 355-365 - [c110]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM 2019: 151-152 - [c109]Arnab Sharma, Heike Wehrheim:
Testing Balancedness of ML Algorithms. SE/SWM 2019: 157-158 - [c108]Felix Pauck, Heike Wehrheim:
Together strong: cooperative Android app analysis. ESEC/SIGSOFT FSE 2019: 374-384 - [c107]Cedric Richter, Heike Wehrheim:
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). TACAS (3) 2019: 229-233 - [c106]Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim:
When Are Software Verification Results Valid for Approximate Hardware? TAP@FM 2019: 3-20 - [i11]Dirk Beyer, Heike Wehrheim:
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. CoRR abs/1905.08505 (2019) - 2018
- [j27]Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim:
Validity of Software Verification Results on Approximate Hardware. IEEE Embed. Syst. Lett. 10(1): 22-25 (2018) - [j26]John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim:
Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects Comput. 30(5): 597-625 (2018) - [c105]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Reducer-based construction of conditional verifiers. ICSE 2018: 1182-1193 - [c104]Manuel Töws, Heike Wehrheim:
Information Flow Certificates. ICTAC 2018: 435-454 - [c103]Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick:
Making Linearizability Compositional for Partially Ordered Executions. IFM 2018: 110-129 - [c102]Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim:
JMCTest: Automatically Testing Inter-Method Contracts in Java. ICTSS 2018: 39-55 - [c101]Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim:
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. SEFM 2018: 105-120 - [c100]Felix Pauck, Eric Bodden, Heike Wehrheim:
Do Android taint analysis tools keep their promises? ESEC/SIGSOFT FSE 2018: 331-341 - [c99]Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick:
Brief Announcement: Generalising Concurrent Correctness to Weak Memory. DISC 2018: 45:1-45:3 - [i10]Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim:
Causal Linearizability: Compositionality for Partially Ordered Executions. CoRR abs/1802.01866 (2018) - [i9]Stefan Schneider, Arnab Sharma, Holger Karl, Heike Wehrheim:
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. CoRR abs/1803.07007 (2018) - [i8]Felix Pauck, Eric Bodden, Heike Wehrheim:
Do Android Taint Analysis Tools Keep their Promises? CoRR abs/1804.02903 (2018) - [i7]Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick:
Verifying C11 Programs Operationally. CoRR abs/1811.09143 (2018) - 2017
- [j25]Tobias Isenberg, Marco Platzner, Heike Wehrheim, Tobias Wiersema:
Proof-Carrying Hardware via Inductive Invariants. ACM Trans. Design Autom. Electr. Syst. 22(4): 61:1-61:23 (2017) - [j24]Marie-Christine Jakobs, Heike Wehrheim:
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Trans. Program. Lang. Syst. 39(2): 7:1-7:56 (2017) - [c98]Heike Wehrheim:
Fault Localization in Service Compositions. FACS 2017: 216-232 - [c97]Manuel Töws, Heike Wehrheim:
Policy Dependent and Independent Information Flow Analyses. ICFEM 2017: 362-378 - [c96]Jürgen König, Heike Wehrheim:
Value-Based or Conflict-Based? Opacity Definitions for STMs. ICTAC 2017: 118-135 - [c95]Marie-Christine Jakobs, Heike Wehrheim:
Compact Proof Witnesses. NFM 2017: 389-403 - [c94]Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim:
Predicting rankings of software verification tools. SWAN@ESEC/SIGSOFT FSE 2017: 23-26 - [i6]Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim:
Predicting Rankings of Software Verification Competitions. CoRR abs/1703.00757 (2017) - 2016
- [j23]Sven Walther, Heike Wehrheim:
On-the-fly construction of provably correct service compositions - templates and proofs. Sci. Comput. Program. 127: 2-23 (2016) - [c93]Julia Krämer, Heike Wehrheim:
A Short Survey on Using Software Error Localization for Service Compositions. ESOCC 2016: 248-262 - [c92]Steffen Beringer, Heike Wehrheim:
Verification of AUTOSAR Software Architectures with Timed Automata. FMICS-AVoCS 2016: 189-204 - [c91]Manuel Töws, Heike Wehrheim:
A CEGAR Scheme for Information Flow Analysis. ICFEM 2016: 466-483 - [c90]Oleg Travkin, Heike Wehrheim:
Verification of Concurrent Programs on Weak Memory Models. ICTAC 2016: 3-24 - [c89]Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim:
Towards a Thread-Local Proof Technique for Starvation Freedom. IFM 2016: 193-209 - [c88]Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim:
Proving Opacity of a Pessimistic STM. OPODIS 2016: 35:1-35:17 - [c87]Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just test what you cannot verify! Software Engineering 2016: 17-18 - [c86]Julia Krämer, Heike Wehrheim:
A Formal Approach to Error Localization and Correction in Service Compositions. STAF Workshops 2016: 445-457 - [i5]Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim:
Deriving approximation tolerance constraints from verification runs. CoRR abs/1604.08784 (2016) - 2015
- [j22]Galina Besova, Dominik Steenken, Heike Wehrheim:
Grammar-based model transformations: Definition, execution, and quality properties. Comput. Lang. Syst. Struct. 43: 116-138 (2015) - [j21]Steffen Ziegert, Heike Wehrheim:
Temporal plans for software architecture reconfiguration. Comput. Sci. Res. Dev. 30(3-4): 303-320 (2015) - [c85]Roland Meyer, Heike Wehrheim:
From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog. Correct System Design 2015: 3-4 - [c84]Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just Test What You Cannot Verify! FASE 2015: 100-114 - [c83]John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim:
Verifying Opacity of a Transactional Mutex Lock. FM 2015: 161-177 - [c82]Heike Wehrheim, Oleg Travkin:
TSO to SC via Symbolic Execution. Haifa Verification Conference 2015: 104-119 - [c81]Marie-Christine Jakobs, Heike Wehrheim:
Programs from proofs of predicated dataflow analyses. SAC 2015: 1729-1736 - [e3]Roland Meyer, André Platzer, Heike Wehrheim:
Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Lecture Notes in Computer Science 9360, Springer 2015, ISBN 978-3-319-23505-9 [contents] - 2014
- [j20]Steve A. Schneider, Helen Treharne, Heike Wehrheim:
The behavioural semantics of Event-B refinement. Formal Aspects Comput. 26(2): 251-280 (2014) - [j19]Bogdan Tofan, Oleg Travkin, Gerhard Schellhorn, Heike Wehrheim:
Two approaches for proving linearizability of multiset. Sci. Comput. Program. 96: 297-314 (2014) - [j18]Gerhard Schellhorn, John Derrick, Heike Wehrheim:
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Trans. Comput. Log. 15(4): 31:1-31:37 (2014) - [c80]Sven Walther, Heike Wehrheim:
Verified Service Compositions by Template-Based Construction. FACS 2014: 31-48 - [c79]Galina Besova, Dominik Steenken, Heike Wehrheim:
Grammar-Based Model Transformations. FedCSIS 2014: 1601-1610 - [c78]John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim:
Quiescent Consistency: Defining and Verifying Relaxed Linearizability. FM 2014: 200-214 - [c77]Oleg Travkin, Heike Wehrheim:
Handling TSO in Mechanized Linearizability Proofs. Haifa Verification Conference 2014: 132-147 - [c76]Tobias Isenberg, Heike Wehrheim:
Timed Automata Verification via IC3 with Zones. ICFEM 2014: 203-218 - [c75]Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams:
Managing LTL Properties in Event-B Refinement. IFM 2014: 221-237 - [c74]Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema:
Integrating Software and Hardware Verification. IFM 2014: 307-322 - [c73]Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Programs from Proofs - Approach and Applications. Software Engineering 2014: 67-68 - [c72]Marie-Christine Jakobs, Heike Wehrheim:
Certification for configurable program analysis. SPIN 2014: 30-39 - [i4]