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