Executing temporal logic programs: preliminary version B Moszkowski International Conference on Concurrency, 111-130, 1984 | 715 | 1984 |

A temporal logic for multi-level reasoning about hardware B Moszkowski IEEE Computer 18 (2), 10-19, 1985 | 570 | 1985 |

A temporal logic for multi-level reasoning about hardware B Moszkowski 6-th International Symposium on Computer Hardware Description Languages, 79–90, 1983 | 570 | 1983 |

A temporal logic for multi-level reasoning about hardware B Moszkowski Department of Computer Science, Stanford University, 1982 | 570 | 1982 |

Reasoning about Digital Circuits B Moszkowski Dept. of Computer Science, Stanford University, 1983 | 368 | 1983 |

A hardware semantics based on temporal intervals J Halpern, Z Manna, B Moszkowski Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983 | 233 | 1983 |

A hardware semantics based on temporal intervals J Halpern, Z Manna, B Moszkowski Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983 | 233 | 1983 |

Reasoning in interval temporal logic B Moszkowski, Z Manna Workshop on Logic of Programs, 371-382, 1983 | 139 | 1983 |

Some very compositional temporal properties B Moszkowski University of Newcastle upon Tyne, Computing Science, 1993 | 120 | 1993 |

Compositional reasoning about projected and infinite time B Moszkowski Proceedings of First IEEE International Conference on Engineering of Complex …, 1995 | 97 | 1995 |

Compositional reasoning using interval temporal logic and tempura BC Moszkowski International Symposium on Compositionality, 439-464, 1997 | 81 | 1997 |

A complete axiomatization of interval temporal logic with infinite time BC Moszkowski Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000 | 66 | 2000 |

Interval temporal logic A Cau, B Moszkowski, H Zedan URL: http://www. cms. dmu. ac. uk/~ cau/itlhomepage/itlhomepage. html, 2006 | 44 | 2006 |

Using ITL and Tempura for large-scale specification and simulation A Cau, H Zedan, N Coleman, B Moszkowski Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing …, 1996 | 37 | 1996 |

An automata-theoretic completeness proof for interval temporal logic BC Moszkowski International Colloquium on Automata, Languages, and Programming, 223-234, 2000 | 33 | 2000 |

Verification and enforcement of access control policies A Cau, H Janicke, B Moszkowski Formal Methods in System Design 43, 450-492, 2013 | 30 | 2013 |

A hierarchical completeness proof for Propositional Interval Temporal Logic with finite time B Moszkowski Journal of Applied Non-Classical Logics 14 (1-2), 55-104, 2004 | 27 | 2004 |

ITL–Interval Temporal Logic A Cau, B Moszkowski, H Zedan Software Technology Research Laboratory, SERCentre, De Montfort University …, 2002 | 25 | 2002 |

A complete axiom system for propositional Interval Temporal Logic with infinite time B Moszkowski Logical Methods in Computer Science 8 (3), 2012 | 24 | 2012 |

A complete axiom system for propositional interval temporal logic with infinite time B Moszkowski Logical Methods in Computer Science 8, 2012 | 24 | 2012 |