|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 76 occurrences of 64 keywords
|
|
|
Results
Found 142 publication records. Showing 142 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
47 | Ayaz Farooq, Reiner R. Dumke |
Research directions in verification & validation process improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(4), 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 909-916, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Robert G. Sargent |
Verification, validation, and accreditation: verification, validation, and accreditation of simulation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 50-59, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Jef Jacobs, Jos J. M. Trienekens |
Towards a Metrics Based Verification and Validation Maturity Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings, pp. 175-185, 2002, Springer, 3-540-44157-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | A. Diagne |
Control Properties in Object-Oriented Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 514-533, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 819-828, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Don Caughlin |
An integrated approach to verification, validation, and accredition of models and simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 872-881, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
23 | Osman Balci |
Verification, validation, and certification of modeling and simulation applications: verification, validation, and certification of modeling and simulation applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 150-158, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | John S. Carson II |
Verification validation: model verification and validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 52-58, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Ella Rabinovich, Opher Etzion, Sitvanit Ruah, Sarit Archushin |
Analyzing the behavior of event processing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS 2010, Cambridge, United Kingdom, July 12-15, 2010, pp. 223-234, 2010, ACM, 978-1-60558-927-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 429-436, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2006, Chapel Hill, NC, USA, June 11-15, 2006, Proceedings, pp. 357, 2006, ACM, 1-59593-354-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2005, Denver, CO, USA, June 7-11, 2005, Proceedings, pp. 382, 2005, ACM, 1-58113-876-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 419-426, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 653-663, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 829-839, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 813-818, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Christof J. Budnik, Rajesh Subramanyan, Raj Tanikella |
Scalable V&V Effort Estimation for Ultra-Large-Scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010, pp. 60-68, 2010, IEEE Computer Society, 978-0-7695-4086-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC ![In: 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, pp. 111, 2006, IEEE Computer Society, 0-7695-2731-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, Montreal, Quebec, Canada, 18-21 April 2006, pp. 123-130, 2006, ACM, 1-59593-350-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany, pp. 131-139, 2005, IEEE Computer Society, 0-7695-2377-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 7(1), pp. 3-42, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 12th European Conference on Software Maintenance and Reengineering, CSMR 2008, April 1-4, 2008, Athens, Greece, pp. 317-318, 2008, IEEE Computer Society, 978-1-4244-2157-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Sampath Yerramalla, Bojan Cukic, Martin Mladenovski, Edgar Fuller |
Stability Monitoring and Analysis of Learning in an Adaptive System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, pp. 70-79, 2005, IEEE Computer Society, 0-7695-2282-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Dirk Brade |
VV&A; II: enhancing modeling and simulation accreditation by structuring Verification and Validation results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 840-848, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(1), pp. 187-201, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 8(3), pp. 48-55, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Jan Peleska 0001, Michael Siegel |
From Testing Theory to Test Driver Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 538-556, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 15(3), pp. 165-168, September 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 24(1), pp. 246, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE/ITMC ![In: IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2023, Edinburgh, United Kingdom, June 19-22, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-1517-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Benjamin Schumeg, Franklin Marotta, Benjamin Werner |
Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAA ![In: IEEE International Conference on Assured Autonomy, ICAA 2023, Laurel, MD, USA, June 6-8, 2023, pp. 61-66, 2023, IEEE, 979-8-3503-2601-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCC ![In: 36th IEEE International System-on-Chip Conference, SOCC 2023, Santa Clara, CA, USA, September 5-8, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-0011-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 10th International Conference on Dependable Systems and Their Applications, DSA 2023, Tokyo, Japan, August 10-11, 2023, pp. 369-378, 2023, IEEE, 979-8-3503-0477-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 18(6), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Mamamdou K. Traoré, Simon Gorecki, Yves Ducq |
A Simulation Based Approach to Digital Twin's Interoperability Verification & Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I-ESA Workshops ![In: Proceedings of Interoperability for Enterprise Systems and Applications Workshops co-located with 11th International Conference on Interoperability for Enterprise Systems and Applications (I-ESA 2022), Valencia, Spain, March 23-25, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
12 | Chaïmaa Benabbou, Önder Gürcan |
A Survey of Verification, Validation and Testing Solutions for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.03426, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 53, pp. 101402, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 780, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
12 | Atif M. Memon, Myra B. Cohen |
The IEEE 12th International Conference on Software Testing, Verification & Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 31(4), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Chaïmaa Benabbou, Önder Gürcan |
A Survey of Verification, Validation and Testing Solutions for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCCA ![In: Third International Conference on Blockchain Computing and Applications, BCCA 2021, Tartu, Estonia, November 15-17, 2021, pp. 57-64, 2021, IEEE, 978-1-6654-2182-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Franz Wotawa |
On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SafeAI@AAAI ![In: Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), Virtual, February 8, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (5) ![In: Computational Science - ICCS 2021 - 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part V, pp. 495-501, 2021, Springer, 978-3-030-77976-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEB ![In: ICSEB 2021: 5th International Conference on Software and e-Business, Osaka, Japan, December 3 - 5, 2021, pp. 1-6, 2021, ACM, 978-1-4503-8583-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.03923, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 12(7), pp. 2015-2023, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSDM ![In: Proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M 2019, Paris, France, December 12-13, 2019, pp. 93-102, 2019, Springer, 978-3-030-34843-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (4) ![In: Computational Science - ICCS 2019 - 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part IV, pp. 479-492, 2019, Springer, 978-3-030-22746-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
12 | David Yeh |
Autonomous Systems and the Challenges in Verification, Validation, and Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test ![In: IEEE Des. Test 35(3), pp. 89-97, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Marco Mariottini |
Verification & Validation Plan - A Case Study of a Turbine Bucket Design Modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIISE ![In: Proceedings of the 4th INCOSE Italia Conference on Systems Engineering, Rome, Italy, November 28-30, 2018., pp. 81-82, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.02361, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MESAS ![In: Modelling and Simulation for Autonomous Systems - 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers, pp. 314-323, 2017, Springer, 978-3-319-76071-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017, pp. 82-85, 2017, IEEE Computer Society, 978-1-5386-2387-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2017 IEEE International Conference on Big Data (IEEE BigData 2017), Boston, MA, USA, December 11-14, 2017, pp. 1760-1768, 2017, IEEE Computer Society, 978-1-5386-2715-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn |
A Vision for Online Verification-Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.06012, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
12 | Sara Ricciardi, Carlo Leardi, Luca Stringhetti |
Verification Validation and Testing: Passion and Deployment Challenges in the Italian Eco-System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIISE ![In: Proceedings of the 2nd INCOSE Italia Conference on Systems Engineering, Turin, Italy, November 14-16, 2016., pp. 103-111, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 103:1-103:8, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn |
A vision for online verification-validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016, pp. 190-201, 2016, ACM, 978-1-4503-4446-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2016 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2016, Beijing, China, July 10-15, 2016, pp. 5546-5549, 2016, IEEE, 978-1-5090-3332-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Naoshi Uchihira |
Innovation design and its verification & validation in the era of the Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: IEEE 5th Global Conference on Consumer Electronics, GCCE 2016, Kyoto, Japan, October 11-14, 2016, pp. 1-4, 2016, IEEE, 978-1-5090-2333-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | László Lengyel, Hassan Charaf |
Test-driven verification/validation of model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Inf. Technol. Electron. Eng. ![In: Frontiers Inf. Technol. Electron. Eng. 16(2), pp. 85-97, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Simul. Sci. Comput. ![In: Int. J. Model. Simul. Sci. Comput. 6(2), pp. 1550014:1-1550014:29, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Shankar Sankararaman, Sankaran Mahadevan |
Integration of model verification, validation, and calibration for uncertainty quantification in engineering systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 138, pp. 194-209, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 67, pp. 230-243, 2014. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Adaptive Systems ![In: Proceedings of the Complex Adaptive Systems 2013 Conference, Baltimore Marriott Inner Harbor at Camden Yards, Baltimore, Maryland, USA, November 13-15, 2013, pp. 298-305, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geosci. ![In: Comput. Geosci. 49, pp. 297-307, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Jacob Shabi, Yoram Reich |
Developing an analytical model for planning systems verification, validation and testing processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 26(2), pp. 429-438, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC '12, Berlin, Germany, December 9-12, 2012, pp. 344:1-344:2, 2012, WSC, 978-1-4673-4779-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Victor P. Zhukov |
Verification, Validation and Testing of Kinetic Mechanisms of Hydrogen Combustion in Fluid Dynamic Computations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.3563, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Stefan Fenz, Andreas Ekelhart |
Verification, Validation, and Evaluation in Information Security Risk Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 9(2), pp. 58-65, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | M. S. Sivakumar, Valentine Casey, Fergal McCaffery, Gerry Coleman |
Improving Verification & Validation in the Medical Device Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSPI ![In: Systems, Software and Service Process Improvement - 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings, pp. 61-71, 2011, Springer, 978-3-642-22205-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | M. S. Sivakumar, Valentine Casey, Fergal McCaffery, Gerry Coleman |
Verification & Validation in Medi SPICE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPICE ![In: Software Process Improvement and Capability Determination - 11th International Conference, SPICE 2011, Dublin, Ireland, May 30 - June 1, 2011. Proceedings, pp. 73-83, 2011, Springer, 978-3-642-21232-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2011 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2011, Vancouver, BC, Canada, July 24-29, 2011, pp. 1577-1580, 2011, IEEE, 978-1-4577-1003-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SummerSim ![In: SummerSim '10 - 2010 Summer Simulation Multiconference, Ottawa, ON, Canada, July 11-14, 2010, pp. 236-243, 2010, Society for Computer Simulation International / ACM DL. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2010 Spring Simulation Multiconference, SpringSim 2010, Orlando, Florida, USA, April 11-15, 2010, pp. 1, 2010, SCS/ACM, 978-1-4503-0069-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2010 - Proceedings of the 13th World Congress on Medical Informatics, Cape Town, South Africa, September 12-15, 2010, pp. 1140-1144, 2010, IOS Press, 978-1-60750-587-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Fei Liu 0006, Ming Yang 0015 |
An Optimal Design Method for Simulation Verification, Validation and Accreditation Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 85(6), pp. 375-386, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Songrith Kittiperachol, Zhili Sun, Haitham S. Cruickshank |
Integration of Linux TCP and Simulation: Verification, Validation and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Networks ![In: J. Networks 4(9), pp. 819-836, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MALLOW ![In: Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
12 | Vincent Chapurlat, C. Braesch |
Verification, validation, qualification and certification of enterprise models: Statements and opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 59(7), pp. 711-721, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Vincent Chapurlat |
Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008, pp. 5-6, 2008, INSTICC PRESS, 978-989-8111-43-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
12 | Markus Hoppe, Avner Engel, Shalom Shachar |
SysTest: Improving the verification, validation, and testing process - Assessing six industrial pilot projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 10(4), pp. 323-347, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPS ![In: Proceedings of the IEEE International Conference on Pervasive Services, ICPS 2007, 15-20 July, 2007, Istanbul, Turkey, pp. 109-117, 2007, IEEE Computer Society, 1-4244-1325-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0609119, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
12 | Dilek Göksel, Mehmed Özkan |
Simulated Dataset for Verification & Validation of DT-MRI Analyzing Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 28th International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2006, New York City, NY, USA, August 30 - September 3, 2006, Main Volume, pp. 1924-1927, 2006, IEEE, 1-4244-0032-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | A. J. Masys |
Verification, Validation and Accreditation: An HLA FEDEP Overlay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1850-1853, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
12 | Lester O. Lobo, James D. Arthur |
Effective Requirements Generation: Synchronizing Early Verification & Validation, Methods and Method Selection Criteria ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0503004, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. IEEE Tech. Comm. Digit. Libr. ![In: Bull. IEEE Tech. Comm. Digit. Libr. 2(1), 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
12 | Alexander K. Petrenko |
Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 29(6), pp. 296-297, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 16(3), pp. 425-447, 2001. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
12 | Frans Coenen, Barry Eaglestone, Mick J. Ridley |
Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 297-312, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
12 | Osman Balci |
Verification, Validation, and Accreditation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 30th conference on Winter simulation, WSC 1998, Washington DC, USA, December 13-16, 1998, pp. 41-4, 1998, WSC, 0-7803-5134-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
12 | Barry Eaglestone, Mick J. Ridley |
Verification, Validation and Integrity Issues in Expert and Database Systems: The Database Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: Ninth International Workshop on Database and Expert Systems Applications, Vienna, Austria, August 24-28, 1998, Proceedings., pp. 22-27, 1998, IEEE Computer Society, 0-8186-8353-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 27(5), pp. 760-773, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 7(3), pp. 393-424, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 29th conference on Winter simulation, WSC 1997, Atlanta, GA, USA, December 7-10, 1997, pp. 925-932, 1997, ACM, 0-7803-4278-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Osman Balci |
Verification, Validation and Accreditation of Simulation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 29th conference on Winter simulation, WSC 1997, Atlanta, GA, USA, December 7-10, 1997, pp. 135-141, 1997, ACM, 0-7803-4278-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 142 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|