Suche in der Hochschulbibliografie

Treffer 1-10 von 74

Sortieren nach: JahrTitelVerfasser/in

Seite 1 von 8
• 
• 

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 1
  49GBVUOB_ALMA5137567007000350149GBVUOB_ALMA51375670070003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375670070003501
  Artikel
  Lifting the reasoning level in generic weak memory verification

  von Lara Bargmann ; Heike Wehrheim

  2024

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeBargmann, Lara

  Enthalten in: iFM 2023 1st ed. 2024. Cham : Springer Nature Switzerland, 2024 (2024), Seite 175-192 1 Online-Ressource(XIX, 400 p. 122 illus., 67 illus. in color.)

  Sprache: Englisch

  >> Volltext
• 2
  49GBVUOB_ALMA5137554011000350149GBVUOB_ALMA51375540110003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375540110003501
  Artikel
  Jicer : slicing Android apps for cooperative analysis

  von Felix Pauck ; Heike Wehrheim

  2023

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, Heike

  Enthalten in: Software Engineering 2023 Bonn : Köllen, 2023 (2023), Seite 101-102 1 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 3
  49GBVUOB_ALMA5137553987000350149GBVUOB_ALMA51375539870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375539870003501
  Artikel
  Robustness testing of software verifiers

  von Florian Dyck ; Cedric Richter ; Heike Wehrheim

  2023

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Richter, Cedric ([2021-])Wehrheim, Heike

  Enthalten in: Software Engineering and Formal Methods 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 66-84 1 Online-Ressource(XII, 378 p. 152 illus., 105 illus. in color.)

  Sprache: Englisch

  >> Volltext
• 4
  49GBVUOB_ALMA5137567004000350149GBVUOB_ALMA51375670040003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375670040003501
  Artikel
  Can ChatGPT support software verification?

  von Christian Janßen ; Cedric Richter ; Heike Wehrheim

  2023

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Richter, Cedric ([2021-])Wehrheim, Heike

  Umfang: 14.

  Weitere Angaben:

  Submitted on 4 Nov 2023

  Enthalten in: De.arxiv.org [Erscheinungsort nicht ermittelbar] : Arxiv.org, 1991 (2023) vom: 4. Nov. Online-Ressource

  Sprache: Englisch

  >> Volltext
• 5
  49GBVUOB_ALMA5137554002000350149GBVUOB_ALMA51375540020003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375540020003501
  Artikel
  Reasoning about promises in weak memory models with event structures

  von Heike Wehrheim ; Lara Bargmann ; Brijesh Dongol

  2023

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Bargmann, LaraWehrheim, Heike

  Enthalten in: Formal Methods 1st ed. 2023. Cham : Springer International Publishing, 2023 (2023), Seite 282-300 1 Online-Ressource(XVI, 659 p. 1230 illus., 132 illus. in color.)

  Sprache: Englisch

  >> Volltext
• 6
  49GBVUOB_ALMA5137553990000350149GBVUOB_ALMA51375539900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375539900003501
  Artikel
  How to train your neural bug detector : artificial vs real bugs

  von Cedric Richter ; Heike Wehrheim

  2023

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeRichter, Cedric ([2021-])

  Enthalten in: IEEE/ACM International Conference on Automated Software Engineering (38. : 2023 : Kirchberg, Luxemburg; Online) 2023 38th IEEE/ACM International Conference on Automated Software Engineering Piscataway, NJ : IEEE, 2023 (2023), Seite 1036-1048 1 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 7
  49GBVUOB_ALMA5137566995000350149GBVUOB_ALMA51375669950003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375669950003501
  Artikel
  View-based axiomatic reasoning for PSO (extended version)

  von Lara Bargmann ; Heike Wehrheim

  2023

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeBargmann, Lara

  Weitere Angaben:

  Submitted on 19 Jan 2023

  Enthalten in: De.arxiv.org [Erscheinungsort nicht ermittelbar] : Arxiv.org, 1991 (2023) vom: 19. Jan., Seite 1-24 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 8
  49GBVUOB_ALMA5137553996000350149GBVUOB_ALMA51375539960003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375539960003501
  Artikel
  View-based axiomatic reasoning for PSO

  von Lara Bargmann ; Heike Wehrheim

  2023

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeBargmann, Lara

  Enthalten in: Theoretical Aspects of Software Engineering 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 286-304 1 Online-Ressource(X, 366 p. 113 illus., 53 illus. in color.)

  Sprache: Englisch

  >> Volltext
• 9
  49GBVUOB_ALMA5137553993000350149GBVUOB_ALMA51375539930003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375539930003501
  Artikel
  Rely-guarantee reasoning for causally consistent shared memory

  von Ori Lahav ; Brijesh Dongol ; Heike Wehrheim

  2023

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, Heike

  Enthalten in: Computer Aided Verification 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 206-229 1 Online-Ressource(XXIX, 488 p. 678 illus., 121 illus. in color.)

  Sprache: Englisch

  >> Volltext
• 10
  49GBVUOB_ALMA5137567001000350149GBVUOB_ALMA51375670010003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375670010003501
  Artikel
  Lifting the reasoning level in generic weak memory verification (extended version)

  von Lara Bargmann ; Heike Wehrheim

  2023

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeBargmann, Lara

  Umfang: 23.

  Weitere Angaben:

  Submitted on 4 Sep 2023

  Enthalten in: De.arxiv.org [Erscheinungsort nicht ermittelbar] : Arxiv.org, 1991 (2023) vom: 4. Sept. Online-Ressource

  Sprache: Englisch

  >> Volltext