PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tepper, Carsten"

Author of the publication

copydeleteadd this publication to your clipboard
Visualization of Analysis Results in the ProC/B Toolset.

, , , and . QEST, page 318-319. IEEE Computer Society, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Carsten Scherer University of Stuttgart

Dr. Carsten Unger University of Stuttgart

Carsten Meyer University of Stuttgart

Carsten Ellwein University of Stuttgart

Univ. -Prof. Carsten Mehring University of Stuttgart

 

Other publications of authors with the same name

Visualizing the Dynamic Behavior of ProC/B Models., and . SimVis, page 63-74. SCS Publishing House e.V., (2005)Model-checking large structured Markov chains., , , and . J. Log. Algebr. Program., 56 (1-2): 69-97 (2003)Automated Trace Analysis of Discrete-Event System Models., and . IEEE Trans. Software Eng., 35 (2): 195-208 (2009)Traviando - Debugging Simulation Traces with Message Sequence Charts., and . QEST, page 135-136. IEEE Computer Society, (2006)A Petri Net Approach to Verify and Debug Simulation Models., and . Simulation and Verification of Dynamic Systems, volume 06161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Visualization of Analysis Results in the ProC/B Toolset., , , and . QEST, page 318-319. IEEE Computer Society, (2004)Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior., and . QEST, page 101-110. IEEE Computer Society, (2007)Functional Analysis of Process-Oriented Systems., and . OR, page 127-135. (2004)Trace based analysis of process interaction models., and . Winter Simulation Conference, page 427-436. IEEE Computer Society, (2005)The ProC/B-Approach from informal descriptions to formal models., , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 328-334. Department of Computer Science, University of Cyprus, (2004)