no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- verification
- imported
- parameterized
- statecharts
- modelchecking
- liveness
- BPM
- abstraction
- collection
- temporal
- statemate
- no-tag
- reactive_systems
- requirements
- concurrent
- automated
- bakery
- 2005
- invariant_discovery
- networkinvariant
- 1988
- cutoff
- finite_state
- completeness
- deductive
- semantics
- transactional-memory
- sos
- invariant
- logic
- acsys
- ltl2buchi
- German
- complexity
- process
- scenarios
- formal
- survey
- counter
- szymanski
- diagrams
- model_checking
- 1991
- 1990
- peterson
- diss
- CTL
- ws1s
- infinite_state
- No matching items.
- Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, and Sergio Yovine. RTSS, page 154-163. IEEE Computer Society, (1999)Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, and Sergio Yovine. RTSS, page 154-163. IEEE Computer Society, (1999)3 months and 29 days agoby dblp1
- A. Pnueli. Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science, page 46--57. IEEE Computer Society Press, Providence, (1977)A. Pnueli. Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science, page 46--57. IEEE Computer Society Press, Providence, (1977)6 months agoby wvdaalst4
- D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. IEEE Transactions on Software Engineering 16(4):403--414 (1990)D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. IEEE Transactions on Software Engineering 16(4):403--414 (1990)6 months agoby wvdaalst2
- Amir Pnueli. FOCS, page 46-57. IEEE Computer Society, (1977)Amir Pnueli. FOCS, page 46-57. IEEE Computer Society, (1977)9 months agoby davef4
- M. Ben-Ari, Z. Manna, and A. Pnueli. Acta Informatica 20(3):207-226 (September 1983)M. Ben-Ari, Z. Manna, and A. Pnueli. Acta Informatica 20(3):207-226 (September 1983)9 months agoby lucio_duarte2
- Werner Damm, Bernhard Josko, Amir Pnueli, and Anjelika Votintseva. Sci. Comput. Program. 55(1-3):81-115 (2005)Werner Damm, Bernhard Josko, Amir Pnueli, and Anjelika Votintseva. Sci. Comput. Program. 55(1-3):81-115 (2005)10 months agoby dblp1
- Werner Damm, Bernhard Josko, Amir Pnueli, and Anjelika Votintseva. FMCO, volume 2852 of Lecture Notes in Computer Science, page 71-98. Springer, (2002)Werner Damm, Bernhard Josko, Amir Pnueli, and Anjelika Votintseva. FMCO, volume 2852 of Lecture Notes in Computer Science, page 71-98. Springer, (2002)10 months agoby dblp1
- Jun Kong, Omer Barkol, Ruth Bergman, Ayelet Pnueli, Sagi Schein, Kang Zhang, and Chunying Zhao. IEEE Transactions on Systems, Man, and Cybernetics, Part C 42(4):590-602 (2012)Jun Kong, Omer Barkol, Ruth Bergman, Ayelet Pnueli, Sagi Schein, Kang Zhang, and Chunying Zhao. IEEE Transactions on Systems, Man, and Cybernetics, Part C 42(4):590-602 (2012)11 months agoby dblp1
- Zohar Manna, and Amir Pnueli. PODC, page 377-410. ACM, (1990)Zohar Manna, and Amir Pnueli. PODC, page 377-410. ACM, (1990)a year agoby dblp1
- Zohar Manna, and Amir Pnueli. PODC, page 205. ACM, (1987)Zohar Manna, and Amir Pnueli. PODC, page 205. ACM, (1987)a year agoby dblp1
- Amir Pnueli, and Lenore D. Zuck. PODC, page 12-27. ACM, (1984)Amir Pnueli, and Lenore D. Zuck. PODC, page 12-27. ACM, (1984)a year agoby dblp1
- Orna Lichtenstein, and Amir Pnueli. POPL, page 97-107. ACM Press, (1985)Orna Lichtenstein, and Amir Pnueli. POPL, page 97-107. ACM Press, (1985)a year agoby dblp2
- Mordechai Ben-Ari, Zohar Manna, and Amir Pnueli. POPL, page 164-176. ACM Press, (1981)Mordechai Ben-Ari, Zohar Manna, and Amir Pnueli. POPL, page 164-176. ACM Press, (1981)a year agoby dblp1
- Zohar Manna, and Amir Pnueli. POPL, page 1-12. ACM Press, (1987)Zohar Manna, and Amir Pnueli. POPL, page 1-12. ACM Press, (1987)a year agoby dblp2
- Rivi Sherman, Amir Pnueli, and David Harel. POPL, page 347-360. ACM Press, (1982)Rivi Sherman, Amir Pnueli, and David Harel. POPL, page 347-360. ACM Press, (1982)a year agoby dblp1
- Sergiu Hart, Micha Sharir, and Amir Pnueli. POPL, page 1-6. ACM Press, (1982)Sergiu Hart, Micha Sharir, and Amir Pnueli. POPL, page 1-6. ACM Press, (1982)a year agoby dblp1