| Mixed-criticality embedded systems--a balance ensuring partitioning and performance M Paulitsch, OM Duarte, H Karray, K Mueller, D Muench, J Nowotsch 2015 Euromicro Conference on Digital System Design, 453-461, 2015 | 48 | 2015 |
| Hardware-based I/O virtualization for mixed criticality real-time systems using PCIe SR-IOV D Muench, O Isfort, K Mueller, M Paulitsch, A Herkersdorf 2013 IEEE 16th International Conference on Computational Science and …, 2013 | 29 | 2013 |
| MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures K Muller, M Paulitsch, S Tverdyshev, H Blasum Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd …, 2012 | 21 | 2012 |
| Security-Informed Safety Case Approach to Analysing MILS Systems K Netkachova, K Müller, M Paulitsch, R Bloomfield | 12 | 2015 |
| On MILS I/O Sharing Targeting Avionic Systems K Müller, G Sigl, B Triquet, M Paulitsch Dependable Computing Conference (EDCC), 2014 Tenth European, 182-193, 2014 | 11 | 2014 |
| Investigation into a layered approach to architecting security-informed safety cases K Netkachova, K Müller, M Paulitsch, R Bloomfield 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 6B4-1-6B4-12, 2015 | 7 | 2015 |
| Mils-based information flow control in the avionic domain: A case study on compositional architecture and verification K Müller, M Paulitsch, R Schwarz, S Tverdyshev, H Blasum 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), 7B1-1-7B1-13, 2012 | 6 | 2012 |
| Testing integrated independent levels of security components hosted on a virtualization platform B Leconte, C Simache, M Paulitsch, K Mueller US Patent 9,747,453, 2017 | 4 | 2017 |
| High assurance security gateway interconnecting different domains B Leconte, C Simache, M Paulitsch, K Mueller US Patent 20150256512A1, 2015 | 3* | 2015 |
| Decreasing system availability on an avionic multicore processor using directly assigned pci express devices K Müller, D Münch, O Isfort, M Paulitsch, G Sigl EUROSEC 2013, 2013 | 3 | 2013 |
| Non-Interfering Composed Evaluation. I Furgel, V Saftig, T Wagner, K Müller, R Schwarz, ASF von Blomberg MILS@ HiPEAC, 2016 | 2 | 2016 |
| Personal networks and Multimedia rendering M Botteck, B Steinke, K Muller, J Hermann 2008 IEEE International Symposium on Consumer Electronics, 1-4, 2008 | 2 | 2008 |
| Cif: A Static Decentralized Label Model (DLM) Analyzer to Assure Correct Information Flow in C K Müller, S Uhrig, M Paulitsch, G Sigl | 1 | 2015 |
| Cif: A Static DLM Analyzer to Assure Correct Information Flow in C K Müller, S Uhrig, M Paulitsch, G Sigl ICSEA 2015, 2015 | 1 | 2015 |
| Security in Embeded Systems: Design Aspects of a Protocol-generic Secure Gateway Based on the MILS System Approach K Müller HTWK Leipzig, 2011 | 1 | 2011 |
| Security in Embedded Avionic Systems using the Concept of Multiple Independent Levels of Security K Müller Technische Universität München, 2017 | | 2017 |
| A layered approach to architecting security-informed safety cases (applied to an avionics case study) K Netkachova, K Müller, M Paulitsch, R Bloomfield 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 1-36, 2015 | | 2015 |
| MILS-based Information Flow Control in the Avionic Domain K Müller | | 2012 |
| MILS-Related Information Flow Control in the Avionic Domain K Mueller, M Paulitsch | | 2012 |
