Laurentiu Leustean, Grigore Rosu  Home/Search
Context Related
| uiuc.edu/~grosu/downlo...luta+leo.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu/~grosu/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Formal code certification is a rigorous approach to demonstrate software quality. Its basic idea is to require that code producers provide formal certificates, or proofs, that their code satisfies certain quality properties. In this paper, we focus on certifying software developed for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in many other applications. The most common way of solving state estimation problems consists ... (Update)
Cited by: More
Certifying Optimality of State Estimation Programs - Rosu, Venkatesan, Whittle.. (2003) (Correct)
Matrices in ACL2 - Joe Hendrix University (2003) (Correct)
Similar documents (at the sentence level):
26.5%: Towards Certifying Domain-Specific Properties of Synthesized Code - Rosu, Whittle (2002) (Correct)
10.9%: Towards Certifying Domain-Specific Properties of Synthesized.. - Rosu, Whittle (2002) (Correct)
Active bibliography (related documents): More All
0.3: Certifying Measurement Unit Safety Policy - Grigore Rosu Department (Correct)
0.2: Certification Support for Automatically Generated Programs - Schumann, Fischer.. (2003) (Correct)
0.2: Certifying Domain-Specific Policies - Lowry, Pressburger, Rosu (2001) (Correct)
Similar documents based on text: More All
0.5: Mann Iterates of Directionally Nonexpansive - Mappings In Hyperbolic (Correct)
0.3: Axiomatizability in Inclusive Equational Logic - Rosu (Correct)
0.3: Circular Coinductive Rewriting - Goguen, Lin, Rosu (2000) (Correct)
Related documents from co-citation: More All
2: Towards certifying domain-specific properties of synthesized code - Rosu, Whittle - 2002
BibTeX entry: (Update)
Leustean Laurentiu and Grigore Rosu. Certifying Kalman filters. Technical report, RIACS 03.02, January 2003. http://citeseer.ist.psu.edu/leustean03certifying.html More
@misc{ laurentiu03certifying,
author = "L. Laurentiu and G. Rosu",
title = "Certifying Kalman filters",
text = "Leustean Laurentiu and Grigore Rosu. Certifying Kalman filters. Technical
report, RIACS 03.02, January 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/leustean03certifying.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula - 1997
384 A new approach to linear filtering and prediction problems (context) - Kalman - 1960
299 Conditional Rewriting Logic as a Unified Model of Concurrenc.. (context) - Meseguer - 1992
94 Maude: specification and programming in rewriting logic - Clavel, Duran et al. - 1999
89 An Introduction to the Kalman Filter (context) - Welch, Bishop - 2001
74 and Jean-Pierre Jouannaud (context) - Goguen, Winkler et al. - 2000
69 Membership algebra as a logical framework for equational spe.. - Meseguer - 1998
63 URL httpwww (context) - http, com et al. - 2002
45 Specware: Formal support for composing software - Srinivas, Jullig - 1995
26 An extended static checker for modula (context) - Rustan, Leino et al. - 1998
14 Introduction to Random Signals and Applied Kalman Filtering (context) - Brown, Hwang - 1997
10 Scinapse: A problem-solving environment for partial di#erent.. - Akers, Kant et al. - 1997
7 Certifying domain-specific policies - Lowry, Pressburger et al. - 2001
7 AmphionNAV Deductive synthesi state estimation software (context) - Schumann, Penix et al. - 2001
6 URL: www (context) - Static, Java - 2000
5 Towards certifying domain-specific properties of synthesized.. - Rosu, Whittle - 2002
3 A total approach to partial algebraic specification (context) - Meseguer, Rosu - 2002
http://sophia.unav.es/
Documents on the same site (http://gureni.cs.uiuc.edu/~grosu/publications.html): More
Rewriting-based Techniques for Runtime Verification - Rosu, Havelund (Correct)
Online Efficient Predictive Safety Analysis of Multithreaded.. - Sen, Rosu, Agha (2004) (Correct)
Towards Certifying Domain-Specific Properties of Synthesized Code - Rosu, Whittle (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC