E-LIB Suche - Ergebnisse für: Fränzle, Martin

1

Reach-Avoid Verification Based on Convex Optimization:

Xue, Bai ; Zhan, Naijun ; Fränzle, Martin..
IEEE Transactions on Automatic Control. 69 (2024) 1 - p. 598-605 , 2024

Link: https://doi.org/10.1109/..

2

What Level of Power Should We Give an Automation?: —Adjusti..:

, In: Communications in Computer and Information Science; Dependable Computing – EDCC 2024 Workshops,

Hajnorouzi, Mehrnoush ; Rakow, Astrid ; Bairy, Akhila.. - p. 14-21 , 2024

Link: https://doi.org/10.1007/..

3

A Reference Architecture of Human Cyber-Physical Systems – ..:

Damm, Werner ; Fränzle, Martin ; Kerscher, Alyssa J....
ACM Transactions on Cyber-Physical Systems. 8 (2024) 1 - p. 1-23 , 2024

Link: https://doi.org/10.1145/..

4

A References Architecture for Human Cyber Physical Systems,..:

Bengler, Klaus ; Damm, Werner ; Luedtke, Andreas...
ACM Transactions on Cyber-Physical Systems. 8 (2024) 1 - p. 1-27 , 2024

Link: https://doi.org/10.1145/..

5

Reach-Avoid Analysis for Polynomial Stochastic Differential..:

Xue, Bai ; Zhan, Naijun ; Fränzle, Martin
IEEE Transactions on Automatic Control. 69 (2024) 3 - p. 1882-1889 , 2024

Link: https://doi.org/10.1109/..

6

A Reference Architecture of Human Cyber-Physical Systems – ..:

Damm, Werner ; Hess, David ; Schweda, Mark...
ACM Transactions on Cyber-Physical Systems. 8 (2024) 1 - p. 1-32 , 2024

Link: https://doi.org/10.1145/..

7

Menschmodellierung für adaptive Straßenfahrzeuge:

Trende, Alexander , 2023

Link: https://nbn-resolving.de..

8

Contract-based specification of mode-dependent timing behav..:

Kröger, Janis ; Koopmann, Björn ; Stierand, Ingo.
Innovations in Systems and Software Engineering. 20 (2023) 1 - p. 31-47 , 2023

Link: https://doi.org/10.1007/..

9

Verification of LSTM Neural Networks with Non-linear Activa..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Moradkhani, Farzaneh ; Fibich, Connor ; Fränzle, Martin - p. 1-15 , 2023

Link: https://doi.org/10.1007/..

10

Determining the Validity of Simulation Models for the Verif..:

Neurohr, Birte ; Koopmann, Tjark ; Möhlmann, Eike.
IEEE Access. 11 (2023) - p. 102949-102960 , 2023

Link: https://doi.org/10.1109/..

11

Safer Than Perception: Assuring Confidence in Safety-Critic..:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

Fränzle, Martin ; Hagemann, Willem ; Damm, Werner.. - p. 180-201 , 2023

Link: https://doi.org/10.1007/..

12

Handling of Operating Modes in Contract-Based Timing Specif..:

, In: Lecture Notes in Computer Science; Verification and Evaluation of Computer and Communication Systems,

Kröger, Janis ; Koopmann, Björn ; Stierand, Ingo.. - p. 59-74 , 2022

Link: https://doi.org/10.1007/..

13

Self-Explanation in Systems of Systems:

, In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW),

Fey, Goerschwin ; Franzle, Martin ; Drechsler, Rolf - p. 85-91 , 2022

Link: https://doi.org/10.1109/..

14

The Quest for an Adequate Semantic Basis of Dense-Time Metr..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

Fränzle, Martin - p. 201-212 , 2022

Link: https://doi.org/10.1007/..

15

Differential Games Based on Invariant Sets Generation:

, In: 2022 American Control Conference (ACC),

Xue, Bai ; Wang, Qiuye ; Zhan, Naijun.. - p. 1285-1292 , 2022

Link: https://doi.org/10.23919..