2001 |
---|

Nina Amla Efficient Model Checking for Timing Diagrams. |

1999 |

Richard J. Trefler Expressive and Efficient Model Checking. |

1998 |

Kedar S. Namjoshi Ameliorating the State-Explosion Problem. |

1997 |

Giacomo Lenzi (University of Pisa) The Mu-calculus Alternation Hierarchy is Strict. |

1996 |

Markus Kaltenbach Interactive Verification Exploiting Program Design Knowledge: A Model-Checker for UNITY. |

1995 |

Paul C. Attie Formal Methods for the Synthesis of Concurrent Programs from Temporal Logic Specification. |

1993 |

Munindar P. Singh A Theory of Actions, Intentions, and Communications for Multiagent Systems. |

1991 |

Jayashankar Srinivasan Reasoning about Concurrent Programs with simplified temporal logics. |

Kalyan Muthukumar Compile-time Algorithms for Efficient Parallel Implementation of Logic Programs. |

1990 |

Charanjit Singh Jutla Automata on Infinite Objects and Modal Logics of Programs. |

1986 |

Chin-Laung Lei Temporal Logics for Reasoning under Fairness assumptions. |