2007 |
16 | EE | Ben C. Moszkowski:
Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals.
J. Log. Comput. 17(2): 333-409 (2007) |
2005 |
15 | | Ben C. Moszkowski:
A Hierarchical Analysis of Propositional Temporal Logic based on Intervals.
We Will Show Them! (2) 2005: 371-440 |
2004 |
14 | | Ben C. Moszkowski:
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time.
Journal of Applied Non-Classical Logics 14(1-2): 55-104 (2004) |
2003 |
13 | EE | Ben C. Moszkowski:
A Hierarchical Completeness Proof for Propositional Temporal Logic.
Verification: Theory and Practice 2003: 480-523 |
2000 |
12 | EE | Ben C. Moszkowski:
An Automata-Theoretic Completeness Proof for Interval Temporal Logic.
ICALP 2000: 223-234 |
11 | EE | Ben C. Moszkowski:
A Complete Axiomatization of Interval Temporal Logic with Infinite Time.
LICS 2000: 241-252 |
1997 |
10 | | Xiaoshan Li,
Antonio Cau,
Ben C. Moszkowski,
Nick Coleman,
Hussein Zedan:
Proving the correctness of the interlock mechanism in processor design.
CHARME 1997: 5-22 |
9 | EE | Ben C. Moszkowski:
Compositional Reasoning Using Interval Temporal Logic and Tempura.
COMPOS 1997: 439-464 |
1996 |
8 | | Antonio Cau,
Hussein Zedan,
Nick Coleman,
Ben C. Moszkowski:
Using ITL and Tempura for Large-Scale Specification and Simulation.
PDP 1996: 493-500 |
1995 |
7 | EE | Ben C. Moszkowski:
Compositional reasoning about projected and infinite time.
ICECCS 1995: 238-245 |
1994 |
6 | | Ben C. Moszkowski:
Some Very Compositional Temporal Properties.
PROCOMET 1994: 307-326 |
1987 |
5 | | Roger Hale,
Ben C. Moszkowski:
Parallel Programming in Temporal Logic.
PARLE (2) 1987: 277-296 |
1984 |
4 | | Ben C. Moszkowski:
Executing Temporal Logic Programs.
Seminar on Concurrency 1984: 111-130 |
1983 |
3 | | Joseph Y. Halpern,
Zohar Manna,
Ben C. Moszkowski:
A Hardware Semantics Based on Temporal Intervals.
ICALP 1983: 278-291 |
2 | | Ben C. Moszkowski,
Zohar Manna:
Reasoning in Interval Temporal Logic.
Logic of Programs 1983: 371-382 |
1 | | Ben C. Moszkowski:
A Temporal Analysis of Some Concurrent Systems.
The Analysis of Concurrent Systems 1983: 359-364 |