A Formal Approach to Constructing Secure Air Vehicle Software von Cofer, Darren, Gacek, Andrew, Backes, John, Whalen, Michael W., Pike, Lee, Foltzer, Adam, Podhradsky, Michal, Klein, Gerwin, Kuz, Ihor, Andronick, June, Heiser, Gernot, Stuart, Douglas

Volltext

Model-driven development for the seL4 microkernel using the HAMR framework von Belt, Jason, Hatcliff, John, Robby, Shackleton, John, Carciofini, Jim, Carpenter, Todd, Mercer, Eric, Amundson, Isaac, Babar, Junaid, Cofer, Darren, Hardin, David, Hoech, Karl, Slind, Konrad, Kuz, Ihor, Mcleod, Kent

Volltext

Stress-Strain State Of Elastic Plate With An Arbitrary Smooth Notch von Kuz, Ihor, Kuz, Olga, Sulym, Heorgij

Volltext

CAmkES: A component model for secure microkernel-based embedded systems von Kuz, Ihor, Liu, Yan, Gorton, Ian, Heiser, Gernot

Volltext

Towards trustworthy computing systems: taking microkernels to the next level von Heiser, Gernot, Elphinstone, Kevin, Kuz, Ihor, Klein, Gerwin, Petters, Stefan M.

Volltext

Automated Verification of RPC Stub Code von Fernandez, Matthew, Andronick, June, Klein, Gerwin, Kuz, Ihor

Volltext

Welcome message of the chairs von He Zhang, Liming Zhu, Ihor Kuz

Volltext bestellen

Modernizair: a software package for cyber retrofit analysis von Kocsis, Zoltan, Kuz, Ihor

Volltext bestellen

CAPABILITY-RESTRICTED SYSTEM CONTROL von Kuz, Ihor, McLeod, Kent, Brecknell, Matthew, Multerer, Boyd

Volltext bestellen

CAPABILITY-RESTRICTED SYSTEM CONTROL von Kuz, Ihor, McLeod, Kent, Brecknell, Matthew, Multerer, Boyd

Volltext bestellen

Towards trustworthy computing systems : Taking microkernels to the next level : Secure small-kernel systems von HEISER, Gernot, ELPHINSTONE, Kevin, KUZ, Ihor, KLEIN, Gerwin, PETTERS, Stefan M

Volltext

The Distributed ASCI Supercomputer project von BAL, Henri, BHOEDJANG, Raoul, VELDEMA, Ronald, VERSTOEP, Kees, BAGGIO, Aline, BALLINTIJN, Gerco, KUZ, Ihor, PIERRE, Guillaume, VAN STEEN, Maarten, TANENBAUM, Andy, DOORNBOS, Gerben, GERMANS, Desmond, HOFMAN, Rutger, SPOELDER, Hans, BAERENDS, Evert-Jan, VAN GISBERGEN, Stan, AFSERMANESH, Hamideh, VAN ALBADA, Dick, BELLOUM, Adam, DUBBELDAM, David, HENDRIKSE, Zeger, HERTZBERGER, Bob, HOEKSTRA, Alfons, JACOBS, Ceriel, ISKRA, Kamil, KANDHAI, Drona, KOELMA, Dennis, VAN DER LINDEN, Frank, OVEREINDER, Benno, SLOOT, Peter, SPINNATO, Piero, EPEMA, Dick, VAN GEMUND, Arjan, JONKER, Pieter, KIELMANN, Thilo, RADULESCU, Andrei, VAN REEUWIJK, Cees, SIPS, Henk, KNIJNENBURG, Peter, LEW, Michael, SLUITER, Floris, WOLTERS, Lex, BLOM, Hans, DE LAAT, Cees, VAN DER STEEN, Aad, MAASSEN, Jason, VAN NIEUWPOORT, Rob, ROMEIN, John, RENAMBOT, Luc, RÜHL, Tim

Volltext

Extending the Capabilities of Component Models for Embedded Systems von Kuz, Ihor, Liu, Yan

Volltext

Tools for Model Driven Development von Zhu, Liming, Liu, Yan, Gorton, Ian, Kuz, Ihor

Volltext

The globe infrastructure directory service von Kuz, Ihor, van Steen, Maarten, Sips, Henk J

Volltext

An Architectural Approach for Cost Effective Trustworthy Systems von Kuz, I., Liming Zhu, Bass, L., Staples, M., Xiwei Xu

Volltext bestellen

Formalising device driver interfaces von Ryzhyk, Leonid, Kuz, Ihor, Heiser, Gernot

Volltext bestellen

SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS von Cofer,Darren, Backes,John, Gacek,Andrew, DaCosta,Daniel, Whalen,Michael, Kuz,Ihor, Klein,Gerwin, Heiser,Gernot, Pike,Lee, Foltzer,Adam, Podhradsky,Michal, Stuart,Douglas, Grahan,Jason, Wilson,Brett

Volltext bestellen

Towards trustworthy computing systems: taking microkernels to the next level von Heiser, Gernot, Elphinstone, Kevin, Kuz, Ihor, Klein, Gerwin, Petters, Stefan

Volltext bestellen

CAmkES: A component model for secure microkernel-based embedded systems von Kuz, Ihor, Liu, Yan, Gorton, Ian, Heiser, Gernot

Volltext bestellen