Ben C. Moszkowski

Publication Activity (10 Years)

Years Active: 1983-2022
Publications (10 Years): 4

Top Topics

Access Control Policies

Mazurkiewicz Traces

Satisfiability Problem

Projection Method

Top Venues

Ann. Math. Artif. Intell.

Fundam. Informaticae

Formal Aspects Comput.

Publications

Dimitar P. Guelev, Ben C. Moszkowski
A separation theorem for discrete-time interval temporal logic. J. Appl. Non Class. Logics 32 (1) (2022)
Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski
From Box Algebra to Interval Temporal Logic. Fundam. Informaticae 167 (4) (2019)
Ben C. Moszkowski, Dimitar P. Guelev
An application of temporal projection to interleaving concurrency. Formal Aspects Comput. 29 (4) (2017)
Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski
From Petri Nets with Shared Variables to ITL. ACSD (2016)
Ben C. Moszkowski, Dimitar P. Guelev
An Application of Temporal Projection to Interleaving Concurrency. SETTA (2015)
Ben C. Moszkowski
Compositional reasoning using intervals and time reversal. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Ben C. Moszkowski, Dimitar P. Guelev, Martin Leucker
Guest editors' preface to special issue on interval temporal logics. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Antonio Cau, Helge Janicke, Ben C. Moszkowski
Verification and enforcement of access control policies. Formal Methods Syst. Des. 43 (3) (2013)
Ben C. Moszkowski
Interconnections between classes of sequentially compositional temporal formulas. Inf. Process. Lett. 113 (9) (2013)
Ben C. Moszkowski
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time Log. Methods Comput. Sci. 8 (3) (2012)
Ben C. Moszkowski
Compositional Reasoning Using Intervals and Time Reversal. TIME (2011)
Ben C. Moszkowski
Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals. J. Log. Comput. 17 (2) (2007)
Ben C. Moszkowski
A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals CoRR (2006)
Ben C. Moszkowski
A Hierarchical Analysis of Propositional Temporal Logic based on Intervals. We Will Show Them! (2) (2005)
Ben C. Moszkowski
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. J. Appl. Non Class. Logics 14 (1-2) (2004)
Ben C. Moszkowski
A Hierarchical Completeness Proof for Propositional Temporal Logic. Verification: Theory and Practice (2003)
Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, Michael Spivey
A Compositional Framework for Hardware/Software Co-Design. Des. Autom. Embed. Syst. 6 (4) (2002)
Ben C. Moszkowski
An Automata-Theoretic Completeness Proof for Interval Temporal Logic. ICALP (2000)
Ben C. Moszkowski
A Complete Axiomatization of Interval Temporal Logic with Infinite Time. LICS (2000)
Ben C. Moszkowski
Compositional Reasoning Using Interval Temporal Logic and Tempura. COMPOS (1997)
Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan
Proving the correctness of the interlock mechanism in processor design. CHARME (1997)
Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski
Using ITL and Tempura for Large-Scale Specification and Simulation. PDP (1996)
Ben C. Moszkowski
Compositional reasoning about projected and infinite time. ICECCS (1995)
Ben C. Moszkowski
Some Very Compositional Temporal Properties. PROCOMET (1994)
Roger Hale, Ben C. Moszkowski
Parallel Programming in Temporal Logic. PARLE (2) (1987)
Ben C. Moszkowski
A Temporal Logic for Multilevel Reasoning about Hardware. Computer 18 (2) (1985)
Ben C. Moszkowski
Executing Temporal Logic Programs. Seminar on Concurrency (1984)
Ben C. Moszkowski, Zohar Manna
Reasoning in Interval Temporal Logic. Logic of Programs (1983)
Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski
A Hardware Semantics Based on Temporal Intervals. ICALP (1983)
Ben C. Moszkowski
A Temporal Analysis of Some Concurrent Systems. The Analysis of Concurrent Systems (1983)