Computationally efficient multiphase heuristics for simulation-based optimization. - In: Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21 - 23 July 2015, ISBN 978-989-758-120-5, (2015), S. 95-100
Stochastic colored Petri nets are an established model for the specification and quantitative evaluation of complex systems. Automated design-space optimization for such models can help in the design phase to find good variants and parameter settings. However, since only indirect heuristic optimization based on simulation is usually possible, and the design space may be huge, the computational effort of such an algorithm is often prohibitively high. This paper extends earlier work on accuracy-adaptive simulation to speed up the overall optimization task. A local optimization heuristic in a "divide-and-conquer" approach is combined with varying simulation accuracy to save CPU time when the response surface contains local optima. An application example is analyzed with our recently implemented software tool to validate the advantages of the approach.
Fault detection by backwards analysis in coloured workflow nets. - In: Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21 - 23 July 2015, ISBN 978-989-758-120-5, (2015), S. 88-94
Investigating the effect of electrical brain stimulation using a connectome-based brain network model. - In: BMC neuroscience, ISSN 1471-2202, Bd. 16.2015, Suppl. 1, O13, insges. 2 S.
https://doi.org/10.1186/1471-2202-16-S1-O13
A simple and efficient step towards type-correct XSLT transformations. - In: 26th International Conference on Rewriting Techniques and Applications, (2015), S. 350-364
https://doi.org/10.4230/LIPIcs.RTA.2015.350
Eine offene Software-Architektur für moderne Smartcards. - In: D-A-CH Security 2015, (2015), S. 267-278
Analyse und Simulation dynamischer RBAC-Zugriffssteuerungsmodelle. - In: D-A-CH Security 2015, (2015), S. 110-121
A uniform modeling pattern for operating systems access control policies with an application to SELinux. - In: Proceeedings of the 12th International Conference on Security and Cryptography, Colmar, Alsace, France, 20 - 22 July, 2015, ISBN 978-989-758-117-5, (2015), S. 88-99
Magnetic NGF-releasing PLLA/iron oxide nanoparticles direct extending neurites and preferentially guide neurites along aligned electrospun microfibers. - In: ACS chemical neuroscience, ISSN 1948-7193, Bd. 6 (2015), 11, S. 1781-1788
https://doi.org/10.1021/acschemneuro.5b00189
Cortical current density magnitudes during transcranial direct current stimulation correlate with skull thickness in children and adults. - In: International Conference on Basic and Clinical Multimodal Imaging, (2015), S. 190
MNE-CPP: real-time MEG/EEG data acquisition, processing, and analysis tools. - In: International Conference on Basic and Clinical Multimodal Imaging, (2015), S. 181