DSLAB - Dependable Systems Laboratory

Publication Type:

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

Lab:

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

Publication Year:

• 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

show all

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

show all