No. Title Author Year
1 Ornaments for Proof Reuse in Coq Ringer, Talia et al. 2019
2 Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates Toman, John et al. 2018
3 Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact) Toman, John et al. 2018
4 Programming Language Tools and Techniques for 3D Printing Nandi, Chandrakana et al. 2017
5 Taming the Static Analysis Beast Toman, John et al. 2017
6 Staccato: A Bug Finder for Dynamic Configuration Updates Toman, John et al. 2016
7 Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact) Toman, John et al. 2016
8 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: 8


DROPS-Home | Imprint | Privacy Published by LZI