Discover open access scientific publications

Search, annotate, share and cite publications

Publications by ROMEO A. DUMITRESCU

Automatic Result Verification by Complete Run-Time Checking of Computations

International Journal of Foundations of Computer Science
Computer Science
2001English

Related publications

Debugging via Run-Time Type Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Verification of Concurrent Quantum Protocols by Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Checking Approximate Computations of Polynomials and Functional Equations

SIAM Journal on Computing
MathematicsComputer Science
2001English

Runtime Checking for Program Verification

English

Numerical Program Optimisation by Automatic Improvement of the Accuracy of Computations

International Journal of Intelligent Engineering Informatics
2018English

Verification, Model Checking and Abstract Interpretation

1997English

Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking

SPIIRAS Proceedings
ControlSystems EngineeringInformation SystemsComputer NetworksApplied MathematicsMathematicsCommunicationsComputer Science ApplicationsComputational TheoryComputational MathematicsArtificial Intelligence
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy