@comment{{Survey Bibliography )
}}
@comment{{can dover with /font=times11)
}}
@comment{{TMPDIR=. bibtex2html -t "Publications by Dr. Ben Moszkowski (many available per email request)" publications.bib)
}}
@article{MoszkowskiGuelev14-amai,
author = {Ben Moszkowski and Dimitar P. Guelev and Martin Leucker},
title = {Guest Editors' Preface to Special Issue on Interval Temporal Logics},
journal = {Annals of Mathematics and Artificial Intelligences (AMAI)},
publisher = {Springer},
year = 2014,
volume = 71,
number = {1--3},
pages = {1--9},
note = {Special issue on interval temporal logics},
doi = {10.1007/s10472-014-9417-7},
pdf = {pubs.d/time-reversal--amai-author-ver.pdf}
}
@article{Moszkowski14-amai,
author = {Ben Moszkowski},
title = {Compositional Reasoning using Intervals and Time Reversal},
journal = {Annals of Mathematics and Artificial Intelligences (AMAI)},
publisher = {Springer},
year = 2014,
volume = 71,
number = {1--3},
pages = {175--250},
note = {Special issue on interval temporal logics},
doi = {10.1007/s10472-013-9356-8},
pdf = {pubs.d/time-reversal--amai-author-ver.pdf}
}
@article{CauJanicke13-fmsd,
author = {Antonio Cau and Helge Janicke and Ben Moszkowski},
title = {Verification and Enforcement of Access Control Policies},
journal = {Formal Methods in System Design},
publisher = {Springer},
year = 2013,
doi = {10.1007/s10703-013-0187-3},
pdf = {pubs.d/cau-fmsd-2013-author-ver.pdf}
}
@article{Moszkowski13-ipl,
author = {Ben Moszkowski},
title = {Interconnections between Classes of Sequentially
Compositional Temporal Formulas},
journal = {Information Processing Letters},
year = 2013,
volume = 113,
number = 9,
pages = {350--353},
doi = {10.1016/j.ipl.2013.02.005},
pdf = {pubs.d/interconnections--ipl-author-ver.pdf}
}
@article{Moszkowski12,
author = {Ben Moszkowski},
title = {A Complete Axiom System for
Propositional {Interval Temporal Logic} with Infinite Time},
journal = {Logical Methods in Computer
Science},
year = 2012,
volume = 8,
number = {3:10},
pages = {1--56},
doi = {10.2168/LMCS-8 (3:10) 2012},
pdf = {pubs.d/pitl-completeness--lmcs-2012.pdf}
}
@inproceedings{Moszkowski11,
author = {Ben Moszkowski},
title = {Compositional Reasoning using Intervals and Time Reversal},
booktitle = {18th Int'l Symp. on Temporal Representation and Reasoning
(TIME 2011)},
pages = {107--114},
year = 2011,
publisher = {IEEE Computer Society},
note = {Special track on interval temporal logics},
doi = {10.1109/TIME.2011.25}
}
@article{Moszkowski07,
author = {Ben Moszkowski},
title = {Using Temporal Logic to Analyse Temporal Logic:
A Hierarchical Approach Based on Intervals},
journal = {Journal of Logic and Computation},
year = 2007,
volume = 17,
number = 2,
pages = {333--409},
month = apr,
doi = {10.1093/logcom/exm006},
pdf = {pubs.d/hierarchical-analysis--jlc-author-ver.pdf}
}
@incollection{Moszkowski05,
author = {Ben Moszkowski},
title = {A Hierarchical Analysis of
Propositional Temporal Logic based on Intervals},
booktitle = {We Will Show Them: Essays in Honour of {Dov Gabbay}},
pages = {371--440},
publisher = {College Publications (formerly KCL Publications)},
year = 2005,
editor = {Sergei Artemov and Howard Barringer
and Artur S. d'Avila Garcez and Luis C. Lamb and John Woods},
volume = 2,
address = {King's College, London},
isbn = {1-904987-12-5},
ps = {pubs.d/hierarchical-analysis-kcp-hardcopy-version.10Oct05.ps}
}
@article{Moszkowski04a,
author = {Ben Moszkowski},
title = {A Hierarchical Completeness Proof for
{Propositional Interval Temporal Logic} with Finite Time},
journal = {Journal of Applied Non-Classical Logics},
year = 2004,
volume = 14,
number = {1--2},
pages = {55--104},
note = {Special issue on Interval Temporal Logics
and Duration Calculi.
V. Goranko and A. Montanari, guest editors.},
doi = {10.3166/jancl.14.55-104},
pdf = {pubs.d/jancl-2004-enlarged-for-a4-paper.pdf}
}
@incollection{Moszkowski04,
author = {Ben Moszkowski},
title = {A Hierarchical Completeness Proof for
Propositional Temporal Logic},
booktitle = {Verification: Theory and Practice: Essays Dedicated to Zohar
Manna on the Occasion of His 64th Birthday},
pages = {480--523},
publisher = {Springer},
year = 2004,
editor = {Nachum Dershowitz},
volume = 2772,
series = {Lect. Notes in Comp. Sci.}
}
@article{CauHale2002,
author = {Antonio Cau and Roger Hale and Jordan Dimitrov and
Hussein Zedan and and Ben Moszkowski
and Manju Manjunathaiah and Mike Spivey},
title = {A Compositional Framework for Hardware/Software Co-Design},
journal = {Design Automation for Embedded Systems},
publisher = {Kluwer Academic Publishers},
year = 2002,
volume = 6,
number = 4,
pages = {367--399},
month = jul,
note = {Special Issue on Embedded Systems Design in the UK},
ps = {pubs.d/cau-design-automation-02.ps}
}
@inproceedings{Moszkowski00a,
author = {Ben Moszkowski},
title = {An Automata-Theoretic Completeness Proof for
{Interval Temporal Logic} (Extended Abstract)},
booktitle = {Proc. 27th Int'l.\
Colloquium on Automata, Languages and Programming
(ICALP 2000)},
pages = {223--234},
year = 2000,
editor = {Ugo Montanari and Jos{\'e} Rolim and Emo Welzl},
publisher = {Springer},
series = {Lect. Notes in Comp. Sci.},
volume = {1853},
month = jul,
doi = {10.1007/3-540-45022-X_19},
pdf = {pubs.d/icalp00.pdf}
}
@inproceedings{Moszkowski00,
author = {Ben Moszkowski},
title = {A Complete Axiomatization of {Interval Temporal Logic}
with Infinite Time (Extended Abstract)},
booktitle = {Proc. 15th Ann. IEEE Symp. on
Logic in Computer Science {(LICS 2000)}},
pages = {242--251},
year = 2000,
month = jun,
publisher = {IEEE Computer Society Press},
doi = {10.1109/LICS.2000.855773}
}
@inproceedings{Moszkowski98,
author = {Ben Moszkowski},
title = {Compositional Reasoning Using
{Interval Temporal Logic} and {Tempura}},
booktitle = {Compositionality: The Significant Difference},
editor = {Willem-Paul de Roever and Hans Langmaack and Amir Pnueli},
volume = 1536,
series = {Lect. Notes in Comp. Sci.},
year = 1998,
publisher = {Springer},
address = {Berlin},
pages = {439--464},
note = {COMPOS'97 Symposium, Bad Malente, Germany, Sept. 8-12, 1997},
doi = {10.1007/3-540-49213-5_17},
pdf = {pubs.d/compos97.pdf}
}
@inproceedings{LiCau97,
author = {Xiaoshan Li and Antonio Cau and Ben Moszkowski and Nick Coleman},
title = {Proving the correctness of the interlock mechanism
in processor design},
booktitle = {Advances in Hardware Design and Verification},
editor = {Hon F. Li and David K. Probst},
year = 1997,
publisher = {IFIP/Chapman and Hall},
address = {London},
pages = {2--22},
note = {IFIP TC10 WG10.5 International Conference on Correct
Hardware and Verification Methods (CHARME'97,
Montreal, Canada, Oct.\ 16--18, 1997)}
}
@inproceedings{Moszkowski96,
author = {Ben Moszkowski},
title = {Using Temporal Fixpoints to
Compositionally Reason about Liveness},
editor = {{He Jifeng} and John Cooke and Peter Wallis},
series = {electronic Workshops in Computing},
booktitle = {BCS-FACS 7th Refinement Workshop},
year = 1996,
organization = {BCS-FACS},
publisher = {Springer-Verlag and British Computer Society},
address = {London},
isbn = {3-540-76104-7},
documenturl = {http://ewic.bcs.org/content/ConWebDoc/5050},
pdf = {pubs.d/refine96.pdf}
}
@article{Moszkowski96a,
author = {Ben Moszkowski},
title = {The programming language {Tempura}},
journal = {Journal of Symbolic Computation},
year = 1996,
volume = 22,
number = {5/6},
month = nov # {/} # dec,
pages = {730--733},
note = {Special issue on Executable Temporal Logics},
doi = {10.1006/jsco.1996.0073}
}
@inproceedings{CauZedan96,
author = {A. Cau and H. Zedan and N. Coleman and B. Moszkowski},
title = {Using {ITL} and {TEMPURA} for Large Scale
Specification And Simulation},
pages = {493--500},
booktitle = {Proc. of the 4th Euromicro Workshop on Parallel
and Distributed Processing (Braga, Portugal, Jan. 24-26, 1996)},
year = 1996,
publisher = {IEEE Computer Society Press},
doi = {10.1109/EMPDP.1996.500624}
}
@inproceedings{Moszkowski95a,
author = {Ben Moszkowski},
title = {Compositional Reasoning about Projected and Infinite Time},
pages = {238--245},
booktitle = {Proc. 1st IEEE Int'l Conf.\ on Engineering
of Complex Computer Systems (ICECCS'95)},
year = 1995,
publisher = {IEEE Computer Society Press},
note = {Received award for best paper in formal methods track},
doi = {10.1109/ICECCS.1995.479336}
}
@inproceedings{Moszkowski94,
author = {Ben Moszkowski},
title = {Some Very Compositional Temporal Properties},
editor = {E.-R. Olderog},
volume = {A-56},
series = {IFIP Transactions},
pages = {307--326},
booktitle = {Programming Concepts, Methods and Calculi (PROCOMET'94)},
year = 1994,
organization = {IFIP},
publisher = {Elsevier Science B.V.~(North--Holland)},
pdf = {pubs.d/profinal.pdf}
}
@inproceedings{HaleMoszkowski87,
author = {Roger Hale and Ben C. Moszkowski},
title = {Parallel Programming in Temporal Logic},
booktitle = {PARLE, Parallel Architectures and Languages Europe,
Volume II: Parallel Languages},
pages = {277--296},
year = 1987,
editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven},
volume = 259,
series = {Lect. Notes in Comp. Sci.},
address = {Eindhoven, The Netherlands},
month = jun,
publisher = {Springer},
doi = {10.1007/3-540-17945-3_16}
}
@book{Moszkowski86,
author = {Ben Moszkowski},
title = {Executing Temporal Logic Programs},
publisher = {Cambridge University Press},
address = {Cambridge, England},
year = 1986,
pdf = {pubs.d/tempura-book.pdf}
}
@inproceedings{Moszkowski85b,
author = {Ben Moszkowski},
title = {A temporal analysis of some concurrent systems},
booktitle = {The Analysis of Concurrent Systems},
editor = {B. T. Denvir and W. T. Harwood and M. I. Jackson
and M. J. Wray},
volume = 207,
series = {Lect. Notes in Comp. Sci.},
year = 1985,
publisher = {springer},
address = {Berlin},
pages = {359--364},
annote = {meeting organised by Standard Telecommunication Laboratories (STL)
at Cambridge Univ., UK, 12-16 Sept.\ 1983},
doi = {10.1007/3-540-16047-7_58}
}
@article{Moszkowski85,
author = {Ben Moszkowski},
fullauthor = {Ben Moszkowski},
title = {A Temporal Logic for Multilevel Reasoning about Hardware},
journal = {Computer},
publisher = {IEEE Computer Society Press},
location = {Los Alamitos, California},
volume = 18,
no = 2,
mon = feb,
year = 1985,
pages = {10--19},
doi = {10.1109/MC.1985.1662795}
}
@inproceedings{MoszkowskiManna83,
author = {Ben Moszkowski and Zohar Manna},
title = {Reasoning in {Interval Temporal Logic}},
pages = {371--382},
editor = {Edmund Clarke and Dexter Kozen},
booktitle = {Proc. Workshop on Logics of Programs,
\textrm{Pittsburgh, PA, June, 1983}},
address = {Berlin},
year = 1984,
series = {Lect. Notes in Comp. Sci.},
volume = 164,
publisher = {Springer},
doi = {10.1007/3-540-12896-4_374}
}
@inproceedings{HalpernManna83,
author = {Joseph Halpern and Zohar Manna and Ben Moszkowski},
title = {A Hardware Semantics Based on Temporal Intervals},
booktitle = {Proc. 10th Int'l.\ Colloquium on
Automata, Lan\-guages and Programming {(ICALP '83)}},
editor = {J. Diaz},
publisher = {Springer},
address = {Berlin},
series = {Lect. Notes in Comp. Sci.},
volume = 154,
pages = {278--291},
month = jul,
year = 1983,
doi = {10.1007/BFb0036915}
}
@phdthesis{Moszkowski83a,
author = {Ben Moszkowski},
title = {Reasoning about Digital Circuits},
school = {Department of Computer Science, Stanford University},
note = {Technical report STAN--CS--83--970},
year = 1983,
month = jun
}
@inproceedings{Moszkowski83,
author = {Ben Moszkowski},
title = {A Temporal Logic for Multi-Level Reasoning about Hardware},
booktitle = {Proc. 6th Int'l.\ Symp. on
Computer Hardware Description Languages},
address = {Pittsburgh, Pennsylvania},
x-month = may,
year = 1983,
pages = {79--90},
publisher = {North-Holland Pub.\ Co.}
}
This file was generated by bibtex2html 1.98.