Ben C. Moszkowski

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