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 = '
Richter, Cedric
'
Treffer 1-10 von 16
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 2
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 Person:
Beyer, Dirk (1)
Chalupa, Marek (1)
Dyck, Florian (1)
Haltermann, Jan (6)
Jakobs, Marie-Christine (6)
Janßen, Christian (1)
Kanav, Sudeep (1)
Pauck, Felix (2)
Richter, Cedric (16)
Schott, Stefan (2)
Wehrheim, Heike (14)
1
49GBVUOB_ALMA51398817670003501
49GBVUOB_ALMA51398817670003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398817670003501
Artikel
Bubaak-SpLit : split what you cannot verify (competition contribution)
von
Marek Chalupa ; Cedric Richter
2024
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Richter, Cedric ([2021-])
Enthalten in:
Tools and Algorithms for the Construction and Analysis of Systems 1st ed. 2024. Cham : Springer Nature Switzerland, 2024 (2024), Seite 353-358 1 Online-Ressource(XXII, 428 p. 179 illus., 143 illus. in color.)
Sprache:
Englisch
>> Volltext
2
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
3
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
4
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
5
49GBVUOB_ALMA51375539900003501
49GBVUOB_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, Heike
Richter, 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
6
49GBVUOB_ALMA51375670040003501
49GBVUOB_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:
Arxiv Ithaca, NY : Cornell University, 1991 (2023) vom: 4. Nov. Online-Ressource
Sprache:
Englisch
>> Volltext
7
49GBVUOB_ALMA51375539870003501
49GBVUOB_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
8
49GBVUOB_ALMA51375539990003501
49GBVUOB_ALMA51375539990003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375539990003501
Artikel
Parallel program analysis via range splitting
von
Jan Haltermann ; Marie-Christine Jakobs ; Cedric Richter ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Richter, Cedric ([2021-])
Wehrheim, Heike
Haltermann, Jan ([2021-])
Enthalten in:
Fundamental Approaches to Software Engineering 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 195–219 1 Online-Ressource(XVI, 332 p. 137 illus., 100 illus. in color.)
Sprache:
Englisch
>> Volltext
9
49GBVUOB_ALMA51375670130003501
49GBVUOB_ALMA51375670130003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375670130003501
Artikel
Ranged program analysis via instrumentation
von
Jan Haltermann ; Marie-Christine Jakobs ; Cedric Richter ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Richter, Cedric ([2021-])
Wehrheim, Heike
Haltermann, Jan ([2021-])
Enthalten in:
Software Engineering and Formal Methods 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 145-164 1 Online-Ressource(XII, 378 p. 152 illus., 105 illus. in color.)
Sprache:
Englisch
>> Volltext
10
49GBVUOB_ALMA51375540080003501
49GBVUOB_ALMA51375540080003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375540080003501
Artikel
Variable misuse detection : software developers versus neural bug detectors
von
Cedric Richter ; Jan Haltermann ; Marie-Christine Jakobs ; Felix Pauck ; Stefan Schott ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Haltermann, Jan ([2021-])
Wehrheim, Heike
Richter, Cedric ([2021-])
Enthalten in:
Software Engineering 2023 Bonn : Köllen, 2023 (2023), Seite 103-104 1 Online-Ressource
Sprache:
Englisch
>> Volltext
Seite 1 von 2
