Works matching DE "VERIFICATION of computer systems"

Results: 185

Validation of Medial Axis Transform Objects.

Published in:

Computer-Aided Design & Applications, 2012, v. 9, n. 4, p. 517, doi. 10.3722/cadaps.2012.517-529

By:

Bhatt, A. D.;
Khurieshi, Mohammed Shafi;
Siddhartha

Publication type:

Article

Model checking unbounded concurrent lists.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 375, doi. 10.1007/s10009-015-0369-y

By:

Sethi, Divjyot;
Talupur, Muralidhar;
Malik, Sharad

Publication type:

Article

Verifying a quantitative relaxation of linearizability via refinement.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 393, doi. 10.1007/s10009-015-0373-2

By:

Adhikari, Kiran;
Street, James;
Wang, Chao;
Liu, Yang;
Zhang, Shaojie

Publication type:

Article

Guided search for hybrid systems based on coarse-grained space abstractions.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 449, doi. 10.1007/s10009-015-0393-y

By:

Bogomolov, Sergiy;
Donzé, Alexandre;
Frehse, Goran;
Grosu, Radu;
Johnson, Taylor;
Ladan, Hamed;
Podelski, Andreas;
Wehrle, Martin

Publication type:

Article

Parameterized verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 469, doi. 10.1007/s10009-016-0424-3

By:

Abdulla, Parosh;
Delzanno, Giorgio

Publication type:

Article

Parameterized verification through view abstraction.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 495, doi. 10.1007/s10009-015-0406-x

By:

Abdulla, Parosh;
Haziza, Frédéric;
Holík, Lukáš

Publication type:

Article

A multiple case study on risk-based testing in industry.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 609, doi. 10.1007/s10009-014-0328-z

By:

Felderer, Michael;
Ramler, Rudolf

Publication type:

Article

Real-time specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 17, doi. 10.1007/s10009-013-0286-x

By:

David, Alexandre;
Larsen, Kim;
Legay, Axel;
Nyman, Ulrik;
Traonouez, Louis-Marie;
Wąsowski, Andrzej

Publication type:

Article

A systematic review of state-based test tools.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 59, doi. 10.1007/s10009-013-0291-0

By:

Shafique, Muhammad;
Labiche, Yvan

Publication type:

Article

Approaches for the combined use of risk analysis and testing: a systematic literature review.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 627, doi. 10.1007/s10009-014-0330-5

By:

Erdogan, Gencer;
Li, Yan;
Runde, Ragnhild;
Seehusen, Fredrik;
Stølen, Ketil

Publication type:

Article

Applying symbolic bounded model checking to the 2012 RERS greybox challenge.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 519, doi. 10.1007/s10009-014-0335-0

By:

Morse, Jeremy;
Cordeiro, Lucas;
Nicole, Denis;
Fischer, Bernd

Publication type:

Article

Property-driven benchmark generation: synthesizing programs of realistic structure.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 465, doi. 10.1007/s10009-014-0336-z

By:

Steffen, Bernhard;
Isberner, Malte;
Naujokat, Stefan;
Margaria, Tiziana;
Geske, Maren

Publication type:

Article

Rigorous examination of reactive systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 457, doi. 10.1007/s10009-014-0337-y

By:

Howar, Falk;
Isberner, Malte;
Merten, Maik;
Steffen, Bernhard;
Beyer, Dirk;
Păsăreanu, Corina

Publication type:

Article

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 493, doi. 10.1007/s10009-014-0338-x

By:

Schordan, Markus;
Prantl, Adrian

Publication type:

Article

Model-based test generation using extended symbolic grammars.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 437, doi. 10.1007/s10009-014-0316-3

By:

Guo, Hai-Feng;
Subramaniam, Mahadevan

Publication type:

Article

The Clara framework for hybrid typestate analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 307, doi. 10.1007/s10009-010-0183-5

By:

Bodden, Eric;
Hendren, Laurie

Publication type:

Article

What can you verify and enforce at runtime?

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 349, doi. 10.1007/s10009-011-0196-8

By:

Falcone, Yliès;
Fernandez, Jean-Claude;
Mounier, Laurent

Publication type:

Article

Selection of formal verification heuristics for parallel execution.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 95, doi. 10.1007/s10009-011-0204-z

By:

Safe, Georgia;
Coelho, Claudionor;
Vieira, Luiz;
Do Val, Celina;
Nacif, Jose;
Fernandes, Antonio

Publication type:

Article

The common aspect proof environment.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 41, doi. 10.1007/s10009-011-0191-0

By:

Katz, Shmuel;
Faitelson, David

Publication type:

Article

Automatic boosting of cross-product coverage using Bayesian networks.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 247, doi. 10.1007/s10009-010-0160-z

By:

Baras, Dorit;
Fine, Shai;
Fournier, Laurent;
Geiger, Dan;
Ziv, Avi

Publication type:

Article

Reducing the size of resolution proofs in linear time.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 263, doi. 10.1007/s10009-010-0167-5

By:

Bar-Ilan, Omer;
Fuhrmann, Oded;
Hoory, Shlomo;
Shacham, Ohad;
Strichman, Ofer

Publication type:

Article

Checking the reliability of socket based communication software.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 5, p. 359, doi. 10.1007/s10009-009-0112-7

By:

Cámara, Pedro;
Mar Gallardo, María;
Merino, Pedro;
Sanán, David

Publication type:

Article

Haifa verification conference 2007.

Published in:

2009

By:

Yorav, Karen

Publication type:

Editorial

Project verification and construction of superchip tests at the RTL level.

Published in:

Automation & Remote Control, 2013, v. 74, n. 1, p. 113, doi. 10.1134/S0005117913010104

By:

Zolotorevich, L.

Publication type:

Article

Calibration verification of a low-cost method for MEMS accelerometers.

Published in:

Transactions of the Institute of Measurement & Control, 2014, v. 36, n. 5, p. 579, doi. 10.1177/0142331213513607

By:

Parsi, B;
Bahrami, M;
Esfahani, A Monemian;
Sany, B Seyedzadeh

Publication type:

Article

Software architectural modelling and verification: a Petri net and temporal logic approach.

Published in:

Transactions of the Institute of Measurement & Control, 2011, v. 33, n. 1, p. 168, doi. 10.1177/0142331208095679

By:

Jiacun Wang;
Xianzhong Zhou;
Junhua Ding

Publication type:

Article

Uniform verification of workflow soundness.

Published in:

Transactions of the Institute of Measurement & Control, 2011, v. 33, n. 1, p. 133, doi. 10.1177/0142331208095676

By:

Barkaoui, Kamel;
Ben Ayed, Rahma

Publication type:

Article

MODELING AND OPERATING VERIFICATION IN THE DESIGN PROCESS OF MOBILE WORKING MACHINES.

Published in:

Annals of the Faculty of Engineering Hunedoara - International Journal of Engineering, 2011, v. 9, n. 3, p. 195

By:

IZRAEL, Gregor;
BUKOVECZKY, Juraj;
GULAN, Ladislav;
FILÍPEK, Peter

Publication type:

Article

Modeling and Verification of D-flip flop using PROMELA and SPIN.

Published in:

International Journal of Computing & ICT Research, 2013, v. 7, n. 2, p. 48

By:

MUFUTUMARI, NEPHAS;
RUPERE, TAURAYI

Publication type:

Article

A FORMALLY VERIFIED DIGITAL SIGNATURE DEVICE FOR SMARTPHONES.

Published in:

IADIS International Journal on Computer Science & Information Systems, 2015, v. 10, n. 2, p. 1

By:

Trommler, Peter

Publication type:

Article

A Real-Time Angle- and Illumination-Aware Face Recognition System Based on Artificial Neural Network.

Published in:

Applied Computational Intelligence & Soft Computing, 2012, p. 1, doi. 10.1155/2012/274617

By:

Hisateru Kato;
Chakraborty, Goutam;
Chakraborty, Basabi

Publication type:

Article

Model Checking.

Published in:

Resonance: Journal of Science Education, 2009, v. 14, n. 7, p. 667, doi. 10.1007/s12045-009-0055-z

By:

Mukund, Madhavan

Publication type:

Article

Reusing RTL Assertion Checkers for Verification of SystemC TLM Models.

Published in:

Journal of Electronic Testing, 2015, v. 31, n. 2, p. 167, doi. 10.1007/s10836-015-5514-8

By:

Bombieri, Nicola;
Fummi, Franco;
Guarnieri, Valerio;
Pravadelli, Graziano;
Stefanni, Francesco;
Ghasempouri, Tara;
Lora, Michele;
Auditore, Giovanni;
Marcigaglia, Mirella

Publication type:

Article

Editorial.

Published in:

2013

By:

Agrawal, Vishwani

Publication type:

Editorial

Verification of the RAMS-based operational weather forecast system in the Valencia Region: a seasonal comparison.

Published in:

Natural Hazards, 2015, v. 75, n. 2, p. 1941, doi. 10.1007/s11069-014-1408-9

By:

Estrela, M.;
Caselles, V.;
Gómez, I.

Publication type:

Article

Speaker verification using heterogeneous neural network architecture with linear correlation speech activity detection.

Published in:

Expert Systems, 2014, v. 31, n. 5, p. 437, doi. 10.1111/exsy.12030

By:

Tashan, Tariq;
Allen, Tony;
Nolle, Lars

Publication type:

Article

CHALLENGES OF REGRESSION TESTING: A PRAGMATIC PERSPECTIVE.

Published in:

International Journal of Advanced Research in Computer Science, 2018, v. 9, n. 1, p. 499, doi. 10.26483/ijarcs.v9i1.5424

By:

Dalal, Sandeep;
Sudhir;
Solanki, Kamna

Publication type:

Article

SCLPV: Secure Certificate less Public Verification for Cloud-Based Cyber-Physical-Social Systems against Malevolent Auditors.

Published in:

International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 3, p. 552

By:

Mamatha, B.;
George, Neha;
Chawhan, Neha;
Shasthri, Mrunal

Publication type:

Article

Expanding the UVM Register Model towards Automation and Simplicity of Use.

Published in:

International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 3, p. 471

By:

Jain, Abhishek;
Gupta, Richa

Publication type:

Article

Fingerprint Based Gender Classification Using Minutiae Extraction.

Published in:

International Journal of Advanced Research in Computer Science, 2015, v. 6, n. 1, p. 72

By:

Gornale, S. S.;
Basavanna, M.;
Kruthi, R.

Publication type:

Article

Formalization &Analysis of Electronics Voting Protocols by using Applied PI Calculus.

Published in:

International Journal of Advanced Research in Computer Science, 2012, v. 3, n. 3, p. 837

By:

Khodke, Swati A.;
Deshpande, Jayant S.

Publication type:

Article

Anomaly detection in electronic voting systems.

Published in:

Information Design Journal (IDJ), 2013, v. 20, n. 3, p. 194, doi. 10.1075/idj.20.3.01gil

By:

Gilbert, Juan E.;
Dunbar, Jerone;
Ottley, Alvitta;
Smotherman, John Mark

Publication type:

Article

Open SystemC Simulator with Support for Power Gating Design.

Published in:

International Journal of Reconfigurable Computing, 2012, p. 1, doi. 10.1155/2012/793190

By:

Silveira, George Sobral;
Brito, Alisson V.;
de A. Oliveira, Helder F.;
Melcher, Elmar U. K.

Publication type:

Article

An Algebraic Framework for the Verification of Context-Aware Adaptive Systems.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2015, v. 25, n. 7, p. 1105, doi. 10.1142/S0218194015500199

By:

Ksystra, Katerina;
Stefaneas, Petros;
Frangos, Panayiotis

Publication type:

Article

COMPARING AND IMPROVING THE SYNTHESIS OF STATE-BASED SPECIFICATIONS FROM SCENARIO-BASED SPECIFICATIONS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2012, v. 22, n. 7, p. 867, doi. 10.1142/S0218194012500234

By:

ZHIJIAN WANG;
WENRUI LI;
PENGCHENG ZHANG

Publication type:

Article

MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2011, v. 21, n. 1, p. 103, doi. 10.1142/S021819401100513X

By:

HU, VINCENT C.;
KUHN, D. RICHARD;
XIE, TAO;
HWANG, JEEHYUN

Publication type:

Article

PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2010, v. 20, n. 2, p. 253, doi. 10.1142/S0218194010004712

By:

OGATA, KAZUHIRO;
FUTATSUGI, KOKICHI

Publication type:

Article

Completely Anonymous Multi-Recipient Signcryption Scheme with Public Verification

Published in:

PLoS ONE, 2013, v. 8, n. 5, p. 1, doi. 10.1371/journal.pone.0063562

By:

Pang, Liaojun;
Li, Huixian;
Gao, Lu;
Wang, Yumin

Publication type:

Article

Comparison of PERSIANN and V7 TRMM Multi-satellite Precipitation Analysis (TMPA) products with rain gauge data over Iran.

Published in:

International Journal of Remote Sensing, 2013, v. 34, n. 22, p. 8156, doi. 10.1080/01431161.2013.833360

By:

Moazami, Saber;
Golian, Saeed;
Kavianpour, M. Reza;
Hong, Yang

Publication type:

Article

Fast and compact self-stabilizing verification, computation, and fault detection of an MST.

Published in:

Distributed Computing, 2015, v. 28, n. 4, p. 253, doi. 10.1007/s00446-015-0242-y

By:

Korman, Amos;
Kutten, Shay;
Masuzawa, Toshimitsu

Publication type:

Article