Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Abstrakte Interpretation"'
Autor:
Nordhoff, Benedikt
Das Gebiet der Informationsflusskontrolle beschaeftigt sich mit dem Problem sicherzustellen, dass ein Programm das vertrauliche Daten verarbeitet keine Informationen ueber diese Daten an nicht vertrauenswuerdige Kanaele preisgibt. Diese Arbeit praese
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cd15f179b39d99d7645f09c52e8936a
https://repositorium.uni-muenster.de/transfer/miami/351865ff-fd12-4ffc-af38-ec455155b3f6
https://repositorium.uni-muenster.de/transfer/miami/351865ff-fd12-4ffc-af38-ec455155b3f6
Autor:
Hahn, Sebastian
Proving timeliness is an integral part of the verification of safety-critical real-time systems. To this end, timing analysis computes upper bounds on the execution times of programs that execute on a given hardware platform. Modern hardware platform
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5000ec533af8938220639906303daab5
Autor:
Backes, Peter
This dissertation explores the problem of analyzing the reachable graphs of graph transformation systems. Such systems rewrite graphs according to subgraph replacement rules; we allow negative application conditions to be specified in addition. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7236ce398dff08c9847470f6bfef0d16
Autor:
Karrenberg, Ralf
Applications that require the same computation to be performed on huge amounts of data play an important role in today’s computing landscape: Particle simulations, stock option price estimation, and video decoding are some examples for such data-pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fef420fe6177139826e51f99a5ebcbde
Autor:
Brauer, Jörg
Publikováno v:
Aachen : Fachgruppe Informatik, RWTH Aachen University, Aachener Informatik-Berichte 2013,14 IV, 207 S. : graph. Darst. (2013). = Zugl.: Aachen, Techn. Hochsch., Diss., 2013
This dissertation is concerned with abstract interpretation of programs whose semantics is defined over finite machine words. Most notably, the considered class of programs contains executable binary code, the analysis of which turns out demanding du
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______791::ed919afde703c3cea02af3805086162b
https://publications.rwth-aachen.de/record/229199
https://publications.rwth-aachen.de/record/229199
Autor:
Pister, Markus
Safety-critical systems are forced to finish their execution within strict deadlines so that worst-case execution time (WCET) guarantees are a crucial part of their verification. Timing models of the analyzed hardware form the basis for static analys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc80329140214c228376b317fd0587ab
Autor:
Schlickling, Marc
Safety-critical hard real-time systems are subject to strict timing constraints. In order to derive guarantees on the timing behavior, the worst-case execution time (WCET) of each task comprising the system has to be known. The aiT tool has been deve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::344fae50de12f97373ce63a2ee124cfc
Autor:
Wilhelm, Stephan
Reliable task-level execution time information is indispensable for validating the correct operation of safety-critical embedded real-time systems. Static worst-case execution time (WCET) analysis is a method that computes safe upper bounds of the ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbeabb909d0156ae716bc8c195f112a8
Autor:
Knauel, Eric
It is possible to scale control-flow analyses for higher-order languages to complete, fully-fledged programming languages and consequently compute the flow analysis of realistic programs. This dissertation gives a formal specification of a universal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______707::4b2f8caea68465d54496f3b8dbada33d
https://hdl.handle.net/10900/49165
https://hdl.handle.net/10900/49165