CASSIS

Keyphrases

Publications

volume 3956, 2006

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers CASSIS 3956 (2006)

2005

David Aspinall, Kenneth MacKenzie
Mobile Resource Guarantees and Policies. CASSIS (2005)
Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk
The Design of Application-Tailorable Operating System Product Lines. CASSIS (2005)
Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani
Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach. CASSIS (2005)
David Pichardie
Modular Proof Principles for Parameterised Concretizations. CASSIS (2005)
Christopher League, Stefan Monnier
Typed Compilation Against Non-manifest Base Classes. CASSIS (2005)
Santiago Zanella Béguelin
Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. CASSIS (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. CASSIS (2005)
Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle
Romization: Early Deployment and Customization of Java Systems for Constrained Devices. CASSIS (2005)
Claudio Agostino Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati
The Architecture of a Privacy-Aware Access Control Decision Component. CASSIS (2005)

volume 3362, 2005

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers CASSIS 3362 (2005)

2004