Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

205 Publications


2020 | Journal Article | LibreCat-ID: 20279
Testing Monotonicity of Machine Learning Models
A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21018
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–1028.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16724
Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
A. Sharma, H. Wehrheim, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM, n.d.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 19999
Optimierung von JMCTest beim Testen von Inter Method Contracts
S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20275
Consistency Analysis of AUTOSAR Timing Requirements
S. Beringer, H. Wehrheim, in: M. van Sinderen, H.-}Georg Fill, L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, ScitePress, 2020, pp. 15–26.
LibreCat | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 21019
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 13770
A Case for a New IT Ecosystem: On-The-Fly Computing
H. Karl, D. Kundisch, F. Meyer auf der Heide, H. Wehrheim, Business & Information Systems Engineering 62 (2020) 467–481.
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 16725
Algorithm Selection for Software Validation Based on Graph Kernels
C. Richter, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (n.d.).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 20276
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229–233.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10108
Together Strong: Cooperative Android App Analysis
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, n.d., pp. 374–384.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 13993
Verifying Correctness of Persistent Concurrent Data Structures
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 3287
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124.
LibreCat | Files available | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 10091
Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13874
When Are Software Verification Results Valid for Approximate Hardware?
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, in: Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3–20.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 16215
Verifying Correctness of Persistent Concurrent Data Structures
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: M. H. ter Beek, A. McIver, J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Springer, 2019, pp. 179–195.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10011
Editorial
M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10092
Verifying C11 programs operationally
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15838
Android App Merging for Benchmark Speed-Up and Analysis Lift-Up
F. Pauck, S. Zhang, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 16216
Editorial
A. Russo, A. Schürr, H. Wehrheim, Formal Asp. Comput. 31 (2019) 457–458.
LibreCat | DOI
 

Filters and Search Terms

department=77

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed