Kousha Etessami Phones & Addresses
-
13 Catalina Dr, Great Neck, NY 11024 (516) 829-5594
-
100 Jane St, New York, NY 10014 (212) 675-2049
-
100 Jane St APT 6K, New York, NY 10014
-
21 Massasoit St, Northampton, MA 01060
-
Piscataway, NJ
-
Amherst, MA
Publications
Us Patents
Implied Message Sequence Charts
View pageUS Patent:
6681264, Jan 20, 2004
Filed:
May 26, 2000
Appl. No.:
09/579188
Inventors:
Rajeev Alur - Ardmore PA
Kousha Etessami - New York NY
Mihalis Yannakakis - Summit NJ
Kousha Etessami - New York NY
Mihalis Yannakakis - Summit NJ
Assignee:
Lucent Technologies Inc. - Murray Hill NJ
International Classification:
G06F 954
US Classification:
709318, 703 17, 706 10, 345440
Abstract:
A system and method for determining whether a set of message sequence charts (MSCs) is realizable or safely realizable in an implementation is provided. The determination is made by analyzing the set of MSCs for the existence of unspecified, implied MSCs. If the set of MSCs can be realized in a deadlock-free automaton, then the set of MSCs is safely realizable. If the set of MSCs is realizable (no implied MSCs exist), a state machine can be synthesized from the set of MSCs. If the set of MSCs is not realizable, then implied, unspecified (partial) MSCs are produced. Also, given an undesirable MSC, the system determines whether the set of required MSCs implies the given undesired MSC.
Isbn (Books And Publications)
Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings
View page
Author
Kousha Etessami
ISBN #
3540272313
Wikipedia References
