Up a level |
Meyer, Tom (2023) A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking. In: International Workshop on Petri Nets and Software Engineering (PNSE'23), 26-27 Jun 2023, Lisbon,Portugal. Proceedings, published by CEUR Workshop Proceedings, Aachen, Germany, pp. 88-109.
Meyer, Tom and Andelfinger, Philipp and Ruscheinski, Andreas and Uhrmacher, Adelinde M. (2022) Seamless Simulation-Based Verification and Validation of Event-Driven Software Systems. In: Winter Simulation Conference (WSC 2022), 11-14 Dec 2022, Singapore. Proceedings, published by IEEE, pp. 2130-2141.
Meyer, Tom and Ruscheinski, Andreas and Wilsdorf, Pia and Uhrmacher, Adelinde M. (2021) Simulation-Supported Engineering of Self-Adaptive Software Systems. In: Winter Simulation Conference (WSC 2021), 13-16 Dec 2021, Phoenix, Arizona, USA. Proceedings, published by IEEE Press, pp. 1-12.
Meyer, Tom and Helms, Tobias and Warnke, Tom and Uhrmacher, Adelinde M. (2018) Runtime Code Generation for Interpreted Domain-Specific Modeling Languages. In: Winter Simulation Conference (WSC 2018), 09-12 Dec 2018, Gothenburg, Sweden. Proceedings, published by IEEE, pp. 605-616.