An Integrated Framework for Scenarios and State Machines von Sengupta, Bikram, Cleaveland, Rance

Volltext

A linear-time model-checking algorithm for the alternation-free modal mu-calculus von Cleaveland, Ranee, Steffen, Bernhard

Volltext

Optimality in abstractions of model checking von Cleaveland, Rance, Iyer, Purush, Yankelevich, Daniel

Volltext

Generating diagnostic information for behavioral preorders von Celikkan, Ufuk, Cleaveland, Ranee

Volltext

A Logical Process Calculus von Cleaveland, Ranee, Lüttgen, Gerald

Volltext

A process algebra with distributed priorities von Cleaveland, Ranee, Lüttgen, Gerald, Natarajan, V.

Volltext

Simulation Revisited von Tan, Li, Cleaveland, Rance

Volltext

The Concurrency Factory software development environment von Cleaveland, Ranee, Lewis, Philip M., Smolka, Scott A., Sokolsky, Oleg

Volltext

Faster model checking for the modal Mu-Calculus von Cleaveland, Ranee, Klein, Marion, Steffen, Bernhard

Volltext