Institution
Altran
Company•Neuilly-sur-Seine, France•
About: Altran is a company organization based out in Neuilly-sur-Seine, France. It is known for research contribution in the topics: Software development & Formal verification. The organization has 488 authors who have published 512 publications receiving 6395 citations.
Topics: Software development, Formal verification, Domain-specific language, Computer science, Convection
Papers published on a yearly basis
Papers
More filters
••
TL;DR: An evolution of the classical Codebook Technique for automatic Fault Localization is presented, which proposes two heuristics which handle multiple simultaneous faults and probabilistic fault-symptom dependencies (also in presence of lost/spurious symptoms).
Abstract: In this letter we present an evolution of the classical Codebook Technique for automatic Fault Localization, which is a well-known problem in the context of Network Fault Management. In particular, we propose two heuristics which handle multiple simultaneous faults and probabilistic fault-symptom dependencies (also in presence of lost/spurious symptoms). We have evaluated their performance by applying them to the IMS control layer of a real national-wide Next Generation Network (NGN) deploying VoIP telephony services.
6 citations
••
01 Jan 2018TL;DR: This paper is an experience report from an investigation into how to mitigate the pains associated with a transition to a model-based design flow using DSLs.
Abstract: Changing an established way of working can be a real headache. This is particularly true if there are high stakes involved, e.g., when changing the development process for complex systems. New design methods, such as model-based engineering (MBE) using domain-specific languages (DSLs) promise significant gains, such as cost reductions and improvements in productivity and product quality. However, transitioning between design methods comes with a great deal of uncertainty, as any approach has associated pains. While the gains may be intuitively appreciated, it may be less clear what the new pains will be and whether or not they will cancel out the gains. For this reason, it may sometimes feel safer to stick with the devil you know than to meet the one you do not, preventing the full design potential of the company from being reached. This paper is an experience report from an investigation into how to mitigate the pains associated with a transition to a model-based design flow using DSLs. The main contributions of the paper are: 1) a list of 14 pains related to MBE as a technology that is representative of our industrial partners designing high-tech systems in different domains, 2) a selected subset of six pains is positioned with respect to the state-of-thepractice, 3) practical experiences and pain-mitigation techniques from applying a model-based design process using DSLs to an industrial case study, and 4) a list of three open issues that require further research.
6 citations
••
TL;DR: In this paper, the authors proposed to optimize the geometry of the adhesive assembly in order to increase the amount of energy dissipated due to the damage caused by the adhesive during the crash.
6 citations
••
01 Jan 2018TL;DR: An automated learner is presented that can reverse engineer state and timing behavior of a legacy interface of a component by examining event traces of the component in operation and generating a ComMA model.
Abstract: Cyber-physical systems consist of many hardware and software components. Over the life-cycle of these systems, components are replaced or updated. To avoid integration problems, good interface descriptions are crucial for component-based development of these systems. For new components, a Domain Specific Language (DSL) called Component Modeling & Analysis (ComMA) can be used to formally define the interface of such a component in terms of its signature, state and timing behavior. Having interfaces described in a model-based approach enables the generation of artifacts, for instance, to generate a monitor that can check interface conformance of components based on a trace of observed interface interactions during execution. The benefit of having formal interface descriptions also holds for legacy system components. Interfaces of legacy components can be reverse engineered manually. In order to reduce the manual effort, we present an automated learner. The learner can reverse engineer state and timing behavior of a legacy interface by examining event traces of the component in operation. The learner will then generate a ComMA model.
6 citations
••
01 Sep 2007TL;DR: In this article, a CMOS voltage controlled oscillator for multi-standard wireless transceivers is presented, and the frequency range extends from 1.7 GHz to 2.5 GH, and tuning between frequencies is done by means of capacitor banks and varactors.
Abstract: This paper presents a CMOS voltage controlled oscillator for multi standard wireless transceivers. The VCO structure is based on All- PMOS LC oscillators. The frequency range extends from 1.7 GHz to 2.5 GH, and tuning between frequencies is done by means of capacitor banks and varactors.
6 citations
Authors
Showing all 489 results
Name | H-index | Papers | Citations |
---|---|---|---|
Khellil Sefiane | 52 | 292 | 8195 |
Jose L. Salmeron | 30 | 84 | 3207 |
Catherine Azzaro-Pantel | 28 | 168 | 2401 |
Ivan Kurtev | 25 | 53 | 4954 |
Jan Olaf Blech | 20 | 131 | 1134 |
Jacopo Belfi | 20 | 76 | 1045 |
Laura Rossi | 18 | 42 | 1498 |
M. Klein-Wolt | 18 | 30 | 1601 |
Hao Lu | 18 | 73 | 1019 |
Xiaoye Han | 17 | 61 | 883 |
Ivan Miguel Pires | 16 | 103 | 789 |
Luis A. S. de A. Prado | 13 | 17 | 678 |
Patricia Zunino | 11 | 24 | 716 |
Jon Arrospide | 11 | 19 | 481 |
Roderick Chapman | 11 | 18 | 651 |