Web pages define their appearance using Cascading Style Sheets, a modular language for
layout of tree-structured documents. In principle, using CSS is easy: the developer specifies …

We present Component-Based Simplex Architecture (CBSA), a new framework for assuring
the runtime safety of component-based cyber-physical systems (CPSs). CBSA integrates …

A survey is given of the main issues in compositional reasoning about state-based
parallelism and of the history of their evolution, as reflected in the current literature …

A logical view of composition* Page 1 Theoretical Computer Science 114 (1993) 3-30 Elsevier
A logical view of composition* Martin Abadi Systems Research Center, Digiral Equipment …

A syntax-directed formal system for the development of totally correct programs with respect
to an unfair shared-state parallel while-language is proposed. The system can be …

Multithreaded software systems are prone to errors due to the difficulty of reasoning about
multiple interleaved threads operating on shared data. Static checkers that analyze a …

Several proof rules based on the assume-guarantee paradigm have been proposed for
compositional reasoning about concurrent systems. Some of the rules are syntactically …

Degree: Fil. Dr. DegreeYear: 1987 Institute: Uppsala Universitet (Sweden) We present a
method for specification and verification of distributed systems. The method applies to …

Automated verification can ensure that a web page satisfies accessibility, usability, and
design properties regardless of the end user's device, preferences, and assistive …

We present a novel method to compute $\textit {assume-guarantee contracts} $ in non-
zerosum two-player games over finite graphs where each player has a different $\omega …