Armin Zimmermann

Orcid: 0000-0001-7439-7686

Affiliations:
  • Technische Universität Ilmenau, Faculty of Automation and Computer Science, Systems and Software Engineering Group, Germany
  • Technical University of Berlin, Department of Mathematics, Germany (former)


According to our database1, Armin Zimmermann authored at least 106 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automated Transformation of a Domain-Specific Language for System Modeling to Stochastic Colored Petri Nets.
Proceedings of the IEEE International Systems Conference, 2024

An Analysis and Simulation Framework for Systems with Classification Components.
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2023
Automated Design Exploration and Dynamic Safety Analysis for Optimization of Mechatronic Systems in Safety-Critical Automotive Applications.
IEEE Syst. J., December, 2023

Hierarchical Model-Based Cybersecurity Risk Assessment During System Design.
Proceedings of the ICT Systems Security and Privacy Protection, 2023

Demo: Interactive Performance Exploration of Stream Processing Applications Using Colored Petri Nets.
Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems, 2023

2022
Colored Petri Net Modelling and Evaluation of Drone Inspection Methods for Distribution Networks.
Sensors, 2022

PSCS4CPP: A Generative PSCS Implementation for C++.
Proceedings of the Model-Driven Engineering and Software Development, 2022

2021
A generative Approach for creating Eclipse Sirius Editors for generic Systems.
Proceedings of the IEEE International Systems Conference, 2021

A Model-driven Implementation of PSCS Specification for C++.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Model-Based Design Space Exploration for Fail-Operational Mechatronic Systems.
Proceedings of the IEEE International Symposium on Systems Engineering, 2021

Automated Dynamic Safety Evaluation of Generic Fail-Operational Mechatronic Systems.
Proceedings of the International IEEE Conference on Prognostics and Health Management, 2021

2020
An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Performability analysis of services in a software-defined networking adopting time-based moving target defense mechanisms.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Optimization of Fail-Operational Vehicle Traction Battery System Design.
Proceedings of the IEEE International Symposium on Systems Engineering, 2020

Model-Based Dependability Analysis of Fail-Operational Electric Drivetrains.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2020

2019
Integrating Simulation and Numerical Analysis in the Evaluation of Generalized Stochastic Petri Nets.
ACM Trans. Model. Comput. Simul., 2019

Model-Driven Development of UML-Based Domain-Specific Languages for System Architecture Variants.
Proceedings of the 2019 IEEE International Systems Conference, 2019

Towards Automated fUML Model Verification with Petri Nets.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Integrated Automotive Requirements Engineering with a SysML-Based Domain-Specific Language.
Proceedings of the IEEE International Conference on Mechatronics, 2019

A Software Tool for the Evaluation of Transient Removal Methods in Discrete Event Stochastic Simulations.
Proceedings of the Systems Modeling: Methodologies and Tools, 2019

2018
Sensitivity analysis of an availability model for disaster tolerant cloud computing system.
Int. J. Netw. Manag., 2018

Optimization of systems with nested design space.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

A workflow for the design of optimized system architectures using model-driven optimization.
Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, 2018

Improving the fUML performance for C++ following a model-driven approach.
Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, 2018

A C++ Implementation of UML Subsets and Unions for MDE.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

2017
Smart Industry: How ICT Will Change the Game!
IEEE Internet Comput., 2017

Some Notes on Rare-Event Simulation Challenges.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Towards Energy Consumption Prediction with Safety Margins for Multicopter Systems.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Model-based dynamic reliability engineering for hybrid electric vehicle design.
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

An empirical study on generic multicopter energy consumption profiles.
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

Deriving architecture design variants for system optimization from design space descriptions expressed using a UML profile.
Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering, Mod4Sim 2017, Virginia Beach, VA, USA, April 23, 2017

An fUML extension simplifying executable UML models implemented for a C++ execution engine.
Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering, Mod4Sim 2017, Virginia Beach, VA, USA, April 23, 2017

A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Modelling and Performance Evaluation with TimeNET 4.4.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Dependability Evaluation of AFDX Real-Time Avionic Communication Networks.
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and Optimization.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

A Model-Driven fUML Execution Engine for C++.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2016
Model-Based QoS Evaluation and Validation for Embedded Wireless Sensor Networks.
IEEE Syst. J., 2016

fDRIT- An Evaluation Tool for Transient Removal Methods in Discrete Event Stochastic Simulations.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Specification and execution of system optimization processes with UML activity diagrams.
Proceedings of the Annual IEEE Systems Conference, 2016

Creation of domain-specific languages for executable system models with the Eclipse Modeling Project.
Proceedings of the Annual IEEE Systems Conference, 2016

Model-driven development of simulation-based system design tools.
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 2016

An EMF-like UML Generator for C++.
Proceedings of the MODELSWARD 2016, 2016

Towards a Unified Decentralized Swarm Management and Maintenance Coordination Based on MAVLink.
Proceedings of the 2016 International Conference on Autonomous Robot Systems and Competitions, 2016

2015
System architecture optimization with runtime reconfiguration of simulation models.
Proceedings of the Annual IEEE Systems Conference, 2015

System design issues for future in-vehicle Ethernet-based time- and safety-critical networks.
Proceedings of the Annual IEEE Systems Conference, 2015

Extending design space optimization heuristics for use with stochastic colored Petri nets.
Proceedings of the Annual IEEE Systems Conference, 2015

Computationally Efficient Multiphase Heuristics for Simulation-based Optimization.
Proceedings of the SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21, 2015

Automatic fault detection and execution monitoring in cooperative maneuvering.
Proceedings of the 14th International Conference on ITS Telecommunications, 2015

Improved clock synchronization start-up time for Ethernet AVB-based in-vehicle networks.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014
TimeNET Optimization Environment.
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014

GeoClouds Modcs: A perfomability evaluation tool for disaster tolerant IaaS clouds.
Proceedings of the IEEE International Systems Conference, 2014

A simulation-based system design tool for avionic fiber-optical networks.
Proceedings of the IEEE International Systems Conference, 2014

Eucabomber 2.0: A tool for dependability tests in eucalyptus cloud infrastructures considering VM life-cycle.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Dependability models for Eucalyptus infrastructure clouds considering VM life-cycle.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Extending the software tool TimeNET by power consumption estimation of UML MARTE models.
Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

Formal description of an approach for power consumption estimation of embedded systems.
Proceedings of the 24th International Workshop on Power and Timing Modeling, 2014

2013
Evaluation of Embedded System Energy Usage with Extended UML Models.
Softwaretechnik-Trends, 2013

Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial).
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

A framework for agile development of simulation-based system design tools.
Proceedings of the IEEE International Systems Conference, 2013

MOF compliant fundamentals for multi-domain system modeling and simulation.
Proceedings of the IEEE International Systems Conference, 2013

Model-based QoS evaluation for embedded wireless sensor networks.
Proceedings of the IEEE International Systems Conference, 2013

Multi-UAV Node Placement Strategies for Meshed Field Coverage.
Proceedings of the ISWCS 2013, 2013

Performability models for designing disaster tolerant Infrastructure-as-a-Service cloud computing systems.
Proceedings of the 8th International Conference for Internet Technology and Secured Transactions, 2013

Dependability models for designing disaster tolerant cloud computing systems.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
Modeling and evaluation of stochastic Petri nets with TimeNET 4.1.
Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Transforming UML state machines into stochastic Petri nets for energy consumption estimation of embedded systems.
Proceedings of the Sustainable Internet and ICT for Sustainability, 2012

2011
Performability modeling of electronic funds transfer systems.
Computing, 2011

Towards accuracy-adaptive simulation for efficient design-space optimization.
Proceedings of the IEEE International Conference on Systems, 2011

2010
Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution.
IEEE Trans. Syst. Man Cybern. Part A, 2010

Flexible On-Board Stream Processing for Automotive Sensor Data.
IEEE Trans. Ind. Informatics, 2010

Model-based evaluation of avionics maintenance and logistics processes.
Proceedings of the IEEE International Conference on Systems, 2010

Executable specifications for model-based development of automotive software.
Proceedings of the IEEE International Conference on Systems, 2010

Dependability evaluation of complex systems with TimeNET.
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, 2010

2009
Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

Transparent Coordinator Failure Recovery for ZigBee Networks.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008
Auswertung von elektromyographischen Signalen zur Steuerung von Exoskeletten.
Inform. Forsch. Entwickl., 2008

Performance evaluation of logistics with componentized stochastic models.
Proceedings of the IEEE International Conference on Systems, 2008

Flexible in-vehicle stream processing with distributed automotive control units for engineering and diagnosis.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Analysis of Delay Time Distributions in Multistage Interconnection Networks Considering Multicast Traffic.
Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Stochastic discrete event systems - modeling, evaluation, applications.
Springer, ISBN: 978-3-540-74172-5, 2008

2007
A toolkit for performability evaluation based on stochastic UML state machines.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Tool-based performance evaluation of the blackboard communication system.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Model-based performance engineering of General Motors' vehicle supply chain.
Proceedings of the IEEE International Conference on Systems, 2007

Electromyography sensor based control for a hand exoskeleton.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2007

2006
Using UML state machines and petri nets for the quantitative investigation of ETCS.
Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006

Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Towards version 4.0 of TimeNET.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

Workflow Model Compositions Preserving Relaxed Soundness.
Proceedings of the Business Process Management, 4th International Conference, 2006

2005
Towards modeling and evaluation of ETCS real-time communication and operation.
J. Syst. Softw., 2005

Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

On the Suitability of Correctness Criteria for Business Process Models.
Proceedings of the Business Process Management, 3rd International Conference, 2005

2004
Two heuristics for the improvement of a two-phase optimization method for manufacturing systems.
Proceedings of the IEEE International Conference on Systems, 2004

Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning.
Proceedings of the Parallel and Distributed Processing and Applications, 2004

Making Workflow Models Sound Using Petri Net Controller Synthesis.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003
A Train Control System Case Study in Model-Based Real Time System Desig.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002
Modelling and evaluation of time aspects in business processes.
J. Oper. Res. Soc., 2002

2001
A two phase optimization method for Petri net models of manufacturing systems.
J. Intell. Manuf., 2001

A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

2000
Petri Net Modelling and Performability Evaluation with TimeNET 3.0.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1999
Modelling and optimisation of manufacturing systems: Petri nets and simulated annealing.
Proceedings of the 5th European Control Conference, 1999

1998
TimeNET<sub>MS</sub>-an integrated modeling and performance evaluation tool for manufacturing systems.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen.
PhD thesis, 1997

1995
TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets.
Perform. Evaluation, 1995

TimeNET - ein Werkzeug zur Modellierung mit zeiterweiterten Petri-Netzen.
Informationstechnik Tech. Inform., 1995


  Loading...