APPLICATION DES ORDRES PARTIELS A LA GENERATION COMPOSITIONNELLE DE SYSTEMES ASYNCHRONES

GRENOBLE1-BU Sciences (384212103) / SudocSudocFranceF

Binding evaluation of Fragment-based scaffolds for probing allosteric enzymes

communication par afficheNational audienc

Compositional State Space Generation from Lotos Programs

. This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduction operations on subsets of its processes. To restrict the size of the intermediate Ltss generated, we generalize to the Lotos parallel composition operator the results proposed in [GS90], which consist in representing the environment of a process by an interface, i.e., a set of "authorized" execution sequences. This generalization allows to handle both user-given interfaces and automatically computed ones. This compositional generation method has been implemented within the Cadp toolbox and experimented on several realistic case-studies. Introduction Formal verification is a part of software engineering that consists in evaluating a set of specifications on a formal description of a program. When this program is "finite state", which happens in particular when considering only essential features of par..

Binding evaluation of fragment-based scaffolds for probing allosteric enzymes

International audienceFragment-based drug discovery has become a powerful method for the generation of drug leads against therapeutic targets. Beyond the identification of novel and effective starting points for drug design, fragments have emerged as reliable tools for assessing protein druggability and identifying protein hot spots. Here, we have examined fragments resulting from the deconstruction of known inhibitors from the glycogen phosphorylase enzyme, a therapeutic target against type 2 diabetes, with two motivations. First, we have analyzed the fragment binding to the multiple binding sites of the glycogen phosphorylase, and then we have investigated the use of fragments to study allosteric enzymes. The work we report illustrates the power of fragmentlike ligands not only for probing the various binding pockets of proteins, but also for uncovering cooperativity between these various binding sites

Towards Cybersecurity Act: A Survey on IoT Evaluation Frameworks

International audienceOn the 7 th of June 2019, the Cybersecurity Act was adopted by the European Union. Its objectives are twofold: the adoption of the permanent mandate of ENISA and the definition of a European cybersecurity certification framework, which is essential for strengthening the security of Europe's digital market. Delivered certificates according to this scheme will be mutually recognized among European countries. The regulation defines three certification levels with increasing requirements. Among them, the "basic level" which typically targets noncritical, consumer objects (e.g.,smart-home or "gadget" IoT). Yet, various evaluation and certification schemes related to the IoT already exist prior to the adoption of the Cybersecurity Act. Thus, discussions are being carried on at the moment of redaction in order to either choose an existing scheme or to design a unified scheme based on existing ones. In this paper, we focus on the basic level, and assemble a survey on existing evaluation and certification schemes for consumer IoT and compare them based on various criteria. Then, we propose a unified evaluation scheme for the basic level driven by Bureau Veritas, based on existing schemes

Letter to the Editor: 1H, 13C and 15N resonance assignments of poplar phloem glutaredoxin

International audienc

NMR structures of thioredoxin m from the green alga Chlamydomonas reinhardtii

International audienc

IF: A Validation Environment for Timed Asynchronous Systems

International audienceFormal validation of distributed systems relies on several specification formalisms (such as the international standards LOTOS or SDL, and it requires different kinds of tools to cover the whole development process. Presently, a wide range of tools are available, either commercial or academic ones, but none of them fulfills in itself all the practical needs. This situation motivated the development of IF, an intermediate representation for timed asynchronous systems together with an open validation environment

IF: An intermediate Representation and Validation Environment for Timed Asynchronous Systems

International audienceFormal Description Techniques (FDT), such as LOTOS or SDL are at the base of a technology for the specification and the validation of telecommunication systems. Due to the availability of commercial tools, these formalisms are now being widely used in the industrial community. Alternatively, a number of quite efficient verification tools have been developed by the research community. But, most of these tools are based on simple adhoc formalisms and the gap between them and real FDT restricts their use at industrial scale. This context motivated the development of an intermediate representation called IF which is presented in the paper. IF has a simple syntactic structure, but allows to express in a convenient way most useful concepts needed for the specification of timed asynchronous systems. The benefits of using IF are multiples. First, it is general enough to handle significant subsets of most FDT, and in particular a translation from SDL to IF is already implemented. Being bult upon a mathematically sound model (extended timed automata) it allows to properly evaluate different semantics for FDT, in particular with respect to time considerations. Finally, IF can serve as a basis for interconnecting various tools into a unified validation framework. Several levels of IF program representation are available via well defined API and allow to connect tools ranging from static analyzers to model-checkers