Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 12
Item hits:
Issue DateTitleAuthor(s)
31-May-2016Fault-Tolerant Resource ReasoningNtzik, G; Da Rocha Pinto, P; Gardner, PA;
13-Mar-2016Quicksort Revisited: Verifying Alternative Versions of QuicksortCertezeanu, R; Drossopoulou, S; Egelund-Muller, B; Leino, KRM; Sivarajan, S, et al
31-Dec-2019The Security of Machine Learning SystemsMunoz Gonzalez, L; Lupu, E; Sikos, LF
25-Jul-2017Centrally governed blockchains: optimizing security, cost, and availabilityLundbaek, L; Callia d'Iddio, A; Huth, MRA; , et al
13-Mar-2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, M; Ghilezan, S; Jakšić, S; Pantović, J; Yoshida, N, et al
31-Dec-2014Automated Error-Detection and Repair for Compositional Software SpecificationsAlrajeh, D; Craven, R; Giannakopoulou, D; SalaÃŒn, G
31-Dec-2013Probabilistic Verification at Runtime for Self-Adaptive SystemsFilieri, A; Tamburrelli, G; Cámara, J; De Lemos, R; Ghezzi, C, et al
1-Jan-2014Motion Corrected 3D Reconstruction of the Fetal Thorax from Prenatal MRIKainz, B; Malamateniou, C; Murgasova, M; Keraudren, K; Rutherford, M, et al
16-Feb-2014Bayesian Gait Optimization for Bipedal LocomotionCalandra, R; Gopalan, N; Seyfarth, A; Peters, J; Deisenroth, MP
26-Jun-2019The merits of compositional abstraction: A case study in propositional logicHuth, M