Works matching DE "SOFTWARE verification"
Results: 672
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:
- Publication type:
- Article
Obtaining Reliable Feedback for Sanctioning Reputation Mechanisms.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 29, p. 391, doi. 10.1613/jair.2243
- By:
- 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:
- 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:
- 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:
- Publication type:
- Article
Guest editorial for the special section on SEFM 2020 and 2021.
- Published in:
- 2024
- By:
- Publication type:
- Editorial
Correction: A framework for embedded software portability and verification: from formal models to low-level code.
- Published in:
- 2024
- By:
- Publication type:
- Correction Notice
A framework for embedded software portability and verification: from formal models to low-level code.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 2, p. 289, doi. 10.1007/s10270-023-01144-y
- By:
- Publication type:
- Article
Theme section on model-driven requirements engineering.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 6, p. 2109, doi. 10.1007/s10270-022-01055-4
- By:
- Publication type:
- Article
Unified verification and monitoring of executable UML specifications: A transformation-free approach.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 6, p. 1825, doi. 10.1007/s10270-021-00923-9
- By:
- Publication type:
- Article
Reproducible execution of POSIX programs with DiOS.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 2, p. 363, doi. 10.1007/s10270-020-00837-y
- By:
- Publication type:
- Article
Mixed-semantics composition of statecharts for the component-based design of reactive systems.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 6, p. 1483, doi. 10.1007/s10270-020-00806-5
- By:
- Publication type:
- Article
CoqTL: a Coq DSL for rule-based model transformation.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 2, p. 425, doi. 10.1007/s10270-019-00765-6
- By:
- Publication type:
- Article
Efficient parallel reasoning on fuzzy goal models for run time requirements verification.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1339, doi. 10.1007/s10270-016-0562-9
- By:
- Publication type:
- Article
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 4, p. 1117, doi. 10.1007/s10270-014-0446-9
- By:
- Publication type:
- Article
An overview of model checking practices on verification of PLC software.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 4, p. 937, doi. 10.1007/s10270-014-0448-7
- By:
- Publication type:
- Article
A formal verification framework for static analysis.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 4, p. 987, doi. 10.1007/s10270-015-0476-y
- By:
- Publication type:
- Article
Contract-based verification of discrete-time multi-rate Simulink models.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 4, p. 1141, doi. 10.1007/s10270-015-0477-x
- By:
- Publication type:
- Article
Component-based verification using incremental design and invariants.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 2, p. 427, doi. 10.1007/s10270-014-0410-8
- By:
- Publication type:
- Article
Procedure-modular specification and verification of temporal safety properties.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 1, p. 83, doi. 10.1007/s10270-013-0321-0
- By:
- Publication type:
- Article
Verifying B proof rules using deep embedding and automated theorem proving.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 1, p. 101, doi. 10.1007/s10270-013-0322-z
- By:
- Publication type:
- Article
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 1, p. 173, doi. 10.1007/s10270-013-0323-y
- By:
- Publication type:
- Article
Formal verification and validation of embedded systems: the UML-based MADES approach.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 1, p. 343, doi. 10.1007/s10270-013-0330-z
- By:
- Publication type:
- Article
Lightweight string reasoning in model finding.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 1, p. 413, doi. 10.1007/s10270-013-0332-x
- By:
- Publication type:
- Article
Model checking LTL properties over ANSI-C programs with bounded traces.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 1, p. 65, doi. 10.1007/s10270-013-0366-0
- By:
- Publication type:
- Article
Three Ethical Challenges of Applications of Artificial Intelligence in Cybersecurity.
- Published in:
- 2019
- By:
- Publication type:
- Letter to the Editor
Verification and Validation.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 10, p. 971, doi. 10.1109/TSE.2014.2339829
- By:
- Publication type:
- Article
Modular Software Model Checking for Distributed Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 5, p. 483, doi. 10.1109/TSE.2013.49
- By:
- Publication type:
- Article
MOTORSOLVE SOFTWARE PACKAGE: VERIFICATION OF PARAMETERS AND CHARACTERISTICS OF THE BRUSHLESS PERMANENT MAGNET MOTOR.
- Published in:
- Electrical Engineering & Electromechanics, 2019, n. 5, p. 20, doi. 10.20998/2074-272X.2019.5.03
- By:
- Publication type:
- Article
A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 11, p. 2504, doi. 10.3390/math11112504
- By:
- Publication type:
- Article
ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ МОДЕЛЬНООРІЄНТОВАНОГО ПРОЄКТУВАННЯ КОНТРОЛЕРУ РЕАЛЬНОГО ЧАСУ.
- Published in:
- Automation of Technological & Business Processes / Avtomatizaciâ Tehnologiceskih i Biznes-Processov, 2023, v. 15, n. 1, p. 1, doi. 10.15673/atbp.v%vi%i.2493
- By:
- Publication type:
- Article
面向 CAN 总线健壮性的形式化建模与验证.
- Published in:
- Telecommunication Engineering, 2023, v. 63, n. 9, p. 1419, doi. 10.20079/j.issn.1001-893x.220415003
- By:
- Publication type:
- Article
THE SOFTWARE IMPLEMENTATION FOR AUTOMATIC GENERATION OF PETRI NETS.
- Published in:
- Radio Electronics, Computer Science, Control, 2024, n. 3, p. 26, doi. 10.15588/1607-3274-2024-3-3
- By:
- Publication type:
- Article
Towards Safe Navigation by Formalizing Navigation Rules.
- Published in:
- TransNav: International Journal on Marine Navigation & Safety of Sea Transportation, 2013, v. 7, n. 2, p. 161, doi. 10.12716/1001.07.02.01
- By:
- Publication type:
- Article
LDPC minimum sum decoding algorithm and its IC physical design.
- Published in:
- Journal of Measurement Science & Instrumentation, 2023, v. 14, n. 1, p. 108, doi. 10.62756/jmsi.1674-8042.2023013
- By:
- Publication type:
- Article
Applying Propositional Logic to Workflow Verification.
- Published in:
- Information Technology & Management, 2004, v. 5, n. 3/4, p. 293, doi. 10.1023/B:ITEM.0000031583.16306.0f
- By:
- Publication type:
- Article
VERIFICATION OF THE SOFTWARE RELIABILITY MODELS.
- Published in:
- Reliability: Theory & Applications, 2014, v. 9, n. 3, p. 14
- By:
- Publication type:
- Article
A 32-Bit DSP Instruction Pipeline Control Unit Verification Method Based on Instruction Reordering Strategy.
- Published in:
- Symmetry (20738994), 2022, v. 14, n. 4, p. N.PAG, doi. 10.3390/sym14040646
- By:
- Publication type:
- Article
Replication and Abstraction: Symmetry in Automated Formal Verification.
- Published in:
- Symmetry (20738994), 2010, v. 2, n. 2, p. 799, doi. 10.3390/sym2020799
- By:
- Publication type:
- Article
DETECTION OF LADDER PROGRAM UNSTABLE STATES.
- Published in:
- Transport Problems: an International Scientific Journal, 2024, v. 19, n. 3, p. 107, doi. 10.20858/tp.2023.19.3.09
- By:
- Publication type:
- Article
Formal Verification of a Medical Insurance System Prototype: The Event-B Modeling Approach.
- Published in:
- Journal of Information Assurance & Security, 2022, v. 17, n. 1, p. 25
- By:
- Publication type:
- Article
Considerations for the Variable Density Lattice Structure of Additive Manufacturing: A Review.
- Published in:
- Sustainability (2071-1050), 2022, v. 14, n. 18, p. 11404, doi. 10.3390/su141811404
- By:
- Publication type:
- Article
基于Excel工作簿的精梳毛纺工艺设计.
- Published in:
- Wool Textile Journal, 2019, v. 47, n. 10, p. 9, doi. 10.19333/j.mfkj.2019040041008
- By:
- Publication type:
- Article
EXPERIMENTAL AND NUMERICAL STRESS AND STRAIN ANALYSIS OF THE BOILER REVERSING CHAMBER TUBE PLATE.
- Published in:
- Thermal Science, 2022, v. 26, n. 3A, p. 2135, doi. 10.2298/TSCI210313207R
- By:
- Publication type:
- Article
Formalizing the use case model: A model-based approach.
- Published in:
- PLoS ONE, 2020, v. 15, n. 4, p. 1, doi. 10.1371/journal.pone.0231534
- By:
- Publication type:
- Article
The General-Purpose Modeling, Analysis, and Implementation of Software Architectures.
- Published in:
- Journal of Aeronautics & Space Technologies / Havacilik ve Uzay Teknolojileri Dergisi, 2020, v. 13, n. 2, p. 165
- By:
- Publication type:
- Article
Rapid Formal Verification as Requirements Stage Verification and Validation Technique.
- Published in:
- International Review on Computers & Software, 2019, v. 14, n. 1, p. 27, doi. 10.15866/irecos.v14i1.17684
- By:
- Publication type:
- Article
Consistence-Based Detection Location Verification for VANETS.
- Published in:
- International Review on Computers & Software, 2012, v. 7, n. 4, p. 1900
- By:
- Publication type:
- Article
A Novel GA Based Approach to Farsi and Arabic Signature Verification.
- Published in:
- International Review on Computers & Software, 2010, v. 5, n. 1, p. 44
- By:
- Publication type:
- Article