Concepedia

Blake C. Rawlings

BC

Statistics

Publications

6

Citations

122

H-Index

6

Active since

2012

Affiliations

University of Michigan(Current)

Carnegie Mellon University

Dow Chemical (United States)

Blake C. Rawlings is an author at University of Michigan specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationPrivacyAutomationCryptographyData PrivacyData ScienceVerificationData Security

Publications per year

2012–2019

6

Publications

6

Synthesis of Obfuscation Policies to Ensure Privacy and Utility

Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings et al. · Journal of Automated Reasoning · 2017 · 56 citations

Privacy Protection, Engineering, Information Security +8

Multivariate Image Analysis (MIA) for Industrial Flare Combustion Control

David Castiñeira, Blake C. Rawlings, Thomas F. Edgar · Industrial & Engineering Chemistry Research · 2012 · 18 citations

Environmental Monitoring, Image Analysis, Data Science +11

Application of formal verification and falsification to large-scale chemical plant automation systems

Blake C. Rawlings, John M. Wassick, B. Erik Ydstie · Computers & Chemical Engineering · 2017 · 17 citations

Engineering, Industrial Engineering, Automated Reasoning +13

Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking

Blake C. Rawlings, Stéphane Lafortune, B. Erik Ydstie · IEEE Transactions on Control Systems Technology · 2018 · 11 citations

Engineering, Reachability Problem, Verification +21

Demonstration of Indoor Location Privacy Enforcement using Obfuscation

Rômulo Meira Góes, Blake C. Rawlings, Nicholas Recker et al. · IFAC-PapersOnLine · 2018 · 10 citations · Full text

Location Tracking, Engineering, Information Security +20

1–5 of 6