Search - LAAS-Informatique Critique Access content directly

Filter your results

6 Results
Deposit type : Notice

Decomposition and learning for a hard real-time task allocating problem

Hadrien Cambazard , Pierre-Emmanuel Hladik , Anne-Marie Déplanche , Narendra Jussien , Yvon Trinquet
CORS/INFORMS Joint International Meeting, 2004, Banff, Alberta, Canada
Conference papers hal-00869109v1

GUARDS: dependability evaluation, Chapter 9

Jean Arlat , Andrea Bondavalli , Felicita Di Giandomenico , Tahar Jarboui , Éric Jenn , et al.
David Powell. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, Kluwer Academic Publishers, pp.157-192, 2001, 0-7923-7295-6
Book sections hal-01982521v1

Real-word Design Diversity: a case study on cost

Karama Kanoun
IEEE Software, 2001, 18 (4), pp.29-33
Journal articles hal-01979366v1

Simulation and Detection of Some Properties of Hybrid System Based Differential Predicate-Transition Petri Nets by Means of VHDL-AMS

Alexandre Nketsa , Jean-Claude Pascal , David Andreu , Philippe Esteban
European Simulation and Modelling Conference (ESM), Oct 2004, Paris, France. pp.294-298
Conference papers lirmm-00108912v1

Impact of internal and external software faults on the Linux kernel

Tahar Jarboui , Jean Arlat , Yves Crouzet , Karama Kanoun , Thomas Marteau
IEICE Transactions on Information and Systems, 2003, E86-D (12), pp.2571-2578
Journal articles hal-01980930v1

Web service availability--impact of error recovery and traffic model

Magnos Martinello , Mohamed Kaâniche , Karama Kanoun
Reliability Engineering and System Safety, 2005, 89 (1), pp.6-16. ⟨10.1016/j.ress.2004.08.003⟩
Journal articles istex hal-00851778v1