| 9/7 |
|
|
|
| 9/16 |
Engineering
Leadership in a Global Enterprise (View
flyer)
|
Mike
Delaney |
Thursday,
Sept 16 – Bechtel
Engineering Center
4:00 - 5:00 pm - Sibley Auditorium –
lecture and presentation
5:00 pm - refreshments in Garbarini
Lounge |
| 9/21 |
Quo Vadis, SLD? Reasoning About
the Trends and Challenges of System Level Design |
Michael
Zimmer (slides) |
Submit your paper
summary here |
| 9/28 |
Cancelled |
|
|
| 10/5 |
The STATEMATE Semantics of
Statecharts |
John
Finn (slides) |
Submit your paper
summary here
|
| 10/26 |
STATEMATE (Cont.) |
Jonathan
Kotker (slides) |
|
| 10/28 |
Synthesis of
Embedded Software Using FCPN
PN Modeling of
Biological Networks
Performance
Analysis and Design of Supply Chains: A PN Approach
|
Chung-Wei Lin
(slides)
|
Submit your paper
summary here
|
| 11/9 |
Synchronous Approach to Reactive and
Real-Time Systems |
Fabien
CHRAIM |
Submit your paper
summary here
|
| 11/16 |
Implementing
Synchronous Models on Loosely Time Triggered Architectures |
Elói
Pereira |
Submit your paper
summary here
|
| ?/? |
Scheduling Algorithms for
Multiprogramming in a Hard-Real-Time Environment
|
|
|
| ?/? |
Period
Optimization for Hard Real-time Distributed Automotive Systems |
|
|
| ?/? |
A
Methodology for Constraint-Driven Synthesis of On-chip Communication |
|
|
| ?/? |
Flexible
and Formal Modeling of Microprocessors with Application to
Retargetable Simulation |
|
|
|
Contract-based
Component System Design |
|
|
|
The
Tire as an Intelligent Sensor |
|
|
