Watson for helpful conversations. I thank Richard Burdekin, Marc Weidenmier, and seminar participants at Yale and Rutgers for constructive comments. The views expressed herein are those of the author ...
Reactive systems control many useful and complex real-world devices. Tool-supported specification modeling helps software engineers design such systems correctly. One such tool is a scenario generator...
from comments by participants in those conferences and especially from comments by three referees and the editors of this special issue. The views expressed herein are those of the author(s) and do no...
Abstract. Programmable logic devices (PLDs) are now common components of critical systems, and are increasingly used for safety-related or safety-critical functionality. Since 1999 avionics- and defen...
Lyceum is an audio and visual conferencing system for the Internet. Using Lyceum participants can exchange audio messages and share visual applications in real-time. The system is under development at...