DSLAB - Laboratoire des systèmes fiables

Type de document

• Conference Papers (66)
• Journal Articles (12)
• Theses (10)
• Reports (3)
• Student Projects (2)

Laboratoire

• DSLAB (93)
• NAL (3)
• DCL (2)
• DCSL (1)
• DIAS (1)

Année de publication

• 2024 (1)
• 2023 (3)
• 2021 (1)
• 2020 (1)
• 2019 (2)
• 2018 (4)
• 2017 (1)
• 2016 (2)
• 2015 (6)
• 2014 (6)
• 2013 (7)
• 2012 (7)
• 2011 (14)
• 2010 (9)
• 2009 (5)
• 2008 (8)
• 2007 (1)
• 2006 (1)
• 2005 (1)
• 2004 (4)
• 2003 (3)
• 2002 (2)
• 2001 (2)
• 1998 (1)

Montrer plus

Journal

• Proceedings of the 4th Workshop on Hot Topics in System Dependability (HotDep) (3)
• 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN) (2)
• 2011 Ieee/Ifip 41St International Conference On Dependable Systems And Networks (Dsn) (2)
• Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (2)
• Proceedings of the 5th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys) (2)
• Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep) (2)
• Proceedings of the International Conference on Dependable Systems and Networks (DSN) (2)
• 10th ACM/USENIX Intl. Middleware Conf. (Middleware), Industrial Track (1)
• 10th International Conference on Autonomic Computing (ICAC ’13) (1)
• 14th Workshop on Hot Topics in Operating Systems (HotOS XIV) (1)
• 2012 19th Working Conference on Reverse Engineering (1)
• 2015 IEEE Symposium on Security and Privacy (1)
• 2023 Ieee/Acm 45Th International Co45th IEEE/ACM International Conference on Software Engineering (ICSE) (1)
• Acm Sigcomm Computer Communication Review (1)
• ACM Transactions on Computer Systems (1)
• Acm Transactions On Computer Systems (1)
• Acm Transactions On Programming Languages And Systems (1)
• Asplos Xvii: Seventeenth International Conference On Architectural Support For Programming Languages And Operating Systems (1)
• Cluster Computing (1)
• Computer (1)
• EuroSys'12 - Proceedings of the EuroSys 2012 Conference (1)
• EW 10: Proceedings of the 10th workshop on ACM SIGOPS European workshop (1)
• Ieee Security & Privacy (1)
• Iet Software (1)
• KBNets'18: Proceedings of the 2018 Afternoon Workshop on Kernel Bypassing Networks (1)
• Performance Evaluation (1)
• Plos One (1)
• Proc. 13th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2012) (1)
• Proc. 1st Workshop on Evaluating and Architecting System Dependability (EASY) (1)
• Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011) (1)
• Proc. 33rd Conf. Programming Language Design and Implementation (PLDI 2012) (1)
• Proc. 9th Workshop on Hot Topics in Operating Systems (HotOS) (1)
• Proceedings Eighth Workshop on Hot Topics in Operating Systems (1)
• Proceedings International Conference on Dependable Systems and Networks (1)
• Proceedings Of 45Th International Conference On Parallel Processing Workshops (Icppw 2016) (1)
• Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation (1)
• Proceedings of the 14th Workshop on Hot Topics on Operating Systems (1)
• Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (1)
• Proceedings of the 1st ACM Symposium on Cloud Computing (1)
• Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP) (1)
• Proceedings of the 2nd International Workshop on Self-Managing Database Systems (joint with ICDE) (1)
• Proceedings of the 2nd USENIX Windows NT Symposium (1)
• Proceedings of the 35th International Conference on Very Large Data Bases (VLDB) (1)
• Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI) (1)
• Proceedings of the 8th Workshop on Runtime Verification (RV) (1)
• Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD) (1)
• Proceedings of the ACM Symposium on Networked Systems Design and Implementation (NSDI) (1)
• Proceedings of the Autonomic Computing Workshop. Fifth Annual International Workshop on Active Middleware Services. AMS 2003 (1)
• Proceedings of the First International Conference on Autonomic Computing (1)
• Proceedings of the sixth conference on Computer systems - EuroSys '11 (1)
• Proceedings Of The Twenty-Ninth Acm Symposium On Operating Systems Principles, Sosp 2023 (1)
• Proceedings of the USENIX Annual Technical Conference (1)
• Proceedings. Second International Conference on Autonomic Computing (1)
• Proceedings the Third IEEE Workshop on Internet Applications. WIAPP 2003 (1)
• Psychological Science (1)
• Runtime Verification (1)
• SOSP '15: Proceedings of the 25th Symposium on Operating Systems Principles (1)
• The VLDB Journal (1)
• USENIX Annual Technical Conference (1)

Montrer plus