No. Title Author Year
1 Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates Toman, John et al. 2018
2 Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact) Toman, John et al. 2018
3 Programming Language Tools and Techniques for 3D Printing Nandi, Chandrakana et al. 2017
4 Taming the Static Analysis Beast Toman, John et al. 2017
5 Staccato: A Bug Finder for Dynamic Configuration Updates Toman, John et al. 2016
6 Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact) Toman, John et al. 2016
7 Toward a Dependability Case Language and Workflow for a Radiation Therapy System Ernst, Michael D. et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI