Armin Zimmermann
Armin Zimmermann
Professor für Informatik, Technische Universität Ilmenau
Verified email at tu-ilmenau.de - Homepage
Title
Cited by
Cited by
Year
TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
R German, C Kelling, A Zimmermann, G Hommel
Performance Evaluation 24 (1-2), 69-87, 1995
2821995
Petri net modelling and performability evaluation with TimeNET 3.0
A Zimmermann, J Freiheit, R German, G Hommel
International conference on modelling techniques and tools for computer …, 2000
1642000
Stochastic Discrete Event Systems
A Zimmermann
Springer, 2008
1332008
A train control system case study in model-based real time system design
A Zimmermann, G Hommel
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003
1072003
Electromyography sensor based control for a hand exoskeleton
A Wege, A Zimmermann
2007 IEEE International Conference on Robotics and Biomimetics (ROBIO), 1470 …, 2007
1042007
Towards modeling and evaluation of ETCS real-time communication and operation
A Zimmermann, G Hommel
Journal of Systems and Software 77 (1), 47-54, 2005
1032005
Modeling and evaluation of stochastic Petri nets with TimeNET 4.1
A Zimmermann
6th International ICST Conference on Performance Evaluation Methodologies …, 2012
962012
Modelling and evaluation of manufacturing systems using dedicated Petri nets
A Zimmermann, G Hommel
The International Journal of Advanced Manufacturing Technology 15 (2), 132-138, 1999
671999
Towards version 4.0 of TimeNET
A Zimmermann, M Knoke, A Huck, G Hommel
13th GI/ITG Conference-Measuring, Modelling and Evaluation of Computer and …, 2006
572006
Smart industry: How ICT will change the game!
BR Haverkort, A Zimmermann
IEEE internet computing 21 (1), 8-10, 2017
522017
Microservices in industry: insights into technologies, characteristics, and software quality
J Bogner, J Fritzsch, S Wagner, A Zimmermann
2019 IEEE international conference on software architecture companion (ICSA …, 2019
442019
Modelling and performance evaluation with timenet 4.4
A Zimmermann
International conference on quantitative evaluation of systems, 300-303, 2017
442017
Using UML state machines and petri nets for the quantitative investigation of ETCS
J Trowitzsch, A Zimmermann
Proceedings of the 1st international conference on Performance evaluation …, 2006
432006
A Petri net based design engine for manufacturing systems
A Zimmermann, J Freiheit, A Huck
International Journal of Production Research 39 (2), 225-253, 2001
432001
A two phase optimization method for Petri net models of manufacturing systems
A Zimmermann, D Rodriguez, M Silva
Journal of Intelligent Manufacturing 12 (5), 409-420, 2001
422001
Dependability models for designing disaster tolerant cloud computing systems
B Silva, P Maciel, E Tavares, A Zimmermann
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2013
412013
Flexible on-board stream processing for automotive sensor data
H Schweppe, A Zimmermann, D Grill
IEEE Transactions on Industrial Informatics 6 (1), 81-92, 2009
402009
On the suitability of correctness criteria for business process models
J Dehnert, A Zimmermann
International Conference on Business Process Management, 386-391, 2005
402005
Discrete time stochastic Petri nets for modeling and evaluation of real-time systems
A Zimmermann, J Freiheit, G Hommel
Proceedings 15th International Parallel and Distributed Processing Symposium …, 2001
402001
Timenet 3.0 tool description
A Zimmermann, R German, J Freiheit, G Hommel
Int. Conf. on Petri Nets and Performance Models (PNPM'99), Zaragoza, Spain, 1999
381999
The system can't perform the operation now. Try again later.
Articles 1–20