( en | de | ru )

 

Disambiguation of "Hansen, René Rydhof"

Author of the publication

copydeleteadd this publication to your clipboard
The Timed Decentralised Label Model.

, , , , and . NordSec, volume 9417 of Lecture Notes in Computer Science, page 27-43. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

René Berndt

Einfluss eines diabaten Turboladermodells auf die Gesamtprozess-Simulation abgasturboaufgeladener PKW-Dieselmotoren. TU Berlin, (2009)

Horst Renemann

Ekkehart Renesse

Dorothea Renesse

Gerhard Renelt

 

Other publications of authors with the same name

An Automata-Based Approach to Trace Partitioned Abstract Interpretation., , and . Semantics, Logics, and Calculi, volume 9560 of Lecture Notes in Computer Science, page 88-110. Springer, (2016)WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process., , , , , and . Softw. Pract. Exp., 43 (1): 67-92 (2013)Towards Verification of Well-Formed Transactions in Java Card Bytecode., and . Bytecode@ETAPS, volume 141 of Electronic Notes in Theoretical Computer Science, page 145-162. Elsevier, (2005)Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code., , , , , , , , , and 2 other author(s). NordSec, volume 13115 of Lecture Notes in Computer Science, page 192-211. Springer, (2021)Battery-Aware Scheduling of Mixed Criticality Systems., , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 208-222. Springer, (2014)Type Inference for Correspondence Types., , and . SecCo@CONCUR, volume 242 of Electronic Notes in Theoretical Computer Science, page 21-36. Elsevier, (2008)A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems., , , , and . FORMATS, volume 9268 of Lecture Notes in Computer Science, page 305-320. Springer, (2015)Modelling Attack-defense Trees Using Timed Automata., , , , , and . FORMATS, volume 9884 of Lecture Notes in Computer Science, page 35-50. Springer, (2016)Hybrid Logical Analyses of the Ambient Calculus., and . WoLLIC, volume 4576 of Lecture Notes in Computer Science, page 83-100. Springer, (2007)Kraaler: A User-Perspective Web Crawler., , and . TMA, page 153-160. IEEE, (2019)