Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person (Universität Oldenburg) = '
Wehrheim, Heike ((DE-588)1215708114)
'
Treffer 1-10 von 83
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 9
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Schlagwort:
Algorithmus (1)
Black-Box-Test (1)
Blackbox (1)
Machine-Learning-Algorithmen (1)
Machine-Learning-Modell (1)
Maschinelles Lernen (1)
Metamorpher Test (1)
nach Person:
Ahrendt, Wolfgang (1)
Bargmann, Lara (8)
Bartetzko, Detlef (1)
Beyer, Dirk (2)
Bila, Eleni (1)
Bodenmüller, Stefan (1)
Brückner, Ingo (2)
Dalvandi, Sadegh (2)
Demir, Caglar (2)
Denker, Grit (1)
Derrick, John (5)
Doherty, Simon (5)
Dongol, Brijesh (13)
Dräger, Klaus (1)
Dyck, Florian (2)
Finkbeiner, Bernd (1)
Fischer, Clemens (5)
Gehrke, Thomas (3)
Goltz, Ursula (2)
Haltermann, Jan (12)
Huhn, Michaela (4)
Hüllermeier, Eyke (1)
Jakobs, Marie-Christine (7)
Janßen, Christian (1)
König, Jürgen (1)
Lahav, Ori (3)
Lemberger, Thomas (2)
Leuschel, Michael (1)
Loulergue, Frédéric (1)
Melnikov, Vitalik (1)
Metzler, Björn (1)
Möller, Michael (3)
Ngonga Ngomo, Axel-Cyrille (2)
Niebert, Peter (2)
Olderog, Ernst-Rüdiger (5)
Pauck, Felix (5)
Platzner, Marco (1)
Rasch, Holger (4)
Rensink, Arend (4)
Richter, Cedric (14)
Schellhorn, Gerhard (5)
Schott, Stefan (2)
Sharma, Arnab (4)
Thoben, Nicola (1)
Wehrheim, Heike (83)
Wiersema, Tobias (1)
nach Medientyp:
Artikel (80)
Bücher (3)
E-Books (2)
1
49GBVUOB_ALMA51398818190003501
49GBVUOB_ALMA51398818190003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398818190003501
Artikel
Unifying weak memory verification using potentials
von
Lara Bargmann ; Brijesh Dongol ; Heike Wehrheim
2025
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Bargmann, Lara
Enthalten in:
Formal Methods 1st ed. 2025. Cham : Springer Nature Switzerland, 2025 (2025), Seite 519-537 1 Online-Ressource(XXII, 680 p. 166 illus., 113 illus. in color.)
Sprache:
Englisch
>> Volltext
2
49GBVUOB_ALMA51388299350003501
49GBVUOB_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
3
49GBVUOB_ALMA51398817570003501
49GBVUOB_ALMA51398817570003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398817570003501
Artikel
A rely-guarantee framework for proving deadlock freedom under causal consistency
von
Brijesh Dongol ; Ori Lahav ; Heike Wehrheim
2024
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
The Practice of Formal Methods 1st ed. 2024. Cham : Springer Nature Switzerland, 2024 (2024), Seite 88-108 1 Online-Ressource(XXVIII, 316 p. 74 illus., 45 illus. in color.)
Sprache:
Englisch
>> Volltext
4
49GBVUOB_ALMA51398818250003501
49GBVUOB_ALMA51398818250003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398818250003501
Artikel
Introduction to the special collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
von
Wolfgang Ahrendt ; Frédéric Loulergue ; Heike Wehrheim
2024
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formal aspects of computing London : Springer, 1989 36(2024), 1, Seite 1-2 Online-Ressource
Sprache:
Englisch
>> Volltext
5
49GBVUOB_ALMA51391115970003501
49GBVUOB_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, Heike
Haltermann, Jan ([2021-])
Enthalten in:
Software and systems modeling Berlin : Springer, 2002 23(2024), Seite 695-719 Online-Ressource
Sprache:
Englisch
>> Volltext
6
49GBVUOB_ALMA51398817810003501
49GBVUOB_ALMA51398817810003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398817810003501
Artikel
On the role of artificial and real bug fixes on the training of neural bug detectors
von
Cedric Richter ; Heike Wehrheim
2024
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Richter, Cedric ([2021-])
Enthalten in:
Fachtagung Software Engineering (2024 : Linz) Software Engineering 2024 Bonn : Gesellschaft für Informatik e.V. (GI), 2024 (2024), Seite 111-112 1 Online-Ressource (172 Seiten)
Sprache:
Englisch
>> Volltext
7
49GBVUOB_ALMA51375670070003501
49GBVUOB_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, Heike
Bargmann, 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
8
49GBVUOB_ALMA51398817770003501
49GBVUOB_ALMA51398817770003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398817770003501
Artikel
Ranged program analysis : a parallel divide-and-conquer approach for software verification
von
Jan Haltermann ; Marie-Christine Jakobs ; Cedric Richter ; Heike Wehrheim
2024
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Richter, Cedric ([2021-])
Wehrheim, Heike
Haltermann, Jan ([2021-])
Enthalten in:
Fachtagung Software Engineering (2024 : Linz) Software Engineering 2024 Bonn : Gesellschaft für Informatik e.V. (GI), 2024 (2024), Seite 157-158 1 Online-Ressource (172 Seiten)
Sprache:
Englisch
>> Volltext
9
49GBVUOB_ALMA51398818160003501
49GBVUOB_ALMA51398818160003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398818160003501
Artikel
A fully verified persistency library
von
Stefan Bodenmüller ; John Derrick ; Brijesh Dongol ; Gerhard Schellhorn ; Heike Wehrheim
2024
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Verification, Model Checking, and Abstract Interpretation 1st ed. 2024. Cham : Springer Nature Switzerland, 2024 (2024), Seite 26-47 1 Online-Ressource(XVIII, 340 p. 108 illus., 71 illus. in color.)
Sprache:
Englisch
>> Volltext
10
49GBVUOB_ALMA51392967330003501
49GBVUOB_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, Heike
Haltermann, 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
Seite 1 von 9
