Suche in der Hochschulbibliografie

Suche nach: Person (Universität Oldenburg) = 'Haltermann, Jan ((DE-588)1250538947)'

Treffer 1-9 von 9

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5137567010000350149GBVUOB_ALMA51375670100003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375670100003501
Artikel
Timeout prediction for software analyses
von Nicola Thoben ; Jan Haltermann ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Haltermann, Jan ([2021-])Wehrheim, Heike
Enthalten in: Software Engineering and Formal Methods 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 340-358 1 Online-Ressource(XII, 378 p. 152 illus., 105 illus. in color.)
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5137553999000350149GBVUOB_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, HeikeHaltermann, 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
3
49GBVUOB_ALMA5137554008000350149GBVUOB_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, HeikeRichter, Cedric ([2021-])
Enthalten in: Software Engineering 2023 Bonn : Köllen, 2023 (2023), Seite 103-104 1 Online-Ressource
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA5137567013000350149GBVUOB_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, HeikeHaltermann, 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
5
49GBVUOB_ALMA5137554014000350149GBVUOB_ALMA51375540140003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375540140003501
Artikel
Component-based CEGAR - building software verifiers from off-the-shelf components
von Dirk Beyer ; Jan Haltermann ; Thomas Lemberger ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Haltermann, Jan ([2021-])Wehrheim, Heike
Enthalten in: Software Engineering 2023 Bonn : Köllen, 2023 (2023), Seite 37-38 1 Online-Ressource
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA5135941976000350149GBVUOB_ALMA51359419760003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359419760003501
Artikel
Machine learning based invariant generation : a framework and reproducibility study
von Jan Haltermann ; Heike Wehrheim
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeHaltermann, Jan ([2021-])
Enthalten in: IEEE International Conference on Software Testing, Verification and Validation (15. : 2022 : Online) 2022 IEEE 15th International Conference on Software Testing, Verification and Validation Piscataway, NJ : IEEE, 2022 (2022), Seite 12-23 1 Online-Ressource
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA5135944974000350149GBVUOB_ALMA51359449740003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359449740003501
Artikel
Information exchange between over- and underapproximating software analyses
von Jan Haltermann ; Heike Wehrheim
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeHaltermann, Jan ([2021-])
Enthalten in: Software Engineering and Formal Methods 1st ed. 2022. Cham : Springer International Publishing, 2022 (2022), Seite 37-54 1 Online-Ressource(XVII, 369 p. 108 illus., 75 illus. in color.)
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA5135944980000350149GBVUOB_ALMA51359449800003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359449800003501
Artikel
Decomposing software verification into off-the-shelf components : an application to CEGAR
von Dirk Beyer ; Jan Haltermann ; Thomas Lemberger ; Heike Wehrheim
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Haltermann, Jan ([2021-])Wehrheim, Heike
Enthalten in: IEEE/ACM International Conference on Software Engineering (44. : 2022 : Pittsburgh, Pa.; Online) 2022 ACM/IEEE 44th International Conference on Software Engineering [Piscataway, NJ] : IEEE, 2022 (2022), Seite 536-548 1 Online-Ressource
Sprache: Englisch
>> Volltext
9
49GBVUOB_ALMA5135944969000350149GBVUOB_ALMA51359449690003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359449690003501
Artikel
Are neural bug detectors comparable to software developers on variable misuse bugs?
von Cedric Richter ; Jan Haltermann ; Marie-Christine Jakobs ; Felix Pauck ; Stefan Schott ; Heike Wehrheim
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Haltermann, Jan ([2021-])Wehrheim, HeikeRichter, Cedric ([2021-])
Umfang: 12.
Enthalten in: ASE '22 New York, NY : Association for Computing Machinery, 2022 (2022) 1 Online-Ressource (xxxix, 2006 Seiten)
Sprache: Englisch
>> Volltext