Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Dishant Munjal, Jagannath Singh, Subhrakanta Panda, Durga Prasad Mohapatra |
Automated Slicing of Aspect-Oriented Programs Using Bytecode Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2, pp. 191-199, 2015, IEEE Computer Society, 978-1-4673-6563-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Wenbo Yang, Yuanyuan Zhang 0002, Juanru Li, Junliang Shu, Bodong Li, Wenjun Hu, Dawu Gu |
AppSpear: Bytecode Decrypting and DEX Reassembling for Packed Android Malware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Research in Attacks, Intrusions, and Defenses - 18th International Symposium, RAID 2015, Kyoto, Japan, November 2-4, 2015, Proceedings, pp. 359-381, 2015, Springer, 978-3-319-26361-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Dario Weißer, Johannes Dahse, Thorsten Holz |
Security Analysis of PHP Bytecode Protection Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Research in Attacks, Intrusions, and Defenses - 18th International Symposium, RAID 2015, Kyoto, Japan, November 2-4, 2015, Proceedings, pp. 493-514, 2015, Springer, 978-3-319-26361-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Puffitsch |
Fernando: An Educational Ahead-of-Time Bytecode Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2015, Paris, France, October 7-8, 2015, pp. 14:1-14:9, 2015, ACM, 978-1-4503-3644-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
An Approach for Formal Verification of Updated Java Bytecode Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015., pp. 51-64, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Santiago Vargas-Baldrich, Mario Linares Vásquez, Denys Poshyvanyk |
Automated Tagging of Software Projects Using Bytecode and Dependencies (N). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015, pp. 289-294, 2015, IEEE Computer Society, 978-1-5090-0025-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Maximilian Seitzer, Michael Gruhn, Tilo Müller |
A Bytecode Interpreter for Secure Program Execution in Untrusted Main Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (2) ![In: Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II, pp. 376-395, 2015, Springer, 978-3-319-24176-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Javier Escobar-Avila |
Automatic Categorization of Software Libraries Using Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2, pp. 784-786, 2015, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001 |
Information Flow Control in WebKit's JavaScript Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.4339, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Étienne Payet, Fred Mesnard, Fausto Spoto |
Non-Termination Analysis of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.5292, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Étienne Payet, Frédéric Mesnard |
Non-termination of Dalvik bytecode via compilation to CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1412.3729, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Teja Tamboli, Thomas H. Austin, Mark Stamp 0001 |
Metamorphic code generation from LLVM bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. Hacking Tech. ![In: J. Comput. Virol. Hacking Tech. 10(3), pp. 177-187, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen |
Formalisation and analysis of Dalvik bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 92, pp. 25-55, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Marieke Huisman |
SCP special issue on Bytecode 2012 - Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 92, pp. 1, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Caserta, Olivier Zendra |
JBInsTrace: A tracer of Java and JRE classes at basic-block granularity by dynamically instrumenting bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 79, pp. 116-125, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Iman Keivanloo, Chanchal Kumar Roy, Juergen Rilling |
SeByte: Scalable clone and similarity search for bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 95, pp. 426-444, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Miguel Gómez-Zamalloa, Germán Puebla |
Selected and extended papers from Bytecode 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 95, pp. 343, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Jérôme Vouillon, Vincent Balat |
From bytecode to JavaScript: the Js_of_ocaml compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 44(8), pp. 951-972, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Geffken, Peter Thiemann 0001 |
Side effect monitoring for Java using bytecode rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, pp. 87-98, 2014, ACM, 978-1-4503-2926-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Abhishek Bichhawat, Vineet Rajani, Deepak Garg 0001, Christian Hammer 0001 |
Information Flow Control in WebKit's JavaScript Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 159-178, 2014, Springer, 978-3-642-54791-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Zhifei Chen, Lin Chen 0015, Baowen Xu |
Hybrid Information Flow Analysis for Python Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE WISA ![In: 11th Web Information System and Application Conference, WISA 2014, Tianjin, China, September 12-14, 2014, pp. 95-100, 2014, IEEE Computer Society, 978-1-4799-5726-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Weifeng Xu, Tao Ding, Dianxiang Xu |
Rule-Based Test Input Generation from Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERE ![In: Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014, pp. 108-117, 2014, IEEE, 978-1-4799-4296-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Chisoon Jeong, Su Hang, Bernd Burgstaller |
Improved Branch Prediction for Just-in-Time Decompression of Canonical Huffman Bytecode Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCC ![In: Frontier and Innovation in Future Computing and Communications, Proceedings of the 2014 FTRA International Symposium on Frontier and Innovation in Future Computing and Communications, FCC 2014, Auckland, New Zealand, January 13-16, 2014, pp. 719-729, 2014, Springer, 978-94-017-8797-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Parvez Faruki, Ammar Bharmal, Vijay Laxmi, Manoj Singh Gaur, Mauro Conti, Muttukrishnan Rajarajan |
Evaluation of Android Anti-malware Techniques against Dalvik Bytecode Obfuscation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2014, Beijing, China, September 24-26, 2014, pp. 414-421, 2014, IEEE Computer Society, 978-1-4799-6513-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Rosario Giunta, Giuseppe Pappalardo, Emiliano Tramontana |
A Redundancy-Based Attack Detection Technique for Java Card Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014, pp. 384-389, 2014, IEEE Computer Society, 978-1-4799-4249-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Surachai Thongkaew, Tsuyoshi Isshiki, Dongju Li, Hiroaki Kunieda |
Dalvik bytecode acceleration using Fetch/Decode Hardware Extension with hybrid Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: 2014 IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2014, Ishigaki, Japan, November 17-20, 2014, pp. 375-378, 2014, IEEE, 978-1-4799-5230-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov |
Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 215-229, 2014, Springer, 978-3-642-54803-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Gilles Barthe, David Pichardie, Tamara Rezk |
A certified lightweight non-interference Java bytecode verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 23(5), pp. 1032-1081, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta |
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 20(3), pp. 391-425, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mark C. Reynolds |
Modeling the Java Bytecode Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 78(3), pp. 327-342, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Sunghun Kim 0001, Thomas Zimmermann 0001, Rahul Premraj, Nicolas Bettenburg, Shivkumar Shivaji |
Predicting method crashes with bytecode operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: 6th India Software Engineering Conference, ISEC '13, New Delhi, India - February 21 - 23, 2013, pp. 3-12, 2013, ACM, 978-1-4503-1987-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hao Hao, Vicky Singh, Wenliang Du |
On the effectiveness of API-level access control using bytecode rewriting in Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: 8th ACM Symposium on Information, Computer and Communications Security, ASIA CCS '13, Hangzhou, China - May 08 - 10, 2013, pp. 25-36, 2013, ACM, 978-1-4503-1767-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Yudi Zheng, Lubomír Bulej, Cheng Zhang, Stephen Kell, Danilo Ansaloni, Walter Binder |
Dynamic optimization of bytecode instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMIL@SPLASH ![In: VMIL@SPLASH '13: Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages, Indianapolis, IN, USA, 28 October 2013, pp. 21-30, 2013, ACM, 978-1-4503-2601-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Bandar Alshammari, Colin J. Fidge, Diane Corney |
Security Metrics for Java Bytecode Programs (S). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 25th International Conference on Software Engineering and Knowledge Engineering, Boston, MA, USA, June 27-29, 2013., pp. 394-399, 2013, Knowledge Systems Institute Graduate School. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Cheng Wang 0013, Youfeng Wu, Marcelo Cintra |
Acceldroid: Co-designed acceleration of Android bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen, China, February 23-27, 2013, pp. 3:1-3:10, 2013, IEEE Computer Society, 978-1-4673-5524-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Byeongho Kang, Boojoong Kang, Jungtae Kim, Eul Gyu Im |
Android malware classification method: Dalvik bytecode frequency analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RACS ![In: Research in Adaptive and Convergent Systems, RACS'13, Montreal, QC, Canada, October 1-4, 2013, pp. 349-350, 2013, ACM, 978-1-4503-2348-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Weifeng Xu, Tao Ding, Hanlin Wang, Dianxiang Xu |
Mining Test Oracles for Test Inputs Generated from Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013, pp. 27-32, 2013, IEEE Computer Society, 978-0-7695-4986-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Nan Li 0008, Xin Meng, Jeff Offutt, Lin Deng 0001 |
Is bytecode instrumentation as good as source code instrumentation: An empirical study with industrial tools (Experience Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013, pp. 380-389, 2013, IEEE Computer Society, 978-1-4799-2366-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Marco T. Morazán |
Bytecode and Memoized Closure Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers, pp. 58-75, 2013, Springer, 978-3-642-45339-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Aymerick Savary, Marc Frappier, Jean-Louis Lanet |
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, pp. 223-237, 2013, Springer, 978-3-642-38612-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed A. Sharaf, Jie Huang, Chin-Tser Huang |
Using Bytecode Instrumentation to Secure Information Flow in Multithreaded Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), Philadelphia, PA, USA, 8-11 July, 2013, pp. 362-367, 2013, IEEE Computer Society, 978-0-7695-5023-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
Cost analysis of object-oriented bytecode programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 413(1), pp. 142-159, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Alexandre Bartel, Jacques Klein, Martin Monperrus, Kevin Allix, Yves Le Traon |
Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1208.4536, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon |
Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.3576, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 63-73, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Georg Moser, Michael Schaper |
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.1568, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Songzhu Mei, Zhiying Wang 0003, Yong Cheng, Jiangchun Ren, Jiangjiang Wu, Jie Zhou |
Trusted Bytecode Virtual Machine Module: A Novel Method for Dynamic Remote Attestation in Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 5(5), pp. 924-932, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Durica Nikolic, Fausto Spoto |
Definite Expression Aliasing Analysis for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 74-89, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Lukás Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma 0001, Zhengwei Qi |
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings, pp. 256-263, 2012, Springer, 978-3-642-35181-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Shuai Hao, Ding Li 0001, William G. J. Halfond, Ramesh Govindan |
Estimating Android applications' CPU energy usage via bytecode profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GREENS ![In: First International Workshop on Green and Sustainable Software, GREENS 2012, Zurich, Switzerland, June 3, 2012, pp. 1-7, 2012, IEEE Computer Society, 978-1-4673-1833-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Kerry A. Seitz, Mark C. Lewis |
Virtual Machine and Bytecode for Optimization on Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Ninth International Conference on Information Technology: New Generations, ITNG 2012, Las Vegas, Nevada, USA, 16-18 April, 2012, pp. 528-533, 2012, IEEE Computer Society, 978-0-7695-4654-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Damien Octeau, Somesh Jha, Patrick D. McDaniel |
Retargeting Android applications to Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012, pp. 6, 2012, ACM, 978-1-4503-1614-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Alexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus |
Dexpler: converting Android Dalvik bytecode to Jimple for static analysis with Soot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012, pp. 27-38, 2012, ACM, 978-1-4503-1490-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Martin Zabel, Thomas B. Preußer, Rainer G. Spallek |
Increasing the efficiency of an embedded multi-core bytecode processor using an object cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: The 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '12, Copenhagen, Denmark, October 24-26, 2012, pp. 88-97, 2012, ACM, 978-1-4503-1688-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Flavius Gruian, Mehmet Ali Arslan |
Java bytecode to hardware made easy with bluespec system verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: The 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '12, Copenhagen, Denmark, October 24-26, 2012, pp. 80-87, 2012, ACM, 978-1-4503-1688-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Lukás Marek, Alex Villazón, Yudi Zheng, Danilo Ansaloni, Walter Binder, Zhengwei Qi |
DiSL: a domain-specific language for bytecode instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012, pp. 239-250, 2012, ACM, 978-1-4503-1092-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Yudi Zheng, Danilo Ansaloni, Lukás Marek, Andreas Sewe, Walter Binder, Alex Villazón, Petr Tuma 0001, Zhengwei Qi, Mira Mezini |
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (50) ![In: Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings, pp. 353-368, 2012, Springer, 978-3-642-30560-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Zambon |
Aucsmith-Like Obfuscation of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 12th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2012, Riva del Garda, Italy, September 23-24, 2012, pp. 114-119, 2012, IEEE Computer Society, 978-1-4673-2398-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Wojciech Zaremba, Yuan Lin, Vinod Grover |
JaBEE: framework for object-oriented Java bytecode compilation and execution on graphics processor units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPGPU@ASPLOS ![In: The 5th Annual Workshop on General Purpose Processing with Graphics Processing Units, GPGPU-5, London, United Kingdom, March 3, 2012, pp. 74-83, 2012, ACM, 978-1-4503-1233-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Iman Keivanloo, Chanchal K. Roy, Juergen Rilling |
Java bytecode clone detection via relaxation on code fingerprint and Semantic Web reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSC ![In: Proceeding of the 6th International Workshop on Software Clones, IWSC 2012, Zurich, Switzerland, June 4, 2012, pp. 36-42, 2012, IEEE Computer Society, 978-1-4673-1794-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Louis Lanet |
Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Cryptography and Security (2nd Ed.) ![In: Encyclopedia of Cryptography and Security, 2nd Ed., pp. 177-178, 2011, Springer, 978-1-4419-5905-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov |
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(7), pp. 587-608, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Martin Schoeberl, Mira Mezini |
Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011, Kongens Lyngby, Denmark, August 24-26, 2011, pp. 11-20, 2011, ACM, 978-1-4503-0935-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Aibek Sarimbekov, Walter Binder, Andreas Sewe, Mira Mezini, Alex Villazón |
JP2: collecting dynamic bytecode metrics in JVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 35-36, 2011, ACM, 978-1-4503-0942-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Songzhu Mei, Jiangjiang Wu, Yong Cheng, Jun Ma 0015, Jiangchun Ren, Xiaoxing Li |
Trusted Bytecode Virtual Machine Module: Towards Dynamic Remote Attestation in Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPTC ![In: 2nd International Symposium on Intelligence Information Processing and Trusted Computing, IPTC 2011, Wuhan, China, October 22-23, 2011, pp. 19-23, 2011, IEEE Computer Society, 978-1-4577-1130-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Caserta, Olivier Zendra |
A tracing technique using dynamic bytecode instrumentation of Java applications and libraries at basic block level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOOOLPS@ECOOP ![In: Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2011, Lancaster, United Kingdom, July 26, 2011, pp. 6:1-6:4, 2011, ACM, 978-1-4503-0894-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl |
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoVeOOS ![In: Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers, pp. 123-141, 2011, Springer, 978-3-642-31761-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow, Bent Thomsen |
WCET analysis of Java bytecode featuring common execution environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '11, York, United Kingdom, September 26-28, 2011, pp. 30-39, 2011, ACM, 978-1-4503-0731-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Yanchuan Li, Gordon Fraser 0001 |
Bytecode Testability Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSBSE ![In: Search Based Software Engineering - Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings, pp. 237-251, 2011, Springer, 978-3-642-23715-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Moret, Walter Binder, Éric Tanter |
Polymorphic bytecode instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011, pp. 129-140, 2011, ACM, 978-1-4503-0605-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Marc Brockschmidt, Carsten Otto, Jürgen Giesl |
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 155-170, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Erven Rohou, Sergei Dyshel, Dorit Nuzman, Ira Rosen, Kevin Williams 0001, Albert Cohen 0001, Ayal Zaks |
Speculatively vectorized bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPEAC ![In: High Performance Embedded Architectures and Compilers, 6th International Conference, HiPEAC 2011, Heraklion, Crete, Greece, January 24-26, 2011. Proceedings, pp. 35-44, 2011, ACM, 978-1-4503-0241-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl |
Verifiable Control Flow Policies for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers, pp. 115-130, 2011, Springer, 978-3-642-29419-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Simone Campanoni, Luca Rocchini |
Static memory management within bytecode languages on multicore systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHANGE@ASPLOS ![In: 1st International Workshop on Computing in Heterogeneous, Autonomous 'N' Goal-Oriented Environments, CHANGE 2011, Newport Beach, CA, USA, March 6, 2011, pp. 1-8, 2011, IEEE Computer Society, 978-1-4577-0199-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Antonella Santone |
Clone detection through process algebras and Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSC ![In: Proceeding of the 5th ICSE International Workshop on Software Clones, IWSC 2011, Waikiki, Honolulu, HI, USA, May 23, 2011, pp. 73-74, 2011, ACM, 978-1-4503-0588-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Martin Zabel |
Effiziente Mehrkernarchitektur für eingebettete Java-Bytecode-Prozessoren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
17 | Diana V. Ramírez-Deantes |
Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
17 | Lennart Beringer |
Relational bytecode correlations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 79(7), pp. 483-514, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini |
Using abstract interpretation to add type checking for interfaces in Java bytecode verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(22-24), pp. 2174-2201, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Mads Dam, Andreas Lundblad |
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1012.2995, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Laurent Hubert |
A Non-Null Annotation Inferencer for Java Bytecode ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1007.3183, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla |
Verification of Java Bytecode using Analysis and Transformation of Logic Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1007.3250, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Johannes Rudolph, Peter Thiemann 0001 |
Mnemonics: type-safe bytecode generation at run time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 23(3), pp. 371-407, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Fausto Spoto, Étienne Payet |
Magic-sets for localised analysis of Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 23(1), pp. 29-86, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Fausto Spoto, Fred Mesnard, Étienne Payet |
A termination analyzer for Java bytecode based on path-length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 32(3), pp. 8:1-8:70, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Roberto Barbuti, Nicoletta De Francesco, Luca Tesei |
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 53(6), pp. 679-700, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin |
Certified Result Checking for Polyhedral Analysis of Bytecode Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, pp. 253-267, 2010, Springer, 978-3-642-15639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | David Aspinall 0001, Robert Atkey, Kenneth MacKenzie, Donald Sannella |
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, pp. 1-22, 2010, Springer, 978-3-642-15639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl |
Termination Graphs for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification, Induction, Termination Analysis ![In: Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, pp. 17-37, 2010, Springer, 978-3-642-17171-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Delphine Demange, Thomas P. Jensen, David Pichardie |
A Provably Correct Stackless Intermediate Representation for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings, pp. 97-113, 2010, Springer, 978-3-642-17163-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Florence Charreteur, Arnaud Gotlieb |
Constraint-Based Test Input Generation for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010, pp. 131-140, 2010, IEEE Computer Society, 978-0-7695-4255-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Lee 0004, Shin-Jie Lee, Hsi-Min Chen, Jeremy Liang, Chia-Ling Wu, Yao-Chiang Wang |
Activating mobile agents from contactless smart cards through a Java bytecode extractor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010, pp. 3948-3951, 2010, IEEE, 978-1-4244-6588-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Luis Quesada 0002, Fernando Berzal, Juan C. Cubero |
JSimil - A Java Bytecode Clone Detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (2) ![In: ICSOFT 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010, pp. 333-336, 2010, SciTePress, 978-989-8425-23-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla |
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers, pp. 218-236, 2010, Springer, 978-3-642-27268-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl |
Automated Termination Analysis of Java Bytecode by Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 259-276, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Corina S. Pasareanu, Neha Rungta |
Symbolic PathFinder: symbolic execution of Java bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, pp. 179-180, 2010, ACM, 978-1-4503-0116-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin |
Stack Bound Inference for Abstract Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010, pp. 57-66, 2010, IEEE Computer Society, 978-0-7695-4148-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Florence Charreteur |
Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
17 | Sylvain Martin, Guy Leduc |
A practical bytecode interpreter for programmable routers on IXP network processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 53(15), pp. 2740-2751, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Pradeep Rao, Kazuaki J. Murakami |
Identifying Processor Bottlenecks in Virtual Machine Based Execution of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Electron. ![In: IEICE Trans. Electron. 92-C(10), pp. 1265-1275, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|