Armin Zimmermann
Orcid: 0000-0001-7439-7686Affiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
Proceedings of the Model-Driven Engineering and Software Development, 2022
2021
Proceedings of the IEEE International Systems Conference, 2021
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021
Proceedings of the IEEE International Symposium on Systems Engineering, 2021
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
Proceedings of the IEEE International Symposium on Systems Engineering, 2020
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
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
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
Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, 2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
2017
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017
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
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
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
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
2016
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
Proceedings of the 14th IEEE International Conference on Software Engineering Research, 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
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
Proceedings of the SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21, 2015
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
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014
Proceedings of the IEEE International Systems Conference, 2014
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
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
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
Proceedings of the IEEE International Systems Conference, 2013
Proceedings of the IEEE International Systems Conference, 2013
Proceedings of the IEEE International Systems Conference, 2013
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
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
2012
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
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
IEEE Trans. Ind. Informatics, 2010
Proceedings of the IEEE International Conference on Systems, 2010
Proceedings of the IEEE International Conference on Systems, 2010
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
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009
2008
Inform. Forsch. Entwickl., 2008
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
Springer, ISBN: 978-3-540-74172-5, 2008
2007
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007
Proceedings of the IEEE International Conference on Systems, 2007
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2007
2006
Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006
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
Proceedings of the Business Process Management, 4th International Conference, 2006
2005
J. Syst. Softw., 2005
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
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
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004
2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
2002
J. Oper. Res. Soc., 2002
2001
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
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
1995
Perform. Evaluation, 1995
Informationstechnik Tech. Inform., 1995