TimeNET - ein Werkzeug zur Modellierung mit zeiterweiterten Petri-Netzen. - Günter Hommel; Armin Zimmermann; Reinhard German; Christian Kelling (Informationstechnik Tech. Inform., 1995)

TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets. - Reinhard German; Christian Kelling; Armin Zimmermann; Günter Hommel (Perform. Evaluation, 1995)

Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen. - Armin Zimmermann (1997)

TimeNETMS-an integrated modeling and performance evaluation tool for manufacturing systems. - Armin Zimmermann; Jörn Freiheit (SMC, 1998)

Modelling and optimisation of manufacturing systems: Petri nets and simulated annealing. - Armin Zimmermann; Diego Rodríguez; Manuel Silva 001 (ECC, 1999)

Petri Net Modelling and Performability Evaluation with TimeNET 3.0. - Armin Zimmermann; Jörn Freiheit; Reinhard German; Günter Hommel (Computer Performance Evaluation / TOOLS, 2000)

Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems. - Armin Zimmermann; Jörn Freiheit; Günter Hommel (IPDPS, 2001)

A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets. - Jörn Freiheit; Armin Zimmermann (PNPM, 2001)

A two phase optimization method for Petri net models of manufacturing systems. - Armin Zimmermann; Diego Rodríguez; Manuel Silva Suárez (J. Intell. Manuf., 2001)

Modelling and evaluation of time aspects in business processes. - Juliane Dehnert; Jörn Freiheit; Armin Zimmermann (J. Oper. Res. Soc., 2002)

A Train Control System Case Study in Model-Based Real Time System Desig. - Armin Zimmermann; Günter Hommel (IPDPS, 2003)

Making Workflow Models Sound Using Petri Net Controller Synthesis. - Juliane Dehnert; Armin Zimmermann (CoopIS/DOA/ODBASE (1), 2004)

Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning. - Michael Knoke; Felix Kühling; Armin Zimmermann; Günter Hommel (ISPA, 2004)

Two heuristics for the improvement of a two-phase optimization method for manufacturing systems. - Diego Rodríguez; Armin Zimmermann; Manuel Silva Suárez (SMC (2), 2004)

On the Suitability of Correctness Criteria for Business Process Models. - Juliane Dehnert; Armin Zimmermann (Business Process Management, 2005)

Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets. - Jan Trowitzsch; Armin Zimmermann; Günter Hommel (IPDPS, 2005)

Towards modeling and evaluation of ETCS real-time communication and operation. - Armin Zimmermann; Günter Hommel (J. Syst. Softw., 2005)

Workflow Model Compositions Preserving Relaxed Soundness. - Juliane Siegeris; Armin Zimmermann (Business Process Management, 2006)

Towards version 4.0 of TimeNET. - Armin Zimmermann; Michael Knoke; Alexander Huck; Günter Hommel (MMB, 2006)

Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0. - Michael Knoke; Armin Zimmermann (QEST, 2006)

Using UML state machines and petri nets for the quantitative investigation of ETCS. - Jan Trowitzsch; Armin Zimmermann (VALUETOOLS, 2006)

Electromyography sensor based control for a hand exoskeleton. - Andreas Wege; Armin Zimmermann (ROBIO, 2007)

Model-based performance engineering of General Motors' vehicle supply chain. - Armin Zimmermann; Michael Knoke; Shang-Tae Yee; Jeffrey D. Tew (SMC, 2007)

Tool-based performance evaluation of the blackboard communication system. - Volker Remuss; Armin Zimmermann (VALUETOOLS, 2007)

A toolkit for performability evaluation based on stochastic UML state machines. - Jan Trowitzsch; D. Jerzynek; Armin Zimmermann (VALUETOOLS, 2007)

Stochastic discrete event systems - modeling, evaluation, applications. - Armin Zimmermann (Springer, 2008)

Analysis of Delay Time Distributions in Multistage Interconnection Networks Considering Multicast Traffic. - Marcus Brenner; Armin Zimmermann (NCA, 2008)

Flexible in-vehicle stream processing with distributed automotive control units for engineering and diagnosis. - Hendrik Schweppe; Armin Zimmermann; Daniel Grill (SIES, 2008)

Performance evaluation of logistics with componentized stochastic models. - Gabriel Alves de Albuquerque; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Armin Zimmermann (SMC, 2008)

Auswertung von elektromyographischen Signalen zur Steuerung von Exoskeletten. - Christian Fleischer 001; Armin Zimmermann (Inform. Forsch. Entwickl., 2008)

Transparent Coordinator Failure Recovery for ZigBee Networks. - Rasmus Kölln; Armin Zimmermann (ETFA, 2009)

Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation. - Armin Zimmermann; Jan Trowitzsch (MBEES, 2009)

Dependability evaluation of complex systems with TimeNET. - Armin Zimmermann (DYADEM-FTS@EDCC, 2010)

Executable specifications for model-based development of automotive software. - Christoph Bodenstein; Frank Lohse; Armin Zimmermann (SMC, 2010)

Model-based evaluation of avionics maintenance and logistics processes. - Volker Zerbe; Mario Schulz; Armin Zimmermann; Stephan Marwedel (SMC, 2010)

Flexible On-Board Stream Processing for Automotive Sensor Data. - Hendrik Schweppe; Armin Zimmermann; Daniel Grill (IEEE Trans. Ind. Informatics, 2010)

Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. - Gabriel Alves de Albuquerque; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Armin Zimmermann (IEEE Trans. Syst. Man Cybern. Part A, 2010)

Towards accuracy-adaptive simulation for efficient design-space optimization. - Armin Zimmermann; Christoph Bodenstein (SMC, 2011)

Performability modeling of electronic funds transfer systems. - Carlos Araújo; Paulo Romero Martins Maciel; Armin Zimmermann; Ermeson C. Andrade; Erica Sousa; Gustavo Rau de Almeida Callou; Paulo Roberto Freire Cunha (Computing, 2011)

Transforming UML state machines into stochastic Petri nets for energy consumption estimation of embedded systems. - Dmitriy Shorin; Armin Zimmermann; Paulo Romero Martins Maciel (SustainIT, 2012)

Modeling and evaluation of stochastic Petri nets with TimeNET 4.1. - Armin Zimmermann (VALUETOOLS, 2012)

Dependability models for designing disaster tolerant cloud computing systems. - Bruno Silva 001; Paulo Romero Martins Maciel; Eduardo Tavares; Armin Zimmermann (DSN, 2013)

Performability models for designing disaster tolerant Infrastructure-as-a-Service cloud computing systems. - Bruno Silva 001; Paulo Romero Martins Maciel; Armin Zimmermann (ICITST, 2013)

Multi-UAV Node Placement Strategies for Meshed Field Coverage. - Thomas Dietrich; Ralph Maschotta; Armin Zimmermann (ISWCS, 2013)

Model-based QoS evaluation for embedded wireless sensor networks. - Sven Jäger 002; Tino Jungebloud; Ralph Maschotta; Armin Zimmermann (SysCon, 2013)

MOF compliant fundamentals for multi-domain system modeling and simulation. - Tino Jungebloud; Sven Jäger 002; Ralph Maschotta; Armin Zimmermann (SysCon, 2013)

A framework for agile development of simulation-based system design tools. - Ralph Maschotta; Sven Jäger 002; Tino Jungebloud; Armin Zimmermann (SysCon, 2013)

Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial). - Armin Zimmermann (VALUETOOLS, 2013)

Evaluation of Embedded System Energy Usage with Extended UML Models. - Dmitriy Shorin; Armin Zimmermann (Softwaretechnik-Trends, 2013)

Formal description of an approach for power consumption estimation of embedded systems. - Dmitriy Shorin; Armin Zimmermann (PATMOS, 2014)

Extending the software tool TimeNET by power consumption estimation of UML MARTE models. - Dmitriy Shorin; Armin Zimmermann (SIMULTECH, 2014)

Dependability models for Eucalyptus infrastructure clouds considering VM life-cycle. - Jonathan Brilhante; Bruno Silva 001; Paulo Romero Martins Maciel; Armin Zimmermann (SMC, 2014)

Eucabomber 2.0: A tool for dependability tests in eucalyptus cloud infrastructures considering VM life-cycle. - Jonathan Brilhante; Bruno Silva 001; Paulo Romero Martins Maciel; Armin Zimmermann (SMC, 2014)

A simulation-based system design tool for avionic fiber-optical networks. - Sven Jäger 002; Armin Zimmermann; Ralph Maschotta (SysCon, 2014)

GeoClouds Modcs: A perfomability evaluation tool for disaster tolerant IaaS clouds. - Bruno Silva 001; Paulo Romero Martins Maciel; Jonathan Brilhante; Armin Zimmermann (SysCon, 2014)

TimeNET Optimization Environment. - Christoph Bodenstein; Armin Zimmermann (VALUETOOLS, 2014)

Improved clock synchronization start-up time for Ethernet AVB-based in-vehicle networks. - Aboubacar Diarra; Thomas Hogenmueller; Armin Zimmermann; Andreas Grzemba; Umair Asrar Khan (ETFA, 2015)

Automatic fault detection and execution monitoring in cooperative maneuvering. - Reza Balaghiasefi; Michael During; Kai Franke; Armin Zimmermann (ITST, 2015)

Computationally Efficient Multiphase Heuristics for Simulation-based Optimization. - Christoph Bodenstein; Thomas Dietrich; Armin Zimmermann (SIMULTECH, 2015)

Extending design space optimization heuristics for use with stochastic colored Petri nets. - Christoph Bodenstein; Armin Zimmermann (SysCon, 2015)

System design issues for future in-vehicle Ethernet-based time- and safety-critical networks. - Aboubacar Diarra; Armin Zimmermann (SysCon, 2015)

System architecture optimization with runtime reconfiguration of simulation models. - Alexander Wichmann; Sven Jäger 002; Tino Jungebloud; Ralph Maschotta; Armin Zimmermann (SysCon, 2015)

Towards a Unified Decentralized Swarm Management and Maintenance Coordination Based on MAVLink. - Thomas Dietrich; Oleksandr Andryeyev; Armin Zimmermann; Andreas Mitschele-Thiel (ICARSC, 2016)

An EMF-like UML Generator for C++. - Sven Jäger 002; Ralph Maschotta; Tino Jungebloud; Alexander Wichmann; Armin Zimmermann (MODELSWARD, 2016)

Model-driven development of simulation-based system design tools. - Sven Jäger 002; Ralph Maschotta; Tino Jungebloud; Alexander Wichmann; Armin Zimmermann (SERA, 2016)

Creation of domain-specific languages for executable system models with the Eclipse Modeling Project. - Sven Jäger 002; Ralph Maschotta; Tino Jungebloud; Alexander Wichmann; Armin Zimmermann (SysCon, 2016)

Specification and execution of system optimization processes with UML activity diagrams. - Alexander Wichmann; Sven Jäger 002; Tino Jungebloud; Ralph Maschotta; Armin Zimmermann (SysCon, 2016)

fDRIT- An Evaluation Tool for Transient Removal Methods in Discrete Event Stochastic Simulations. - Sushma Nagaraj; Armin Zimmermann (VALUETOOLS, 2016)

Model-Based QoS Evaluation and Validation for Embedded Wireless Sensor Networks. - Sven Jäger 002; Tino Jungebloud; Ralph Maschotta; Armin Zimmermann (IEEE Syst. J., 2016)

A Model-Driven fUML Execution Engine for C++. - Francesco Bedini; Ralph Maschotta; Alexander Wichmann; Sven Jäger 002; Armin Zimmermann (MODELSWARD, 2017)

A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and Optimization. - Alexander Wichmann; Ralph Maschotta; Francesco Bedini; Sven Jäger 002; Armin Zimmermann (MODELSWARD, 2017)

Dependability Evaluation of AFDX Real-Time Avionic Communication Networks. - Armin Zimmermann; Paulo R. M. Maciel (PRDC, 2017)

Modelling and Performance Evaluation with TimeNET 4.4. - Armin Zimmermann (QEST, 2017)

A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets. - Armin Zimmermann; Thomas Hotz; Andrés Canabal Lavista (QEST, 2017)

An fUML extension simplifying executable UML models implemented for a C++ execution engine. - Francesco Bedini; Ralph Maschotta; Alexander Wichmann; Armin Zimmermann (SpringSim (Mod4Sim), 2017)

Deriving architecture design variants for system optimization from design space descriptions expressed using a UML profile. - Alexander Wichmann; Francesco Bedini; Ralph Maschotta; Armin Zimmermann (SpringSim (Mod4Sim), 2017)

An empirical study on generic multicopter energy consumption profiles. - Thomas Dietrich; Silvia Krug; Armin Zimmermann (SysCon, 2017)

Model-based dynamic reliability engineering for hybrid electric vehicle design. - Armin Zimmermann; Thomas Dietrich; Paulo Romero Martins Maciel; Andreas Hildebrandt 002 (SysCon, 2017)

Towards Energy Consumption Prediction with Safety Margins for Multicopter Systems. - Thomas Dietrich; Silvia Krug; Thomas Hotz; Armin Zimmermann (VALUETOOLS, 2017)

Some Notes on Rare-Event Simulation Challenges. - Armin Zimmermann; Andrés Canabal Lavista; Ricardo J. Rodríguez (VALUETOOLS, 2017)

Smart Industry: How ICT Will Change the Game! - Boudewijn R. Haverkort; Armin Zimmermann (IEEE Internet Comput., 2017)

A C++ Implementation of UML Subsets and Unions for MDE. - Francesco Bedini; Ralph Maschotta; Alexander Wichmann; Armin Zimmermann (MODELSWARD, 2018)

Improving the fUML performance for C++ following a model-driven approach. - Francesco Bedini; Ralph Maschotta; Alexander Wichmann; Armin Zimmermann (SpringSim (Mod4Sim), 2018)

A workflow for the design of optimized system architectures using model-driven optimization. - Alexander Wichmann; Ralph Maschotta; Francesco Bedini; Armin Zimmermann (SpringSim (Mod4Sim), 2018)

Optimization of systems with nested design space. - Armin Zimmermann; Ralph Maschotta; Alexander Wichmann; Robert Hilbrich (SysCon, 2018)

Sensitivity analysis of an availability model for disaster tolerant cloud computing system. - Bruno Silva 001; Rúbens de Souza Matos Júnior; Eduardo Tavares; Paulo Romero Martins Maciel; Armin Zimmermann (Int. J. Netw. Manag., 2018)

A Software Tool for the Evaluation of Transient Removal Methods in Discrete Event Stochastic Simulations. - Sushma Nagaraj; Armin Zimmermann (Systems Modeling: Methodologies and Tools, 2019)

Integrated Automotive Requirements Engineering with a SysML-Based Domain-Specific Language. - Ralph Maschotta; Alexander Wichmann; Armin Zimmermann; Kristina Gruber (ICM, 2019)

Towards Automated fUML Model Verification with Petri Nets. - Francesco Bedini; Ralph Maschotta; Alexander Wichmann; Armin Zimmermann (MODELSWARD, 2019)

Model-Driven Development of UML-Based Domain-Specific Languages for System Architecture Variants. - Alexander Wichmann; Ralph Maschotta; Francesco Bedini; Armin Zimmermann (SysCon, 2019)

Integrating Simulation and Numerical Analysis in the Evaluation of Generalized Stochastic Petri Nets. - Armin Zimmermann; Thomas Hotz (ACM Trans. Model. Comput. Simul., 2019)

Model-Based Dependability Analysis of Fail-Operational Electric Drivetrains. - Christian Ebner; Kirill Gorelik; Armin Zimmermann (AIM, 2020)

Optimization of Fail-Operational Vehicle Traction Battery System Design. - Christian Ebner; Kirill Gorelik; Armin Zimmermann (ISSE, 2020)

Performability analysis of services in a software-defined networking adopting time-based moving target defense mechanisms. - Júlio Mendonça 001; Jin-Hee Cho; Terrence J. Moore; Frederica F. Nelson; Hyuk Lim; Armin Zimmermann; Dong Seong Kim 001 (SAC, 2020)

An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques. - Ricardo J. Rodríguez; Simona Bernardi 001; Armin Zimmermann (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Automated Dynamic Safety Evaluation of Generic Fail-Operational Mechatronic Systems. - Christian Ebner; Kirill Gorelik; Armin Zimmermann (ICPHM, 2021)

Model-Based Design Space Exploration for Fail-Operational Mechatronic Systems. - Christian Ebner; Kirill Gorelik; Armin Zimmermann (ISSE, 2021)

A Model-driven Implementation of PSCS Specification for C++. - Maximilian Hammer; Ralph Maschotta; Alexander Wichmann; Tino Jungebloud; Francesco Bedini; Armin Zimmermann (MODELSWARD, 2021)

A generative Approach for creating Eclipse Sirius Editors for generic Systems. - Francesco Bedini; Ralph Maschotta; Armin Zimmermann (SysCon, 2021)

PSCS4CPP: A Generative PSCS Implementation for C++. - Maximilian Hammer; Ralph Maschotta; Alexander Wichmann; Tino Jungebloud; Francesco Bedini; Armin Zimmermann (MODELSWARD (Revised Selected Papers), 2022)

Colored Petri Net Modelling and Evaluation of Drone Inspection Methods for Distribution Networks. - Aleksandra Fedorova; Viktar Beliautsou; Armin Zimmermann (Sensors, 2022)

Demo: Interactive Performance Exploration of Stream Processing Applications Using Colored Petri Nets. - Timo Räth; Francesco Bedini; Kai-Uwe Sattler; Armin Zimmermann (DEBS, 2023)

Hierarchical Model-Based Cybersecurity Risk Assessment During System Design. - Tino Jungebloud; Nhung H. Nguyen; Dong Seong Kim 001; Armin Zimmermann (SEC, 2023)

Automated Design Exploration and Dynamic Safety Analysis for Optimization of Mechatronic Systems in Safety-Critical Automotive Applications. - Christian Ebner; Kirill Gorelik; Armin Zimmermann (IEEE Syst. J., 2023)

Extended Polymorphism Semantics for fUML Models. - Maximilian Hammer; Ralph Maschotta; Armin Zimmermann (SEAA, 2024)

An Analysis and Simulation Framework for Systems with Classification Components. - Francesco Bedini; Tino Jungebloud; Ralph Maschotta; Armin Zimmermann (MODELSWARD, 2024)

Automated Transformation of a Domain-Specific Language for System Modeling to Stochastic Colored Petri Nets. - Francesco Bedini; Timo Räth; Ralph Maschotta; Kai-Uwe Sattler; Armin Zimmermann (SysCon, 2024)

Model-based structural and behavioral cybersecurity risk assessment in system designs. - Tino Jungebloud; Nhung H. Nguyen; Dan Dongseong Kim; Armin Zimmermann (Comput. Secur., 2025)