Executing temporal logic programs: preliminary version B Moszkowski International Conference on Concurrency, 111-130, 1984 | 718 | 1984 |
A temporal logic for multi-level reasoning about hardware B Moszkowski IEEE Computer 18 (2), 10-19, 1985 | 575 | 1985 |
A temporal logic for multi-level reasoning about hardware B Moszkowski 6-th International Symposium on Computer Hardware Description Languages, 79–90, 1983 | 575 | 1983 |
Reasoning about Digital Circuits B Moszkowski Dept. of Computer Science, Stanford University, 1983 | 374 | 1983 |
A hardware semantics based on temporal intervals J Halpern, Z Manna, B Moszkowski Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983 | 235 | 1983 |
Reasoning in interval temporal logic B Moszkowski, Z Manna Workshop on Logic of Programs, 371-382, 1983 | 135 | 1983 |
Some very compositional temporal properties B Moszkowski University of Newcastle upon Tyne, Computing Science, 1993 | 118 | 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 | 83 | 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 | 45 | 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 | 36 | 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 |
Using temporal fixpoints to compositionally reason about liveness B Moszkowski Proceedings of the BCS-FACS 7th Refinement Workshop, 1996 | 19 | 1996 |
Parallel programming in temporal logic R Hale, B Moszkowski International Conference on Parallel Architectures and Languages Europe, 277-296, 1987 | 18 | 1987 |
Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding A Cau, BC Moszkowski | 16 | 2005 |