2 citations · 2 across the 4 of their papers we have counts for
5 papers
The Assurance Monitor Pattern
Adam Duracz, K. Mani Chandy, Mohamed Abdelrahman +5
Some applications require an assurance that certain criteria are violated with only low probability. An alert is generated when the current course of action is likely to violate as…
Language Support for Adaptation: Intent-Driven Programming in FAST
Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha +7
Historically, programming language semantics has focused on assigning a precise mathematical meaning to programs. That meaning is a function from the program's input domain to its…
NOOP: A Domain-Theoretic Model of Nominally-Typed OOP
Moez AbdelGawad, Robert Cartwright
The majority of industrial-strength object-oriented (OO) software is written using nominally-typed OO programming languages. Extant domain-theoretic models of OOP developed to anal…
Domain Theory: An Introduction
Robert Cartwright, Rebecca Parsons, Moez AbdelGawad
This monograph is an ongoing revision of "Lectures On A Mathematical Theory of Computation" by Dana Scott. Scott's monograph uses a formulation of domains called neighborhood syste…
Modeling Basic Aspects of Cyber-Physical Systems, Part II
Yingfu Zeng, Chad Rose, Paul Brauner +5
We continue to consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed using a core language as…