University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 211–240 of 4,852 items
Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage   Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for ICE: A Robust Learning Framework for Synthesizing Invariants
ICE: A Robust Learning Framework for Synthesizing Invariants
Garg, Pranav; Loding, Christof; Madhusudan, P.; Neider, Daniel

Thumbnail for A Review of Rainfall-runoff Modeling for Stormwater Management
A Review of Rainfall-runoff Modeling for Stormwater Management
Knapp, H. Vernon; Durgunoğlu, Ali; Ortel, Terry W.