Search results for "verification/validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
47	Ayaz Farooq, Reiner R. Dumke	Research directions in verification & validation process improvement.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	STP, TMM, V&V, testing maturity model, verification & validation process, software process, SPI, software process improvement, SP, software test process, test process improvement
44	Robert G. Sargent, Priscilla A. Glasow, Jack P. C. Kleijnen, Averill M. Law, Ian McGregor, Simone Youngblood	Strategic directions in VV&A; research: strategic directions in Verification, Validation, and Accreditation research.	WSC	2000	DBLP DOI BibTeX RDF
43	Robert G. Sargent	Verification, validation, and accreditation: verification, validation, and accreditation of simulation models.	WSC	2000	DBLP DOI BibTeX RDF
30	Jef Jacobs, Jos J. M. Trienekens	Towards a Metrics Based Verification and Validation Maturity Model.	SAFECOMP	2002	DBLP DOI BibTeX RDF
29	A. Diagne	Control Properties in Object-Oriented Specifications.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	Object Methodology, Control Properties, Verification & Validation, Petri Nets
25	Candace L. Conwell, Rosemary Enright, Marcia A. Stutzman	Capability maturity models support of modeling and simulation verification, validation, and accreditation.	WSC	2000	DBLP DOI BibTeX RDF
25	Don Caughlin	An integrated approach to verification, validation, and accredition of models and simulations.	WSC	2000	DBLP DOI BibTeX RDF
23	Thomas Polacsek	Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels. (Verification, validation, certification: formal and informal approaches to establish the correction of artefacts and software).		2019	RDF
23	Osman Balci	Verification, validation, and certification of modeling and simulation applications: verification, validation, and certification of modeling and simulation applications.	WSC	2003	DBLP DOI BibTeX RDF
23	John S. Carson II	Verification validation: model verification and validation.	WSC	2002	DBLP DOI BibTeX RDF
23	Ella Rabinovich, Opher Etzion, Sitvanit Ruah, Sarit Archushin	Analyzing the behavior of event processing applications.	DEBS	2010	DBLP DOI BibTeX RDF	model checking, formal verification, static analysis, dynamic analysis, event processing, event processing network
18	Frank Schwartzenburg, William Oates, Jennifer Park, Donald Johnson, Marcy Stutzman, Michael Bailey, Simone Youngblood	Verification, validation, and accreditation (VV&A): one voice --- unified, common & cross-cutting.	SCSC	2007	DBLP BibTeX RDF	accreditation (VV&A), practice(s), process(es), verification, validation, templates
18	Linda Schmalbeck, Jonathan Stuart-Moore, Monte Evans	Adapting peer verification, validation and accreditation processes for digital libraries.	JCDL	2006	DBLP DOI BibTeX RDF	VV&A, content review, standards, validation, computational science, accreditation, educator resources
18	David A. Joiner, Steven I. Gordon, Scott A. Lathrop, Marilyn McClelland, D. E. Stevenson	Applying verification, validation, and accreditation processes to digital libraries.	JCDL	2005	DBLP DOI BibTeX RDF	verification, digital library, validation, peer review, accreditation
18	Nicholas A. Allen, Clifford A. Shaffer, Layne T. Watson	Building modeling tools that support verification, validation, and testing for the domain expert.	WSC	2005	DBLP DOI BibTeX RDF
18	Osman Balci, Richard E. Nance, James D. Arthur, William F. Ormsby	Improving the model development process: expanding our horizons in verification, validation, and accreditation research and practice.	WSC	2002	DBLP DOI BibTeX RDF
18	Osman Balci, William F. Ormsby, John T. Carr III, Said D. Saadi	Planning for verification, validation, and accreditation of modeling and simulation applications.	WSC	2000	DBLP DOI BibTeX RDF
18	Jennifer Chew, Cindy Sullivan	VV&A; I: verification, validation, and accreditation in the life cycle of models and simulations.	WSC	2000	DBLP DOI BibTeX RDF
16	Christof J. Budnik, Rajesh Subramanyan, Raj Tanikella	Scalable V&V Effort Estimation for Ultra-Large-Scale Systems.	SSIRI	2010	DBLP DOI BibTeX RDF	Verification & Validation, Effort Estimation
16	Devinder Thapa, Chang Mok Park, Suraj Dangol, Gi-Nam Wang	III-Phase Verification and Validation of IEC Standard Programmable Logic Controller.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF	Verification & Validation (V&V), Virtual Commissioning, Flexible Manufacturing System (FMS), Model Checking, PLC
16	Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron	Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve.	IHM	2006	DBLP DOI BibTeX RDF	CARE properties, multi-modal HCI, proof based technique, verification/validation
16	Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero	The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System.	HASE	2005	DBLP DOI BibTeX RDF	ERTMS/ETCS, Verification & Validation, Safety-Critical Systems, Functional Testing, Simulation Environments
16	Robert M. O'Keefe, Daniel E. O'Leary	Expert system verification and validation: a survey and tutorial.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	ACM Categories and Subject Descriptors D.2.4 [Software Engineering] Program Verification - Validation, D.2.5 [Software Engineering] Testing and Debugging, 1.2 [Artificial Intelligence] Applications and Expert Systems, K.6.1 [Management of Computers and Information System] Project and People Management - Life Cycle
13	Shimin Li, Ladan Tahvildari, Weining Liu, Mike Morrissey, Gary Cort	Coping with Requirements Changes in Software Verification and Validation.	CSMR	2008	DBLP DOI BibTeX RDF
13	Sampath Yerramalla, Bojan Cukic, Martin Mladenovski, Edgar Fuller	Stability Monitoring and Analysis of Learning in an Adaptive System.	DSN	2005	DBLP DOI BibTeX RDF
13	Dirk Brade	VV&A; II: enhancing modeling and simulation accreditation by structuring Verification and Validation results.	WSC	2000	DBLP DOI BibTeX RDF
13	Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay	Knowledge-Based Software Architectures: Acquisition, Specification, and Verification.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	architecture specification language, software architecture, formal verification, Knowledge-based system, knowledge acquisition, architecture style, compositional verification
13	Thomas Hoppe, Pedro Meseguer	VVT Terminology: A Proposal.	IEEE Expert	1993	DBLP DOI BibTeX RDF
12	Jan Peleska 0001, Michael Siegel	From Testing Theory to Test Driver Implementation.	FME	1996	DBLP DOI BibTeX RDF	may tests, must tests, refinement, test generation, CSP, reactive systems, FDR, test evaluation
12	Santiago Germino, Martín N. Menéndez, Ariel Lutenberg	An XSLT-Based Proposal to Ease Embedded Critical Systems Tools Implementation, Verification, Validation, Testing, and Certification Efforts.	IEEE Embed. Syst. Lett.	2023	DBLP DOI BibTeX RDF
12	Willow Carretero Chavez, Marcus Krantz, Edda Klipp, Irina Kufareva	kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models.	BMC Bioinform.	2023	DBLP DOI BibTeX RDF
12	Wihan Meyer, Rudolph Oosthuizen	Verification & Validation Methods for Complex AI-enabled Cyber-Physical Learning-Based Systems: A Systematic Literature Review.	ICE/ITMC	2023	DBLP DOI BibTeX RDF
12	Benjamin Schumeg, Franklin Marotta, Benjamin Werner	Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence.	ICAA	2023	DBLP DOI BibTeX RDF
12	Balmukund Sonigara, Sakir Sezer, Fahad Siddiqui 0001, Raphael Weber, Konstantinos Antonopoulos, Christos Panagiotou, Christos P. Antonopoulos, Georgios Keramidas, Nikolaos S. Voros, Sena Yengec Tasdemir, Henry Hui, Kieran McLaughlin	XANDAR: Verification & Validation Approach for Safety-critical Systems.	SOCC	2023	DBLP DOI BibTeX RDF
12	Hui Tang, Lizhi Wang, Lingfei You, Mengfei Yao, Xiaohong Wang	A quantitative analysis method for model uncertainty based on Verification, Validation, and Uncertainty Quantification.	DSA	2023	DBLP DOI BibTeX RDF
12	Alfonso Santiago, Constantine Butakoff, Beatriz Eguzkitza, Richard A. Gray, Karen May-Newman, Pras Pathmanathan, Vi Vu, Mariano Vázquez	Design and execution of a verification, validation, and uncertainty quantification plan for a numerical model of left ventricular flow after LVAD implantation.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
12	Mamamdou K. Traoré, Simon Gorecki, Yves Ducq	A Simulation Based Approach to Digital Twin's Interoperability Verification & Validation.	I-ESA Workshops	2022	DBLP BibTeX RDF
12	Chaïmaa Benabbou, Önder Gürcan	A Survey of Verification, Validation and Testing Solutions for Smart Contracts.	CoRR	2021	DBLP BibTeX RDF
12	Diana Suleimenova, Hamid Arabnejad, Wouter Edeling, David Coster, Onnie O. Luk, Jalal Lakhlili, Vytautas Jancauskas, Michal Kulczewski, Lourens E. Veen, Dongwei Ye, Pavel Zun, Valeria V. Krzhizhanovskaya, Alfons G. Hoekstra, Daan Crommelin, Peter V. Coveney, Derek Groen	Tutorial applications for Verification, Validation and Uncertainty Quantification using VECMA toolkit.	J. Comput. Sci.	2021	DBLP DOI BibTeX RDF
12	Katie Liszewski, Tim McDonley, Josh Delozier, Andrew Elliott, Dylan Jones, Matthew Sutter, Adam G. Kimura	Netlist Decompilation Workflow for Recovered Design Verification, Validation, and Assurance.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
12	Atif M. Memon, Myra B. Cohen	The IEEE 12th International Conference on Software Testing, Verification & Validation.	Softw. Test. Verification Reliab.	2021	DBLP DOI BibTeX RDF
12	Chaïmaa Benabbou, Önder Gürcan	A Survey of Verification, Validation and Testing Solutions for Smart Contracts.	BCCA	2021	DBLP DOI BibTeX RDF
12	Franz Wotawa	On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems.	SafeAI@AAAI	2021	DBLP BibTeX RDF
12	Bartosz Bosak, Tomasz Piontek, Paul Karlshoefer, Erwan Raffin, Jalal Lakhlili, Piotr Kopta	Verification, Validation and Uncertainty Quantification of Large-Scale Applications with QCG-PilotJob.	ICCS (5)	2021	DBLP DOI BibTeX RDF
12	Matthijs Berkhout, Sam Leewis, Koen Smit	A Functional Architecture for the Verification, Validation, Deployment, and Execution of Business Decisions and Business Logic.	ICSEB	2021	DBLP DOI BibTeX RDF
12	Derek Groen, Hamid Arabnejad, Vytautas Jancauskas, Wouter Edeling, Fredrik Jansson, Robin A. Richardson, Jalal Lakhlili, Linda van Veen, Bartosz Bosak, Piotr Kopta, D. W. Wright, Nicolas Monnier, Paul Karlshoefer, Diana Suleimenova, Robert Sinclair, Maxime Vassaux, Anna Nikishova, Mariusz Bieniek, Onnie O. Luk, Michal Kulczewski, Erwan Raffin, Daan Crommelin, Olivier Hoenen, David P. Coster, Tomasz Piontek, Peter V. Coveney	VECMAtk: A Scalable Verification, Validation and Uncertainty Quantification Toolkit for Scientific Simulations.	CoRR	2020	DBLP BibTeX RDF
12	Wenhui Wang 0002, Changyong Cao	NOAA-20 VIIRS DNB Aggregation Mode Change: Prelaunch Efforts and On-Orbit Verification/Validation Results.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2019	DBLP DOI BibTeX RDF
12	Patrick Esteve, Benoît Langlois, Lyes Chabani, Willy Platzer, Jacky Mouchoux	MAESTRIA: A New Tool to Support Collaborative Building and Sharing of an Integration, Verification, Validation, and Qualification Strategy.	CSDM	2019	DBLP DOI BibTeX RDF
12	Derek Groen, Robin A. Richardson, David W. Wright 0001, Vytautas Jancauskas, Robert Sinclair, Paul Karlshoefer, Maxime Vassaux, Hamid Arabnejad, Tomasz Piontek, Piotr Kopta, Bartosz Bosak, Jalal Lakhlili, Olivier Hoenen, Diana Suleimenova, Wouter Edeling, Daan Crommelin, Anna Nikishova, Peter V. Coveney	Introducing VECMAtk - Verification, Validation and Uncertainty Quantification for Multiscale and HPC Simulations.	ICCS (4)	2019	DBLP DOI BibTeX RDF
12	David Yeh	Autonomous Systems and the Challenges in Verification, Validation, and Test.	IEEE Des. Test	2018	DBLP DOI BibTeX RDF
12	Marco Mariottini	Verification & Validation Plan - A Case Study of a Turbine Bucket Design Modification.	CIISE	2018	DBLP BibTeX RDF
12	Muaz A. Niazi, Amir Hussain 0001, Mario Kolberg	Verification & Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) approach.	CoRR	2017	DBLP BibTeX RDF
12	Alberto Tremori, Pilar Caamaño Sobrino, Arnau Carrera Viñas, Giovanni Luca Maglione, David Solarna, Robert Been, Thomas Mansfield	A Verification, Validation and Accreditation Process for Autonomous Interoperable Systems.	MESAS	2017	DBLP DOI BibTeX RDF
12	Clément Duffau, Bartosz Grabiec, Mireille Blay-Fornarino	Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation: Application in a Healthcare Company.	ISSRE Workshops	2017	DBLP DOI BibTeX RDF
12	Heather M. Reed, Richard P. Vinci, Corbin Robeck, Trevor Verdonik, Michael Pires, Maria Castro, Wojciech Z. Misiolek, Christina Viau Haden	Statistically-substantiated density characterizations of additively manufactured steel alloys through verification, validation, and uncertainty quantification.	IEEE BigData	2017	DBLP DOI BibTeX RDF
12	Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn	A Vision for Online Verification-Validation.	CoRR	2016	DBLP BibTeX RDF
12	Sara Ricciardi, Carlo Leardi, Luca Stringhetti	Verification Validation and Testing: Passion and Deployment Challenges in the Italian Eco-System.	CIISE	2016	DBLP BibTeX RDF
12	Monika Singh, Ashok Kumar Sharma, Ruhi Saxena	A Rigorous Framework for Verification & Validation of Dynamic Aspect of Safety Critical System.	ICTCS	2016	DBLP DOI BibTeX RDF
12	Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn	A vision for online verification-validation.	GPCE	2016	DBLP DOI BibTeX RDF
12	Filippo Speziali, Davide D'Aria, Antonio Valentino, Emanuele Giorgi	GSS-RT: An advanced simulation instrument for early-stage verification & validation of a SAR data collection system.	IGARSS	2016	DBLP DOI BibTeX RDF
12	Naoshi Uchihira	Innovation design and its verification & validation in the era of the Internet of Things.	GCCE	2016	DBLP DOI BibTeX RDF
12	László Lengyel, Hassan Charaf	Test-driven verification/validation of model transformations.	Frontiers Inf. Technol. Electron. Eng.	2015	DBLP DOI BibTeX RDF
12	Magnus Eek, Sogol Kharrazi, Hampus Gavel, Johan Ölvander	Study of industrially applied methods for verification, validation and uncertainty quantification of simulator models.	Int. J. Model. Simul. Sci. Comput.	2015	DBLP DOI BibTeX RDF
12	Shankar Sankararaman, Sankaran Mahadevan	Integration of model verification, validation, and calibration for uncertainty quantification in engineering systems.	Reliab. Eng. Syst. Saf.	2015	DBLP DOI BibTeX RDF
12	Jonny Carlos da Silva, José Alexandre Matelli, Edson Bazzo	Development of a knowledge-based system for cogeneration plant design: Verification, validation and lessons learned.	Knowl. Based Syst.	2014	DBLP DOI BibTeX RDF
12	Sergio Luna, Amit J. Lopes, Hoong Yan See Tao, Francisco Zapata, Ricardo Pineda	Integration, Verification, Validation, Test, and Evaluation (IVVT&E) Framework for System of Systems (SoS).	Complex Adaptive Systems	2013	DBLP DOI BibTeX RDF
12	Mohamed Nabi, Rafid Al-Khoury	An efficient finite volume model for shallow geothermal systems - Part II: Verification, validation and grid convergence.	Comput. Geosci.	2012	DBLP DOI BibTeX RDF
12	Jacob Shabi, Yoram Reich	Developing an analytical model for planning systems verification, validation and testing processes.	Adv. Eng. Informatics	2012	DBLP DOI BibTeX RDF
12	Kais Samkari, Volkhard Franz	A Petri net based method for the early verification & validation of a simulation study in construction management.	WSC	2012	DBLP BibTeX RDF
12	Victor P. Zhukov	Verification, Validation and Testing of Kinetic Mechanisms of Hydrogen Combustion in Fluid Dynamic Computations	CoRR	2011	DBLP BibTeX RDF
12	Stefan Fenz, Andreas Ekelhart	Verification, Validation, and Evaluation in Information Security Risk Management.	IEEE Secur. Priv.	2011	DBLP DOI BibTeX RDF
12	M. S. Sivakumar, Valentine Casey, Fergal McCaffery, Gerry Coleman	Improving Verification & Validation in the Medical Device Domain.	EuroSPI	2011	DBLP DOI BibTeX RDF
12	M. S. Sivakumar, Valentine Casey, Fergal McCaffery, Gerry Coleman	Verification & Validation in Medi SPICE.	SPICE	2011	DBLP DOI BibTeX RDF
12	Shaun S. Gleason, Mesfin Dema, Hamed Sari-Sarraf, Anil M. Cheriyadat, Ranga Raju Vatsavai, Regina Ferrell	Verification & validation of a semantic image tagging framework via generation of geospatial imagery ground truth.	IGARSS	2011	DBLP DOI BibTeX RDF
12	S. M. Niaz Arifin, Gregory J. Davis, Ying Zhou	Verification & validation by docking: a case study of agent-based models of Anopheles gambiae.	SummerSim	2010	DBLP BibTeX RDF
12	Muaz A. Niazi, Qasim Siddique, Amir Hussain 0001, Mario Kolberg	Verification & validation of an agent-based forest fire simulation model.	SpringSim	2010	DBLP DOI BibTeX RDF
12	Hyun Young Kim, Ji Hyun Kim, InSook Cho, Jae-Ho Lee, Yoon Kim	Verification & Validation of the Knowledge Base for the Hypertension Management CDSS.	MedInfo	2010	DBLP DOI BibTeX RDF
12	Fei Liu 0006, Ming Yang 0015	An Optimal Design Method for Simulation Verification, Validation and Accreditation Schemes.	Simul.	2009	DBLP DOI BibTeX RDF
12	Songrith Kittiperachol, Zhili Sun, Haitham S. Cruickshank	Integration of Linux TCP and Simulation: Verification, Validation and Application.	J. Networks	2009	DBLP DOI BibTeX RDF
12	Muaz A. Niazi, Amir Hussain 0001, Mario Kolberg	Verification & Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) Approach.	MALLOW	2009	DBLP BibTeX RDF
12	Vincent Chapurlat, C. Braesch	Verification, validation, qualification and certification of enterprise models: Statements and opportunities.	Comput. Ind.	2008	DBLP DOI BibTeX RDF
12	Vincent Chapurlat	Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities.	MSVVEIS	2008	DBLP BibTeX RDF
12	Markus Hoppe, Avner Engel, Shalom Shachar	SysTest: Improving the verification, validation, and testing process - Assessing six industrial pilot projects.	Syst. Eng.	2007	DBLP DOI BibTeX RDF
12	James D. Arthur, Anil Bazaz, Richard E. Nance, Osman Balci	Mitigating Security Risks in Systems that Support Pervasive Services and Computing: Access-Driven Verification, Validation and Testing.	ICPS	2007	DBLP DOI BibTeX RDF
12	Adrian Paschke	Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web	CoRR	2006	DBLP BibTeX RDF
12	Dilek Göksel, Mehmed Özkan	Simulated Dataset for Verification & Validation of DT-MRI Analyzing Tools.	EMBC	2006	DBLP DOI BibTeX RDF
12	A. J. Masys	Verification, Validation and Accreditation: An HLA FEDEP Overlay.	CCECE	2006	DBLP DOI BibTeX RDF
12	Rogério Eduardo Garcia	VIDAese: visual exploratory process to support empirical studies in software verification, validation and test (VIDAese: processo de visualização exploratória para apoio a estudos empíricos em verificação, validação e teste de software).		2006	RDF
12	Lester O. Lobo, James D. Arthur	Effective Requirements Generation: Synchronizing Early Verification & Validation, Methods and Method Selection Criteria	CoRR	2005	DBLP BibTeX RDF
12	David A. Joiner, Steven I. Gordon, Scott A. Lathrop, Marilyn McClelland, D. E. Stevenson	Applying Verification, Validation, and Accreditation Processes to Digital Libraries.	Bull. IEEE Tech. Comm. Digit. Libr.	2005	DBLP BibTeX RDF
12	Alexander K. Petrenko	Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
12	Frans Coenen, Barry Eaglestone, Mick J. Ridley	Verification, validation, and integrity issues in expert and database systems: Two perspectives.	Int. J. Intell. Syst.	2001	DBLP DOI BibTeX RDF
12	Robert F. Stärk, Joachim Schmid 0001, Egon Börger	Java and the Java Virtual Machine: Definition, Verification, Validation		2001	RDF
12	Frans Coenen, Barry Eaglestone, Mick J. Ridley	Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions.	EUROVAV	1999	DBLP BibTeX RDF
12	Osman Balci	Verification, Validation, and Accreditation.	WSC	1998	DBLP DOI BibTeX RDF
12	Barry Eaglestone, Mick J. Ridley	Verification, Validation and Integrity Issues in Expert and Database Systems: The Database Perspective.	DEXA Workshops	1998	DBLP DOI BibTeX RDF
12	Chih-Hung Wu, Shie-Jue Lee	Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems.	IEEE Trans. Syst. Man Cybern. Part B	1997	DBLP DOI BibTeX RDF
12	Ernest H. Page, Bradford S. Canova, John A. Tufarolo	A Case Study of Verification, Validation, and Accreditation for Advanced Distributed Simulation.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF	IDEF modeling, advanced distributed simulation, aggregate level simulation protocol, validation and accreditation, wargame, verification, life cycle
12	Dean S. Hartley III	Verification & Validation in Military Simulations.	WSC	1997	DBLP DOI BibTeX RDF
12	Osman Balci	Verification, Validation and Accreditation of Simulation Models.	WSC	1997	DBLP DOI BibTeX RDF