The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "BYTECODE@ETAPS"( http://dblp.L3S.de/Venues/BYTECODE@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/bytecode

Publication years (Num. hits)
2005 (17) 2007 (12) 2009 (13) 2010 (6) 2011 (8)
Publication types (Num. hits)
inproceedings(51) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 56 publication records. Showing 56 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz Treegraph-based Instruction Scheduling for Stack-based Virtual Machines. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David J. Pearce 0001, James Noble 0001 Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Damon Fenacci, Kenneth MacKenzie Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim Handling Non-linear Operations in the Value Analysis of COSTA. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Mark Marron Preface. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre Ganty, Mark Marron (eds.) Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011 Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  BibTeX  RDF
1David Pichardie (eds.) Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010 Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2011 DBLP  BibTeX  RDF
1Jevgeni Kabanov JRebel Tool Demo. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jaroslav Bauml, Premek Brada Reconstruction of Type Information from Java Bytecode for Component Compatibility. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert A Dozen Instructions Make Java Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Pichardie Preface. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Eichberg, Andreas Sewe Encoding the Java Virtual Machine's Instruction Set. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Philippe Wang, Adrien Jonquet, Emmanuel Chailloux Non-Intrusive Structural Coverage for Objective Caml. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fausto Spoto, Lunjin Lu, Fred Mesnard Using CLP Simplifications to Improve Java Bytecode Termination Analysis. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Arno Puder, Jessica Lee Towards an XML-based Bytecode Level Transformation Framework. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Étienne Payet, Fausto Spoto Experiments with Non-Termination Analysis for Java Bytecode. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Massimo Bartoletti, Gabriele Costa 0001, Roberto Zunino Jalapa: Securing Java with Local Policies: Tool Demonstration. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Phil McGachey, Antony L. Hosking, J. Eliot B. Moss Pervasive Load-Time Transformation for Transparently Distributed Java. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe The S3MS.NET Run Time Monitor: Tool Demonstration. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim Preface. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo User-Definable Resource Usage Bounds Analysis for Java Bytecode. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefan Brunthaler 0001 Virtual-Machine Abstraction and Optimization Techniques. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Aleksy Schubert, Daria Walukiewicz-Chrzaszcz The Non-Interference Protection in BML. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Xin Li 0010, Mizuhito Ogawa An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Laurent Hubert, David Pichardie Soundly Handling Static Fields: Issues, Semantics and Analysis. Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim (eds.) Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009 Search on Bibsonomy BYTECODE@ETAPS The full citation details ... 2009 DBLP  BibTeX  RDF
1Quan Hoang Nguyen 0001, Bernhard Scholz Computing SSA Form with Matrices. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hermann Lehner, Peter Müller 0001 Formal Translation of Bytecode into BoogiePL. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles Bytecode Rewriting in Tom. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marieke Huisman, Fausto Spoto Preface. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ando Saabas, Tarmo Uustalu Type Systems for Optimizing Stack-based Code. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini Experiments in Cost Analysis of Java Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jesse McGeachie, Jürgen Dingel Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jaroslav Sevcík Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Theo C. Ruys, Niels H. M. Aan de Brugh MMC: the Mono Model Checker. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marieke Huisman, Fausto Spoto (eds.) Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007 Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2007 DBLP  BibTeX  RDF
1Walter Binder, Jarle Hulaas Java Bytecode Transformations for Efficient, Portable CPU Accounting. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou Flexible Bytecode for Linking in .NET. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pierre Crégut, Cuihtlauac Alvarado Improving the Security of Downloadable Java Applications With Static Analysis. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sigmund Cherem, Radu Rugina A Verifier for Region-Annotated Java Bytecodes. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stephen Gilmore, Matthew Prowse Proof-carrying Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Armin Biere Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Martin Wildmoser, Amine Chaieb, Tobias Nipkow Bytecode Analysis for Proof Carrying Code. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michael Eichberg BAT2XML: XML-based Java Bytecode Representation. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lucja Kot, Dexter Kozen Kleene Algebra and Bytecode Verification. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fabian Bannwart, Peter Müller 0001 A Program Logic for Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Daniel Hedin, David Sands 0001 Timing Aware Information Flow Security for a JavaCard-like Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 A Space-Aware Bytecode Verifier for Java Cards. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1René Rydhof Hansen, Igor Siveroni Towards Verification of Well-Formed Transactions in Java Card Bytecode. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fausto Spoto Preface. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ian Bayley, Sam Shiel JVM Bytecode Verification Without Dataflow Analysis. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sam Shiel, Ian Bayley A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine. Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fausto Spoto (eds.) Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005 Search on Bibsonomy Bytecode@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #56 of 56 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license