Search

Your search keyword '"Schuts, M."' showing total 4 results
Start Over Author "Schuts, M." Language english
4 results on '"Schuts, M."'

1. Modelling Clock Synchronization in the Chess gMAC WSN Protocol

Author

Schuts, M., Zhu, F., Heydarian, F., Vaandrager, F.W., Andova, Suzana, McIver, Annabelle, D'Argenio, Pedro, Cuijpers, Pieter, Markovski, Jasen, Morgan, Caroll, Nunez, Manuel, Andova, Suzana, McIver, Annabelle, D'Argenio, Pedro, Cuijpers, Pieter, Markovski, Jasen, Morgan, Caroll, and Nunez, Manuel

Subjects
Model checking, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, Formal Languages and Automata Theory (cs.FL), Electronic Proceedings in Theoretical Computer Science, Infinitesimal, Real-time computing, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Clock synchronization, lcsh:QA75.5-76.95, Computer Science - Networking and Internet Architecture, 0202 electrical engineering, electronic engineering, information engineering, Software Science, Computer Science::Networking and Internet Architecture, Protocol (object-oriented programming), Networking and Internet Architecture (cs.NI), lcsh:Mathematics, 020206 networking & telecommunications, lcsh:QA1-939, Automaton, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, 010201 computation theory & mathematics, Distributed, Parallel, and Cluster Computing (cs.DC), lcsh:Electronic computers. Computer science, Wireless sensor network
Abstract

We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Dutch company Chess. Using the UPPAAL model checker, we establish that in certain cases a static, fully synchronized network may eventually become unsynchronized if the current algorithm is used, even in a setting with infinitesimal clock drifts.

Published
2009

2. Formalizing the concept phase of product development

Author

Schuts, M. and Hooman, J.

Subjects
Model checking, TS - Technical Sciences, Industrial Innovation, Formal techniques, Interventional, Formal methods, X-ray system, HOL - Holst, Formal model, Product development, Industry, Nano Technology, Model-checking techniques, Product realisation
Abstract

We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing Switzerland 2015.

Published
2015

3. Using domain specific languages to improve the development of a power control unit

Author

Schuts, M., Hooman, J.J.M., Ganzha, M., and Ganzha, M.

Subjects
Domain-specific language, Informatics, Power control unit, Computer science, Computational linguistics, Domain specific languages, Software_PROGRAMMINGTECHNIQUES, computer.software_genre, Notation, Computer programming languages, DSL, Software, Software_SOFTWAREENGINEERING, Software Science, TS - Technical Sciences, Industrial Innovation, Programming language, business.industry, Annals of Computer Science and Information Systems, ESI - Embedded Systems Innovation, Digital subscriber line, Test case, State transitions, Test set, ICT, State (computer science), Software_PROGRAMMINGLANGUAGES, business, computer, Power control
Abstract

To improve the design of a power control unit at Philips, two Domain Specific Languages (DSLs) have been used. The first DSL provides a concise and readable notation for the essential state transitions. It is used to generate both configuration files and analysis models. In addition, we also generate instances of a second DSL which represents test traces. This second DSL is used to generate test cases for the power control unit. The use of DSLs not only improved productivity, but also the quality of the configuration files and the test set. cop. 2015, IEEE.

Published
2015

4. The intergenerational transmission of child maltreatment: A three-level meta-analysis.

Author

Assink M, Spruit A, Schuts M, Lindauer R, van der Put CE, and Stams GJM

Subjects
Adult Survivors of Child Abuse, Child, Child Abuse psychology, Female, Humans, Intergenerational Relations, Male, Parents psychology, Physical Abuse psychology, Risk Factors, Child Abuse statistics & numerical data, Physical Abuse statistics & numerical data
Abstract

A parental history of experiencing child maltreatment is an important risk factor in several etiological theories of child maltreatment. In the past, two reviews have been conducted on the available evidence for intergenerational continuity in child maltreatment, but were only qualitative in nature. Therefore, the present review aimed to provide a quantitative summary of the current knowledge on intergenerational transmission of child maltreatment. In our 3-level random-effects meta-analysis, we included 84 studies reporting on 285 effect sizes and found a medium summary effect of r = 0.289; 95% CI [0.257, 0.337], with significant variation in effect sizes within (level 2) and between (level 3) studies. This implies that in families of parents who experienced maltreatment in their own childhood, the odds of child maltreatment are almost three times the odds of child maltreatment in families of parents without a history of experiencing child maltreatment (OR = 2.990). However, as indications for bias were found, caution is warranted in interpreting this effect. Moderator analyses revealed that the effect of intergenerational transmission was the smallest in children who experienced physical abuse. Further, study quality was negatively associated with effect size magnitude. We highlight the need for an improvement in quality of primary research, and discuss implications of our findings for clinical practice., (Copyright © 2018 Elsevier Ltd. All rights reserved.)

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results