|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24 occurrences of 20 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Carlos Araújo, Paulo Romero Martins Maciel, Armin Zimmermann, Ermeson Andrade, Erica Sousa, Gustavo Rau de Almeida Callou, Paulo Roberto Freire Cunha |
Performability modeling of electronic funds transfer systems.  |
Computing  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Zimmermann, Christoph Bodenstein |
Towards accuracy-adaptive simulation for efficient design-space optimization. |
SMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Schweppe, Armin Zimmermann, Daniel Grill |
Flexible On-Board Stream Processing for Automotive Sensor Data. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Armin Zimmermann |
Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution. |
IEEE Transactions on Systems, Man, and Cybernetics, Part A |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Bodenstein, Frank Lohse, Armin Zimmermann |
Executable specifications for model-based development of automotive software. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Zerbe, Mario Schulz, Armin Zimmermann, Stephan Marwedel |
Model-based evaluation of avionics maintenance and logistics processes. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Zimmermann, Jan Trowitzsch |
Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rasmus Kölln, Armin Zimmermann |
Transparent Coordinator Failure Recovery for ZigBee Networks. |
ETFA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Fleischer, Armin Zimmermann |
Auswertung von elektromyographischen Signalen zur Steuerung von Exoskeletten. |
Inform., Forsch. Entwickl. |
2008 |
DBLP DOI BibTeX RDF |
Signal evaluation, EMG signals, Exoskeleton |
| 1 | Armin Zimmermann |
Stochastic discrete event systems - modeling, evaluation, applications. |
|
2008 |
RDF |
|
| 1 | Marcus Brenner, Armin Zimmermann |
Analysis of Delay Time Distributions in Multistage Interconnection Networks Considering Multicast Traffic. |
NCA |
2008 |
DBLP DOI BibTeX RDF |
Quality of Service, performance analysis, multicasting, Multistage interconnection networks, delay distributions |
| 1 | Hendrik Schweppe, Armin Zimmermann, Daniel Grill |
Flexible in-vehicle stream processing with distributed automotive control units for engineering and diagnosis. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Zimmermann, Michael Knoke, Shang-Tae Yee, Jeffrey D. Tew |
Model-based performance engineering of General Motors' vehicle supply chain. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Trowitzsch, D. Jerzynek, Armin Zimmermann |
A toolkit for performability evaluation based on stochastic UML state machines. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
stochastic UML state machines, performance evaluation, petri nets, software tool, model transformation |
| 1 | Volker Remuss, Armin Zimmermann |
Tool-based performance evaluation of the blackboard communication system. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
simulation testbed, real-time system, ad-hoc networking, embedded system, communication system |
| 1 | Jan Trowitzsch, Armin Zimmermann |
Using UML state machines and petri nets for the quantitative investigation of ETCS. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
UML state machines, model transformation, stochastic petri nets, ETCS |
| 1 | Michael Knoke, Armin Zimmermann |
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Zimmermann, Michael Knoke, Alexander Huck, Günter Hommel |
Towards version 4.0 of TimeNET. |
MMB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juliane Siegeris, Armin Zimmermann |
Workflow Model Compositions Preserving Relaxed Soundness. |
Business Process Management |
2006 |
DBLP DOI BibTeX RDF |
Inter-organizational Workflow, Petri nets, Workflow, Validation, Composition |
| 1 | Armin Zimmermann, Günter Hommel |
Towards modeling and evaluation of ETCS real-time communication and operation. |
Journal of Systems and Software |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Trowitzsch, Armin Zimmermann, Günter Hommel |
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliane Dehnert, Armin Zimmermann |
On the Suitability of Correctness Criteria for Business Process Models. |
Business Process Management |
2005 |
DBLP DOI BibTeX RDF |
Validation of business process models, Petri nets, Workflow |
| 1 | Diego Rodriguez, Armin Zimmermann, Manuel Silva |
Two heuristics for the improvement of a two-phase optimization method for manufacturing systems. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliane Dehnert, Armin Zimmermann |
Making Workflow Models Sound Using Petri Net Controller Synthesis. |
CoopIS/DOA/ODBASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Zimmermann, Günter Hommel |
A Train Control System Case Study in Model-Based Real Time System Desig. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Zimmermann, Jörn Freiheit, Günter Hommel |
Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems. |
IPDPS |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard German, Christian Kelling, Armin Zimmermann, Günter Hommel |
TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets. |
Perform. Eval. |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")