Blättern nach Person
Ebene hoch |
2014
Patzina, Sven (2014)
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
2013
Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul (2013)
Model-based Generation of Run-time Monitors for AUTOSAR.
Modelling Foundations and Applications - 9th European Conference (ECMFA 2013).
Konferenzveröffentlichung, Bibliographie
Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul
Hrsg.: Gorp, Pieter Van ; Ritter, Tom ; Rose, Louis (2013)
Model-Based Generation of Run-Time Monitors for AUTOSAR.
Montpellier
doi: 10.1007/978-3-642-39013-5_6
Konferenzveröffentlichung, Bibliographie
2012
Patzina, Sven ; Patzina, Lars
Hrsg.: Schürr, A. ; Varro, D. ; Varró, G. (2012)
A Case Study Based Comparison of ATL and SDM.
Applications of Graph Transformations with Industrial Relevance. Heidelberg
Konferenzveröffentlichung, Bibliographie
Patzina, Sven ; Patzina, Lars
Hrsg.: Schürr, Andy ; Varró, Daniel ; Varró, Gergely (2012)
A Case Study Based Comparison of ATL and SDM.
doi: 10.1007/978-3-642-34176-2_18
Konferenzveröffentlichung, Bibliographie
2011
Anjorin, Anthony ; Lauder, Marius ; Patzina, Sven ; Schürr, Andy (2011)
eMoflon: Leveraging EMF and Professional CASE Tools.
In: Tagungsband der INFORMATIK 2011 Lecture Notes in Informatics
Buchkapitel, Bibliographie
Patzina, Sven ; Patzina, Lars ; Schürr, Andy (2011)
Extending LSCs for Behavioral Signature Modeling.
Proceedings of 26th IFIP TC-11 International Information Security Conference (IFIP.
Konferenzveröffentlichung, Bibliographie
Biedermann, Alexander ; Piper, Thorsten ; Patzina, Lars ; Patzina, Sven ; Huss, Sorin A. ; Schürr, Andy ; Suri, Neeraj (2011)
Enhancing FPGA Robustness via Generic Monitoring Cores.
1st International Conference on Pervasive and Embedded Computing and Communication Systems.
Konferenzveröffentlichung, Bibliographie
Biedermann, Alexander ; Piper, Thorsten ; Patzina, Lars ; Patzina, Sven ; Huss, Sorin ; Schürr, Andy ; Suri, Neeraj (2011)
Enhancing FPGA Robustness via Generic Monitoring IP Cores.
Konferenzveröffentlichung, Bibliographie
2010
Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Schürr, Andy
Hrsg.: Hamid, B. ; Rudolph, C. ; Ruland, C. (2010)
Monitor Petri Nets for Security Monitoring.
Proc. of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems.
Konferenzveröffentlichung, Bibliographie