I agree that this site is using cookies. You can find further informations here.
X
Tummeltshammer, Peter
10  results:
Search for persons X
?
1

Validation of Railway Control Systems:

, In: Validation and Verification of Automated Systems,
Fischer, Tomas ; Reichl, Klaus ; Tummeltshammer, Peter.. - p. 221-229 , 2019
Link: https://doi.org/10.1007/..
 
?
2

Systematic Verification and Testing:

, In: Validation and Verification of Automated Systems,
Dghaym, Dana ; Fischer, Tomas ; Hoang, Thai Son... - p. 89-104 , 2019
Link: https://doi.org/10.1007/..
 
?
3

Threat Modeling in the Railway Domain:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
Schmittner, Christoph ; Tummeltshammer, Peter ; Hofbauer, David... - p. 261-271 , 2019
Link: https://doi.org/10.1007/..
 
?
4

The EMC2 Project on Embedded Microcontrollers: Technical Pr..:

, In: 2016 Euromicro Conference on Digital System Design (DSD),
Weber, Werner ; Hoess, Alfred ; van Deventer, Jan... - p. 524-531 , 2016
Link: https://doi.org/10.1109/..
 
?
5

Multiple constant multiplication by time-multiplexed mappin..:

, In: Proceedings of the 41st annual Design Automation Conference,
Tummeltshammer, Peter ; Hoe, James C. ; Püschel, Markus - p. 826-829 , 2004
Link: https://dl.acm.org/doi/1..
 
?
6

Security certification experience for industrial cyberphysi..:

Hohenegger, Andreas ; Krummeck, Gerald ; Baños, Janie...
info:eu-repo/grantAgreement/EC/H2020/731456/.  , 2021
Link: https://zenodo.org/recor..
 
?
7

Security Certification of Cyber Physical Systems for Critic..:

Hohenegger, Andreas ; Krummeck, Gerald ; Banos, Janie...
info:eu-repo/grantAgreement/EC/H2020/731456/.  , 2021
Link: https://zenodo.org/recor..
 
?
8

Threat Modeling in the Railway Domain:

Schmittner, Christoph ; Tummeltshammer, Peter ; Hofbauer, David...
info:eu-repo/grantAgreement/EC/H2020/737459/.  , 2019
Link: https://zenodo.org/recor..
 
?
9

Railground RSSRail models - iUML-B/Event-B:

Snook, Colin ; Dghaym, Dana ; Hoang, Thai Son...
https://eprints.soton.ac.uk/412733/1/README.md.  , 2017
Link: https://eprints.soton.ac..
 
?
10

Regulative Baseline: Compositional Security Evaluation:

Hohenegger, Andreas ; Blasum, Holger ; Tverdyshev, Sergey...
info:eu-repo/grantAgreement/EC/H2020/731456/.  , 2017
Link: https://zenodo.org/recor..
 
1-10