Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Engineering a Predictive Energy Consumption Model for University Properties., , , , , and . EMS, page 381-387. IEEE, (2013)A guidance framework for synthesis of multi-core reconfigurable real-time systems., , , , , and . Inf. Sci., (2020)Analysis of Petri net based control algorithms - basic properties.. ACC, page 3172-3176. IEEE, (2000)Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking., , , , and . ACC, page 4141-4146. IEEE, (2002)Transparency analysis of Petri net based logic controllers-a measure for software quality in automation., and . ACC, page 3182-3186. IEEE, (2000)Correctness analysis of Petri net based logic controllers., and . ACC, page 3165-3166. IEEE, (2000)Automatic implementation of Petri net based control algorithms on PLC.. ACC, page 2819-2823. IEEE, (2000)Visualization of PLC programs using XML., and . ACC, page 3082-3087. IEEE, (2004)Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems., , , , and . Inf. Sci., (2020)On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints., , , , and . IEEE Trans Autom. Sci. Eng., 18 (3): 1492-1504 (2021)