Search results for "ProC/B"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Markus Arns, Markus Fischer, Carsten Tepper, Markus Völker	Visualization of Analysis Results in the ProC/B Toolset.	QEST	2004	DBLP DOI BibTeX RDF
41	Falko Bause, Peter Buchholz 0001, Jan Kriege, Sebastian Vastag	Simulating process chain models with OMNeT++.	SimuTools	2008	DBLP DOI BibTeX RDF	ProC/B, DES, logistics, OMNeT++
32	Peter Buchholz 0001, Carsten Tepper	Functional Analysis of Process-Oriented Systems.	OR	2004	DBLP DOI BibTeX RDF
28	Sebastian Vastag	ProC/B for Networks: Integrated INET Models.	MMB/DFT	2010	DBLP DOI BibTeX RDF
28	Jan Kriege, Sebastian Vastag	ProC/B goes OMNeT++: Efficient Simulation of Process Chains.	MMB	2008	DBLP BibTeX RDF
28	Jan Kriege	Konsistenzprüfung von ProC/B-Modellen zur Vorbereitung einer simulativen Analyse.	SimVis	2007	DBLP BibTeX RDF
28	Peter Kemper, Carsten Tepper	Visualizing the Dynamic Behavior of ProC/B Models.	SimVis	2005	DBLP BibTeX RDF
28	Peter Buchholz 0001, Falko Bause, Carsten Tepper	The ProC/B-Approach from informal descriptions to formal models.	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
28	Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker	The ProC/B Toolset for the Modelling and Analysis of Process Chains.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF	Process Chains, Generalised Stochastic Petri Nets, Simulation, E-Commerce, E-Business, Queueing Networks
21	Peter Kemper, Carsten Tepper	Trace based analysis of process interaction models.	WSC	2005	DBLP DOI BibTeX RDF
11	Markus Arns, Peter Buchholz 0001, Dennis Müller 0003	OPEDo: a tool for the optimization of performance and dependability models.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
11	Peter Buchholz 0001, Dennis Müller 0003, Peter Kemper, Axel Thümmler	OPEDo: a tool framework for modeling and optimization of stochastic models.	VALUETOOLS	2006	DBLP DOI BibTeX RDF