Blättern nach Person
Ebene hoch |
Buchkapitel
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
Konferenzveröffentlichung
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
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
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
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
Dissertation
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