Suche in der Hochschulbibliografie

Treffer 1-10 von 199

Sortieren nach: JahrTitelVerfasser/in

Seite 1 von 20
• 
• 

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 1
  49GBVUOB_ALMA5139838858000350149GBVUOB_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, PaulFrä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
• 2
  49GBVUOB_ALMA5139754577000350149GBVUOB_ALMA51397545770003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51397545770003501
  Artikel
  Monitoring real-time systems under parametric delay

  von Martin Fränzle ; Thomas M. Grosen ; Kim Guldstrand Larsen ; Martin Zimmermann

  2025

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])

  Enthalten in: Integrated Formal Methods 1st ed. 2025. Cham : Springer Nature Switzerland, 2025 (2025), Seite 194–213 1 Online-Ressource(XXII, 328 p. 114 illus., 86 illus. in color.)

  Sprache: Englisch

  >> Volltext
• 3
  49GBVUOB_ALMA5139754547000350149GBVUOB_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_ALMA5139754580000350149GBVUOB_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, RabeaehKröger, PaulFrä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
• 5
  49GBVUOB_ALMA5139754550000350149GBVUOB_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
• 6
  49GBVUOB_ALMA5139754571000350149GBVUOB_ALMA51397545710003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51397545710003501
  Artikel
  Towards the usage of window counting constraints in the synthesis of reactive systems to reduce state space explosion

  von Linda Feeken ; Martin Fränzle

  2024

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])

  Enthalten in: Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 409(2024), Seite 53-69

  Sprache: Englisch

  >> Volltext
• 7
  49GBVUOB_ALMA5139824840000350149GBVUOB_ALMA51398248400003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398248400003501
  Artikel
  Efficiently explained : leveraging the SEEV Cognitive Model for Optimal Explanation Delivery

  von Akhila Bairy ; Martin Fränzle

  2024

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Bairy, Akhila

  Enthalten in: Advances in human factors of transportation 2024 (2024), Seite 307-315

  Sprache: Englisch

  >> Volltext
• 8
  49GBVUOB_ALMA5139766639000350149GBVUOB_ALMA51397666390003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51397666390003501
  Artikel
  What if autonomous systems had a game master? : targeted explaining with the help of a supervisory control system

  von Akhila Bairy ; Martin Fränzle

  2024

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Bairy, Akhila

  Enthalten in: Workshop on Explainability Engineering (2024 : Lissabon) 2024 Workshop on Explainability Engineering [Piscataway, NJ] : IEEE, 2024 (2024), Seite 15-19 1 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 9
  49GBVUOB_ALMA5137438009000350149GBVUOB_ALMA51374380090003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51374380090003501
  Artikel
  Reach-avoid verification based on convex optimization

  von Bai Xue ; Naijun Zhan ; Martin Fränzle ; Ji Wang ; Wanwei Liu

  2024

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])

  Enthalten in: Institute of Electrical and Electronics Engineers IEEE transactions on automatic control New York, NY : Institute of Electrical and Electronics Engineers, 1963 69(2024), 1, Seite 568-605 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 10
  49GBVUOB_ALMA5139838861000350149GBVUOB_ALMA51398388610003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51398388610003501
  Artikel
  Mode management in contract-based design

  von Janis Kröger ; Martin Fränzle

  2024

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Kröger, Janis

  Enthalten in: Fachtagung Software Engineering (2024 : Linz) Software Engineering 2024 - Companion Proceedings Bonn : Gesellschaft für Informatik e.V. (GI), 2024 (2024), Seite 31-42 1 Online-Ressource

  Sprache: Englisch

  >> Volltext