Login / Signup
Tobias Renner
Publication Activity (10 Years)
Years Active: 2006-2022
Publications (10 Years): 1
Top Topics
Application Domains
Data Objects
Statistical Analysis
Privacy Issues
Top Venues
ICAA
</>
Publications
</>
Karen Joisten
,
Nicole Thiemer
,
Tobias Renner
,
Anke Janssen
,
Alexander Scheffler
Focusing on the Ethical Challenges of Data Breaches and Applications.
ICAA
(2022)
Axel Schneider
,
Thomas Bluhm
,
Tobias Renner
,
Ulrich Heinkel
,
Joachim Knäblein
,
Reynaldo Zavala
Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen.
MBMV
(2006)
Axel Schneider
,
Thomas Bluhm
,
Tobias Renner
,
Ulrich Heinkel
,
Joachim Knäblein
,
Reynaldo Zavala
Formal Verification of Abstract System and Protocol Specifications.
SEW
(2006)