Related papers: Automated Verification of Interactive Rule-Based C…
In this paper, we compare different existing approaches employed in data mining of big proof libraries in automated and interactive theorem proving.
Reactive programs are ubiquitous in modern applications, and so verification is highly desirable. We present a verification strategy for reactive programs with a large or infinite state space utilising algebraic laws for reactive relations.…
Formal Methods are mathematically-based techniques for software design and engineering, which enable the unambiguous description of and reasoning about a system's behaviour. Autonomous systems use software to make decisions without human…
In socio-technical settings, operators are increasingly assisted by decision support systems. By employing these, important properties of socio-technical systems such as self-adaptation and self-optimization are expected to improve further.…
Comment on ``Support Vector Machines with Applications'' [math.ST/0612817]
As software systems become more complex, modern software development requires more attention to human perspectives, and active participation of development teams in requirements elicitation tasks. In this context, incomplete or ambiguous…
In this revised version, we add some expository material and references and make some minor corrections.
IP-based software design is a crucial research field that aims to improve efficiency and reliability by reusing complex software components known as intellectual property (IP) components. To ensure the reusability of these components,…
The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to public uncertainty over these new technologies. However, the…
Monitoring is the study of a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging is the study of a system at runtime in order to discover and understand its bugs…
This article corrects two mistakes in the article "Coarse homology theories" [math.AT/0106183].
Comment on "Support Vector Machines with Applications" [math.ST/0612817]
Comment on "Support Vector Machines with Applications" [math.ST/0612817]
This is my working paper on a proposed logical framework for the practice of mathematics, which is paralleled by philosophical considerations and a computer implementation (a variant of Automath). Updated 10/27/2016 with a version from…
Validation of conformance to cybersecurity standards for industrial automation and control systems is an expensive and time consuming process which can delay the time to market. It is therefore crucial to introduce conformance validation…
This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps of development in an industrial context. A method is proposed, supported by preliminary results through…
We consider the problem of automating the verification of distributed control software relying on publish-subscribe middleware. In this scenario, the main challenge is that software correctness depends intrinsically on correct usage of…
We respond to comments on our paper, titled "Instrumental variable estimation of the causal hazard ratio."
This supplementary information contains detailed derivations, comparison to experiment, and discussion of other miscellaneous issues omitted from the main text.
This preprint contains the Supporting Online Material for our paper ''Strong Interactions in Multimode Random Lasers'', Science 320, 643 (2008) (also available at: arXiv:0805.4496).