Export Citations
2 Results for: Author: Fränzle, Martin
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,815,653 records)|Limit your search to The ACM Full-Text Collection (772,219 records)
Showing 1 - 2of2 Results
Select All
- ArticleNovember 2024
Monitoring Real-Time Systems Under Parametric Delay
AbstractTimed Büchi automata provide a very expressive formalism for expressing requirements of real-time systems. Online monitoring of embedded real-time systems can then be achieved by symbolic execution of such automata on the trace observed from the ...
- research-articleJanuary 2024
A Reference Architecture of Human Cyber-Physical Systems – Part I: Fundamental Concepts
- Werner Damm,
- David Hess,
- Mark Schweda,
- Janos Sztipanovits,
- Klaus Bengler,
- Bianca Biebl,
- Martin Fränzle,
- Willem Hagemann,
- Moritz Held,
- Klas Ihme,
- Severin Kacianka,
- Alyssa J. Kerscher,
- Sebastian Lehnhoff,
- Andreas Luedtke,
- Alexander Pretschner,
- Astrid Rakow,
- Jochem Rieger,
- Daniel Sonntag,
- Maike Schwammberger,
- Benedikt Austel,
- Anirudh Unni,
- Eric Veith
ACM Transactions on Cyber-Physical Systems (TCPS), Volume 8, Issue 1Article No.: 2, Pages 1–32https://doi.org/10.1145/3622879We propose a reference architecture of safety-critical or industry-critical human cyber-physical systems (CPSs) capable of expressing essential classes of system-level interactions between CPS and humans relevant for the societal acceptance of such ...