Follow
Ben Moszkowski
Ben Moszkowski
Senior Research Fellow, De Montfort University
Verified email at dmu.ac.uk - Homepage
Title
Cited by
Cited by
Year
Executing temporal logic programs: preliminary version
B Moszkowski
International Conference on Concurrency, 111-130, 1984
7151984
A temporal logic for multi-level reasoning about hardware
B Moszkowski
IEEE Computer 18 (2), 10-19, 1985
5701985
A temporal logic for multi-level reasoning about hardware
B Moszkowski
6-th International Symposium on Computer Hardware Description Languages, 79–90, 1983
5701983
A temporal logic for multi-level reasoning about hardware
B Moszkowski
Department of Computer Science, Stanford University, 1982
5701982
Reasoning about Digital Circuits
B Moszkowski
Dept. of Computer Science, Stanford University, 1983
3681983
A hardware semantics based on temporal intervals
J Halpern, Z Manna, B Moszkowski
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983
2331983
A hardware semantics based on temporal intervals
J Halpern, Z Manna, B Moszkowski
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 1983
2331983
Reasoning in interval temporal logic
B Moszkowski, Z Manna
Workshop on Logic of Programs, 371-382, 1983
1391983
Some very compositional temporal properties
B Moszkowski
University of Newcastle upon Tyne, Computing Science, 1993
1201993
Compositional reasoning about projected and infinite time
B Moszkowski
Proceedings of First IEEE International Conference on Engineering of Complex …, 1995
971995
Compositional reasoning using interval temporal logic and tempura
BC Moszkowski
International Symposium on Compositionality, 439-464, 1997
811997
A complete axiomatization of interval temporal logic with infinite time
BC Moszkowski
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
662000
Interval temporal logic
A Cau, B Moszkowski, H Zedan
URL: http://www. cms. dmu. ac. uk/~ cau/itlhomepage/itlhomepage. html, 2006
442006
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
371996
An automata-theoretic completeness proof for interval temporal logic
BC Moszkowski
International Colloquium on Automata, Languages, and Programming, 223-234, 2000
332000
Verification and enforcement of access control policies
A Cau, H Janicke, B Moszkowski
Formal Methods in System Design 43, 450-492, 2013
302013
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
272004
ITL–Interval Temporal Logic
A Cau, B Moszkowski, H Zedan
Software Technology Research Laboratory, SERCentre, De Montfort University …, 2002
252002
A complete axiom system for propositional Interval Temporal Logic with infinite time
B Moszkowski
Logical Methods in Computer Science 8 (3), 2012
242012
A complete axiom system for propositional interval temporal logic with infinite time
B Moszkowski
Logical Methods in Computer Science 8, 2012
242012
The system can't perform the operation now. Try again later.
Articles 1–20