Model-Driven Software Engineering Techniques
71 faculty research Model-Driven Software Engineering Techniques on GradNova.
C
Assistant Professor, Electrical and Computer Engineering
Application of Automated Reasoning Tools, Such as Model Checkers, to the Analysis of Reactive Systems, Including Computer Hardware and Software Systems; Embedded Systems; and Routing and Communication Protocols (of Particular Interest Are Compositional Reasoning and Abstraction Techniques for Coping With the State Explosion Problem in Model Checking)
Visual Notations for Describing Systems and Their Specifications; Automata on Infinite Objects; Temporal, Modal, and Description Logics; Internet-Based Routing and Communication Protocols; and Analysis of Parameterized Systems
Formal Methods in Verification
Logic, Programming, and Type Systems
+3
A
Associate Professor, Electrical and Computer Engineering
J
Professor, and Director of Women in Computer Science
Z
M
Assistant Professor, EECS – Computer Science and Engineering