Nicolae Goga

Bio: Nicolae Goga is an academic researcher from Politehnica University of Bucharest. The author has contributed to research in topics: Computer science & Ontology (information science). The author has an hindex of 14, co-authored 117 publications receiving 1328 citations. Previous affiliations of Nicolae Goga include Eindhoven University of Technology & University of Bucharest.

TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking

Abstract: Railway control systems are safety-critical, so we have to ensure that they are designed and implemented correctly. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested separately from the hardware. The interlocking is a layer of railway control systems that guarantees safety. It allows to execute commands given by a user only if they are safe; unsafe commands are rejected. Railway interlockings are central to efficient and safe traffic management for railway infrastructure managers and operators. European integration requires new standards for specification and testing interlockings. Here we propose an approach to testing interlockings with TTCN-3 and give an example for its application. The code of interlockings is simulated during test execution. For assessing the quality of the tests, we propose an approach inspired by the Classification Tree Method.

An analysis of medical device communication standard IEEE 1073.2

Abstract: We analyze pre-standard ENV 13735 of the upcoming IEEE 1073.2 standard, which standardizes some communication protocols between dynamically interconnected medical devices. The latter standard is currently under development, which gives us an opportunity to influence its final contents using our results. The approach we use is to make formal models of the protocols, and to analyze them using the modelchecking tool Spin. Our analysis revealed several omissions, inconsistencies and other types of errors in the protocols and their descriptions. We discuss possible sources of these problems, and propose some fixes.

Neural network based edge detection for CBCT segmentation

Abstract: Edge detection is an important task in image processing, many times as part of the segmentation process. When segmentation is performed in medical imaging, one of the preferred tools is neural networks, because of their capabilities of adaptive learning and non-linear mapping. We present in this paper the neural network tools used for edge detection and we propose one that is able to perform edge detection in dental Cone Beam Computer Tomography (CBCT) images, a necessary step for the teeth 3D reconstruction.

Testing Wi-Fi and bluetooth low energy technologies for a hybrid indoor positioning system

Abstract: Indoor positioning systems are becoming a required sub-system in many ambient assisted living scenarios. Also IoT (Internet of Things) device interaction would greatly benefit from the enriched context of localization. However, at this moment there is not a satisfying technology or approach for precise indoor positioning. In our paper we test the accuracy for Wi-Fi and Bluetooth Low Energy RSSI measurements and we propose a prototype system for smartphone simulation.

3D dental reconstruction from CBCT data

Abstract: We will present in this paper a method for the reconstruction of the oral 3D structure using Computed Tomography (CT) sections obtained from Cone Beam Computed Tomography (CBCT). A high-quality visualization of the dental tissues, based nowadays on fine 3D reconstruction, is essential for accurate diagnosis and treatments. Dental CBCT images present several major problems because of the noisiness and of the configuration of the system. We tried several algorithms in order to overcome these issues and to obtain a feasible and efficient method that can be used directly in the clinical procedures. Our approach includes novel procedures like the delimitation of the region of interest and the combination of registration and segmentation steps, which grant faster results and open the route to better representations.

The knowledge-creating company : how Japanese companies create the dynamics of innovation

Abstract: How has Japan become a major economic power, a world leader in the automotive and electronics industries? What is the secret of their success? The consensus has been that, though the Japanese are not particularly innovative, they are exceptionally skilful at imitation, at improving products that already exist. But now two leading Japanese business experts, Ikujiro Nonaka and Hiro Takeuchi, turn this conventional wisdom on its head: Japanese firms are successful, they contend, precisely because they are innovative, because they create new knowledge and use it to produce successful products and technologies. Examining case studies drawn from such firms as Honda, Canon, Matsushita, NEC, 3M, GE, and the U.S. Marines, this book reveals how Japanese companies translate tacit to explicit knowledge and use it to produce new processes, products, and services.

Tools and Algorithms for the Construction and Analysis of Systems. Proc. TACAS 2009

Abstract: ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of

Improved Parameters for the Martini Coarse-Grained Protein Force Field

Abstract: The Martini coarse-grained force field has been successfully used for simulating a wide range of (bio)molecular systems. Recent progress in our ability to test the model against fully atomistic force fields, however, has revealed some shortcomings. Most notable, phenylalanine and proline were too hydrophobic, and dimers formed by polar residues in apolar solvents did not bind strongly enough. Here, we reparametrize these residues either through reassignment of particle types or by introducing embedded charges. The new parameters are tested with respect to partitioning across a lipid bilayer, membrane binding of Wimley–White peptides, and dimerization free energy in solvents of different polarity. In addition, we improve some of the bonded terms in the Martini protein force field that lead to a more realistic length of α-helices and to improved numerical stability for polyalanine and glycine repeats. The new parameter set is denoted Martini version 2.2.

Perspective on the Martini model.

Abstract: The Martini model, a coarse-grained force field for biomolecular simulations, has found a broad range of applications since its release a decade ago. Based on a building block principle, the model combines speed and versatility while maintaining chemical specificity. Here we review the current state of the model. We describe recent highlights as well as shortcomings, and our ideas on the further development of the model.

Computational Lipidomics with insane: A Versatile Tool for Generating Custom Membranes for Molecular Simulations

Abstract: For simulations of membranes and membrane proteins, the generation of the lipid bilayer is a critical step in the setup of the system. Membranes comprising multiple components pose a particular challenge, because the relative abundances need to be controlled and the equilibration of the system may take several microseconds. Here we present a comprehensive method for building membrane containing systems, characterized by simplicity and versatility. The program uses preset, coarse-grain lipid templates to build the membrane, and also allows on-the-fly generation of simple lipid types by specifying the headgroup, linker, and lipid tails on the command line. The resulting models can be equilibrated, after which a relaxed atomistic model can be obtained by reverse transformation. For multicomponent membranes, this provides an efficient means for generating equilibrated atomistic models. The method is called insane, an acronym for INSert membrANE. The program has been made available, together with the complemen...