C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kevin Mueller
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 4
Top Topics
Feature Engineering
Resource Manager
Ibm Zenterprise
Embedded Systems
Top Venues
EDCC
ICASSP
MILS
DSN Workshops
</>
Publications
</>
Kevin Mueller
Hardening High-Assurance Systems: MILS as Software Design for Avionics.
MILS
(2017)
Ying Li
,
Kevin Mueller
,
Jose D. Contreras
,
Luis J. Salazar
Classification of voices that elicit soothing effect by applying a voiced vs. unvoiced feature engineering strategy.
ICASSP
(2016)
Kateryna Netkachova
,
Kevin Mueller
,
Michael Paulitsch
,
Robin Bloomfield
Security-Informed Safety Case Approach to Analysing MILS Systems.
MILS@HiPEAC
(2015)
Michael Paulitsch
,
Oscar Medina Duarte
,
Hassen Karray
,
Kevin Mueller
,
Daniel Münch
,
Jan Nowotsch
Mixed-Criticality Embedded Systems - A Balance Ensuring Partitioning and Performance.
DSD
(2015)
Kevin Mueller
,
Georg Sigl
,
Benoit Triquet
,
Michael Paulitsch
On MILS I/O Sharing Targeting Avionic Systems.
EDCC
(2014)
Daniel Münch
,
Ole Isfort
,
Kevin Mueller
,
Michael Paulitsch
,
Andreas Herkersdorf
Hardware-Based I/O Virtualization for Mixed Criticality Real-Time Systems Using PCIe SR-IOV.
CSE
(2013)
Kevin Mueller
,
Michael Paulitsch
,
Sergey Tverdyshev
,
Holger Blasum
MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures.
DSN Workshops
(2012)