Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Decompilation of Java bytecode to Prolog by partial evaluation. |
Inf. Softw. Technol. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Tongyang Wang, Pengfei Yu, Jun-jun Wu, Xin-long Ma |
Research on On-card Bytecode Verifier for Java Cards. |
J. Comput. |
2009 |
DBLP BibTeX RDF |
|
17 | Ekaterina Stefanov, Anthony M. Sloane |
On the implementation of bytecode compression for interpreted languages. |
Softw. Pract. Exp. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Luca Ferrari 0002, Haibin Zhu |
Making agent roles perceivable through proxy bytecode manipulation. |
CTS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Richard Warburton, Sara Kalvala |
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Brian W. DeVries, Gopal Gupta 0001, Kevin W. Hamlen, Scott Moore, Meera Sridhar |
ActionScript bytecode verification with co-logic programming. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
ActionScript, coinductive logic programming, in-lined reference monitoring, model checking, verification |
17 | Yue Chen, Fei Yuan, Husheng Liao |
Bytecode Generation for XQuery Compiler. |
DBTA |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Hong Tang, Hua Chen, Gang Zhao, Qiang Liu, Jinjin Zhao |
The Vulnerability Analysis Framework for Java Bytecode. |
ICPADS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Jan Bækgaard Pedersen, Brian Kauke |
Resumable Java Bytecode - Process Mobility for the JVM. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yaping Chi, Zhaobin Li, Zhonghua Wang, Yong Fang |
An Improved Bytecode Verification Algorithm on Java Card. |
CIS (1) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi |
A parallel dynamic compiler for CIL bytecode. |
ACM SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
virtual execution system, parallel virtual machine, dynamic compilation |
17 | Jonathan M. Lambert, James F. Power |
Platform Independent Timing of Java Virtual Machine Bytecode Instructions. |
QAPL |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Dan Lu, Yoshitake Kobayashi, Ken Nakayama, Mamoru Maekawa |
Java Mobile Code Dynamic Verification by Bytecode Modification for Host Confidentiality. |
Int. J. Netw. Secur. |
2008 |
DBLP BibTeX RDF |
|
17 | Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon |
Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems. |
Comput. Lang. Syst. Struct. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sudipto Ghosh, John L. Kelly |
Bytecode fault injection for Java software. |
J. Syst. Softw. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Lennart Beringer, Martin Hofmann 0001 |
A Bytecode Logic for JML and Types. |
Arch. Formal Proofs |
2008 |
DBLP BibTeX RDF |
|
17 | Francisco Bavera, Eduardo Bonelli |
Type-based information flow analysis for bytecode languages with variable object field policies. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | James J. Hunt, Isabel Tonin, Fridtjof Siebert |
Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs. |
JTRES |
2008 |
DBLP DOI BibTeX RDF |
realtime Java, verification, data flow analysis, worst case execution time, formal analysis |
17 | Thomas Preußer, Rainer G. Spallek |
Java-Programmed Bootloading in Spite of Load-Time Code Patching on a Minimal Embedded Bytecode Processor. |
ESA |
2008 |
DBLP BibTeX RDF |
|
17 | Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa |
Java Bytecode Dependence Analysis for Secure Information Flow. |
Int. J. Netw. Secur. |
2007 |
DBLP BibTeX RDF |
|
17 | Giovanni Lagorio |
Modelling a JVM for polymorphic bytecode. |
J. Object Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yoohoon Kang, Chanjin Park, Chisu Wu |
Reverse-engineering 1-n associations from Java bytecode using alias analysis. |
Inf. Softw. Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Christian S. Collberg, Ginger Myles, Michael Stepp |
An empirical study of Java bytecode programs. |
Softw. Pract. Exp. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Márcio E. Delamaro, Paulo Augusto Nardi, Otávio Lemos, Paulo César Masiero, Edmundo Sérgio Spoto, José Carlos Maldonado, Auri M. R. Vincenzi |
Static Analysis of Java Bytecode for Domain-specific Software Testing. |
SBES |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Walter Binder, Jarle Hulaas, Philippe Moret |
Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation. |
SCAM |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Walter Binder, Jarle Hulaas |
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting. |
QAPL |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Marcus Denker, Stéphane Ducasse, Éric Tanter |
Runtime bytecode transformation for Smalltalk. |
Comput. Lang. Syst. Struct. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 |
Using Control Dependencies for Space-Aware Bytecode Verification. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro, José Carlos Maldonado, W. Eric Wong |
Establishing structural testing criteria for Java bytecode. |
Softw. Pract. Exp. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ye Henry Tian |
String Concatenation Optimization on Java Bytecode. |
Software Engineering Research and Practice |
2006 |
DBLP BibTeX RDF |
|
17 | Simon D. Hammond, David Lacey |
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Lennart Beringer, Martin Hofmann 0001 |
A Bytecode Logic for JML and Types. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Rean Griffith, Gail E. Kaiser |
A Runtime Adaptation Framework for Native C and Bytecode Applications. |
ICAC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Kung Chen, Ju-Bing Chen |
On instrumenting obfuscated java bytecode with aspects. |
SESS@ICSE |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Walter Binder, Jarle Hulaas |
Using Bytecode Instruction Counting as Portable CPU Consumption Metric. |
QAPL |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Gal, Christian W. Probst, Michael Franz |
Integrated Java Bytecode Verification. |
AIOOL@VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Fabio Mascarenhas, Roberto Ierusalimschy |
Running Lua Scripts on the CLR through Bytecode Translation. |
J. Univers. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Antonella Santone, Gigliola Vaglini |
A local approach for temporal model checking of Java bytecode. |
J. Comput. Syst. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Mario Latendresse, Marc Feeley |
Generation of fast interpreters for Huffman compressed bytecode. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi |
Exploiting runtime bytecode manipulation to add roles to Java agents. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi |
Injecting roles in Java agents through runtime bytecode manipulation. |
IBM Syst. J. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Marcus Denker, Stéphane Ducasse, Éric Tanter |
Runtime Bytecode Transformation for Smalltalk. |
ESUG |
2005 |
DBLP BibTeX RDF |
|
17 | Min-Sik Jin, Min-Soo Jung |
A Study on How to Reduce Time and Space by Redefining New Bytecode for Java Card. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza |
jMoped: A Java Bytecode Checker Based on Moped. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Philip W. L. Fong |
Link-Time Enforcement of Confined Types for JVM Bytecode. |
PST |
2005 |
DBLP BibTeX RDF |
|
17 | Gerwin Klein, Martin Strecker |
Verified bytecode verification and type-certifying compilation. |
J. Log. Algebraic Methods Program. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Karsten Klohs, Uwe Kastens |
Memory Requirements of Java Bytecode Verification on Limited Devices. |
COCV@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Coglio |
Simple verification technique for complex Java bytecode subroutines. |
Concurr. Pract. Exp. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jien-Tsai Chan, Wuu Yang |
Advanced obfuscation techniques for Java bytecode. |
J. Syst. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Cinzia Bernardeschi, Luca Martini, Paolo Masci 0001 |
Java bytecode verification with dynamic structures. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
17 | Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa |
Java mobile code security by bytecode behavior analysis. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
17 | Mikhail Dmitriev 0001 |
Selective profiling of Java applications using dynamic bytecode instrumentation. |
ISPASS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Brian Alliet, Adam Megacz |
Complete translation of unsafe native code to safe bytecode. |
IVME |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Iain McLeod, James Huw Evans, Philip D. Gray, Rebecca Mancy |
Instrumenting Bytecode for the Production of Usage Data. |
CADUI |
2004 |
DBLP BibTeX RDF |
|
17 | Claire Louise Quigley |
A programming logic for Java bytecode programs. |
|
2004 |
RDF |
|
17 | Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco |
Java bytecode verification for secure information flow. |
ACM SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Keith Seymour, Jack J. Dongarra |
Automatic translation of Fortran to JVM bytecode. |
Concurr. Comput. Pract. Exp. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Coglio |
Improving the official specification of Java bytecode verification. |
Concurr. Comput. Pract. Exp. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Eric Gamess |
Execution of Sequential and Parallel Java Bytecode in a Metacomputing System. |
Parallel Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Gerwin Klein, Tobias Nipkow |
Verified bytecode verifiers. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Nipkow |
Java Bytecode Verification. |
J. Autom. Reason. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Etienne Gagnon, Laurie J. Hendren |
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences. |
CC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Mario Latendresse, Marc Feeley |
Generation of fast interpreters for Huffman compressed bytecode. |
IVME |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ludovic Henrio, Bernard P. Serpette |
A Parametrized Polyvariant Bytecode Verifier. |
JFLA |
2003 |
DBLP BibTeX RDF |
|
17 | Gerwin Klein |
Verified Java Bytecode Verification. |
Ausgezeichnete Informatikdissertationen |
2003 |
DBLP BibTeX RDF |
|
17 | Do-Woo Kim, Min-Soo Jung |
An Efficient Optimization Algorithm of Java Bytecode to Reduce Network Traffic. |
ICCSA (2) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Katsuro Inoue |
Design and Implementation of Bytecode-based Java Slicing System. |
SCAM |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Gerwin Klein |
Verified Java bytecode verification. |
|
2003 |
RDF |
|
17 | Parker Abercrombie, Murat Karaorman |
jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java. |
RV@FLoC |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan J. Cook |
Reverse Execution of Java Bytecode. |
Comput. J. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Xavier Leroy |
Bytecode verification on Java smart cards. |
Softw. Pract. Exp. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Diarmuid P. O'Donoghue, Aine Leddy, James F. Power, John Waldron |
Bigram analysis of Java bytecode sequences. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java |
17 | Adolfo Duran, Ana Cavalcanti 0001, Augusto Sampaio |
Refinement Algebra for Formal Bytecode Generation. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa |
Supporting objects in run-time bytecode specialization. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
program transformation, partial evaluation, specialization, object-oriented paradigm |
17 | Antonella Santone, Gigliola Vaglini |
Local model checking of Java bytecode. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, software systems, tableau system |
17 | Ki-Tae Kim, Hoon-Joon Kouh, Weon-Hee Yoo |
Design of Translator for Generating Java Bytecode in Distributed Environment. |
PDPTA |
2002 |
DBLP BibTeX RDF |
|
17 | Gerwin Klein, Tobias Nipkow |
Verified lightweight bytecode verification. |
Concurr. Comput. Pract. Exp. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel Antoniu, Luc Bougé, Philip J. Hatcher, Mark MacBeth, Keith McGuigan, Raymond Namyst |
The Hyperion system: Compiling multithreaded Java bytecode for distributed execution. |
Parallel Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Jackson 0001, Allison Waingold |
Lightweight Extraction of Object Models from Bytecode. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
design conformance, lightweight analysis, reverse engineering, program understanding, type inference, Object model, class diagram |
17 | Etienne M. Gagnon, Laurie J. Hendren |
SableVM: A Research Framework for the Efficient Execution of Java Bytecode. |
Java Virtual Machine Research and Technology Symposium |
2001 |
DBLP BibTeX RDF |
|
17 | Fridtjof Siebert, Andy Walter |
Deterministic Execution of Java's Primitive Bytecode Operations. |
Java Virtual Machine Research and Technology Symposium |
2001 |
DBLP BibTeX RDF |
|
17 | Nouredine Melab, Laurent Deruelle, Mourad Bouneffa |
A Platform for Instrumentation-based Profiling of Distributed Bytecode Applications. |
PDCS |
2001 |
DBLP BibTeX RDF |
|
17 | Y. Lee, J. Kim, K. Hong, Se Man Oh |
Design and Implementation of a Java Bytecode Optimizer. |
IMSA |
2001 |
DBLP BibTeX RDF |
|
17 | Paolo Maggi, Riccardo Sisto |
Using Data Flow Analysis to Infer Type Information in Java Bytecode. |
SCAM |
2001 |
DBLP DOI BibTeX RDF |
Evolution, Source Code Analysis, Call-Graph, Dominance Tree |
17 | Stephane Doyon, Mourad Debbabi |
On object initialization in the Java bytecode. |
Comput. Commun. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Peter Bertelsen |
Dynamic semantics of Java bytecode. |
Future Gener. Comput. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Raja Vallée-Rai, Patrick Lam 0001, Clark Verbrugge, Patrice Pominville, Feng Qian |
Soot (poster session): a Java bytecode optimization and annotation framework. |
OOPSLA Addendum |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Stephane Doyon, Mourad Debbabi |
Verifying Object Initialization in the Java Bytecode Language. |
SAC (2) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Walter Dosch, Sönke Magnussen |
Transformational derivation of a bytecode verifier. |
CATA |
2000 |
DBLP BibTeX RDF |
|
17 | Le Xuan Thang |
Berlioz: Compiling Oz to Java Bytecode. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
17 | Lee-Ren Ton, Lung-Chung Chang, Chung-Ping Chung |
Exploiting Java Bytecode Parallelism by Enhanced POC Folding Model (Research Note). |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel Antoniu, Luc Bougé, Philip J. Hatcher, Mark MacBeth, Keith McGuigan, Raymond Namyst |
Compiling Multithreaded Java Bytecode for Distributed Execution (Distinguished Paper). |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Etienne Gagnon, Laurie J. Hendren, Guillaume Marceau |
Efficient Inference of Static Types for Java Bytecode. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Takahiro Sakamoto, Tatsurou Sekiguchi, Akinori Yonezawa |
Bytecode Transformation for Portable Thread Migration in Java. |
ASA/MA |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Kab-Lae Lee, Ki-Tae Kim, Chang-Mo Yang, Weon-Hee Yoo |
Design of Translator for generating Java Bytecode from Thread code of Multithreaded Models. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
17 | Eduard Lukschandl, Henrik Borgvall, Lars Nohle, Mats G. Nordahl, Peter Nordin |
Distributed Java Bytecode Genetic Programming with Telecom Applications. |
EuroGP |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Gary Meehan, Mike Joy |
Compiling Lazy Functional Programs to Java Bytecode. |
Softw. Pract. Exp. |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Ludovic Casset, Jean-Louis Lanet |
How to Formally Specify the Java Bytecode Semantivs Using the B Method. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
17 | Gongzhu Hu |
Code motion for loop optimization with java bytecode. |
CATA |
1999 |
DBLP BibTeX RDF |
|
17 | Don Lance, Roland H. Untch, Nancy J. Wahl |
Bytecode-based Java program analysis. |
ACM Southeast Regional Conference |
1999 |
DBLP DOI BibTeX RDF |
|