pverstra's validation [20 articles] Export

Recent papers added to pverstra's library classified by the tag validation. You can also see everyone's validation.

	TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets [My Copy] Performance Evaluation In Performance Modeling Tools, Vol. 24, No. 1-2. (November 1995), pp. 69-87. by Reinhard German, Christian Kelling, Armin Zimmermann, Gunter Hommel posted to timed_petri_nets validation by pverstra on 2008-06-05 14:19:10 as along with 1 person ngoncalves
	A Generalized Stochastic Petri Net Model for Management of Distributed Manufacturing Systems [My Copy] Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on In Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on (2005), pp. 2125-2130. by M. Dotoli, M. P. Fanti posted to validation by pverstra on 2008-06-02 15:30:47 as
	Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks [My Copy] IEEE Trans. Comput., Vol. 44, No. 4. (April 1995), pp. 577-592. by Murray C. Woodside, Yao Li posted to validation by pverstra on 2008-06-02 15:09:33 as
	Petri nets in performance analysis: An introduction [My Copy] Lectures on Petri Nets I: Basic Models (1998), pp. 211-256. by Ajmone, A. Bobbio, S. Donatelli posted to petri_nets validation by pverstra on 2008-06-02 11:24:38 as
	Efficient approximation of response time densities and quantiles in stochastic models [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 29, No. 1. (January 2004), pp. 151-155. by Susanna W. M. Au-Yeung, Nicholas J. Dingle, William J. Knottenbelt posted to petri_nets validation by pverstra on 2008-06-01 19:57:59 as
	Response time densities in generalised stochastic petri net models [My Copy] In WOSP '02: Proceedings of the 3rd international workshop on Software and performance (2002), pp. 46-54. by Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt posted to petri_nets validation by pverstra on 2008-06-01 19:22:52 as
	Annotated bibliography on stochastic Petri nets [My Copy] (1994) by F. Baccelli, G. Balbo, R. Boucherie, J. Campos, G. Chiola posted to petri_nets validation by pverstra on 2008-06-01 17:21:03 as
	Petri nets and industrial applications: A tutorial [My Copy] Industrial Electronics, IEEE Transactions on In Industrial Electronics, IEEE Transactions on, Vol. 41, No. 6. (1994), pp. 567-583. by R. Zurawski, Mengchu Zhou posted to petri_nets validation by pverstra on 2008-06-01 10:44:30 as
	Cycle time of stochastic event graphs: evaluation and marking optimization [My Copy] Automatic Control, IEEE Transactions on In Automatic Control, IEEE Transactions on, Vol. 39, No. 7. (1994), pp. 1482-1486. by J. M. Proth, Xiao-Lan Xie posted to petri_nets validation by pverstra on 2008-05-31 14:49:11 as
	Efficient approximation of response time densities and quantiles in stochastic models [My Copy] In WOSP '04: Proceedings of the 4th international workshop on Software and performance (2004), pp. 151-155. by Susanna W. M. Au-Yeung, Nicholas J. Dingle, William J. Knottenbelt posted to petri_nets validation by pverstra on 2008-05-31 12:07:38 as
	Model-based performance prediction in software development: a survey [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 30, No. 5. (2004), pp. 295-310. by S. Balsamo, A. Di Marco, P. Inverardi, M. Simeoni posted to architecture timed_petri_nets validation by pverstra on 2008-05-31 12:03:47 as along with 2 people jorritschippers kazato
	Use of GSPNs for Concurrent Software Validation in EPOCA; Information and Software Technology [My Copy] by S. Donatelli posted to petri_nets validation by pverstra on 2008-05-25 14:36:59 as
	Pipe v2.5.: a petri net tool for performance modelling [My Copy] In 23rd Latin American Conference on Informatics (October 2007) by Pere Bonet, Catalina Llado, Ramon Puijaner, William Knottenbelt posted to petri_nets validation by pverstra on 2008-05-25 13:47:25 as
	Principles and techniques of simulation validation, verification, and testing [My Copy] Simulation Conference Proceedings, 1995. Winter In Simulation Conference Proceedings, 1995. Winter (1995), pp. 147-154. by O. Balci posted to simulation validation verification by pverstra on 2008-03-31 14:20:31 as
	Verification and validation of simulation models [My Copy] Simulation Conference, 2005 Proceedings of the Winter In Simulation Conference, 2005 Proceedings of the Winter (2005), 14 pp.. by R. G. Sargent posted to simulation validation verification by pverstra on 2008-03-18 15:50:21 as along with 3 people ogurcan simmcast remipannequin
	Towards autonomic computing systems [My Copy] Engineering Applications of Artificial Intelligence In Autonomic Computing Systems, Vol. 17, No. 7. (October 2004), pp. 689-699. by Huaglory Tianfield, Rainer Unland posted to autonomic control validation by pverstra on 2007-08-01 12:39:52 as along with 1 person and 1 group thiagomanel macc
	Formalization and Validation [My Copy] In Workshop on Foundations for Modeling and Simulation (M&S) Verification and Validation (2002) by Desel posted to petri_nets validation by pverstra on 2006-02-13 13:38:25 as along with 1 group macc
	The Practitioner's Guide to Coloured Petri Nets [My Copy] International Journal on Software Tools for Technology Transfer, Vol. 2, No. 2. (1998), pp. 98-132. by Lars M. Kristensen, Soren Christensen, Kurt Jensen posted to petri_nets validation by pverstra on 2006-02-13 12:51:50 as along with 1 group macc
	An Introduction to the Practical Use of Coloured Petri Nets. [My Copy] Lecture Notes in Computer Science: Lectures on Petri Nets II: Applications, Vol. 1492 (1998) by K. Jensen edited by reisig, rozenberg posted to coloured high-level modelling nets petri practical spaces state support tool use validation verification coloured_petri_nets petri_nets by pverstra on 2006-01-30 16:54:53 as along with 1 group macc
	A Formal Development and Validation Methodology Applied to Agent-Based Systems [My Copy] In Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems, Vol. 1887 (2001), pp. 214-226. by Di Marzo edited by T. Wagner, O. Rana posted to agent validation by pverstra on 2006-01-17 10:35:25 as along with 1 person and 1 group gaohj macc

Note: You may cite this page as: http://www.citeulike.org/user/pverstra/tag/validation

agent	246
manufacturing_control	159
scheduling	155
manufacturing-control	101
architecture	94
petri_nets	80
bibtex-import	62
holon	60
manufacturing	51
simulation	42
ant	38
agent-based	36
environment	34
agent_based	33
formalism	27
petri-net	27
software	27
modelling	26
coordination	23
statistics	23
aco	20
validation	20
optimisation	19
uml	19
emergence	17
ai	15
negotiation	15
autonomic	13
self_organization	12
publication	11
discrete_event_system	10
control	9
methodology	9
requirements	9
system_theorie	9
domain_knowledge	8
graph_theory	8
local_search	8
timed_petri_nets	8
agents	7
self-organization	7
bdi	6
complexity	6
interaction	6
dispatching	5
distributed_system	5
petri	5
schedule_repair	5
stability	5
swarm	5
complex_system	4
modeling	4
operations_research	4
problem	4
robotics	4
stigmergy	4
verification	4
analysis	3
ant-based	3
biblio	3
disturbance	3
embedded_control	3
macc	3
mathematics	3
planning	3
traffic	3
documentation	2
logistics	2
production	2
reference-nets	2
shop_floor_control	2
survey	2
system_theory	2
2007	1
abm	1
active_object	1
aose	1
automated-storage-retrieval-systems	1
bayesian	1
bidding	1
blackboard	1
clustering	1
coloured	1
coloured_petri_nets	1
concurrency	1
cuda	1
deadlock	1
economy	1
forecast	1
graphics_processing_unit	1
grid	1
high-level	1
industrial	1
job	1
management	1
negotiaton	1
nets	1
old	1
optimization	1
parking	1
pma	1
practical	1
project	1
pull	1
rationality	1
reachability	1
robot	1
shops	1
spaces	1
state	1
state_space	1
storage--moving-trade	1
supply_chain	1
support	1
system_architecture	1
telecommunication	1
tool	1
tree	1
use	1

pverstra's validation [20 articles] Export

pverstra's tags