 | 2008 |
|---|
| 20 |       | Marcus Brenner,
Armin Zimmermann:
Analysis of Delay Time Distributions in Multistage Interconnection Networks Considering Multicast Traffic.
NCA 2008: 236-239 |
| 19 | | Hendrik Schweppe,
Armin Zimmermann,
Daniel Grill:
Flexible in-vehicle stream processing with distributed automotive control units for engineering and diagnosis.
SIES 2008: 74-81 |
| 18 | | Christian Fleischer,
Armin Zimmermann:
Auswertung von elektromyographischen Signalen zur Steuerung von Exoskeletten.
Computer Science - Research and Development 22(3): 173-183 (2008) |
| 2007 |
|---|
| 17 | | 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 | | Jan Trowitzsch,
D. Jerzynek,
Armin Zimmermann:
A toolkit for performability evaluation based on stochastic UML state machines.
VALUETOOLS 2007: 30 |
| 15 | | Volker Remuss,
Armin Zimmermann:
Tool-based performance evaluation of the blackboard communication system.
VALUETOOLS 2007: 66 |
| 2006 |
|---|
| 14 | | 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 | | Michael Knoke,
Armin Zimmermann:
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0.
QEST 2006: 117-118 |
| 11 | | Jan Trowitzsch,
Armin Zimmermann:
Using UML state machines and petri nets for the quantitative investigation of ETCS.
VALUETOOLS 2006: 34 |
| 2005 |
|---|
| 10 | | Juliane Dehnert,
Armin Zimmermann:
On the Suitability of Correctness Criteria for Business Process Models.
Business Process Management 2005: 386-391 |
| 9 | | Jan Trowitzsch,
Armin Zimmermann,
Günter Hommel:
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets.
IPDPS 2005 |
| 8 | | 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 | | Juliane Dehnert,
Armin Zimmermann:
Making Workflow Models Sound Using Petri Net Controller Synthesis.
CoopIS/DOA/ODBASE (1) 2004: 139-154 |
| 6 | | 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 | | 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 | | 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 | | 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) |
