Search

Your search keyword '"Pandu Rangan, C."' showing total 727 results
Start Over Author "Pandu Rangan, C." Search Limiters Full Text

Refine your results

more »

more »

727 results on '"Pandu Rangan, C."'

2. Lattice based efficient threshold public key encryption scheme

Author

Singh, K., Pandu Rangan, C., and Banerjee, A.K.

Abstract

Recent A (t,u)- threshold public key encryption (TPKE) is a public key encryption where a private key is splitted among u decryption servers (insiders) and at least t decryption servers (insiders) are required to decrypt the ciphertext but no group of t-1 or less malicious insiders can decrypt the message. Bendlin and Damgard [1] presented first lattice based threshold public key encryption scheme based on Regev's LWE based encryption system [2]. We propose efficient lattice based threshold public key encryption scheme based on [3]. We have reduced size of the public key from (n2+1)log n �, Zq, to (n2+1)�, with the same ciphertext size where, is the number of bits required to represent an element of Zq. Resplittable threshold public key encryption (RTPKE) was introduced by Hanaoka et al [4] in a generic construction of CCA secure uni-directional proxy re-encryption scheme. RTPKE is a threshold public key encryption with an additional randomized algorithm Tsplit. Based on our efficient threshold scheme, we have constructed efficient resplittable threshold public key encryption scheme.

Published
2013

3. Optimizing double-base elliptic-curve single-scalar multiplication

Author

Bernstein, D.J., Birkner, P., Lange, T., Peters, C.P., Srinathan, K., Pandu Rangan, C., Yung, M., Discrete Mathematics, and Coding Theory and Cryptology

Subjects
Algebra, Hessian matrix, symbols.namesake, Elliptic curve, Precomputation, Edwards curve, Jacobian matrix and determinant, Coordinate system, symbols, Applied mathematics, Multiplication, Scalar multiplication, Mathematics
Abstract

This paper analyzes the best speeds that can be obtained for single-scalar multiplication with variable base point by combining a huge range of options: - many choices of coordinate systems and formulas for individual group operations, including new formulas for tripling on Edwards curves; - double-base chains with many different doubling/tripling ratios, including standard base-2 chains as an extreme case; - many precomputation strategies, going beyond Dimitrov, Imbert, Mishra (Asiacrypt 2005) and Doche and Imbert (Indocrypt 2006). The analysis takes account of speedups such as S - M tradeoffs and includes recent advances such as inverted Edwards coordinates. The main conclusions are as follows. Optimized precomputations and triplings save time for single-scalar multiplication in Jacobian coordinates, Hessian curves, and tripling-oriented Doche/Icart/Kohel curves. However, even faster single-scalar multiplication is possible in Jacobi intersections, Edwards curves, extended Jacobi-quartic coordinates, and inverted Edwards coordinates, thanks to extremely fast doublings and additions; there is no evidence that double-base chains are worthwhile for the fastest curves. Inverted Edwards coordinates are the speed leader.

Published
2007

4. Optimal perfectly secure message transmission

Author

Srinathan, K., Narayanan, A., Pandu Rangan, C.

Subjects
Mobile security, High probability, Lower bounds, Message transmissions, Optimal protocols, Perfectly secure message transmissions, Secure protocols, Single phase, Wire
Abstract

In the perfectly secure message transmission (PSMT) problem, two synchronized non-faulty players (or processors), the Sender S and the Receiver R are connected by n wires (each of which facilitates 2-way communication); S has an -bit message that he wishes to send to R; after exchanging messages in phases1 R should correctly obtain S's message, while an adversary listening on and actively controlling any set of t (or less) wires should have no information about S's message. We measure the quality of a protocol for securely transmitting an -bit message using the following parameters: the number of wires n, the number of phases r and the total number of bits transmitted b. The optima for n and r are respectively 2t +1 and 2. We prove that any 2-phase reliable message transmission protocol, and hence any secure protocol, over n wires out of which at most t are faulty is required to transmit at least b = (nl/n-2t) bits. While no known protocol is simultaneously optimal in both communication and phase complexity, we present one such optimum protocol for the case n = 2l+1 when the size of message is large enough, viz., l = �(tlogt) bits; that is, our optimal protocol has n = 2t+l, r = 2 and b = O(nl) bits. Note that privacy is for free, if the message is large enough. We also demonstrate how randomness can effectively improve the phase complexity. Specifically, while the (worst-case) lower bound on r is 2, we design an efficient optimally tolerant protocol for PSMT that terminates in a single phase with arbitrarily high probability. Finally, we consider the case when the adversary is mobile, that is, he could corrupt a different set of t wires in different phases. Again, the optima for n and r are respectively 2t+1 and 2; However we show that b � ( nl/n-2t) bits irrespective of r. We present the first protocol that is (asymptotically) optimum in b for n = 2t +1. Our protocol has a phase complexity of O(t). ? International Association for Cryptologic Research 2004.

Published
2004

5. On byzantine agreement over (2, 3)-uniform Hypergraphs

Author

Ravikant, D.V.S., Muthuramakrishnan, V., Srikanth, V., Srinathan, K., Pandu Rangan, C.

Abstract

In a Byzantine agreement protocol, a synchronous network of n interconnected processes of which t may be faulty, starts with an initial binary value associated with each process; after exchanging messages, all correct processes must agree on one of the initial values of the non-faulty processes. If the network consists of only unicast channels (i.e. a 2-uniform hypergraph), then Byzantine agreement is possible if and only if n� 3t + 1 (Pease et. al. [11]). However, Fitzi and Maurer ([7]) show that if, in addition to all unicast channels, there exists local broadcast among every three processes in the network (i.e. a complete (2,3)-uniform hypergraph), n� 2t + 1 is necessary and sufficient for Byzantine agreement. In this paper, we show that optimum tolerance of n� 2t + l can be achieved even if a substantial fraction of the local broadcast channels are not available. Specifically, we model the network as a (2,3)-uniform hypergraph H = (P, E), where P denotes the set of n processes and E is a set of 2-tuples and/or 3-tuples of processes (edges or 3-hyperedges), wherein each 3-hyperedge represents a local broadcast among the three processes; we obtain a characterization of the hypergraphs on which Byzantine agreement is possible. Using this characterization, we show that for n = 2t + 1, (2/3t3 +?(t2)) 3-hyperedges are necessary and sufficient to enable Byzantine agreement. This settles an open problem raised by Fitzi and Maurer in [7]. An efficient protocol is also given whenever Byzantine agreement is possible. ? Springer-Verlag 2004.

Published
2004

6. Trading players for efficiency in unconditional multiparty computation

Author

Prabhu, B., Srinathan, K., Pandu Rangan, C.

Abstract

In this paper, we propose a new player elimination technique and use it to design an efficient protocol for unconditionally secure multiparty computation tolerating generalized adversaries. Our protocol requires broadcast of O(nL2log(|F|) bits (broadcast is simulated using Byzantine agreement) while the non-cryptographic linear secret sharing based protocols, without player elimination, invoke Byzantine agreement sub-protocol for O(mL3log(|F|) bits, where m is the number of multiplication gates in the arithmetic circuit, over the finite field F, that describes the functionality of the protocol and L is the size of the underlying linear secret sharing scheme tolerating the given adversary structure. ? Springer-Verlag Berlin Heidelberg 2003.

Published
2003

7. On the Complexity of Partial Order Properties

Author

Felsner, S., Kant, R., Pandu Rangan, C., and Wagner, D.

Abstract

The recognition complexity of ordered set properties is considered in terms of how many questions must be put to an adversary to decide if an unknown partial order has the prescribed property. We prove a lower bound of order n2 for properties that are characterized by forbidden substructures of fixed size. For the properties being connected, and having exactly k comparable pairs, k � n2/4 we show that the recognition complexity is (n 2). The complexity of interval orders is exactly (n 2) - 1. We further establish bounds for being a lattice, being of height k and having width k.

Published
2000

8. The Duchet conjecture

Author

Prakash Veeraraghavan, Parthasarathy, K. R., and Pandu Rangan, C.

Abstract

In this paper, we investigate a conjecture of Duchet that r(G)�?(G)+1, where r(G) is the Radon number and ?(G) is the Hadwiger number of a graph G. In this paper, we give a class of counter examples for which rg(G)=?(G)+2, where rg(G) is the Radon number for the g-convexity structure. On the positive side, we prove the conjecture for some special classes of graphs like cycles and chordal graphs.

Published
1998

9. On the g-centroidal problem in special classes of perfect graphs

Author

Pandu Rangan, C., Parthasarathy, K. R., and Prakash Veeraraghavan

Abstract

In this paper we prove some basic properties of the g-centroid of a graph defined through g-convexity. We also prove that finding the g-centroid of a graph is NP-hard by reducing the problem of finding the maximum clique size of G to the g-centroidal problem. We give an O(n2) algorithm for finding the g-centroid for maximal outer planar graphs, an O(m + nlogn) time algorithm for split graphs and an O(m2) algorithm for ptolemaic graphs. For split graphs and ptolemaic graphs we show that the g-centroid is in fact a complete subgraph.

Published
1998

14. Enhancing Argument Generation Using Bayesian Networks

Author

Cao, Yuan, Fuchs, Rafael, Keshmirian, Anita, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

15. Argumentation-Based Probabilistic Causal Reasoning

Author

Bengel, Lars, Blümel, Lydia, Rienstra, Tjitze, Thimm, Matthias, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

16. PolArg: Unsupervised Polarity Prediction of Arguments in Real-Time Online Conversations

Author

Lenz, Mirko, Bergmann, Ralph, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

17. Enhancing Abstract Argumentation Solvers with Machine Learning-Guided Heuristics: A Feasibility Study

Author

Hoffmann, Sandra, Kuhlmann, Isabelle, Thimm, Matthias, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

18. ArgServices: A Microservice-Based Architecture for Argumentation Machines

Author

Lenz, Mirko, Dumani, Lorik, Schenkel, Ralf, Bergmann, Ralph, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

19. Deciphering Personal Argument Styles – A Comprehensive Approach to Analyzing Linguistic Properties of Argument Preferences

Author

Zymla, Mark-Matthias, Buchmüller, Raphael, Butt, Miriam, Keim, Daniel, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

20. Extending the Comparative Argumentative Machine: Multilingualism and Stance Detection

Author

Nikishina, Irina, Bondarenko, Alexander, Zaczek, Sebastian, Haag, Onno Lander, Hagen, Matthias, Biemann, Chris, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

21. Objective Argument Summarization in Search

Author

Ziegenbein, Timon, Syed, Shahbaz, Potthast, Martin, Wachsmuth, Henning, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

22. BEA: Building Engaging Argumentation

Author

Aicher, Annalena, Weber, Klaus, André, Elisabeth, Minker, Wolfgang, Ultes, Stefan, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

23. 'Do Not Disturb My Circles!' Identifying the Type of Counterfactual at Hand (Short Paper)

Author

Willig, Moritz, Zečević, Matej, Kersting, Kristian, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

24. From Networks to Narratives: Bayes Nets and the Problems of Argumentation

Author

Keshmirian, Anita, Fuchs, Rafael, Cao, Yuan, Hartmann, Stephan, Hahn, Ulrike, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

25. Ranking Transition-Based Medical Recommendations Using Assumption-Based Argumentation

Author

Skiba, Kenneth, Thimm, Matthias, Wallner, Johannes P., Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

26. Finding Argument Fragments on Social Media with Corpus Queries and LLMs

Author

Dykes, Nathan, Evert, Stephanie, Heinrich, Philipp, Humml, Merlin, Schröder, Lutz, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

27. Weakly Supervised Claim Localization in Scientific Abstracts

Author

Brinner, Marc, Zarrieß, Sina, Heger, Tina, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

28. PAKT: Perspectivized Argumentation Knowledge Graph and Tool for Deliberation Analysis

Author

Plenz, Moritz, Heinisch, Philipp, Frank, Anette, Cimiano, Philipp, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

29. Are Large Language Models Reliable Argument Quality Annotators?

Author

Mirzakhmedova, Nailia, Gohsen, Marcel, Chang, Chia Hao, Stein, Benno, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

30. Cluster-Specific Rule Mining for Argumentation-Based Classification

Author

Klein, Jonas, Kuhlmann, Isabelle, Thimm, Matthias, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

31. The Impact of Argument Arrangement on Essay Scoring

Author

Knaebel, René, Schaefer, Robin, Stede, Manfred, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

32. Automatic Analysis of Political Debates and Manifestos: Successes and Challenges

Author

Ceron, Tanise, Barić, Ana, Blessing, André, Haunss, Sebastian, Kuhn, Jonas, Lapesa, Gabriella, Padó, Sebastian, Papay, Sean, Zauchner, Patricia F., Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

33. Natural Language Hypotheses in Scientific Papers and How to Tame Them : Suggested Steps for Formalizing Complex Scientific Claims

Author

Heger, Tina, Algergawy, Alsayed, Brinner, Marc, Jeschke, Jonathan M., König-Ries, Birgitta, Mietchen, Daniel, Zarrieß, Sina, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

34. Argument Mining of Attack and Support Patterns in Dialogical Conversations with Sequential Pattern Mining

Author

Ruckdeschel, Mattes, Baumann, Ringo, Wiedemann, Gregor, Hartmanis, Juris, Founding Editor, van Leeuwen, Jan, Series Editor, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Series Editor, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Series Editor, Pandu Rangan, C., Editorial Board Member, Sudan, Madhu, Series Editor, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Vardi, Moshe Y, Series Editor, Goos, Gerhard, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Cimiano, Philipp, editor, Frank, Anette, editor, Kohlhase, Michael, editor, and Stein, Benno, editor

Published
2024
Full Text
View/download PDF

35. A Cache-Based Data Movement Infrastructure for On-demand Scientific Cloud Computing

Author

Abramson, David, Carroll, Jake, Jin, Chao, Mallon, Michael, van Iperen, Zane, Nguyen, Hoang, McRae, Allan, Ming, Liang, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Abramson, David, editor, and de Supinski, Bronis R., editor

Published
2019
Full Text
View/download PDF

36. Performance Evaluation and Analysis of Linear Algebra Kernels in the Prototype Tianhe-3 Cluster

Author

You, Xin, Yang, Hailong, Luan, Zhongzhi, Liu, Yi, Qian, Depei, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Abramson, David, editor, and de Supinski, Bronis R., editor

Published
2019
Full Text
View/download PDF

37. MH-QEMU: Memory-State-Aware Fault Injection Platform

Author

Jitsumoto, Hideyuki, Kobayashi, Yuya, Nomura, Akihiro, Matsuoka, Satoshi, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Abramson, David, editor, and de Supinski, Bronis R., editor

Published
2019
Full Text
View/download PDF

38. PHINEAS: An Embedded Heterogeneous Parallel Platform

Author

Khatri, Nikhil, Bodanapu, Nithin, Sudarshan, T. S. B., Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Abramson, David, editor, and de Supinski, Bronis R., editor

Published
2019
Full Text
View/download PDF

39. A Crystal/Clear Pipeline for Applied Image Processing

Author

Watkins, Christopher J., Rosa, Nicholas, Carroll, Thomas, Ratcliffe, David, Ristic, Marko, Russell, Christopher, Li, Rongxin, Fazio, Vincent, Newman, Janet, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Abramson, David, editor, and de Supinski, Bronis R., editor

Published
2019
Full Text
View/download PDF

40. Practical Resource Usage Prediction Method for Large Memory Jobs in HPC Clusters

Author

Li, Xiuqiao, Qi, Nan, He, Yuanyuan, McMillan, Bill, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Abramson, David, editor, and de Supinski, Bronis R., editor

Published
2019
Full Text
View/download PDF

41. JayHorn: A Java Model Checker : (Competition Contribution)

Author

Kahsai, Temesghen, Rümmer, Philipp, Schäf, Martin, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

42. Java Pathfinder at SV-COMP 2019 (Competition Contribution)

Author

Artho, Cyrille, Visser, Willem, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

43. Automatic Verification of C and Java Programs: SV-COMP 2019

Author

Beyer, Dirk, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

44. PeSCo: Predicting Sequential Combinations of Verifiers : (Competition Contribution)

Author

Richter, Cedric, Wehrheim, Heike, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

45. Symbolic Pathfinder for SV-COMP : (Competition Contribution)

Author

Noller, Yannic, Păsăreanu, Corina S., Fromherz, Aymeric, Le, Xuan-Bach D., Visser, Willem, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

46. VIAP 1.1 : (Competition Contribution)

Author

Rajkhowa, Pritom, Lin, Fangzhen, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

47. Pinaka: Symbolic Execution Meets Incremental Solving : (Competition Contribution)

Author

Chaudhary, Eti, Joshi, Saurabh, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

48. VeriFuzz: Program Aware Fuzzing : (Competition Contribution)

Author

Basak Chowdhury, Animesh, Medicherla, Raveendra Kumar, R, Venkatesh, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

49. JBMC: Bounded Model Checking for Java Bytecode : (Competition Contribution)

Author

Cordeiro, Lucas, Kroening, Daniel, Schrammel, Peter, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

50. ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference : (Competition Contribution)

Author

Gadelha, Mikhail R., Monteiro, Felipe, Cordeiro, Lucas, Nicole, Denis, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Beyer, Dirk, editor, Huisman, Marieke, editor, and Kordon, Fabrice, editor

Published
2019
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results