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.

210 Publications


2020 | Conference Paper | LibreCat-ID: 20275
Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.” In Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, edited by Marten van Sinderen, Hans{-}Georg Fill, and Leszek A. Maciaszek, 15–26. ScitePress, 2020. https://doi.org/10.5220/0009766600150026.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20276
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” In 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}, edited by Tiziana Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-61362-4\_8.
LibreCat | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim, Heike, and Jordi Cabot, eds. 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. Vol. 12076. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-45234-6.
LibreCat | DOI
 

2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-50995-8.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20279
Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning Models.” CoRR abs/2002.12278 (2020).
LibreCat
 

2020 | Journal Article | LibreCat-ID: 21016
Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning for C11 RAR (Artifact).” Dagstuhl Artifacts Ser. 6, no. 2 (2020): 15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning for C11 RAR.” In 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias Pape, 166:11:1-11:26. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21018
Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View on Algorithm Selection for Software Verification.” In 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, 1016–28. {IEEE}, 2020.
LibreCat
 

2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-50995-8.
LibreCat | DOI
 

2020 | Preprint | LibreCat-ID: 17825
Haltermann, Jan Frederik, and Heike Wehrheim. “Cooperative Verification via Collective Invariant Generation.” ArXiv:2008.04551, 2020.
LibreCat
 

Filters and Search Terms

department=77

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed