Search results for "microkernel"

Hits ?▲	Authors	Title	Venue	Year	Link
21	Tanhong Chen, Huiyong Li, Jianwei Niu 0002, Tao Ren 0001, Guizhou Xu	Embedded Partitioning Real-Time Operating System Based on Microkernel.	CSE/EUC	2019	DBLP DOI BibTeX RDF
21	Dongxu Ji, Qianying Zhang, Shijun Zhao, Zhiping Shi 0002, Yong Guan	MicroTEE: Designing TEE OS Based on the Microkernel Architecture.	TrustCom/BigDataSE	2019	DBLP DOI BibTeX RDF
21	Yuya Kobayashi, Masaya Sato, Hideo Taniguchi	Evaluation of Processing Distribution for Application Program and OS in Microkernel OS.	CANDAR Workshops	2019	DBLP DOI BibTeX RDF
21	Yanyan Shen	Microkernel mechanisms for improving the trustworthiness of commodity hardware.		2019	RDF
21	Rongfei Xu, Li Zhang 0029, Ning Ge 0002, Jing Jiang 0005	Timing Analysis for Microkernel-based Real-Time Embedded System.	SEKE	2018	DBLP DOI BibTeX RDF
21	Simon Biggs, Damon Lee, Gernot Heiser	The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security.	APSys	2018	DBLP DOI BibTeX RDF
21	Guangqiang Luan, Yuebin Bai, Libin Xu, Chao Yu 0001, Chunyang Wang, Junfang Zeng, Qingbin Chen, Weitao Wang	Towards Fault-Tolerant Task Backup and Recovery in the seL4 Microkernel.	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
21	Yun Deng, Yan Zhu, Xiaohui Cheng	The Design of Microkernel Memory Management Mechanism Based on Heterogeneous Multi-core Processor.	ICIIP	2018	DBLP DOI BibTeX RDF
21	Xiaohui Cheng, Yanping Pan, Qiong Gui	A Design to Adapt Microkernel Inter-process Communication Mechanism.	ICIIP	2018	DBLP DOI BibTeX RDF
21	Jayaraj Poroor	Verticalthings - a language-based microkernel for constrained IoT devices: work-in-progress.	EMSOFT	2018	DBLP DOI BibTeX RDF
21	Steffen Wagner	Implicit Remote Attestation for Microkernel-based Embedded Systems.		2018	RDF
21	Petre Eftime, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Laura Gheorghe, Valentin-Gabriel Voiculescu	Optimizing Memory Usage in L4-Based Microkernel.	Comput. Informatics	2017	DBLP DOI BibTeX RDF
21	Wei Hu 0001, Hong Guo 0005, Kai Zhang 0002, Jun Liu 0011, Xiaoming Liu 0004, Qingsong Shi	An energy-efficient design of microkernel-based on-chip OS for NOC-based manycore system.	J. Supercomput.	2017	DBLP DOI BibTeX RDF
21	Qingguo Zhou, Rui Zhou 0005, Binbin Yong, Xiaoqiang Wang, Gaofeng Zhang, Hai Jiang 0003, Kuan-Ching Li	L4eRTL: a robust and secure real-time architecture with L4 microkernel and para-virtualised PSE51 partitions.	Int. J. Embed. Syst.	2017	DBLP DOI BibTeX RDF
21	Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik	HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel).	CoRR	2017	DBLP BibTeX RDF
21	Laurent D. Michel, Pascal Van Hentenryck	A microkernel architecture for constraint programming.	Constraints An Int. J.	2017	DBLP DOI BibTeX RDF
21	Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik	FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned.	DSN Workshops	2017	DBLP DOI BibTeX RDF
21	Mohammad Hamad, Vassilis Prevelakis	Secure APIs for Applications in Microkernel-based Systems.	ICISSP	2017	DBLP DOI BibTeX RDF
21	Mahnoor Khan, Munam Ali Shah	Inter-process communication, MPI and MPICH in microkernel environment: A comparative analysis.	ICAC	2017	DBLP DOI BibTeX RDF
21	Xiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan	Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms.	ICDCS Workshops	2017	DBLP DOI BibTeX RDF
21	Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik	HYDRA: hybrid design for remote attestation (using a formally verified microkernel).	WISEC	2017	DBLP DOI BibTeX RDF
21	Carsten Weinhold, Adam Lackorzynski, Jan Bierbaum, Martin Küttler, Maksym Planeta, Hermann Härtig, Amnon Shiloh, Ely Levy, Tal Ben-Nun, Amnon Barak, Thomas Steinke 0001, Thorsten Schütt, Jan Fajerski, Alexander Reinefeld, Matthias Lieber, Wolfgang E. Nagel	FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing.	Software for Exascale Computing	2016	DBLP DOI BibTeX RDF
21	Libin Xu, Yuebin Bai, Kun Cheng, Lingyu Ge, Danning Nie, Lijun Zhang, Wenjia Liu	Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel.	HPCC/SmartCity/DSS	2016	DBLP DOI BibTeX RDF
21	Steffen Wagner, Claudia Eckert 0001	Policy-Based Implicit Attestation for Microkernel-Based Virtualized Systems.	ISC	2016	DBLP DOI BibTeX RDF
21	Adam Lackorzynski, Alexander Warg	Demo Abstract: Timing Aware Hardware Virtualization on the L4Re Microkernel Systems.	RTAS	2016	DBLP DOI BibTeX RDF
21	Xabier Iturbe, Khaled Benkrid, Chuan Hong, Ali Ebrahim, Raul Torrego, Tughrul Arslan	Microkernel Architecture and Hardware Abstraction Layer of a Reliable Reconfigurable Real-Time Operating System (R3TOS).	ACM Trans. Reconfigurable Technol. Syst.	2015	DBLP DOI BibTeX RDF
21	Y. I. Klimiankou	A method for supporting runtime environments simultaneously served by multiple memory managers for operating systems based on second-generation microkernel.	Program. Comput. Softw.	2015	DBLP DOI BibTeX RDF
21	Christoph Borchert, Olaf Spinczyk	Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis.	ACM SIGOPS Oper. Syst. Rev.	2015	DBLP DOI BibTeX RDF
21	Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser	For a Microkernel, a Big Lock Is Fine.	APSys	2015	DBLP DOI BibTeX RDF
21	Tian Xia 0007, Jean-Christophe Prévotet, Fabienne Nouvel	Mini-NOVA: A Lightweight ARM-based Virtualization Microkernel Supporting Dynamic Partial Reconfiguration.	IPDPS Workshops	2015	DBLP DOI BibTeX RDF
21	Michael Peter, Matthias Petschick, Julian Vetter, Jan Nordholz, Janis Danisevskis, Jean-Pierre Seifert	Undermining Isolation Through Covert Channels in the Fiasco.OC Microkernel.	ISCIS	2015	DBLP DOI BibTeX RDF
21	Christoph Borchert, Olaf Spinczyk	Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis.	PLOS@SOSP	2015	DBLP DOI BibTeX RDF
21	Yanyan Shen, Kevin Elphinstone	Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware.	EDCC	2015	DBLP DOI BibTeX RDF
21	Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus	Towards the Property-Based Testing of an L4 Microkernel API.	VECoS	2015	DBLP BibTeX RDF
21	Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser	Comprehensive formal verification of an OS microkernel.	ACM Trans. Comput. Syst.	2014	DBLP DOI BibTeX RDF
21	Tian Xia 0007, Jean-Christophe Prévotet, Fabienne Nouvel	Microkernel dedicated for dynamic partial reconfiguration on ARM-FPGA platform.	SIGBED Rev.	2014	DBLP DOI BibTeX RDF
21	Laurent Michel, Pascal Van Hentenryck	A Microkernel Architecture for Constraint Programming.	CoRR	2014	DBLP BibTeX RDF
21	Kexing Xing, Decheng Zuo, Haiying Zhou, Kun Mean Hou	Task & Resource Self-adaptive Embedded Real-time Operating System Microkernel for Wireless Sensor Nodes.	CoRR	2014	DBLP BibTeX RDF
21	Michael Peter, Jan Nordholz, Matthias Petschick, Janis Danisevskis, Julian Vetter, Jean-Pierre Seifert	Undermining Isolation through Covert Channels in the Fiasco.OC Microkernel.	IACR Cryptol. ePrint Arch.	2014	DBLP BibTeX RDF
21	Fabio Stefanini, Emre Neftci, Sadique Sheik, Giacomo Indiveri	PyNCS: a microkernel for high-level definition and configuration of neuromorphic electronic systems.	Frontiers Neuroinformatics	2014	DBLP DOI BibTeX RDF
21	Andrew Nelson 0001, Ashkan Beyranvand Nejad, Anca Mariana Molnos, Martijn Koedam, Kees Goossens	CoMik: A predictable and cycle-accurately composable real-time microkernel.	DATE	2014	DBLP DOI BibTeX RDF
21	Tian Xia 0007, Jean-Christophe Prévotet, Fabienne Nouvel	Microkernel Dedicated for Dynamic Partial Reconfiguration on ARM-FPGA Platform.	EWiLi	2014	DBLP BibTeX RDF
21	Michael Weiß, Steffen Wagner, Roland Hellman, Sascha Wessel	Integrity Verification and Secure Loading of Remote Binaries for Microkernel-Based Runtime Environments.	TrustCom	2014	DBLP DOI BibTeX RDF
21	Jordan Shropshire	Analysis of Monolithic and Microkernel Architectures: Towards Secure Hypervisor Design.	HICSS	2014	DBLP DOI BibTeX RDF
21	Andrew Boyton	Secure architectures on a verified microkernel.		2014	RDF
21	Mikael Åsberg, Thomas Nolte	Towards a user-mode approach to partitioned scheduling in the seL4 microkernel.	SIGBED Rev.	2013	DBLP DOI BibTeX RDF
21	Chi-Sheng Shih 0001, Hsin-Yu Lai	nuKernel: MicroKernel for multi-core DSP SoCs with load sharing and priority interrupts.	SAC	2013	DBLP DOI BibTeX RDF
21	Jilong Kuang, Daniel G. Waddington, Chen Tian 0005	Towards a Scalable Microkernel Personality for Multicore Processors.	Euro-Par	2013	DBLP DOI BibTeX RDF
21	Steffen Wagner, Christoph Krauß, Claudia Eckert 0001	Lightweight Attestation and Secure Code Update for Multiple Separated Microkernel Tasks.	ISC	2013	DBLP DOI BibTeX RDF
21	Khoa Dang Pham, Abhishek Kumar Jain, Jin Cui, Suhaib A. Fahmy, Douglas L. Maskell	Microkernel hypervisor for a hybrid ARM-FPGA platform.	ASAP	2013	DBLP DOI BibTeX RDF
21	Zhenjiang Qian, Hao Huang, Fangmin Song	VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS.	ICICS	2013	DBLP DOI BibTeX RDF
21	Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer	Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck	SSV	2012	DBLP DOI BibTeX RDF
21	Augusto Born de Oliveira, Ahmad Saif Ur Rehman, Sebastian Fischmeister	mTags: augmenting microkernel messages with lightweight metadata.	ACM SIGOPS Oper. Syst. Rev.	2012	DBLP DOI BibTeX RDF
21	Cheng-Zhong Xu 0001	Naplet: Microkernel and Pluggable Design of Mobile Agent Systems.	Mobile Agents in Networking and Distributed Computing	2012	DBLP DOI BibTeX RDF
21	Chen Tian 0005, Daniel G. Waddington, Jilong Kuang	A Scalable Physical Memory Allocation Scheme for L4 Microkernel.	COMPSAC	2012	DBLP DOI BibTeX RDF
21	Jia Zou 0002, Slobodan Matic, Edward A. Lee	PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2012	DBLP DOI BibTeX RDF
21	Hosein Marzi, Yuntao Yang	Microkernel based real-time embedded operating systems efficiency improvement.	CCECE	2012	DBLP DOI BibTeX RDF
21	Bernard Blackham, Yao Shi, Gernot Heiser	Improving interrupt response time in a verifiable protected microkernel.	EuroSys	2012	DBLP DOI BibTeX RDF
21	Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev	Proving Memory Separation in a Microkernel by Code Level Verification.	ISORC Workshops	2011	DBLP DOI BibTeX RDF
21	David Haworth	An AUTOSAR-compatible microkernel for systems with safety-relevant components.	Echtzeit	2011	DBLP DOI BibTeX RDF
21	Adam Lackorzynski, Alexander Warg	Less is More - A Secure Microkernel-Based Operating System.	SysSec@DIMVA	2011	DBLP DOI BibTeX RDF
21	Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood	Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.	ISCA	2011	DBLP DOI BibTeX RDF
21	Durga Vemuri, Wasim A. Al-Hamdani	Measures to improve security in a microkernel operating system.	InfoSecCD	2011	DBLP DOI BibTeX RDF
21	Ronald Aigner	Communication in Microkernel-Based Operating Systems.		2011	RDF
21	Gerwin Klein, Thomas Sewell, Simon Winwood	Refinement in the Formal Verification of the seL4 Microkernel.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
21	Eyad Alkassar, Wolfgang J. Paul, Artem Starostin, Alexandra Tsyban	Pervasive Verification of an OS Microkernel - Inline Assembly, Memory Consumption, Concurrent Devices.	VSTTE	2010	DBLP DOI BibTeX RDF
21	Domenico Cotroneo, Domenico Di Leo, Roberto Natella	Adaptive monitoring in microkernel OSs.	DSN Workshops	2010	DBLP DOI BibTeX RDF
21	Felix Bruns, Shadi Traboulsi, David Szczesny, Maria Elizabeth Gonzalez, Yang Xu, Attila Bilgic	An Evaluation of Microkernel-Based Virtualization for Embedded Real-Time Systems.	ECRTS	2010	DBLP DOI BibTeX RDF
21	June Andronick	From a Proven Correct Microkernel to Trustworthy Large Systems.	FoVeOOS	2010	DBLP DOI BibTeX RDF
21	Jan Dörrenbächer	Formal specification and verification of a microkernel.		2010	RDF
21	Marcus Rolf Völp	Provable protection of confidential data in microkernel based systems.		2010	RDF
21	Sebastian Reichelt, Jan Stoess, Frank Bellosa	A microkernel API for fine-grained decomposition.	PLOS@SOSP	2009	DBLP DOI BibTeX RDF
21	Thomas In der Rieden, Alexandra Tsyban	CVM - A Verified Framework for Microkernel Programmers.	SSV	2008	DBLP DOI BibTeX RDF
21	Artem Starostin, Alexandra Tsyban	Correct Microkernel Primitives.	SSV	2008	DBLP DOI BibTeX RDF
21	Sven Schulz, Wolfgang Blochinger, Markus Held, Clemens Dangelmayr	COHESION - A microkernel based Desktop Grid platform for irregular task-parallel applications.	Future Gener. Comput. Syst.	2008	DBLP DOI BibTeX RDF
21	Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone	Verified Protection Model of the seL4 Microkernel.	VSTTE	2008	DBLP DOI BibTeX RDF
21	Dong-Guen Kim, Sang-Min Lee, Dong Ryeol Shin	Design of the Operating System Virtualization on L4 Microkernel.	NCM (1)	2008	DBLP DOI BibTeX RDF
21	Matthias Daum 0001, Jan Dörrenbächer, Sebastian Bogan	Model Stack for the Pervasive Verification of a Microkernel-based Operating System.	VERIFY	2008	DBLP BibTeX RDF
21	Ihor Kuz, Yan Liu 0001, Ian Gorton, Gernot Heiser	CAmkES: A component model for secure microkernel-based embedded systems.	J. Syst. Softw.	2007	DBLP DOI BibTeX RDF
21	Jan Stoess	Towards effective user-controlled scheduling for microkernel-based systems.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
21	Haiying Zhou, Kun Mean Hou, Christophe de Vaulx	SDREAM: A Super-Small Distributed REAL-Time Microkernel Dedicated to Wireless Sensors.	Int. J. Pervasive Comput. Commun.	2006	DBLP DOI BibTeX RDF
21	Marcelo Götz, Florian Dittmann 0001	Reconfigurable Microkernel-based RTOS: Mechanisms and Methods for Run-Time Reconfiguration.	ReConFig	2006	DBLP DOI BibTeX RDF
21	Rafal Kolanski, Gerwin Klein	Formalising the L4 microkernel API.	CATS	2006	DBLP BibTeX RDF
21	Volkmar Uhlig	Scalability of microkernel-based systems.		2005	RDF
21	Thomas Bopp, Thorsten Hampel	A Microkernel Architecture for Distributed Mobile Environments.	ICEIS (4)	2005	DBLP BibTeX RDF
21	Vasanth Asokan, S. Mohan, Raj K. Nagarajan	Hardware Software Codesign of the Xilinx Microkernel.	ERSA	2004	DBLP BibTeX RDF
21	Win Bausch	OPERA-G: A microkernel for computational grids.		2004	RDF
21	Uwe Brinkschulte, Aurelie Bechina, Florentin Picioroaga, Etienne Schneider, Theo Ungerer, Jochen Kreuzinger, Matthias Pfeffer	A Microkernel Middleware Architecture for Distributed Embedded Real-Time Systems.	SRDS	2001	DBLP DOI BibTeX RDF
21	Robert Baumgartl	On the integration of digital signal processors into microkernel based operating systems.		2001	RDF
21	Francisco J. Ballesteros, Christopher K. Hess, Fabio Kon, Sergio Arévalo, Roy H. Campbell	Object-Oriented in Off++ - A Distributed Adaptable Microkernel.	ECOOP Workshops	1999	DBLP BibTeX RDF
21	K. Shin	EMERALDS: A Small-Memory Real-Time Microkernel.	RTCSA	1999	DBLP DOI BibTeX RDF
21	Christian Friberg	Role based access control and microkernel operating systems.		1999	RDF
21	Amir Averbuch, Albert Cohen	Efficient multicast design in a microkernel environment.	Concurr. Pract. Exp.	1998	DBLP DOI BibTeX RDF
21	Tatsuo Nakajima, Hideyuki Tokuda	User-level Real-Time Network System on Microkernel-based Operating Systems.	Real Time Syst.	1998	DBLP DOI BibTeX RDF
21	Brett D. Fleisch, Mark Allan A. Co	Workplace Microkernel and OS: A Case Study.	Softw. Pract. Exp.	1998	DBLP DOI BibTeX RDF
21	Ashish Mehra, Anees Shaikh, Tarek F. Abdelzaher, Zhiqun Wang, Kang G. Shin	Realizing Services for Guaranteed-QoS Communication on a Microkernel Operating System.	RTSS	1998	DBLP DOI BibTeX RDF
21	Francesc D. Muñoz-Escoí, José M. Bernabéu-Aubán	The NanOS Microkernel: A Basis for a Multicomputer Cluster Operating System.	PDPTA	1997	DBLP BibTeX RDF
21	Young Jin Nam, Joo Man Kirn, Hae-Jin Kim	A Global Synchronization Solution for Racing Servers in the Microkernel-based OS, MISIX.	PDPTA	1997	DBLP BibTeX RDF
21	Freeman L. Rawson III	Experience with the Development of a Microkernel-Based, Multi-Server Operating System.	Workshop on Hot Topics in Operating Systems	1997	DBLP DOI BibTeX RDF
21	Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson	Towards Applying the Composition Principle to Verify a Microkernel Operating System.	TPHOLs	1996	DBLP DOI BibTeX RDF