Works matching DE "SOFTWARE verification"

Results: 683

VASIR: An Open-Source Research Platform for Advanced Iris Recognition Technologies.

Published in:

Journal of Research of the National Institute of Standards & Technology, 2013, v. 118, p. 218, doi. 10.6028/jres.118.011

By:

Lee Yooyoung;
Micheals, Ross J.;
Filliben, James J.;
Phillips, P. Jonathon

Publication type:

Article

Exploring the properties of MSC documents by translating them into Petri nets.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 6, p. 997, doi. 10.1007/s10559-009-9168-3

By:

Kryvyi, S.;
Chugayenko, O.;
Matveeva, L.

Publication type:

Article

Verification of finite iterations over collections of variable data structures.

Published in:

Cybernetics & Systems Analysis, 2007, v. 43, n. 3, p. 341, doi. 10.1007/s10559-007-0055-5

By:

V. Nepomniaschy

Publication type:

Article

多点驱动精密伺服压机控制系统研究与开发.

Published in:

Machine Tool & Hydraulics, 2024, v. 52, n. 24, p. 119, doi. 10.3969/j.issn.1001-3881.2024.24.018

By:

陈曦;
朱龙彪;
邵小江

Publication type:

Article

基于视觉的螺旋砂芯下芯缺陷及定位检测研究.

Published in:

Machine Tool & Hydraulics, 2024, v. 52, n. 24, p. 105, doi. 10.3969/j.issn.1001-3881.2024.24.016

By:

段海峰;
廖志青;
孙琦婧;
黃凌森

Publication type:

Article

基于机器视觉的压力表全自动化检定系统.

Published in:

Machine Tool & Hydraulics, 2024, v. 52, n. 19, p. 96, doi. 10.3969/j.issn.1001-3881.2024.19.016

By:

邓芋蓝;
林飞振;
林雁波;
孙涛;
黄锋

Publication type:

Article

Fundamental solutions for two-dimensional anisotropic thermo-magneto-electro-elasticity.

Published in:

Mathematics & Mechanics of Solids, 2019, v. 24, n. 11, p. 3575, doi. 10.1177/1081286519851151

By:

Hwu, Chyanbin;
Hsu, Chung-Lei;
Hsu, Chia-Wei;
Shiah, YC

Publication type:

Article

Verification of Uncertain Knowledge-based Systems: An Empirical Verification Approach.

Published in:

1996

By:

O'Leary, Daniel E.

Publication type:

Product Review

Low Power Mixed-Signal SoC Integration and Verification Challenges with Third Party IP Cores.

Published in:

EAI Endorsed Transactions on Cloud Systems, 2019, v. 5, n. 16, p. 1, doi. 10.4108/eai.5-11-2019.162592

By:

Shankar, Ruchi;
Mishra, Prachi;
Parashar, Abhinav;
Padoor, Ashwini Kumary;
Balasubramanian, Lakshmanan

Publication type:

Article

PELE 侵彻金属靶破碎效应的相似分析.

Published in:

Chinese Journal of High Pressure Physics, 2023, v. 37, n. 1, p. 1, doi. 10.11858/gywlxb.20220662

By:

徐立志;
韩志远;
周峰;
胖世铭;
杜忠华;
高光发

Publication type:

Article

A NOVEL PROGRAM SYNTHESIS APPROACH IN TEST DRIVEN SOFTWARE DEVELOPMENT.

Published in:

Pollack Periodica, 2017, v. 12, n. 2, p. 3, doi. 10.1556/606.2017.12.2.1

By:

FERENCZ, Endre;
GOLDSCHMIDT, Balázs

Publication type:

Article

Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter.

Published in:

Mathematics (2227-7390), 2019, v. 7, n. 9, p. 812, doi. 10.3390/math7090812

By:

Wisniewski, Remigiusz;
Bazydło, Grzegorz;
Szcześniak, Paweł;
Grobelna, Iwona;
Wojnakowski, Marcin

Publication type:

Article

VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles.

Published in:

Electronics (2079-9292), 2024, v. 13, n. 6, p. 1153, doi. 10.3390/electronics13061153

By:

Kim, Beom-Heyn

Publication type:

Article

A User-Friendly Verification Approach for IEC 61131-3 PLC Programs.

Published in:

Electronics (2079-9292), 2020, v. 9, n. 4, p. 572, doi. 10.3390/electronics9040572

By:

Xiong, Jiawen;
Zhu, Gang;
Huang, Yanhong;
Shi, Jianqi

Publication type:

Article

Formal Analysis and Verification of Airborne Software Based on DO-333.

Published in:

Electronics (2079-9292), 2020, v. 9, n. 2, p. 327, doi. 10.3390/electronics9020327

By:

Cao, Zongyu;
Lv, Wanyou;
Huang, Yanhong;
Shi, Jianqi;
Li, Qin

Publication type:

Article

A Software Verification Method for the Internet of Things and Cyber-Physical Systems.

Published in:

Computation, 2023, v. 11, n. 7, p. 135, doi. 10.3390/computation11070135

By:

Manzhos, Yuriy;
Sokolova, Yevheniia

Publication type:

Article

Analytical Solution and Numerical Simulation of Heat Transfer in Cylindrical- and Spherical-Shaped Bodies.

Published in:

Computation, 2023, v. 11, n. 7, p. 131, doi. 10.3390/computation11070131

By:

Jalghaf, Humam Kareem;
Kovács, Endre;
Barna, Imre Ferenc;
Mátyás, László

Publication type:

Article

Specifics of modern security requirements for software of electronic machine control systems.

Published in:

INCAS Bulletin, 2021, v. 13, p. 87, doi. 10.13111/2066-8201.2021.13.S.9

By:

KASHTANOV, Serhii F.;
POLUKAROV, Yury O.;
POLUKAROV, Oleksiy I.;
MITIUK, Liudmyla O.;
KACHYNSKA, Nataliia F.

Publication type:

Article

Verification and validation of software process simulation models: A systematic mapping study.

Published in:

Journal of Software: Evolution & Process, 2024, v. 36, n. 6, p. 1, doi. 10.1002/smr.2612

By:

Li, Yue;
Zhang, He;
Liu, Bohan;
Dong, Liming;
Gong, Haojie;
Rong, Guoping

Publication type:

Article

Compliance checking of software processes: A systematic literature review.

Published in:

Journal of Software: Evolution & Process, 2022, v. 34, n. 5, p. 1, doi. 10.1002/smr.2440

By:

Castellanos Ardila, Julieth Patricia;
Gallina, Barbara;
Ul Muram, Faiz

Publication type:

Article

Innovative process paradigms and data driven analytics: A new horizon for software and systems process.

Published in:

Journal of Software: Evolution & Process, 2019, v. 31, n. 6, p. N.PAG, doi. 10.1002/smr.2206

By:

Raffo, David;
Bendraou, Reda;
Huang, LiGuo;
Maggi, Fabrizio M.

Publication type:

Article

Efficiency of Software Testing Techniques: A Controlled Experiment Replication and Network Meta-analysis.

Published in:

e-Informatica, 2017, v. 11, n. 1, p. 79, doi. 10.5277/e-Inf170104

By:

Gómez, Omar S.;
Cortés-Verdín, Karen;
Pardo, César J.

Publication type:

Article

Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).

Published in:

2017

By:

Baier, Christel;
Tinelli, Cesare

Publication type:

Editorial

Stateless model checking for TSO and PSO.

Published in:

Acta Informatica, 2017, v. 54, n. 8, p. 789, doi. 10.1007/s00236-016-0275-0

By:

Abdulla, Parosh;
Aronis, Stavros;
Atig, Mohamed;
Jonsson, Bengt;
Leonardsson, Carl;
Sagonas, Konstantinos

Publication type:

Article

Towards simplified and optimized a posteriori error estimation using PGD reduced models.

Published in:

International Journal for Numerical Methods in Engineering, 2018, v. 113, n. 6, p. 967, doi. 10.1002/nme.5695

By:

Allier, Pierre‐Eric;
Chamoin, Ludovic;
Ladevèze, Pierre

Publication type:

Article

VERIFICATION OF THE SOFTWARE RELIABILITY MODELS.

Published in:

Reliability: Theory & Applications, 2014, v. 9, n. 3, p. 14

By:

Maevsky, Dmitry A.;
Maevskaya, Elena J.;
Jekov, Oleg P.;
Ludmila N. Shapa

Publication type:

Article

A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database.

Published in:

Journal of Advanced Computational Intelligence & Intelligent Informatics, 2019, v. 23, n. 5, p. 956, doi. 10.20965/jaciii.2019.p0956

By:

Seung-Yong Yoon;
Hirohisa Seki

Publication type:

Article

AN EFFICIENT FULLY SYMBOLIC BISIMULATION ALGORITHM FOR NON-DETERMINISTIC SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 2, p. 263, doi. 10.1142/S012905411340011X

By:

MUMME, MALCOLM;
CIARDO, GIANFRANCO

Publication type:

Article

MONOTONIC ABSTRACTION FOR PROGRAMS WITH MULTIPLY-LINKED STRUCTURES.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 2, p. 187, doi. 10.1142/S0129054113400078

By:

ABDULLA, PAROSH AZIZ;
CEDERBERG, JONATHAN;
VOJNAR, TOMÁŠ

Publication type:

Article

COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES.

Published in:

International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 115, doi. 10.1142/S0129054110007179

By:

GENG-DIAN HUANG;
BOW-YAW WANG

Publication type:

Article

PREFACE.

Published in:

International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 113, doi. 10.1142/S0129054110007167

By:

NAMJOSHI, KEDAR;
YONEDA, TOMOHIRO

Publication type:

Article

REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 953, doi. 10.1142/S0129054108006066

By:

Lisitsa, Alexei;
Nemytykh, Andrei P.

Publication type:

Article

MODULAR RANKING ABSTRACTION.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 5, doi. 10.1142/S0129054107004553

By:

BALABAN, ITTAI;
PNUELI, AMIR;
ZUCK, LENORE D.

Publication type:

Article

GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 63, doi. 10.1142/S0129054107004577

By:

DAMM, WERNER;
PINTO, GUILHERME;
RATSCHAN, STEFAN

Publication type:

Article

PREFACE.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 731, doi. 10.1142/S0129054106004066

By:

Wang, Farn

Publication type:

Article

MOLECULAR MODEL CHECKING.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 733, doi. 10.1142/S0129054106004078

By:

Emerson, E. Allen;
Hager, Kristina D.;
Konieczka, Jay H.

Publication type:

Article

A PARAMETRIC, RESOURCE-BOUNDED GENERALIZATION OF LÖB'S THEOREM, AND A ROBUST COOPERATION CRITERION FOR OPEN-SOURCE GAME THEORY.

Published in:

Journal of Symbolic Logic, 2019, v. 84, n. 4, p. 1368, doi. 10.1017/jsl.2017.42

By:

CRITCH, ANDREW

Publication type:

Article

Solving Big GIS Projects on Desktop Computers.

Published in:

Cartography & Geoinformation / Kartografija i Geoinformacije, 2019, v. 18, n. 32, p. 44, doi. 10.32909/kg.18.32.4

By:

BARTONĔK, Dalibor

Publication type:

Article

A Combination Approach of Gaussian Mixture Models and Support Vector Machines for Speaker Identification.

Published in:

International Arab Journal of Information Technology (IAJIT), 2009, v. 6, n. 5, p. 490

By:

Djemili, Rafik;
Bourouba, Hocine;
Korba, Amara

Publication type:

Article

Calculation of the Neutronic Characteristics of a HTGR for the Verification of the MCU-HTR Software Package.

Published in:

Physics of Atomic Nuclei, 2023, v. 86, n. 8, p. 1827, doi. 10.1134/S1063778823080203

By:

Grol, A. V.;
Nevinitsa, V. A.;
Fomichenko, P. A.;
Sorokin, S. E.;
Filippov, S. G.

Publication type:

Article

Novel Features for Off-line Signature Verification.

Published in:

International Journal of Computers, Communications & Control, 2006, v. 11, n. 11, p. 17, doi. 10.15837/ijccc.2006.1.2268

By:

Majhi, Banshider;
Reddy, Y Santhosh;
Babu, D Prasanna

Publication type:

Article

From the Editor.

Published in:

Software Quality Professional, 2016, v. 18, n. 2, p. 3

By:

Daughtrey, Taz

Publication type:

Article

The Evolution of IEEE Std 1012.

Published in:

2012

By:

Freund, Eva

Publication type:

Book Review

IEEE Standard for System and Software Verification and Validation (IEEE Std 1012-2012).

Published in:

2012

By:

Freund, Eva

Publication type:

Book Review

Overview: Software Quality Professional.

Published in:: Software Quality Professional, 2012, v. 14, n. 3, p. 2
Publication type:: Article

MBFair: a model-based verification methodology for detecting violations of individual fairness: MBFair: a model-based verification methodology for detecting violations of individual fairness: Q. Ramadan et al.

Published in:

Software & Systems Modeling, 2025, v. 24, n. 1, p. 111, doi. 10.1007/s10270-024-01184-y

By:

Ramadan, Qusai;
Konersmann, Marco;
Ahmadian, Amir Shayan;
Jürjens, Jan;
Staab, Steffen

Publication type:

Article

Assessing the testing skills transfer of model-based testing on testing skill acquisition.

Published in:

Software & Systems Modeling, 2024, v. 23, n. 4, p. 953, doi. 10.1007/s10270-023-01141-1

By:

Cammaerts, Felix;
Snoeck, Monique

Publication type:

Article

Guest editorial to the special section on SEFM'22.

Published in:

Software & Systems Modeling, 2024, v. 23, n. 3, p. 603, doi. 10.1007/s10270-024-01174-0

By:

Schlingloff, Bernd-Holger;
Chai, Ming

Publication type:

Article

Exchanging information in cooperative software validation.

Published in:

Software & Systems Modeling, 2024, v. 23, n. 3, p. 695, doi. 10.1007/s10270-024-01155-3

By:

Haltermann, Jan;
Wehrheim, Heike

Publication type:

Article

Guest editorial for the special section on SEFM 2020 and 2021.

Published in:

2024

By:

de Boer, Frank S.;
Cerone, Antonio

Publication type:

Editorial