Author: "Graf, Susanne" / Journal: automated technology for verification and analysis : 4th international symposium, atva 2006, beijing, china, october 23-26, 2006. proceedings - Searchworks@Jio Institute Digital Library Search Results

1. A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement

Author: He, Fei, Song, Xiaoyu, Gu, Ming, Sun, Jiaguang, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

2. Eager Markov Chains

Author: Abdulla, Parosh Aziz, Ben Henda, Noomene, Mayr, Richard, Sandberg, Sven, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

3. Towards a Model-Checker for Counter Systems

Author: Demri, S., Finkel, A., Goranko, V., van Drimmelen, G., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

4. Whodunit? Causal Analysis for Counterexamples

Author: Wang, Chao, Yang, Zijiang, Ivančić, Franjo, Gupta, Aarti, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

5. A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis

Author: Chung, Ming-Ying, Ciardo, Gianfranco, Yu, Andy Jinqing, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

6. Model Checking Timed Systems with Urgencies

Author: Hsiung, Pao-Ann, Lin, Shang-Wei, Chen, Yean-Ru, Huang, Chun-Hsian, Yeh, Jia-Jen, Sun, Hong-Yu, Lin, Chao-Sheng, Liao, Hsiao-Win, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

7. Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems

Author: Su, Hang, Hemingway, Graham, Chen, Kai, Koo, T. John, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

8. The Implementation of Mazurkiewicz Traces in POEM

Author: Niebert, Peter, Qu, Hongyang, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

9. Sigref – A Symbolic Bisimulation Tool Box

Author: Wimmer, Ralf, Herbstritt, Marc, Hermanns, Holger, Strampp, Kelley, Becker, Bernd, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

10. Analyzing Security Protocols in Hierarchical Networks

Author: Zhang, Ye, Nielson, Hanne Riis, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

11. Functional Analysis of a Real-Time Protocol for Networked Control Systems

Author: Fidge, Colin, Tian, Yu-Chu, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

12. Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives

Author: Donaldson, Alastair F., Miller, Alice, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

13. Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets

Author: Rosa-Velardo, Fernando, de Frutos-Escrig, David, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

14. Predicate Abstraction of Programs with Non-linear Computation

Author: Xia, Songtao, Di Vito, Ben, Munoz, Cesar, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

15. A Semantic Framework for Test Coverage

Author: Briones, Laura Brandán, Brinksma, Ed, Stoelinga, Mariëlle, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

16. Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

Author: Delzanno, Giorgio, Esparza, Javier, Srba, Jiří, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

17. Proactive Leader Election in Asynchronous Shared Memory Systems

Author: Dharmadeep, M. C., Gopinath, K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

18. A Fresh Look at Testing for Asynchronous Communication

Author: Bhateja, Puneet, Gastin, Paul, Mukund, Madhavan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

19. Timed Temporal Logics for Abstracting Transient States

Author: Mokadem, Houda Bel, Bérard, Béatrice, Bouyer, Patricia, Laroussinie, François, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

20. Symbolic Unfoldings for Networks of Timed Automata

Author: Cassez, Franck, Chatain, Thomas, Jard, Claude, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

21. Branching-Time Property Preservation Between Real-Time Systems

Author: Huang, Jinfeng, Geilen, Marc, Voeten, Jeroen, Corporaal, Henk, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

22. Automatic Verification of Hybrid Systems with Large Discrete State Space

Author: Damm, Werner, Disch, Stefan, Hungar, Hardi, Pang, Jun, Pigorsch, Florian, Scholl, Christoph, Waldmann, Uwe, Wirtz, Boris, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

23. Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise

Author: Fecher, Harald, Huth, Michael, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

24. Timed Unfoldings for Networks of Timed Automata

Author: Bouyer, Patricia, Haddad, Serge, Reynier, Pierre-Alain, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

25. Synthesis for Probabilistic Environments

Author: Schewe, Sven, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

26. Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis

Author: Yoneda, Tomohiro, Myers, Chris J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

27. On the Satisfiability of Modular Arithmetic Formulae

Author: Wang, Bow-Yaw, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

28. Controller Synthesis and Ordinal Automata

Author: Cachat, Thierry, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

29. Selective Approaches for Solving Weak Games

Author: Helmert, Malte, Mattmüller, Robert, Schewe, Sven, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

30. Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition

Author: Nam, Wonhong, Alur, Rajeev, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

31. Compositional Reasoning for Hardware/Software Co-verification

Author: Xie, Fei, Yang, Guowu, Song, Xiaoyu, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

32. Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains

Author: Suwimonteerabuth, Dejvuth, Schwoon, Stefan, Esparza, Javier, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

33. On the Construction of Fine Automata for Safety Properties

Author: Kupferman, Orna, Lampert, Robby, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

34. On the Succinctness of Nondeterminism

Author: Aminof, Benjamin, Kupferman, Orna, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

35. On the Membership Problem for Visibly Pushdown Languages

Author: La Torre, Salvatore, Napoli, Margherita, Parente, Mimmo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

36. Analysis of Recursive Probabilistic Models

Author: Yannakakis, Mihalis, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

37. Verification Challenges and Opportunities in the New Era of Microprocessor Design

Author: Yang, Jin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

38. Automated Abstraction of Software

Author: Ball, Thomas, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Graf, Susanne, editor, and Zhang, Wenhui, editor
Published: 2006
Full Text: View/download PDF

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Publication Type

Database

38 results on '"Graf, Susanne"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources