- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Reports of SFB/TR 14 AVACS ; 58
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2010
- Event
-
Veröffentlichung
- (who)
-
AVACS - Automatic Verification and Analysis of Complex Systems
- (when)
-
2010
- Creator
- URN
-
urn:nbn:de:bvb:384-opus4-702495
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:29 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Althaus, Ernst
- Altmeyer, Sebastian
- Naujoks, Rouven
- Universität Augsburg
- AVACS - Automatic Verification and Analysis of Complex Systems
Time of origin
- 2010
Other Objects (12)
Precise and efficient parametric path analysis
Precomputing memory locations for parametric allocations
30th Euromicro Conference on Real-Time Systems: ECRTS 2018, July 3–6, 2018, Barcelona, Spain
Untersuchung von komplexen Wirbelströmungen mit newtonschem Fluid und Ferrofluiden im Taylor-Couette System
Analysis of preemptively scheduled hard real-time systems
A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays
19th International Workshop on Worst-Case Execution Time Analysis: WCET 2019, July 9, 2019, Stuttgart, Germany
The CPAL programming language: design, simulate, execute embedded systems; lean model-driven development through model-interpretation
Towards a declarative modeling and execution framework for real-time systems
Editorial on the special issue of RTNS 2020
Cache related preemption delay for set-associative caches: resilience analysis
Cache-related preemption delay via useful cache blocks: survey and redefinition
Precise and efficient parametric path analysis
Precomputing memory locations for parametric allocations
30th Euromicro Conference on Real-Time Systems: ECRTS 2018, July 3–6, 2018, Barcelona, Spain
Untersuchung von komplexen Wirbelströmungen mit newtonschem Fluid und Ferrofluiden im Taylor-Couette System
Analysis of preemptively scheduled hard real-time systems
A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays
19th International Workshop on Worst-Case Execution Time Analysis: WCET 2019, July 9, 2019, Stuttgart, Germany
The CPAL programming language: design, simulate, execute embedded systems; lean model-driven development through model-interpretation
Towards a declarative modeling and execution framework for real-time systems
Editorial on the special issue of RTNS 2020
Cache related preemption delay for set-associative caches: resilience analysis
Cache-related preemption delay via useful cache blocks: survey and redefinition
Precise and efficient parametric path analysis
Precomputing memory locations for parametric allocations
30th Euromicro Conference on Real-Time Systems: ECRTS 2018, July 3–6, 2018, Barcelona, Spain
Untersuchung von komplexen Wirbelströmungen mit newtonschem Fluid und Ferrofluiden im Taylor-Couette System
Analysis of preemptively scheduled hard real-time systems
A Comparison between Fixed Priority and EDF Scheduling accounting for Cache Related Pre-emption Delays
19th International Workshop on Worst-Case Execution Time Analysis: WCET 2019, July 9, 2019, Stuttgart, Germany
The CPAL programming language: design, simulate, execute embedded systems; lean model-driven development through model-interpretation
Towards a declarative modeling and execution framework for real-time systems
Editorial on the special issue of RTNS 2020
Cache related preemption delay for set-associative caches: resilience analysis