Andreas; Probst, Christian W.; Franz, Michael: SSA-based Java bytecode verification, 2004

Kalashnikov, Dmitri V.; Mehrotra, Sharad; Chen, Zhaoqi: Exploiting relationships for data cleaning, 2004

Lario, Roberto; Pajarola, Renato; Tirado, Francisco: Cached geometry manager for view-dependent LOD rendering, 2004

Luer, Chris; der Hoek, Andre van: JPloy : user-centric deployment support in a component platform, 2004

Pajarola, Renato; Sainz, Miguel: Stream-processing point data, 2004

Beers, Matthew Q.; Stork, Christian H.; Franz, Michael: Efficiently verifiable escape analysis, 2003

Franz, Miuchael [sic]; Frohlich, Peter H.; Gal, Andreas: Supporting software composition at the programming-language level, 2003

Gal, Andreas; Probst, Christian W.; Franz, Michael: A denial of service attack on the Java bytecode verifier, 2003

Gal, Andreas; Probst, Christian W.; Franz, Michael: Proofing : an efficient and safe alternative to mobile-code verification, 2003

Gal, Andreas; Probst, Christian W.; Franz, Michael: Static closure of Java dynamic class loading, 2003

Haldar, Vivek; Probst, Christian W.; Venkatachalam, Vasanth; Franz, Michael: Virtual-machine driven dynamic voltage scaling, 2003

Pajarola, Renato; Sainz, Miguel; Meng, Yu: Depth-mesh objects : fast depth-image meshing and warping, 2003

Pajarola, Renato; Sainz, Miguel; Guidotti, Patrick: Object-space blending and splatting of points, 2003

Ronne, Jeffery von; Wang, Ning; Franz, Michael: Interpreting programs in Static Single Assignment Form, 2003

Ronne, Jeffery von; Wang, Ning; Apel, Alexander; Franz, Michael: A virtual machine for interpreting programs in Static Single Assignment Form, 2003

Subr, Kartic S.; Gopi, M.; Pajarola, Renato; Sainz, Miguel: Point light fields for point rendering systems, 2003

Wang, Ning; Franz, Michael: A practical mobile-code format with linear verification effort, 2003

Azevedo, Ana; Veidenbaum, Alex; Nicolau, Alex: Improving interpreted execution performance with Java bytecode SuperOperators, 2002

Bao, Xiaohong; Pajarola, Renato: LOD-based clustering techniques for optimizing large-scale terrain storage and visualization, 2002

Franz, Michael; Haldar, Vivek; Krintz, Chandra; Stork, Christian H.: Tamper-proof annotations, by construction, 2002

Jejurikar, Ravindra; Gupta, Rajesh: Computing optimal static slowdown factors for periodic tasks under EDF scheduling, 2002

Liu, Chang; Richardson, Debra J.: Redundant Arrays of Independent Components, 2002

Luer, Chris; der Hoek, Andre van: Composition environments for deployable software components, 2002

Luer, Chris: Environments for deployable components, 2002

Pajarola, Renato: Overview of quadtree-based terrain triangulation and visualization, 2002

Pereira, Cristiano; Raghunathan, Vijay; Gupta, Shalabh; Gupta, Rajesh; Srivastava, Mani: A software architecture for building power aware real time operating systems, 2002

Wang, Ning; Dalton, Niall; Franz, Michael: Enabling efficient program analysis for dynamic optimization of a family of safe mobile code formats, 2002

Amme, Wolfram; Dalton, Niall; Frohlich, Peter H.; Haldar, Vivek; Housel, Peter S.; Ronne, Jeffery von et al.: Project transPROse : reconciling mobile-code security with execution efficiency, 2001

Berner, David; Jansen, Dirk; Gajski, Daniel D.: Development of a visual refinement- and exploration-tool for SpecC, 2001

D'Alberto, Paolo; Nicolau, Alexandru; Veidembaum, Alexander; Gupta, Rajesh: Line size adaptivity analysis of parameterized loop nests for direct mapped data cache, 2001

Doucet, Frederic; Otsuka, Masato; Gupta, Rajesh K.; Shukla, Sandeep K.: Efficient system-level co-design environment using split level programming, 2001

Doucet, Frederic; Shukla, Sandeep K.; Gupta, Rajesh K.; Patrick Schaumont, Masato Otsuka.: Interoperability as a design issue in C++ based modeling environments, 2001

Du, Haitao; D'Alberto, Paolo; Gupta, Rajesh: Memory adaptation techniques : a unified overview across benchmark suites, 2001

Eom, Young Ik; Suda, Tatsuya: Authentication for clone cyber-entities in Bio-net environments, 2001

Garg, Piyush; Shukla, Sandeep K.; Gupta, Rajesh K.: Efficient usage of concurrency models in an object-oriented co-design framework, 2001

Gendelman, Eugene; Bic, Lubomir F.; Dillencourt, Michael B.: LDFS : a fault-tolerant local disk-based file system for mobile agents, 2001

Gerstlauer, Andreas: SpecC modeling guidelines, 2001

Gupta, Sumit; Savoiu, Nick; Dutt, Nikil; Gupta, Rajesh; Nicolau, Alex: Conditional speculation and its effects on performance and area for high-level synthesis, 2001

Irani, Sandra; Shukla, Sandeep K.; Gupta, Rajesh K.: Adaptive probability-based power management strategies, 2001

Irani, Sandra; Shukla, Sandeep K.; Gupta, Rajesh K.: Competitive analysis of dynamic power management strategies for systems with multiple power saving states, 2001

Mishra, Prabhat; Dutt, Nikil; Nicolau, Alex: Architecture description language driven validation of processor, memory, and co-processor pipelines, 2001

Mishra, Prabhat; Tomiyama, Hiroyuki; Dutt, Nikil; Nicolau, Alex: Architecture description language driven verification of in-order execution in pipelined processors, 2001

Mishra, Prabhat; Rousseau, Frederic; Dutt, Nikil; Nicolau, Alex: Coprocessor codesign for programmable architectures, 2001

Mishra, Prabhat; Astrom, Jonas; Dutt, Nikil; Nicolau, Alex: Functional abstraction of programmable embedded systems, 2001

Mishra, Prabhat; Dutt, Nikil; Nicolau, Alex: Specification of hazards, stalls, interrupts, and exceptions in EXPRESSION, 2001

Mishra, Prabhat; Dutt, Nikil; Nicolau, Alex: A study of out-of-order completion for the MIPS R10K superscalar processor, 2001

Mueller, Wolfgang; Domer, Rainer; Gerstlauer, Andreas: The formal execution semantics of SpecC, 2001

Pajarola, Renato: FastMesh : efficient view-dependent meshing, 2001

Pan, Lei; Bic, Lubomir F.; Dillencourt, Michael B.: Mobile agents : the right vehicle for distributed sequential computing, 2001

Ramanathan, Dinesh: High-level timing and power analysis of embedded systems, 2001