Search Results - "Haufe, J."
-
1
Once upon a Pandemic: 'Online' Therapeutic Groupwork for Infants and Mothers Impacted by Family Violence
Published in International journal of environmental research and public health (02-12-2022)“…This case study describes the transition to an 'online' delivery of an evaluated infant mental health group work intervention for infants/mothers impacted by…”
Get full text
Journal Article -
2
An approach to the verification of material handling systems
Published in ETFA2011 (01-09-2011)“…The development of correctly working logistic systems is a tedious task. On the one hand, the developer is faced with the increasing complexity of systems and…”
Get full text
Conference Proceeding -
3
Towards an integrated simulation and virtual commissioning environment for controls of material handling systems
Published in Proceedings of the 2012 Winter Simulation Conference (WSC) (01-12-2012)“…Modern material handling systems (MHS) are complex systems which are controlled by various control units on different automation levels. The design of the MHS…”
Get full text
Conference Proceeding -
4
InterChip via technology for vertical system integration
Published in Proceedings of the IEEE 2001 International Interconnect Technology Conference (Cat. No.01EX461) (2001)“…Vertical System Integration VSI(R) means the realization of three-dimensional integrated systems by thinning, stacking and vertical interchip wiring of…”
Get full text
Conference Proceeding -
5
Approach to a simulation-based verification environment for material handling systems
Published in Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) (01-09-2012)“…Modern material handling systems (MHS) are complex systems which are controlled by various control units on different automation levels. The design of the MHS…”
Get full text
Conference Proceeding -
6
Formal verification of UML-modeled machine controls
Published in 2009 IEEE Conference on Emerging Technologies & Factory Automation (01-09-2009)“…Programmable logic controllers (PLCs) are applied in a wide field of application and, especially, for safety-critical controls. Thus, there is the demand for…”
Get full text
Conference Proceeding -
7
Modelling the real-time behaviour of machine controls using UML statecharts
Published in 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) (01-09-2010)“…For covering the real-time characteristics of an automation system during model-based design it is essential to model not only the function but also the…”
Get full text
Conference Proceeding -
8
Challenges of simulating robust wireless sensor network applications in building automation environments
Published in 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) (01-09-2010)“…Wireless sensor networks (WSN) get increasing importance in different application areas. In building automation, applications on WSN are expected to utilize a…”
Get full text
Conference Proceeding -
9
Toward verification of material handling systems
Published in 2011 9th IEEE International Conference on Industrial Informatics (01-07-2011)“…The correct designing of today's logistic systems has become an increasingly cumbersome process, especially due to their growing sizes and heterogeneities…”
Get full text
Conference Proceeding