Publications associées à Désassembleur

Molecular nanostructures based on polyfunctional clathrochelate complexes

This thesis describes the design and synthesis of clathrochelate metalloligands for the construction of molecular nanostructures. The low synthetic effort, versatility and stability of the clathrochelate metalloligands makes them particularly suited to the ...

EPFL2019

Reversible disassembly of metallasupramolecular structures mediated by a metastable-state photoacid

Kay Severin, Suzanne Maria Jansze, Giacomo Cecot

The addition of a metastable-state photoacid to solutions containing metal–ligand assemblies renders the systems light responsive. Upon irradiation, proton transfer from the photoacid to the ligand is observed, resulting in disassembly of the metallasupram ...

2018

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

The S2E Platform: Design, Implementation, and Applications

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and automated testing of kerne ...

2012

System and method for in-vivo multi-path analysis of binary software

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

A system and method for in-vivo multi-path analysis and testing of binary software including binary device drivers is disclosed. The system and method may be used to test a binary software system and may comprise a virtual machine, a symbolic execution eng ...

2012

Striking a New Balance Between Program Instrumentation and Debugging Time

Willy Zwaenepoel, Olivier Crameri, Ricardo Bianchini

Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the developer in locating the problem. In this paper, we explore a new approach to b ...

Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2011

Disassembly scheduling : models and algorithms

Hwa-Joong Kim

This dissertation focuses on disassembly scheduling, which is the problem of determining the quantity and timing of disassembling used or end-of-life products while satisfying the demand of their parts/components over a given planning horizon. The objectiv ...

EPFL2005

Non-linear disassembly planning for increasing the end-of-life value of products

Disassembly of products at their end-of-life is an important topic, since the general objective of product recycling is to increase the amount of parts recovered and reused while minimizing the amount of disposal. In addition, materials have to be recovere ...

EPFL2005