Suche in der Hochschulbibliografie

Treffer 1-10 von 77

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_ALMA5138829935000350149GBVUOB_ALMA51388299350003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51388299350003501
  E-Book
  Interval Reasoning for C11 RAR

  von Florian Dyck

  2024

  Details anzeigen

  Akademischer Betr.: Heike Wehrheim; Lara Bargmann

  Verlag: Oldenburg

  Umfang: 1 Online-Ressource.

  Weitere Angaben:

  Masterarbeit Universität Oldenburg 2024

  Schlagwörter: Hochschulschrift

  Sprache: Englisch

  >> Volltext
• 2
  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
• 3
  49GBVUOB_ALMA5139111597000350149GBVUOB_ALMA51391115970003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51391115970003501
  Artikel
  Exchanging information in cooperative software validation

  von Jan Haltermann ; Heike Wehrheim

  2024

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeHaltermann, Jan ([2021-])

  Enthalten in: Software and systems modeling Berlin : Springer, 2002 23(2024), Seite 695-719 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 4
  49GBVUOB_ALMA5139296733000350149GBVUOB_ALMA51392967330003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51392967330003501
  Artikel
  Parallel program analysis on path ranges

  von Jan Haltermann ; Marie-Christine Jakobs ; Cedric Richter ; Heike Wehrheim

  2024

  Details anzeigen

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

  Enthalten in: Science of computer programming Amsterdam [u.a.] : Elsevier Science, 1981 238(2024) vom: Dez., Artikel-ID 103154, Seite 1-24 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 5
  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
• 6
  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
• 7
  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
• 8
  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
• 9
  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
• 10
  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: Arxiv Ithaca, NY : Cornell University, 1991 (2023) vom: 19. Jan., Seite 1-24 Online-Ressource

  Sprache: Englisch

  >> Volltext