Suche in der Hochschulbibliografie

Suche nach: Person = 'Kröger, Janis'

Treffer 1-5 von 5

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5137438001000350149GBVUOB_ALMA51374380010003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51374380010003501
Artikel
Updates at runtime for cyber physical systems : a game theoretic approach
von Janis Kröger ; Martin Fränzle
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Kröger, Janis
Weitere Angaben:
Iris Groher, Thomas Vogel (Hrsg.): Software Engineering 2023 Workshops
Enthalten in: Digitale Bibliothek Bonn : Gesellschaft für Informatik e.V. (GI), 2021 (2023), Seite 54-65 Online-Ressource
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5137428009000350149GBVUOB_ALMA51374280090003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51374280090003501
Artikel
Contract-based specification of mode-dependent timing behavior
von Janis Kröger ; Björn Koopmann ; Ingo Stierand ; Martin Fränzle
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stierand, Ingo ([1998-])Fränzle, Martin ([1998-])Kröger, Janis
Enthalten in: Innovations in systems and software engineering London : Springer, 2005 (2023), Seite 1-17 Online-Ressource
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA5135318927000350149GBVUOB_ALMA51353189270003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51353189270003501
Artikel
Roles and responsibilities for a predictable update process : a position paper
von Astrid Rakow ; Janis Kröger
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Kröger, JanisRakow, Astrid
Enthalten in: Verification and Evaluation of Computer and Communication Systems 1st ed. 2022. Cham : Springer International Publishing, 2022 (2022), Seite 17-26 1 Online-Ressource(XI, 91 p. 30 illus., 18 illus. in color.)
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA5135418014000350149GBVUOB_ALMA51354180140003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51354180140003501
Artikel
Handling of operating modes in contract-based timing specifications
von Janis Kröger ; Björn Koopmann ; Ingo Stierand ; Nadra Tabassam ; Martin Fränzle
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Stierand, Ingo ([1998-])Fränzle, Martin ([1998-])Kröger, Janis
Enthalten in: Verification and Evaluation of Computer and Communication Systems 1st ed. 2022. Cham : Springer International Publishing, 2022 (2022), Seite 59-74 1 Online-Ressource(XI, 91 p. 30 illus., 18 illus. in color.)
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA5133621968000350149GBVUOB_ALMA51336219680003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51336219680003501
Artikel
Extension of contracts for variability modeling and incremental update checks of cyber physical systems
von Houssemeddine Guissouma ; Janis Kröger ; Sebastian Vander Maelen ; Eric Sax
2021
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Kröger, Janis
Enthalten in: IEEE ISSE (7. : 2021 : Online) IEEE ISSE 2021 Piscataway, NJ, USA : IEEE, 2021 (2021), Seite 1-8 1 Online-Ressource
Sprache: Englisch
>> Volltext