Through extensive publications on the causes and consequences of war, he has forged a reputation for innovative formal modeling and empirical analysis.

A large variety of examples and counter examples have resulted in multiple approaches to the formal modeling of context, each with specific strengths and weaknesses.

It was distinctive for its conservatism, for its 1968 fidelity to price theory, for its interest in empirical studies, but not so much in formal modeling.

She is the author of numerous research articles about distributed algorithms and impossibility results, and about formal modeling and validation of distributed systems.

In the early 1990s, he initiated research in the formal modeling, scheduling, and correctness of workflows.

Alur's research spans formal modeling and analysis of reactive systems, hybrid systems, model checking, software verification, and design automation for embedded software.

Some critics have argued that potentially promising approaches have been excluded in major mainstream publications by a focus on problems amenable to formal modeling.

He was conferred a Ph.D. in Operations Research from the University of Washington, although little of his work involves formal mathematical modeling.

The key problems of such systems are difficulties with their formal modeling and simulation.

More recently his research has focused on formal modeling of concurrent systems and Chu spaces.