Armin Zimmermann

110 papers A 6B 10C 14Misc 2Journal 19Unranked 56

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Compiler-Like Code Generation for fUML: Reducing Overhead in Executable UML. IEEE Access Maximilian Hammer, Ralph Maschotta, Armin Zimmermann
2025	J	`jnl`	Model-based structural and behavioral cybersecurity risk assessment in system designs. Comput. Secur. Tino Jungebloud, Nhung H. Nguyen, Dan Dongseong Kim, Armin Zimmermann
2024	C	`conf`	An Analysis and Simulation Framework for Systems with Classification Components. MODELSWARD Francesco Bedini, Tino Jungebloud, Ralph Maschotta, Armin Zimmermann
2024	—	`conf`	Automated Transformation of a Domain-Specific Language for System Modeling to Stochastic Colored Petri Nets. SysCon Francesco Bedini, Timo Räth, Ralph Maschotta, Kai-Uwe Sattler, Armin Zimmermann
2024	B	`conf`	Extended Polymorphism Semantics for fUML Models. SEAA Maximilian Hammer, Ralph Maschotta, Armin Zimmermann
2023	J	`jnl`	Automated Design Exploration and Dynamic Safety Analysis for Optimization of Mechatronic Systems in Safety-Critical Automotive Applications. IEEE Syst. J. Christian Ebner, Kirill Gorelik, Armin Zimmermann
2023	—	`conf`	Demo: Interactive Performance Exploration of Stream Processing Applications Using Colored Petri Nets. DEBS Timo Räth, Francesco Bedini, Kai-Uwe Sattler, Armin Zimmermann
2023	Misc	`conf`	Hierarchical Model-Based Cybersecurity Risk Assessment During System Design. SEC Tino Jungebloud, Nhung H. Nguyen, Dong Seong Kim, Armin Zimmermann
2022	J	`jnl`	Colored Petri Net Modelling and Evaluation of Drone Inspection Methods for Distribution Networks. Sensors Aleksandra Fedorova, Viktar Beliautsou, Armin Zimmermann
2022	—	`conf`	PSCS4CPP: A Generative PSCS Implementation for C++. MODELSWARD (Revised Selected Papers) Maximilian Hammer, Ralph Maschotta, Alexander Wichmann, Tino Jungebloud, Francesco Bedini, Armin Zimmermann
2021	C	`conf`	A Model-driven Implementation of PSCS Specification for C++. MODELSWARD Maximilian Hammer, Ralph Maschotta, Alexander Wichmann, Tino Jungebloud, Francesco Bedini, Armin Zimmermann
2021	—	`conf`	A generative Approach for creating Eclipse Sirius Editors for generic Systems. SysCon Francesco Bedini, Ralph Maschotta, Armin Zimmermann
2021	—	`conf`	Automated Dynamic Safety Evaluation of Generic Fail-Operational Mechatronic Systems. ICPHM Christian Ebner, Kirill Gorelik, Armin Zimmermann
2021	—	`conf`	Model-Based Design Space Exploration for Fail-Operational Mechatronic Systems. ISSE Christian Ebner, Kirill Gorelik, Armin Zimmermann
2020	J	`jnl`	An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques. IEEE Trans. Syst. Man Cybern. Syst. Ricardo J. Rodríguez, Simona Bernardi, Armin Zimmermann
2020	—	`conf`	Model-Based Dependability Analysis of Fail-Operational Electric Drivetrains. AIM Christian Ebner, Kirill Gorelik, Armin Zimmermann
2020	—	`conf`	Optimization of Fail-Operational Vehicle Traction Battery System Design. ISSE Christian Ebner, Kirill Gorelik, Armin Zimmermann
2020	Misc	`conf`	Performability analysis of services in a software-defined networking adopting time-based moving target defense mechanisms. SAC Júlio Mendonça, Jin-Hee Cho, Terrence J. Moore, Frederica F. Nelson, Hyuk Lim, Armin Zimmermann, Dong Seong Kim
2019	—	`ch.`	A Software Tool for the Evaluation of Transient Removal Methods in Discrete Event Stochastic Simulations. Systems Modeling: Methodologies and Tools Sushma Nagaraj, Armin Zimmermann
2019	—	`conf`	Integrated Automotive Requirements Engineering with a SysML-Based Domain-Specific Language. ICM Ralph Maschotta, Alexander Wichmann, Armin Zimmermann, Kristina Gruber
2019	J	`jnl`	Integrating Simulation and Numerical Analysis in the Evaluation of Generalized Stochastic Petri Nets. ACM Trans. Model. Comput. Simul. Armin Zimmermann, Thomas Hotz
2019	—	`conf`	Model-Driven Development of UML-Based Domain-Specific Languages for System Architecture Variants. SysCon Alexander Wichmann, Ralph Maschotta, Francesco Bedini, Armin Zimmermann
2019	C	`conf`	Towards Automated fUML Model Verification with Petri Nets. MODELSWARD Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann
2018	C	`conf`	A C++ Implementation of UML Subsets and Unions for MDE. MODELSWARD Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann
2018	—	`conf`	A workflow for the design of optimized system architectures using model-driven optimization. SpringSim (Mod4Sim) Alexander Wichmann, Ralph Maschotta, Francesco Bedini, Armin Zimmermann
2018	—	`conf`	Improving the fUML performance for C++ following a model-driven approach. SpringSim (Mod4Sim) Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann
2018	—	`conf`	Optimization of systems with nested design space. SysCon Armin Zimmermann, Ralph Maschotta, Alexander Wichmann, Robert Hilbrich
2018	J	`jnl`	Sensitivity analysis of an availability model for disaster tolerant cloud computing system. Int. J. Netw. Manag. Bruno Silva, Rúbens de Souza Matos Júnior, Eduardo Tavares, Paulo Romero Martins Maciel, Armin Zimmermann
2017	—	`conf`	A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets. QEST Armin Zimmermann, Thomas Hotz, Andrés Canabal Lavista
2017	C	`conf`	A Model-Driven fUML Execution Engine for C++. MODELSWARD Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Sven Jäger, Armin Zimmermann
2017	C	`conf`	A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and Optimization. MODELSWARD Alexander Wichmann, Ralph Maschotta, Francesco Bedini, Sven Jäger, Armin Zimmermann
2017	—	`conf`	An empirical study on generic multicopter energy consumption profiles. SysCon Thomas Dietrich, Silvia Krug, Armin Zimmermann
2017	—	`conf`	An fUML extension simplifying executable UML models implemented for a C++ execution engine. SpringSim (Mod4Sim) Francesco Bedini, Ralph Maschotta, Alexander Wichmann, Armin Zimmermann
2017	C	`conf`	Dependability Evaluation of AFDX Real-Time Avionic Communication Networks. PRDC Armin Zimmermann, Paulo R. M. Maciel
2017	—	`conf`	Deriving architecture design variants for system optimization from design space descriptions expressed using a UML profile. SpringSim (Mod4Sim) Alexander Wichmann, Francesco Bedini, Ralph Maschotta, Armin Zimmermann
2017	—	`conf`	Model-based dynamic reliability engineering for hybrid electric vehicle design. SysCon Armin Zimmermann, Thomas Dietrich, Paulo Romero Martins Maciel, Andreas Hildebrandt
2017	—	`conf`	Modelling and Performance Evaluation with TimeNET 4.4. QEST Armin Zimmermann
2017	J	`jnl`	Smart Industry: How ICT Will Change the Game! IEEE Internet Comput. Boudewijn R. Haverkort, Armin Zimmermann
2017	—	`conf`	Some Notes on Rare-Event Simulation Challenges. VALUETOOLS Armin Zimmermann, Andrés Canabal Lavista, Ricardo J. Rodríguez
2017	—	`conf`	Towards Energy Consumption Prediction with Safety Margins for Multicopter Systems. VALUETOOLS Thomas Dietrich, Silvia Krug, Thomas Hotz, Armin Zimmermann
2016	C	`conf`	An EMF-like UML Generator for C++. MODELSWARD Sven Jäger, Ralph Maschotta, Tino Jungebloud, Alexander Wichmann, Armin Zimmermann
2016	—	`conf`	Creation of domain-specific languages for executable system models with the Eclipse Modeling Project. SysCon Sven Jäger, Ralph Maschotta, Tino Jungebloud, Alexander Wichmann, Armin Zimmermann
2016	J	`jnl`	Model-Based QoS Evaluation and Validation for Embedded Wireless Sensor Networks. IEEE Syst. J. Sven Jäger, Tino Jungebloud, Ralph Maschotta, Armin Zimmermann
2016	C	`conf`	Model-driven development of simulation-based system design tools. SERA Sven Jäger, Ralph Maschotta, Tino Jungebloud, Alexander Wichmann, Armin Zimmermann
2016	—	`conf`	Specification and execution of system optimization processes with UML activity diagrams. SysCon Alexander Wichmann, Sven Jäger, Tino Jungebloud, Ralph Maschotta, Armin Zimmermann
2016	—	`conf`	Towards a Unified Decentralized Swarm Management and Maintenance Coordination Based on MAVLink. ICARSC Thomas Dietrich, Oleksandr Andryeyev, Armin Zimmermann, Andreas Mitschele-Thiel
2016	—	`conf`	fDRIT- An Evaluation Tool for Transient Removal Methods in Discrete Event Stochastic Simulations. VALUETOOLS Sushma Nagaraj, Armin Zimmermann
2015	—	`conf`	Automatic fault detection and execution monitoring in cooperative maneuvering. ITST Reza Balaghiasefi, Michael During, Kai Franke, Armin Zimmermann
2015	C	`conf`	Computationally Efficient Multiphase Heuristics for Simulation-based Optimization. SIMULTECH Christoph Bodenstein, Thomas Dietrich, Armin Zimmermann
2015	—	`conf`	Extending design space optimization heuristics for use with stochastic colored Petri nets. SysCon Christoph Bodenstein, Armin Zimmermann
2015	C	`conf`	Improved clock synchronization start-up time for Ethernet AVB-based in-vehicle networks. ETFA Aboubacar Diarra, Thomas Hogenmueller, Armin Zimmermann, Andreas Grzemba, Umair Asrar Khan
2015	—	`conf`	System architecture optimization with runtime reconfiguration of simulation models. SysCon Alexander Wichmann, Sven Jäger, Tino Jungebloud, Ralph Maschotta, Armin Zimmermann
2015	—	`conf`	System design issues for future in-vehicle Ethernet-based time- and safety-critical networks. SysCon Aboubacar Diarra, Armin Zimmermann
2014	—	`conf`	A simulation-based system design tool for avionic fiber-optical networks. SysCon Sven Jäger, Armin Zimmermann, Ralph Maschotta
2014	B	`conf`	Dependability models for Eucalyptus infrastructure clouds considering VM life-cycle. SMC Jonathan Brilhante, Bruno Silva, Paulo Romero Martins Maciel, Armin Zimmermann
2014	B	`conf`	Eucabomber 2.0: A tool for dependability tests in eucalyptus cloud infrastructures considering VM life-cycle. SMC Jonathan Brilhante, Bruno Silva, Paulo Romero Martins Maciel, Armin Zimmermann
2014	C	`conf`	Extending the software tool TimeNET by power consumption estimation of UML MARTE models. SIMULTECH Dmitriy Shorin, Armin Zimmermann
2014	—	`conf`	Formal description of an approach for power consumption estimation of embedded systems. PATMOS Dmitriy Shorin, Armin Zimmermann
2014	—	`conf`	GeoClouds Modcs: A perfomability evaluation tool for disaster tolerant IaaS clouds. SysCon Bruno Silva, Paulo Romero Martins Maciel, Jonathan Brilhante, Armin Zimmermann
2014	—	`conf`	TimeNET Optimization Environment. VALUETOOLS Christoph Bodenstein, Armin Zimmermann
2013	—	`conf`	A framework for agile development of simulation-based system design tools. SysCon Ralph Maschotta, Sven Jäger, Tino Jungebloud, Armin Zimmermann
2013	A	`conf`	Dependability models for designing disaster tolerant cloud computing systems. DSN Bruno Silva, Paulo Romero Martins Maciel, Eduardo Tavares, Armin Zimmermann
2013	J	`jnl`	Evaluation of Embedded System Energy Usage with Extended UML Models. Softwaretechnik-Trends Dmitriy Shorin, Armin Zimmermann
2013	—	`conf`	MOF compliant fundamentals for multi-domain system modeling and simulation. SysCon Tino Jungebloud, Sven Jäger, Ralph Maschotta, Armin Zimmermann
2013	—	`conf`	Model-based QoS evaluation for embedded wireless sensor networks. SysCon Sven Jäger, Tino Jungebloud, Ralph Maschotta, Armin Zimmermann
2013	—	`conf`	Multi-UAV Node Placement Strategies for Meshed Field Coverage. ISWCS Thomas Dietrich, Ralph Maschotta, Armin Zimmermann
2013	—	`conf`	Performability models for designing disaster tolerant Infrastructure-as-a-Service cloud computing systems. ICITST Bruno Silva, Paulo Romero Martins Maciel, Armin Zimmermann
2013	—	`conf`	Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial). VALUETOOLS Armin Zimmermann
2012	—	`conf`	Modeling and evaluation of stochastic Petri nets with TimeNET 4.1. VALUETOOLS Armin Zimmermann
2012	—	`conf`	Transforming UML state machines into stochastic Petri nets for energy consumption estimation of embedded systems. SustainIT Dmitriy Shorin, Armin Zimmermann, Paulo Romero Martins Maciel
2011	J	`jnl`	Performability modeling of electronic funds transfer systems. Computing Carlos Araújo, Paulo Romero Martins Maciel, Armin Zimmermann, Ermeson C. Andrade, Erica Sousa, Gustavo Rau de Almeida Callou, Paulo Roberto Freire Cunha
2011	B	`conf`	Towards accuracy-adaptive simulation for efficient design-space optimization. SMC Armin Zimmermann, Christoph Bodenstein
2010	J	`jnl`	Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. IEEE Trans. Syst. Man Cybern. Part A Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann
2010	—	`conf`	Dependability evaluation of complex systems with TimeNET. DYADEM-FTS@EDCC Armin Zimmermann
2010	B	`conf`	Executable specifications for model-based development of automotive software. SMC Christoph Bodenstein, Frank Lohse, Armin Zimmermann
2010	J	`jnl`	Flexible On-Board Stream Processing for Automotive Sensor Data. IEEE Trans. Ind. Informatics Hendrik Schweppe, Armin Zimmermann, Daniel Grill
2010	B	`conf`	Model-based evaluation of avionics maintenance and logistics processes. SMC Volker Zerbe, Mario Schulz, Armin Zimmermann, Stephan Marwedel
2009	—	`conf`	Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation. MBEES Armin Zimmermann, Jan Trowitzsch
2009	C	`conf`	Transparent Coordinator Failure Recovery for ZigBee Networks. ETFA Rasmus Kölln, Armin Zimmermann
2008	B	`conf`	Analysis of Delay Time Distributions in Multistage Interconnection Networks Considering Multicast Traffic. NCA Marcus Brenner, Armin Zimmermann
2008	J	`jnl`	Auswertung von elektromyographischen Signalen zur Steuerung von Exoskeletten. Inform. Forsch. Entwickl. Christian Fleischer, Armin Zimmermann
2008	—	`conf`	Flexible in-vehicle stream processing with distributed automotive control units for engineering and diagnosis. SIES Hendrik Schweppe, Armin Zimmermann, Daniel Grill
2008	B	`conf`	Performance evaluation of logistics with componentized stochastic models. SMC Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann
2008	—	`book`	Stochastic discrete event systems - modeling, evaluation, applications. Armin Zimmermann
2007	—	`conf`	A toolkit for performability evaluation based on stochastic UML state machines. VALUETOOLS Jan Trowitzsch, D. Jerzynek, Armin Zimmermann
2007	—	`conf`	Electromyography sensor based control for a hand exoskeleton. ROBIO Andreas Wege, Armin Zimmermann
2007	B	`conf`	Model-based performance engineering of General Motors' vehicle supply chain. SMC Armin Zimmermann, Michael Knoke, Shang-Tae Yee, Jeffrey D. Tew
2007	—	`conf`	Tool-based performance evaluation of the blackboard communication system. VALUETOOLS Volker Remuss, Armin Zimmermann
2006	—	`conf`	Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0. QEST Michael Knoke, Armin Zimmermann
2006	—	`conf`	Towards version 4.0 of TimeNET. MMB Armin Zimmermann, Michael Knoke, Alexander Huck, Günter Hommel
2006	—	`conf`	Using UML state machines and petri nets for the quantitative investigation of ETCS. VALUETOOLS Jan Trowitzsch, Armin Zimmermann
2006	A	`conf`	Workflow Model Compositions Preserving Relaxed Soundness. Business Process Management Juliane Siegeris, Armin Zimmermann
2005	A	`conf`	On the Suitability of Correctness Criteria for Business Process Models. Business Process Management Juliane Dehnert, Armin Zimmermann
2005	A	`conf`	Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets. IPDPS Jan Trowitzsch, Armin Zimmermann, Günter Hommel
2005	J	`jnl`	Towards modeling and evaluation of ETCS real-time communication and operation. J. Syst. Softw. Armin Zimmermann, Günter Hommel
2004	—	`conf`	Making Workflow Models Sound Using Petri Net Controller Synthesis. CoopIS/DOA/ODBASE (1) Juliane Dehnert, Armin Zimmermann
2004	C	`conf`	Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning. ISPA Michael Knoke, Felix Kühling, Armin Zimmermann, Günter Hommel
2004	—	`conf`	Two heuristics for the improvement of a two-phase optimization method for manufacturing systems. SMC (2) Diego Rodríguez, Armin Zimmermann, Manuel Silva Suárez
2003	A	`conf`	A Train Control System Case Study in Model-Based Real Time System Desig. IPDPS Armin Zimmermann, Günter Hommel
2002	J	`jnl`	Modelling and evaluation of time aspects in business processes. J. Oper. Res. Soc. Juliane Dehnert, Jörn Freiheit, Armin Zimmermann
2001	—	`conf`	A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets. PNPM Jörn Freiheit, Armin Zimmermann
2001	J	`jnl`	A two phase optimization method for Petri net models of manufacturing systems. J. Intell. Manuf. Armin Zimmermann, Diego Rodríguez, Manuel Silva Suárez
2001	A	`conf`	Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems. IPDPS Armin Zimmermann, Jörn Freiheit, Günter Hommel
2000	—	`conf`	Petri Net Modelling and Performability Evaluation with TimeNET 3.0. Computer Performance Evaluation / TOOLS Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel
1999	—	`conf`	Modelling and optimisation of manufacturing systems: Petri nets and simulated annealing. ECC Armin Zimmermann, Diego Rodríguez, Manuel Silva
1998	B	`conf`	TimeNET SMC Armin Zimmermann, Jörn Freiheit
1997	—	`—`	Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen. Armin Zimmermann
1995	J	`jnl`	TimeNET - ein Werkzeug zur Modellierung mit zeiterweiterten Petri-Netzen. Informationstechnik Tech. Inform. Günter Hommel, Armin Zimmermann, Reinhard German, Christian Kelling
1995	—	`conf`	TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets. PNPM Reinhard German, Christian Kelling, Armin Zimmermann, Günter Hommel
1995	J	`jnl`	TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets. Perform. Evaluation Reinhard German, Christian Kelling, Armin Zimmermann, Günter Hommel