Speaker Abstracts and Submitted Position Papers
Abstracts
Interface-driven software composition and scheduling
Luca de Alfaro (U. C. Santa Cruz)
Specification and Derivation of Distributed Programs using a Logic of Events
Mark Bickford (ATC-NY)
Modeling Timed Concurrent Systems
Eleftherios Matsikoudis (U. C. Berkeley)
Defining Behavioral Semantics for Domain Specific Modeling Languages
Janos Sztipanovits (Vanderbilt)
Event-based semantics for Interactive Agents
Carolyn Talcott (SRI Internaltional)
Position Papers
Self-scheduled Real Time Software Using Real Time Messaging
(
Appendix
)
Chitoor V. Srinivasan
A refinement method for embedded software development: A based events and data approach
Marcelo F. Polido and Newton Maruyama (U Sao Paolo)
Semantics of High-Level Event Definition
Insup Lee and Oleg Sokolsky (U Pennsylvania)
Realizing the Potential of Monitoring Uncertain Event Streams in Real-Time Embedded Applications
Honguk Woo, Aloysius K. Mok (UT Austin), Deji Chen (Emerson Process Management)
Requirements in Providing Awareness from Events
Donald Baker, Dimitrios Georgakopoulos, Marian Nodine, Andrzej Cichocki (Telcordia Technologies, Austin Research Center)
Event-Driven Embedded System Synthesis
Forrest Brewer and Greg Hoover (UC Santa Barbara)
Abstract Interpretation of Time for Preemptive Scheduling of Cyber-Physical Systems
Terry Tidwell and Christopher Gill (Washington University)
Event-Based Semantics in the Implementation Language for Embedded and Critical Systems
Albert Mo Kim Cheng and James Ras (U Houston)
Solving the Program Entanglement Problem with the Feature Language Extensions
Wu-Hon Francis Leung (IIT)
Computation and Coordination in Embedded and Critical Systems
Shangping Ren (IIT) and Carolyn Talcott (SRI International)
Home