|
|
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 |
1 | Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz |
Treegraph-based Instruction Scheduling for Stack-based Virtual Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 33-45, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David J. Pearce 0001, James Noble 0001 |
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 47-59, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Damon Fenacci, Kenneth MacKenzie |
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 19-32, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini |
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 61-74, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim |
Handling Non-linear Operations in the Value Analysis of COSTA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 3-17, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Mark Marron |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, pp. 1, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pierre 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](Pics/bibsonomy.png) |
Bytecode@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | David 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](Pics/bibsonomy.png) |
Bytecode@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Jevgeni Kabanov |
JRebel Tool Demo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 51-57, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Bauml, Premek Brada |
Reconstruction of Type Information from Java Bytecode for Component Compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 3-18, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert |
A Dozen Instructions Make Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 19-34, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Pichardie |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 1-2, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eichberg, Andreas Sewe |
Encoding the Java Virtual Machine's Instruction Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 35-50, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Wang, Adrien Jonquet, Emmanuel Chailloux |
Non-Intrusive Structural Coverage for Objective Caml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 59-73, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Spoto, Lunjin Lu, Fred Mesnard |
Using CLP Simplifications to Improve Java Bytecode Termination Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 129-144, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Arno Puder, Jessica Lee |
Towards an XML-based Bytecode Level Transformation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 97-111, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Payet, Fausto Spoto |
Experiments with Non-Termination Analysis for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 83-96, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Gabriele Costa 0001, Roberto Zunino |
Jalapa: Securing Java with Local Policies: Tool Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 145-151, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Phil McGachey, Antony L. Hosking, J. Eliot B. Moss |
Pervasive Load-Time Transformation for Transparently Distributed Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 47-64, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe |
The S3MS.NET Run Time Monitor: Tool Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 153-159, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Samir Genaim |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 1-2, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo |
User-Definable Resource Usage Bounds Analysis for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 65-82, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brunthaler 0001 |
Virtual-Machine Abstraction and Optimization Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 3-14, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aleksy Schubert, Daria Walukiewicz-Chrzaszcz |
The Non-Interference Protection in BML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 113-127, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Xin Li 0010, Mizuhito Ogawa |
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 31-46, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Hubert, David Pichardie |
Soundly Handling Static Fields: Issues, Semantics and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 15-30, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elvira 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](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Quan Hoang Nguyen 0001, Bernhard Scholz |
Computing SSA Form with Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 121-132, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 85-101, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Lehner, Peter Müller 0001 |
Formal Translation of Bytecode into BoogiePL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 35-50, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles |
Bytecode Rewriting in Tom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 19-33, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo |
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 51-66, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marieke Huisman, Fausto Spoto |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 1, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ando Saabas, Tarmo Uustalu |
Type Systems for Optimizing Stack-based Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 103-119, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Experiments in Cost Analysis of Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 67-83, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jesse McGeachie, Jürgen Dingel |
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 3-18, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Sevcík |
Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 133-147, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Theo C. Ruys, Niels H. M. Aan de Brugh |
MMC: the Mono Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 149-160, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marieke 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](Pics/bibsonomy.png) |
Bytecode@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Walter Binder, Jarle Hulaas |
Java Bytecode Transformations for Efficient, Portable CPU Accounting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 53-73, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou |
Flexible Bytecode for Linking in .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 75-92, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Crégut, Cuihtlauac Alvarado |
Improving the Security of Downloadable Java Applications With Static Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 129-144, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sigmund Cherem, Radu Rugina |
A Verifier for Region-Annotated Java Bytecodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 183-201, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Gilmore, Matthew Prowse |
Proof-carrying Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 3-18, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cyrille Artho, Armin Biere |
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 109-128, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wildmoser, Amine Chaieb, Tobias Nipkow |
Bytecode Analysis for Proof Carrying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 19-34, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eichberg |
BAT2XML: XML-based Java Bytecode Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 93-107, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lucja Kot, Dexter Kozen |
Kleene Algebra and Bytecode Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 221-236, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Bannwart, Peter Müller 0001 |
A Program Logic for Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 255-273, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hedin, David Sands 0001 |
Timing Aware Information Flow Security for a JavaCard-like Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 163-182, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Bernardeschi, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 |
A Space-Aware Bytecode Verifier for Java Cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 237-254, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | René Rydhof Hansen, Igor Siveroni |
Towards Verification of Well-Formed Transactions in Java Card Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 145-162, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Spoto |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 1, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ian Bayley, Sam Shiel |
JVM Bytecode Verification Without Dataflow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 203-220, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sam Shiel, Ian Bayley |
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bytecode@ETAPS ![In: Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005, pp. 35-52, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fausto 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](Pics/bibsonomy.png) |
Bytecode@ETAPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #56 of 56 (100 per page; Change: )
|
|