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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 51(10), pp. 1409-1427, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 4(6), pp. 502-509, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Ekaterina Stefanov, Anthony M. Sloane |
On the implementation of bytecode compression for interpreted languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 39(2), pp. 111-135, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Luca Ferrari 0002, Haibin Zhu |
Making agent roles perceivable through proxy bytecode manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTS ![In: 2009 International Symposium on Collaborative Technologies and Systems, CTS 2009, Baltimore, Maryland, USA, May 18-22, 2009, pp. 408-416, 2009, IEEE Computer Society, 978-1-4244-4584-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Richard Warburton, Sara Kalvala |
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 17-31, 2009, Springer, 978-3-642-00721-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009, pp. 9-15, 2009, ACM, 978-1-60558-645-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBTA ![In: First International Workshop on Database Technology and Applications, DBTA 2009, Wuhan, Hubei, China, April 25-26, 2009, Proceedings, pp. 526-530, 2009, IEEE Computer Society, 978-0-7695-3604-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Hong Tang, Hua Chen, Gang Zhao, Qiang Liu, Jinjin Zhao |
The Vulnerability Analysis Framework for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 15th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2009, Shenzhen, China, December 8-11, 2009, pp. 896-901, 2009, IEEE Computer Society, 978-1-4244-5788-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Jan Bækgaard Pedersen, Brian Kauke |
Resumable Java Bytecode - Process Mobility for the JVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 159-172, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yaping Chi, Zhaobin Li, Zhonghua Wang, Yong Fang |
An Improved Bytecode Verification Algorithm on Java Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS (1) ![In: 2009 International Conference on Computational Intelligence and Security, CIS 2009, Beijing, China, 11-14 December 2009, Volume 1 - Conference Papers, pp. 552-555, 2009, IEEE Computer Society, 978-0-7695-3931-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi |
A parallel dynamic compiler for CIL bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 43(4), pp. 11-20, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 97-113, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Secur. ![In: Int. J. Netw. Secur. 7(3), pp. 416-427, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 34(4), pp. 170-183, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sudipto Ghosh, John L. Kelly |
Bytecode fault injection for Java software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 81(11), pp. 2034-2043, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Lennart Beringer, Martin Hofmann 0001 |
A Bytecode Logic for JML and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2008, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Francisco Bavera, Eduardo Bonelli |
Type-based information flow analysis for bytecode languages with variable object field policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 347-351, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA, pp. 97-105, 2008, ACM, 978-1-60558-337-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Proceedings of the 2008 International Conference on Embedded Systems & Applications, USA 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 260-264, 2008, CSREA Press, 1-60132-065-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa |
Java Bytecode Dependence Analysis for Secure Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Secur. ![In: Int. J. Netw. Secur. 4(1), pp. 59-68, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Giovanni Lagorio |
Modelling a JVM for polymorphic bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 6(5), pp. 71-100, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yoohoon Kang, Chanjin Park, Chisu Wu |
Reverse-engineering 1-n associations from Java bytecode using alias analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 49(2), pp. 81-98, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Christian S. Collberg, Ginger Myles, Michael Stepp |
An empirical study of Java bytecode programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 37(6), pp. 581-641, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 21st Brazilian Symposium on Software Engineering, SBES 2007, João Pessoa, PE, Brazil, October 15-19, 2007, pp. 325-341, 2007, SBC. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Walter Binder, Jarle Hulaas, Philippe Moret |
Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30 - October 1, 2007, Paris, France, pp. 91-100, 2007, IEEE Computer Society, 0-7695-2880-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Walter Binder, Jarle Hulaas |
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, Vienna, Austria, April 1-2, 2006, pp. 45-64, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Marcus Denker, Stéphane Ducasse, Éric Tanter |
Runtime bytecode transformation for Smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 32(2-3), pp. 125-139, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 |
Using Control Dependencies for Space-Aware Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 49(2), pp. 234-248, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 36(14), pp. 1513-1541, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ye Henry Tian |
String Concatenation Optimization on Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2, pp. 945-951, 2006, CSREA Press, 1-932415-91-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Simon D. Hammond, David Lacey |
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings, pp. 109-123, 2006, Springer, 3-540-33050-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Lennart Beringer, Martin Hofmann 0001 |
A Bytecode Logic for JML and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, pp. 389-405, 2006, Springer, 3-540-48937-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Rean Griffith, Gail E. Kaiser |
A Runtime Adaptation Framework for Native C and Bytecode Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAC ![In: Proceedings of the 3rd International Conference on Autonomic Computing, ICAC 2006, Dublin, Ireland, 13-16 June 2006, pp. 93-104, 2006, IEEE Computer Society, 1-4244-0175-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Kung Chen, Ju-Bing Chen |
On instrumenting obfuscated java bytecode with aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESS@ICSE ![In: Proceedings of the 2006 international workshop on Software engineering for secure systems, SESS 2006, Shanghai, China, May 20-21, 2006, pp. 19-26, 2006, ACM, 1-59593-411-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Walter Binder, Jarle Hulaas |
Using Bytecode Instruction Counting as Portable CPU Consumption Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005, pp. 57-77, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Gal, Christian W. Probst, Michael Franz |
Integrated Java Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 27-38, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Fabio Mascarenhas, Roberto Ierusalimschy |
Running Lua Scripts on the CLR through Bytecode Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 11(7), pp. 1275-1290, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Antonella Santone, Gigliola Vaglini |
A local approach for temporal model checking of Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 70(2), pp. 258-281, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Mario Latendresse, Marc Feeley |
Generation of fast interpreters for Huffman compressed bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 57(3), pp. 295-317, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi |
Exploiting runtime bytecode manipulation to add roles to Java agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 54(1), pp. 73-98, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Giacomo Cabri, Luca Ferrari 0002, Letizia Leonardi |
Injecting roles in Java agents through runtime bytecode manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM Syst. J. ![In: IBM Syst. J. 44(1), pp. 185-210, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Marcus Denker, Stéphane Ducasse, Éric Tanter |
Runtime Bytecode Transformation for Smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESUG ![In: 2005 International Smalltalk Conference, ESUG 2005, Brussels, Belgium, August 16-19, 2005, pp. 75-98, 2005, University of Bern, Switzerland. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China, pp. 551-554, 2005, IEEE Computer Society, 0-7695-2346-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza |
jMoped: A Java Bytecode Checker Based on Moped. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 541-545, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Philip W. L. Fong |
Link-Time Enforcement of Confined Types for JVM Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Third Annual Conference on Privacy, Security and Trust, October 12-14, 2005, The Fairmont Algonquin, St. Andrews, New Brunswick, Canada, Proceedings, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Gerwin Klein, Martin Strecker |
Verified bytecode verification and type-certifying compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 58(1-2), pp. 27-60, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Karsten Klohs, Uwe Kastens |
Memory Requirements of Java Bytecode Verification on Limited Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 95-111, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Coglio |
Simple verification technique for complex Java bytecode subroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 16(7), pp. 647-670, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jien-Tsai Chan, Wuu Yang |
Advanced obfuscation techniques for Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 71(1-2), pp. 1-10, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Cinzia Bernardeschi, Luca Martini, Paolo Masci 0001 |
Java bytecode verification with dynamic structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASTED Conf. on Software Engineering and Applications ![In: Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA, pp. 559-564, 2004, IASTED/ACTA Press, 0-88986-425-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa |
Java mobile code security by bytecode behavior analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASTED Conf. on Software Engineering and Applications ![In: Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA, pp. 90-95, 2004, IASTED/ACTA Press, 0-88986-425-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Mikhail Dmitriev 0001 |
Selective profiling of Java applications using dynamic bytecode instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: 2004 IEEE International Symposium on Performance Analysis of Systems and Software, March 10-12, 2004, Austin, Texas, USA, Proceedings, pp. 141-150, 2004, IEEE Computer Society, 0-7803-8385-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Brian Alliet, Adam Megacz |
Complete translation of unsafe native code to safe bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVME ![In: Proceedings of the 2004 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2004, Washington, D.C., USA, June 7, 2004, pp. 32-41, 2004, ACM, 978-1-58113-909-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Iain McLeod, James Huw Evans, Philip D. Gray, Rebecca Mancy |
Instrumenting Bytecode for the Production of Usage Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADUI ![In: Computer-Aided Design of User Interfaces IV, Proceedings of Fourth International Conference on Computer-Aided Design of User Interfaces, January 14-16, 2004, Funchal, Portugal, pp. 183-194, 2004, Kluwer, 1-4020-3145-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Claire Louise Quigley |
A programming logic for Java bytecode programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
17 | Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco |
Java bytecode verification for secure information flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 38(12), pp. 20-27, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Keith Seymour, Jack J. Dongarra |
Automatic translation of Fortran to JVM bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 15(3-5), pp. 207-222, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Coglio |
Improving the official specification of Java bytecode verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 15(2), pp. 155-179, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Eric Gamess |
Execution of Sequential and Parallel Java Bytecode in a Metacomputing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 13(1), pp. 53-64, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Gerwin Klein, Tobias Nipkow |
Verified bytecode verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 298(3), pp. 583-626, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Nipkow |
Java Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 30(3-4), pp. 233, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Etienne Gagnon, Laurie J. Hendren |
Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 170-184, 2003, Springer, 3-540-00904-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Mario Latendresse, Marc Feeley |
Generation of fast interpreters for Huffman compressed bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVME ![In: Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2003, San Diego, California, USA, June 12, 2003, pp. 32-40, 2003, ACM, 978-1-58113-655-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ludovic Henrio, Bernard P. Serpette |
A Parametrized Polyvariant Bytecode Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFLA ![In: Journées francophones des langages applicatifs (JFLA'03), Chamrousse, France, Janvier 2003, pp. 95-110, 2003, INRIA. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Gerwin Klein |
Verified Java Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2003, pp. 91-100, 2003, GI, 3-88579-408-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Do-Woo Kim, Min-Soo Jung |
An Efficient Optimization Algorithm of Java Bytecode to Reduce Network Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II, pp. 542-551, 2003, Springer, 3-540-40161-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Fumiaki Umemori, Kenji Konda, Reishi Yokomori, Katsuro Inoue |
Design and Implementation of Bytecode-based Java Slicing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands, pp. 108-117, 2003, IEEE Computer Society, 0-7695-2005-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Gerwin Klein |
Verified Java bytecode verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
17 | Parker Abercrombie, Murat Karaorman |
jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 55-79, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan J. Cook |
Reverse Execution of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 45(6), pp. 608-619, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Xavier Leroy |
Bytecode verification on Java smart cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 32(4), pp. 319-340, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Diarmuid P. O'Donoghue, Aine Leddy, James F. Power, John Waldron |
Bigram analysis of Java bytecode sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ/IRE ![In: Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002, pp. 187-192, 2002, ACM, 0-901519-87-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java |
17 | Adolfo Duran, Ana Cavalcanti 0001, Augusto Sampaio |
Refinement Algebra for Formal Bytecode Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 347-358, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa |
Supporting objects in run-time bytecode specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIA-PEPM ![In: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 50-60, 2002, ACM, 1-58113-458-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
program transformation, partial evaluation, specialization, object-oriented paradigm |
17 | Antonella Santone, Gigliola Vaglini |
Local model checking of Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 383-389, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 2, pp. 1017-1021, 2002, CSREA Press, 1-892512-88-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Gerwin Klein, Tobias Nipkow |
Verified lightweight bytecode verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 13(13), pp. 1133-1151, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 27(10), pp. 1279-1297, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Jackson 0001, Allison Waingold |
Lightweight Extraction of Object Models from Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(2), pp. 156-169, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Virtual Machine Research and Technology Symposium ![In: Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, CA, USA, pp. 27-40, 2001, USENIX, 1-880446-11-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Fridtjof Siebert, Andy Walter |
Deterministic Execution of Java's Primitive Bytecode Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Virtual Machine Research and Technology Symposium ![In: Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, CA, USA, pp. 141-152, 2001, USENIX, 1-880446-11-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Nouredine Melab, Laurent Deruelle, Mourad Bouneffa |
A Platform for Instrumentation-based Profiling of Distributed Bytecode Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCS ![In: Proceedings of the ISCA 14th International Conference on Parallel and Distributed Computing Systems, August 8-10, 2001, Richardson, Texas, USA, pp. 466-471, 2001, ISCA, 1-880843-39-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Y. Lee, J. Kim, K. Hong, Se Man Oh |
Design and Implementation of a Java Bytecode Optimizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSA ![In: Proceedings of the Fifth IASTED International Conference Internet and Multimedia Systems and Applications (IMSA 2001), August 13-16, 2001, Honolulu, Hawaii, USA, pp. 62-66, 2001, IASTED/ACTA Press, 0-88986-299-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Paolo Maggi, Riccardo Sisto |
Using Data Flow Analysis to Infer Type Information in Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 10 November 2001, Florence, Italy, pp. 213-, 2001, IEEE Computer Society, 0-7695-1387-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 23(17), pp. 1594-1605, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Peter Bertelsen |
Dynamic semantics of Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 16(7), pp. 841-850, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Addendum ![In: Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2000, Minneapolis, MN, USA, October 15-19, 2000, pp. 113-114, 2000, ACM, 1-58113-307-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Stephane Doyon, Mourad Debbabi |
Verifying Object Initialization in the Java Bytecode Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC (2) ![In: Applied Computing 2000, Proceedings of the 2000 ACM Symposium on Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March 19-21, 2000. Volume 2, pp. 821-830, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Walter Dosch, Sönke Magnussen |
Transformational derivation of a bytecode verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATA ![In: Proceedings of the ISCA 15th International Conference Computers and Their Applications, March 29-31, 2000, New Orleans, Louisiana, USA, pp. 443-447, 2000, ISCA, 1-880843-32-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Le Xuan Thang |
Berlioz: Compiling Oz to Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings, pp. 211-221, 2000. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings., pp. 994-997, 2000, Springer, 3-540-67956-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings., pp. 1039-1052, 2000, Springer, 3-540-67956-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Etienne Gagnon, Laurie J. Hendren, Guillaume Marceau |
Efficient Inference of Static Types for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings, pp. 199-219, 2000, Springer, 3-540-67668-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Takahiro Sakamoto, Tatsurou Sekiguchi, Akinori Yonezawa |
Bytecode Transformation for Portable Thread Migration in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASA/MA ![In: Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zürich, Switzerland, September 13-15, 2000, Proceedings, pp. 16-28, 2000, Springer, 3-540-41052-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000, June 24-29, 2000, Las Vegas, Nevada, USA, 2000, CSREA Press. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Eduard Lukschandl, Henrik Borgvall, Lars Nohle, Mats G. Nordahl, Peter Nordin |
Distributed Java Bytecode Genetic Programming with Telecom Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, European Conference, Edinburgh, Scotland, UK, April 15-16, 2000, Proceedings, pp. 316-325, 2000, Springer, 3-540-67339-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Gary Meehan, Mike Joy |
Compiling Lazy Functional Programs to Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 29(7), pp. 617-645, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Ludovic Casset, Jean-Louis Lanet |
How to Formally Specify the Java Bytecode Semantivs Using the B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 104-105, 1999, Springer, 3-540-66954-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Gongzhu Hu |
Code motion for loop optimization with java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATA ![In: Computers and Their Applications (CATA-99), Proceedings of the ISCA 14th International Conference, Cancun, Mexico, April 7-9, 1999, pp. 269-272, 1999, ISCA, 1-880843-27-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Don Lance, Roland H. Untch, Nancy J. Wahl |
Bytecode-based Java program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 37th Annual ACM Southeast Regional Conference, April 15-18, 1999, Mobile, AL, USA., 1999, ACM, 1-58113-128-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|