R
Richard B. Kieburtz
Researcher at Oregon Health & Science University
Publications - 19
Citations - 420
Richard B. Kieburtz is an academic researcher from Oregon Health & Science University. The author has contributed to research in topics: Component-based software engineering & Semantics (computer science). The author has an hindex of 10, co-authored 19 publications receiving 416 citations.
Papers
More filters
Proceedings ArticleDOI
A software engineering experiment in software component generation
Richard B. Kieburtz,Laura McKinney,Jeffrey M. Bell,James Hook,Alex Kotov,Jeffrey R. Lewis,Dino Oliva,Tim Sheard,Ira Smith,Lisa Walton +9 more
TL;DR: The main results are that greater productivity was achieved and fewer error were introduced when subjects used the program generator than when they used Ada templates to implement software modules from sets of specifications.
Proceedings Article
Reactive objects
TL;DR: This paper presents a consistent model of event-based concurrency, centered around the notion of reactive objects, that relieves the object-oriented paradigm from the idea of transparent blocking, and naturally enforces reactivity and state consistency
Proceedings ArticleDOI
Software design for reliability and reuse: a proof-of-concept demonstration
Jef Bell,Françoise Bellegarde,James Hook,Richard B. Kieburtz,Alex Kotov,Jeffrey R. Lewis,L. McKinney,Dino Oliva,Tim Sheard,L. Tong,Lisa Walton,Tong Zhou +11 more
TL;DR: The Software Design for Reliability and Reuse method is described and its application to the Message Translation and Validation domain is illustrated so that the method can be compared directly to a previously existing state-of-the-art solution based on code templates produced by the Software Engineering Institute (SEI).
Proceedings ArticleDOI
Model predictive neural control of a high-fidelity helicopter model.
Alexander Bogdanov,Eric A. Wan,Magnus Carlsson,Yinglong J. Zhang,Richard B. Kieburtz,Antonio Baptista +5 more
TL;DR: In this paper, the authors present a method for optimal control of a nonlinear highly realistic helicopter model based on a combination of a neural network (NN) feedback controller and a state-dependen t Riccati equation (SDRE) controller.
Journal ArticleDOI
The logic of demand in Haskell
TL;DR: A programming logic, P-logic, is introduced, which neatly formalizes the mixed evaluation in Haskell pattern-matching as a logic, thereby simplifying the task of specifying and verifying Haskell programs.