Publications 2004
Follow paper's title for abstract
Link's may lead to sites with restricted access
- I. Gordin,
R. Leviathan, and A. Pnueli.
Validating the translation of an industrial
optimizing compiler.
In Proc. 2nd International Symposium on Automated Technology for
Verification and Analysis, Lecture Notes in Computer
Science, Taiwan, November 2004. © Springer-Verlag.
(Gzipped PostScript, 17 pages, 115658 bytes)
(PDF, 206353 bytes)
- Y. Kesten and A. Pnueli.
A compositional approach to CTL*
verification.
© Theoretical
Computer Science, 2004.
to appear.
(Gzipped PostScript, 35 pages, 151181 bytes)
(PDF, 382954 bytes)
- D. Harel and H. Kugler.
The rhapsody semantics of statecharts (or, on the executable core of UML),
2004.
to appear.
- S. Efroni,
D. Harel, and I.R. Cohen.
Multidisciplinary Approaches to Theory in Medicine, chapter Modeling
and Simulation of the Thymus.
Elsevier, 2004.
to appear.
- D. Barak, D. Harel,
and R. Marelly.
Interplay: Horizontal scale-up and transition to
design in scienario-based programming.
In J. Desel, W. Reisig, and G. Rozenberg, editors, Lectures on Concurrency
and Petri Nets, Lecture Notes in Computer
Science. © Springer-Verlag, 2004.
(PDF, 489157 bytes)
- T. Arons.
Verification of an advanced mips-type out-of-order
execution algorithm.
In Proc. 16th International Conference on Computer Aided Verification,
Lecture Notes in
Computer Science, pages 414-426, Boston, MA, USA, July 2004. © Springer-Verlag.
(Gzipped PostScript, 13 pages, 96016 bytes)
(PDF, 243798 bytes)
- N. Piterman and Vardi M.Y.
Global model-checking for infinite-state systems.
In 16th. International Conference on Computer Aided Verification, Lecture Notes in Computer
Science, pages 387-400, Boston, MA, USA, July 2004. © Springer-Verlag.
(Gzipped PostScript, 21 pages, 106067 bytes)
(PDF, 247696 bytes)
- J. Fisher,
D. Harel, E.J.A. Hubbard, N. Piterman, M.J. Stern, and N. Swerdlin.
Combining state-based and scenario-based approaches in modeling biological
systems.
In 2nd International Workshop on Computational Methods in Systems
Biology, Lecture
Notes in Computer Science, Paris, France, May 2004. ©
Springer-Verlag.
- M. Kyas, H. Fecher,
F.S. de Boer, J. Jacob, J. Hooman, M. van der Zwaag, T. Arons, , and
H. Kugler.
Formalizing UML models and OCL constraints in
PVS.
In Proc. International Workshop on Semantic Foundation of Engineering
Design Languages, Barcelona, Spain, March 2004.
(PDF, 330091 bytes)
- O. Maler and A. Pnueli.
On recognizable timed languages.
In 7th International Conference on Foundations of Software Science and
Computation Structures, volume 2987 of Lecture Notes in Computer
Science, pages 348-362, Barcelona, Spain, March 2004. ©
Springer-Verlag.
(Springer
PDF)
- Y. Fang,
N. Piterman, A. Pnueli, and L. Zuck.
Liveness with incomprehensible ranking.
In 10th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, volume 2988 of Lecture Notes in Computer
Science, pages 482-496, Bercelona, Spain, March 2004. ©
Springer-Verlag.
(Gzipped PostScript, 15 pages, 121960 bytes)
(PDF, 151544 bytes)
- Y. Fang,
N. Piterman, A. Pnueli, and L. Zuck.
Liveness with invisible ranking.
In 5th International Conference on Verification, Model Checking and
Abstract Interpretation, volume 2937 of Lecture Notes in Computer
Science, pages 223-238, Venice, Italy, January 2004. ©
Springer-Verlag.
(Gzipped PostScript, 13 pages, 58233 bytes)
(PDF, 154583 bytes)
- T. Arons and A. Pnueli.
TLPVS : A PVS-based LTL verification
system.
In N. Dershowitz, editor, Verification: Theory and Practice,
Essays Dedicated to Zohar Manna on the Occasion of his 64th Birthday, volume 2772 of Lecture Notes in Computer
Science, pages 598-625. © Springer-Verlag, 2004.
(Gzipped PostScript, 28 pages, 136253 bytes)
(PDF, 375289 bytes)
- O. Kupferman,
N. Piterman, and M. Y. Vardi.
Fair equivalence relations.
In N. Dershowitz, editor, Verification: Theory and Practice,
Essays Dedicated to Zohar Manna on the Occasion of His 64th
Birthday, volume 2772 of Lecture Notes in Computer
Science, pages 702-732. © Springer-Verlag, 2004.
(Gzipped PostScript, 31 pages, 3101562 bytes)
(PDF, 1357359 bytes)
- L. Carmel,
D. Harel, and Y. Koren.
Combining
hierarchy and energy drawing directed graphs.
IEEE transactions on Visualizations and Computer Graphics,
10(1):46-57, January-February 2004.
(IEEE
PDF)