Publications 2003
Follow paper's title for abstract
Link's may lead to sites with restricted access
- D. Harel, S. Efroni,
and I.R. Cohen.
Reactive animation.
In Proc. 1st International Symposium on Formal Methods for Components and
Objects, volume 2852 of Lecture Notes in Computer
Science, pages 136-153, Leiden, The Netherlands, November 2003.
© Springer-Verlag.
(PDF, 214444 bytes)
- D. Harel and R. Marelly.
Come, Let's Play: Scenario-Based Programming Using LSCs and the
Play-Engine.
© Springer-Verlag, 2003.
- M. Langberg,
A. Pnueli, and Y. Rodeh.
The robdd size of simple cnf formulas.
In proceedings 12th Advanced Research Working Conference on
Correct Hardware Design and Verification Methods, Lecture Notes in Computer
Science, L'Aquila, Italy, October 2003. © Springer-Verlag.
(Gzipped PostScript, 15 pages, 112182 bytes)
(PDF, 263285 bytes)
- Y. Koren.
On spectral graph drawing.
In Procceedings 9th International Computing and Combinatorics
Conference, Lecture Notes in Computer
Science, Big Sky, MT, USA, July 2003. © Springer-Verlag.
(PDF, 660428 bytes)
- C. Eisner,
D. Fisman, J. Havlicek, Y. Lustig, A. McIsaac, and D. Van Campenhout.
Reasoning with temporal logic on truncated
paths.
In Proceedings of 15th International Conference on Computer
Aided Verification, volume 2775 of Lecture Notes in Computer
Science, pages 27-39, Boulder, CO, USA, July 2003. ©
Springer-Verlag.
(PDF, 195325 bytes)
- Y. Kesten,
N. Piterman, and A. Pnueli.
Bridging the gap between fair simulation and trace
inclusion.
In Proceedings of 15th International Conference on Computer
Aided Verification, volume 2775 of Lecture Notes in Computer
Science, pages 381-393, Boulder, CO, USA, July 2003. ©
Springer-Verlag.
(Gzipped PostScript, 21 pages, 97297 bytes)
(PDF, 281026 bytes)
- C. Eisner,
D. Fisman, J. Havlicek, A. McIsaac, and D. Van Campenhout.
The definition of a temporal clock operator.
In Proceedings of 30th International Colloquium on Automata
Languages and Programming, volume 2719 of Lecture Notes in Computer
Science, pages 857-870, Eindhoven, The Netherlands, June 2003.
© Springer-Verlag.
(PDF, 193998 bytes)
- N. Piterman and M.Y.
Vardi.
Micro macro stack systems -- a new frontier of
elementary decidability for sequential systems.
In Proc. 18th IEEE Symposium on Logic in Computer Science, pages
381-390, Ottawa, Canada, June 2003. © IEEE, IEEE society press.
(Gzipped PostScript, 15 pages, 102769 bytes)
(PDF, 305298 bytes)
- T. Arons, A. Pnueli,
and L. Zuck.
Parameterized verification by probabilistic
abstraction.
In Proceedings 6th International Conference on Foundations of
Software Science and Computational Structures, volume 2620 of Lecture Notes in Computer
Science, pages 87-102, Warsaw, Poland, April 2003. ©
Springer-Verlag.
(Gzipped PostScript, 16 pages, 126112 bytes)
(PDF, 230017 bytes)
- N. Kam, D. Harel,
H. Kugler, R. Marelly, A. Pnueli, J. Hubbard, and M. Stern.
Formal modeling of c. elegans development: A
scenario-based approach.
In First International Workshop on Computational Methods in Systems
Biology, volume 2602 of Lecture Notes in Computer
Science, pages 4-20, Rovereto, Italy, February 2003. ©
Springer-Verlag.
(PDF, 240844 bytes)
- N. Piterman and M. Vardi.
From bidirectionality to alternation.
Theoretical Computer Science, 295(1-3):295-321, February 2003.
(Gzipped PostScript, 24 pages, 140168 bytes)
(PDF, 310701 bytes)
- S. Efroni,
D. Harel, and I.R. Cohen.
Towards rigorous comprehension of biological complexity: Modeling, execution
and visualization of thymic t-cell maturation.
Genome Research, 2003.
special issue on Systems Biology, In press.
- D. Harel and P.S.
Thiagarajan.
Message sequence charts.
In L. Lavagno, G. Martin, and B. Selic, editors, UML for Real: Design of
Embedded Real-time Systems. Kluwer Academic Press, 2003.