Ben C. Moszkowski

According to our database, Ben C. Moszkowski authored at least 30 papers between 1983 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Expressive completeness by separation for discrete time interval temporal logic with expanding modalities.

Dimitar P. Guelev, Ben C. Moszkowski

Inf. Process. Lett., 2024

2022

A separation theorem for discrete-time interval temporal logic.

Dimitar P. Guelev, Ben C. Moszkowski

J. Appl. Non Class. Logics, 2022

2019

From Box Algebra to Interval Temporal Logic.

Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski

Fundam. Informaticae, 2019

2017

An application of temporal projection to interleaving concurrency.

Ben C. Moszkowski, Dimitar P. Guelev

Formal Aspects Comput., 2017

2016

From Petri Nets with Shared Variables to ITL.

Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2014

Guest editors' preface to special issue on interval temporal logics.

Ben C. Moszkowski, Dimitar P. Guelev, Martin Leucker

Ann. Math. Artif. Intell., 2014

Compositional reasoning using intervals and time reversal.

Ben C. Moszkowski

Ann. Math. Artif. Intell., 2014

2013

Interconnections between classes of sequentially compositional temporal formulas.

Ben C. Moszkowski

Inf. Process. Lett., 2013

Verification and enforcement of access control policies.

Antonio Cau, Helge Janicke, Ben C. Moszkowski

Formal Methods Syst. Des., 2013

2012

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

Ben C. Moszkowski

Log. Methods Comput. Sci., 2012

2007

Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals.

Ben C. Moszkowski

J. Log. Comput., 2007

2005

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals.

Ben C. Moszkowski

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time.

Ben C. Moszkowski

J. Appl. Non Class. Logics, 2004

2003

A Hierarchical Completeness Proof for Propositional Temporal Logic.

Ben C. Moszkowski

Proceedings of the Verification: Theory and Practice, 2003

2002

A Compositional Framework for Hardware/Software Co-Design.

Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, Michael Spivey

Des. Autom. Embed. Syst., 2002

2000

A Complete Axiomatization of Interval Temporal Logic with Infinite Time.

Ben C. Moszkowski

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

An Automata-Theoretic Completeness Proof for Interval Temporal Logic.

Ben C. Moszkowski

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1997

Compositional Reasoning Using Interval Temporal Logic and Tempura.

Ben C. Moszkowski

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Proving the correctness of the interlock mechanism in processor design.

Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan

Proceedings of the Advances in Hardware Design and Verification, 1997

1996

Using ITL and Tempura for Large-Scale Specification and Simulation.

Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski

Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

1995

Compositional reasoning about projected and infinite time.

Ben C. Moszkowski

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994

Some Very Compositional Temporal Properties.

Ben C. Moszkowski

Proceedings of the Programming Concepts, 1994

1987

Parallel Programming in Temporal Logic.

Roger Hale, Ben C. Moszkowski

Proceedings of the PARLE, 1987

1986

Executing temporal logic programs.

Ben C. Moszkowski

Cambridge University Press, ISBN: 978-0-521-31099-4, 1986

1985

A Temporal Logic for Multilevel Reasoning about Hardware.

Ben C. Moszkowski

Computer, 1985

1984

Executing Temporal Logic Programs.

Ben C. Moszkowski

Proceedings of the Seminar on Concurrency, 1984

1983

Reasoning about digital circuits.

Ben C. Moszkowski

PhD thesis, 1983

Reasoning in Interval Temporal Logic.

Ben C. Moszkowski, Zohar Manna

Proceedings of the Logics of Programs, 1983

A Hardware Semantics Based on Temporal Intervals.

Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski

Proceedings of the Automata, 1983

A Temporal Analysis of Some Concurrent Systems.

Ben C. Moszkowski

Proceedings of the Analysis of Concurrent Systems, 1983