| 2008 |
|---|
| 16 | EE | Christian Fleischer,
Armin Zimmermann:
Auswertung von elektromyographischen Signalen zur Steuerung von Exoskeletten.
Computer Science - Research and Development 22(3): 173-183 (2008) |
| 2007 |
|---|
| 15 | EE | Jan Trowitzsch,
D. Jerzynek,
Armin Zimmermann:
A toolkit for performability evaluation based on stochastic UML state machines.
VALUETOOLS 2007: 30 |
| 14 | EE | Volker Remuss,
Armin Zimmermann:
Tool-based performance evaluation of the blackboard communication system.
VALUETOOLS 2007: 66 |
| 2006 |
|---|
| 13 | EE | Juliane Siegeris,
Armin Zimmermann:
Workflow Model Compositions Preserving Relaxed Soundness.
Business Process Management 2006: 177-192 |
| 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) |
