• Suche: "Java Bytecode"

Treffer 1 - 20 von 6.041

1

DALEQ -- Explainable Equivalence for Java Bytecode
Dietrich, Jens ; Hassanshahi, Behnaz

Cryptography and Securit...
Report
Merkliste
2

Dieses Ergebnis kann Gästen nicht angezeigt werden.

3

Verifying Functional Correctness Properties At the Level of Java Bytecode
Paganoni, Marco ; Furia, Carlo A.

Computer Science - Progr... Computer Science - Logic...
Report
Merkliste
4

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration
Bockisch, Christoph ; Taentzer, Gabriele ; Neufeld, Daniel

Computer Science - Softw...
Report
Merkliste
5

Reasoning About Exceptional Behavior At the Level of Java Bytecode
Paganoni, Marco ; Furia, Carlo A.

Computer Science - Progr... Computer Science - Logic...
Report
Merkliste
6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

JBMC: A Bounded Model Checking Tool for Java Bytecode
Brenguier, Romain ; Cordeiro, Lucas ; Kroening, Daniel ; et al.

Computer Science - Softw... Computer Science - Logic... Computer Science - Progr...
Report
Merkliste
8

From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
Ferrara, Pietro ; Cortesi, Agostino ; Spoto, Fausto
In Science of Computer Programming 1 June 2020 191

Fachzeitschrift
Merkliste
9

Verifying Functional Correctness Properties at the Level of Java Bytecode
Formal methods (25th International symposium, FM 2023)
Paganoni, Marco ; Furia, Carlo A.
Lecture notes in computer science. 14000:343-363

Konferenz
Merkliste
10

An Evaluation of Dynamic Java Bytecode Software Watermarking Algorithms
Krishan Kumar ; Viney Kehar ; Prabhpreet Kaur
International Journal of Security and Its Applications, 07/30/2016, Vol. 10, Issue 7, p. 147-156

Fachzeitschrift
Merkliste
11

Coverage-Based Debloating for Java Bytecode
Soto-Valero, César ; Durieux, Thomas ; Harrand, Nicolas ; et al.

Computer Science - Softw...
Report
Merkliste
12

Java Bytecode Normalization for Code Similarity Analysis
Stefan Schott and Serena Elisa Ponta and Wolfram Fischer and Jonas Klauke and Eric Bodden ; Schott, Stefan ; Ponta, Serena Elisa ; et al.

E-Ressource
Merkliste
13

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode
Geraldo, Eduardo ; Seco, João Costa
EPTCS 302, 2019, pp. 16-31

Computer Science - Softw... Computer Science - Progr...
Report
Merkliste
14

The Strengths and Behavioral Quirks of Java Bytecode Decompilers
Harrand, Nicolas ; Soto-Valero, César ; Monperrus, Martin ; et al.
Proceedings of the 19th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2019)

Computer Science - Softw...
Report
Merkliste
15

Java Bytecode Normalization for Code Similarity Analysis (Artifact)
Stefan Schott and Serena Elisa Ponta and Wolfram Fischer and Jonas Klauke and Eric Bodden ; Schott, Stefan ; Ponta, Serena Elisa ; et al.

E-Ressource
Merkliste
16

Performance Gain of a Data Flow Oriented ISA as Replacement for Java Bytecode
Architecture of computing systems (International conference)
Schwarz, Alexander ; Hochberger, Christian
Lecture notes in computer science. 12800:103-117

Konferenz
Merkliste
17

Deadlock detection of Java Bytecode
Garcia, Abel ; Laneve, Cosimo

Computer Science - Progr...
Report
Merkliste
18

J-Viz: Sibling-First Recursive Graph Drawing for Visualizing Java Bytecode
Alam, Md. Jawaherul ; Goodrich, Michael T. ; Johnson, Timothy

Computer Science - Data...
Report
Merkliste
19

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR
Tomaž DOBRAVEC
Acta Electrotechnica et Informatica, Vol 18, Iss 4, Pp 17-25 (2019)

Algorithm evaluation Java bytecode counting Electrical engineering.... TK1-9971
Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter