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 = '
Kröger, Paul
'
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:
Abate, Alessandro (1)
Blohm, Pauline (1)
Chen, Mingshuai (1)
Damm, Werner (3)
Finkbeiner, Bernd (2)
Fränzle, Martin (16)
Gerwinn, Sebastian (2)
Grundt, Dominik (1)
Hagemann, Willem (3)
Herber, Paula (1)
Jurj, Sorin Liviu (1)
Katoen, Joost-Pieter (1)
Kiaghadi, Rabeaeh (1)
Kohn, Florian (2)
Kröger, Paul (16)
Olderog, Ernst-Rüdiger (1)
Rakow, Astrid (2)
Remke, Anne (1)
Theel, Oliver (1)
Winter, Sarah (1)
Zimmermann, Martin (1)
1
49GBVUOB_ALMA51397545800003501
49GBVUOB_ALMA51397545800003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51397545800003501
Artikel
Rescuing catastrophe victims by Interactive Markov Chains with Clocks
von
Martin Fränzle ; Rabeaeh Kiaghadi ; Paul Kröger
2025
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Kiaghadi, Rabeaeh
Kröger, Paul
Fränzle, Martin ([1998-])
Enthalten in:
Principles of verification: cycling the probabilistic landscape Cham : Springer, 2025 (2025), Seite 374–395 1 Online-Ressource
Sprache:
Englisch
>> Volltext
2
49GBVUOB_ALMA51398388580003501
49GBVUOB_ALMA51398388580003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398388580003501
Artikel
On the existence of reactive strategies resilient to delay
von
Martin Fränzle ; Paul Kröger ; Sarah Winter ; Martin Zimmermann
2025
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Kröger, Paul
Fränzle, Martin ([1998-])
Enthalten in:
Logical methods in computer science Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig, 2004 21(2025), 1, Seite 1-27 Online-Ressource
Sprache:
Englisch
>> Volltext
3
49GBVUOB_ALMA51397545470003501
49GBVUOB_ALMA51397545470003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51397545470003501
Artikel
Stream-based monitoring under measurement noise
von
Bernd Finkbeiner ; Martin Fränzle ; Florian Kohn ; Paul Kröger
2025
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Kröger, Paul
Enthalten in:
Runtime Verification 1st ed. 2025. Cham : Springer Nature Switzerland, 2025 (2025), Seite 22–39 1 Online-Ressource(XVI, 304 p. 108 illus., 73 illus. in color.)
Sprache:
Englisch
>> Volltext
4
49GBVUOB_ALMA51397545500003501
49GBVUOB_ALMA51397545500003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51397545500003501
Artikel
Towards probabilistic contracts for intelligent cyber-physical systems
von
Pauline Blohm ; Martin Fränzle ; Paula Herber ; Paul Kröger ; Anne Remke
2025
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Kröger, Paul
Enthalten in:
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 1st ed. 2025. Cham : Springer Nature Switzerland, 2025 (2025), Seite 26-47 1 Online-Ressource(XIII, 406 p. 113 illus., 87 illus. in color.)
Sprache:
Englisch
>> Volltext
5
49GBVUOB_ALMA51354179600003501
49GBVUOB_ALMA51354179600003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51354179600003501
Artikel
Bayesian hybrid automata : a formal model of justified belief in interacting hybrid systems subject to imprecise observation
von
Paul Kröger ; Martin Fränzle
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Kröger, Paul
Enthalten in:
Leibniz Transactions on Embedded Systems Wadern : Schloss Dagstuhl, 2014 8(2022), 2, Seite 1-27 Online-Ressource
Sprache:
Englisch
>> Volltext
6
49GBVUOB_ALMA51354180110003501
49GBVUOB_ALMA51354180110003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51354180110003501
Artikel
A truly robust Signal Temporal Logic : monitoring safety properties of interacting cyber-physical systems under uncertain observation
von
Bernd Finkbeiner ; Martin Fränzle ; Florian Kohn ; Paul Kröger
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Kröger, Paul
Enthalten in:
Algorithms Basel : MDPI, 2008 15(2022), 4, Artikel-ID 126, Seite 1-17 Online-Ressource
Sprache:
Englisch
>> Volltext
7
49GBVUOB_ALMA51353189180003501
49GBVUOB_ALMA51353189180003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51353189180003501
Artikel
Verification of sigmoidal Artificial Neural Networks using iSAT
von
Dominik Grundt ; Sorin Liviu Jurj ; Willem Hagemann ; Paul Kröger ; Martin Fränzle
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hagemann, Willem
Kröger, Paul
Fränzle, Martin ([1998-])
Enthalten in:
Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 361(2022), Seite 45-60
Sprache:
Englisch
>> Volltext
8
49GBVUOB_ALMA51334031920003501
49GBVUOB_ALMA51334031920003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51334031920003501
Artikel
Bayesian hybrid automata : reconciling formal methods with metrology
von
Paul Kröger ; Martin Fränzle
2021
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Kröger, Paul
Enthalten in:
Information technology Berlin : De Gruyter, 1959 63(2021), 5/6, Seite 265-275 Online-Ressource
Sprache:
Englisch
>> Volltext
9
49GBVUOB_ALMA51331335850003501
49GBVUOB_ALMA51331335850003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51331335850003501
Artikel
System correctness under adverse conditions
von
Ernst-Rüdiger Olderog ; Martin Fränzle ; Oliver Theel ; Paul Kröger
2021
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Theel, Oliver ([2002-])
Kröger, Paul
Olderog, Ernst-Rüdiger
Enthalten in:
Information technology Berlin : De Gruyter, 1959 63(2021), 5/6, Seite 249-251 Online-Ressource
Sprache:
Englisch
>> Volltext
10
49GBVUOB_ALMA51299038600003501
49GBVUOB_ALMA51299038600003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51299038600003501
Artikel
Guess what I’m doing! : rendering formal verification methods ripe for the era of interacting intelligent systems
von
Martin Fränzle ; Paul Kröger
2020
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Kröger, Paul
Fränzle, Martin ([1998-])
Enthalten in:
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 1st ed. 2020. Cham : Springer International Publishing, 2020 (2020), Seite 255-272 1 Online-Ressource(XXIII, 582 p. 2427 illus., 110 illus. in color.)
Sprache:
Englisch
>> Volltext
Seite 1 von 2
