CCSSE'04 Preliminary Program

Wednesday, 20 October

12.00-13.00

Lunch
Kåkenhus restaurant

13.00-13.10

Registration

13.10-13.20

Conference opening
room: K1 , Kåkenhus

13.20-14.20

Parallel sessions

Session 1: Security and safety, Chair: Lars Nielsen room: K1, Kåkenhus		Session 2: Perspective on optimization, Chair: Torkel Glad room: K21, Kåkenhus
13.20	Problems Running Untrusted Services as Java Threads Almut Herzog and Nahid Shahmehri	13.20	LTI Approximations of Slightly Nonlinear Systems: Some Intriguing Examples Martin Enqvist and Lennart Ljung
13.40	Decentralized Diagnosis in Heavy Duty Vehicles Jonas Biteus, Mathias Jensen, and Mattias Nyberg	13.40	Optimal Choice of Checkpointing Interval in Highly Available Servers Diana Szentivanyi, Simin Nadjm-Tehrani, and John Noble
14.00	Usability and Security for DRM Architectures Eduard Turcan, Nahid Shahmehri, and Germano Caronni	14.00	Uplink Load and Link Budget With Stochastic Noise Rise Levels in CDMA Cellular Systems Erik G. Lundin and Fredrik Gunnarsson

14.20-14.50

Break and coffee

15.00-17.00

Visit to Virtual Reality Lab

19.00-19.30

Diploma ceremony
at President hotel

19.30

Dinner
at President hotel

Thursday, 21 October

09.00-10.00

Guest lecture: Professor Anders Ynnerman, Head of the Norrköping Visualization and Interaction Studio, NVIS.
Chair: Nahid Shahmehri
room: K1 , Kåkenhus

10.00-11.00

Poster session and coffee,
Chair: Fredrik Gustafsson
place: outside K1 , Kåkenhus

	The Effect of the Fault Model in Indirect Fault Injection Carl Cederberg
	Utility-based Adaptive Resource Allocation in Hybrid Wireless Networks Calin Curescu, Simin Nadjm-Tehrani, Bing Cao, and Teresa A. Dahlberg
	Efficient Storage for Category-Based Group Key Management Claudiu Duma, Nahid Shahmehri, and Patrick Lambrix
	Frequency analysis using non-uniform sampling with application to active queue management Frida Eng, Fredrik Gustafsson, and Fredrik Gunnarsson
	Noise Modeling, State Estimation and System Identification in Linear Differential-Algebraic Equations Markus Gerdin and Thomas Schön
	Complexity Analysis of the Marginalized Particle Filter Rickard Karlsson, Thomas Schön, and Fredrik Gustafsson
	Optimal Coding Rate for Limited Buffer Size Peter Johansson
	An Introduction to the GridModelica Modeling and Simulation Framework Kaj Nyström
	Digital Rights Management Protocols: Simulation of the Rendering Operation Using Modelica Eduard Turcan
	Modeling of the Gas Exchange Process in Variable Cam Timing Engines Per Öberg and Lars Eriksson

11.00-12.00

Parallel sessions

Session 3: Modeling and simulation, Chair: Simin Nadjm-Tehrani room: K1, Kåkenhus		Session 4: Programming theory and practice, Chair: Ulf Nillson room: K21, Kåkenhus
11.00	A Comparison of Specific Heat Ratio Models for Cylinder Pressure Modeling Marcus Klein and Lars Eriksson	11.00	A Classification of Unanticipated Runtime Software Changes in Java Jens Gustavsson
11.20	Inversion of Dynamic Vehicle Models for Better Simulation Performance Anders Fröberg and Lars Nielsen	11.20	A Preprocessing Algorithm for MIQP Solvers with Applications to MPC Daniel Axehill and Anders Hansson
11.40	Field Type and Field Constructor in Modelica Levon Saldamli and Peter Fritzson	11.40	Two-Step Reduction for Finding a Minimal-Sized Partition in Automatic Partition Testing, Jon Edvardsson, Mariam Kamkar, and Maud Göthe-Lundgren

12.00-12.15

Conference closing
room: K1 , Kåkenhus

12.15-13.15

Lunch

13.30

Back to Linköping