Software Engineering Research at George Mason University

Some Past Research Projects

TrustDNN: Evaluating the Trustworthiness of Deep Learning Systems

NUS-Singtel Cyber Security Research and Development Laboratory

Enhancing the Dependability of Complex Missions through Automated Analysis (funded by EOARD)

UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures (funded by EPSRC)

SENSORIA: Software Engineering for Service-Oriented Overlay Computers (funded by the European Commission):

• Project Web Site
• Dino Service Brokering Software

PLASTIC: Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication (funded by the European Commission)

SIENA (Internet-scale event notification)

SensOS (architectural styles for embedded software, funded by DARPA)

DASADA (dynamic software architectures, funded by DARPA)

NSF CAREER Award:

CAREER: Mechanisms for Ensuring the Integrity of Distributed Object Systems

David S. Rosenblum
ACM SIGSOFT Software Engineering Notes, 2000

APP (an Annotation PreProcessor)