2008 |
19 | EE | Marcus Brenner,
Armin Zimmermann:
Analysis of Delay Time Distributions in Multistage Interconnection Networks Considering Multicast Traffic.
NCA 2008: 236-239 |
18 | EE | Christian Fleischer,
Armin Zimmermann:
Auswertung von elektromyographischen Signalen zur Steuerung von Exoskeletten.
Computer Science - Research and Development 22(3): 173-183 (2008) |
2007 |
17 | EE | Armin Zimmermann,
Michael Knoke,
Shang-Tae Yee,
Jeffrey D. Tew:
Model-based performance engineering of General Motors' vehicle supply chain.
SMC 2007: 1415-1420 |
16 | EE | Jan Trowitzsch,
D. Jerzynek,
Armin Zimmermann:
A toolkit for performability evaluation based on stochastic UML state machines.
VALUETOOLS 2007: 30 |
15 | EE | Volker Remuss,
Armin Zimmermann:
Tool-based performance evaluation of the blackboard communication system.
VALUETOOLS 2007: 66 |
2006 |
14 | EE | Juliane Siegeris,
Armin Zimmermann:
Workflow Model Compositions Preserving Relaxed Soundness.
Business Process Management 2006: 177-192 |
13 | | Armin Zimmermann,
Michael Knoke,
Alexander Huck,
Günter Hommel:
Towards version 4.0 of TimeNET.
MMB 2006: 473-476 |
12 | EE | Michael Knoke,
Armin Zimmermann:
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0.
QEST 2006: 117-118 |
11 | EE | Jan Trowitzsch,
Armin Zimmermann:
Using UML state machines and petri nets for the quantitative investigation of ETCS.
VALUETOOLS 2006: 34 |
2005 |
10 | EE | Juliane Dehnert,
Armin Zimmermann:
On the Suitability of Correctness Criteria for Business Process Models.
Business Process Management 2005: 386-391 |
9 | EE | Jan Trowitzsch,
Armin Zimmermann,
Günter Hommel:
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets.
IPDPS 2005 |
8 | EE | Armin Zimmermann,
Günter Hommel:
Towards modeling and evaluation of ETCS real-time communication and operation.
Journal of Systems and Software 77(1): 47-54 (2005) |
2004 |
7 | EE | Juliane Dehnert,
Armin Zimmermann:
Making Workflow Models Sound Using Petri Net Controller Synthesis.
CoopIS/DOA/ODBASE (1) 2004: 139-154 |
6 | EE | Michael Knoke,
Felix Kühling,
Armin Zimmermann,
Günter Hommel:
Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning.
ISPA 2004: 64-74 |
5 | EE | Diego Rodriguez,
Armin Zimmermann,
Manuel Silva:
Two heuristics for the improvement of a two-phase optimization method for manufacturing systems.
SMC (2) 2004: 1686-1692 |
2003 |
4 | EE | Armin Zimmermann,
Günter Hommel:
A Train Control System Case Study in Model-Based Real Time System Desig.
IPDPS 2003: 118 |
2001 |
3 | | Armin Zimmermann,
Jörn Freiheit,
Günter Hommel:
Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems.
IPDPS 2001: 100 |
2000 |
2 | EE | Armin Zimmermann,
Jörn Freiheit,
Reinhard German,
Günter Hommel:
Petri Net Modelling and Performability Evaluation with TimeNET 3.0.
Computer Performance Evaluation / TOOLS 2000: 188-202 |
1995 |
1 | | Reinhard German,
Christian Kelling,
Armin Zimmermann,
Günter Hommel:
TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets.
Perform. Eval. 24(1-2): 69-87 (1995) |