Sriram Sankaranarayanan
Department of Computer Science
University of Colorado at Boulder
Talk:: Model-Based Verification of Interactive Systems
Eugene C. Goldfield
Program in Neuroscience
Children's Hospital Boston
Wyss Institute for Biologically Inspired Engineering Harvard University
Talk:: Challenges in Designing Cyberphysical Devices For Restoring Body and Brain Function Throughout the Lifespan
Linh Phan
Department of Computer & Information Science
University of Pennsylvania
Talk:: Modeling Buffers with Data Refresh Semantics in Automotive Architectures
Chenyang Lu
Department of Computer Science & Engineering
Washington University in St. Louis
Talk:: Toward Wireless Clinical Monitoring in General Hospital Units
William Hohl
ARM
Talk:: ARM Architecture
Brian Larson
Multitude Corporation
Talk:: Proving Cyber-Physical Systems Correct
William Edmonson
Director, High Performance Digital Signal Processing Laboratory
Department of Electrical & Computer Engineering
North Carolina State University
Talk:: Formal Methods for Small Satellites
Sebastian Engell
Chair of Process Dynamics and Operations
Department of Biochemical and Chemical Engineering
Technische Universitat Dortmund, Germany
Talk:: Towards Integrated Multi-formalism Tool Support for the Design of Embedded Control Systems
Sanjit Seshia
Department of Electrical Engineering and Computer Science
University of California, Berkeley
Talk:: Integrating Induction and Deduction for Verification and Synthesis
Matt Welsh
School of Engineering and Applied Sciences
Harvard University
Talk:: How to Program a Macroscope
Brian Larson
Boston Scientific
Talk:: Proving Cyber-Physical Systems Correct
Sebastian Burckhardt
Microsoft Research
Talk:: A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs
Monday, March 1, 2010
Mahesh Viswanathan
Department of Computer Science
University of Illinois at Urbana-Champaign
Talk::Power of Randomization in Finite State Monitoring
Swarat Chaudhuri
Computer Science and Engineering
Pennsylvania State University
Talk:: Cauchy: Towards an analytical calculus of computation
Borzoo Bonakdarpour
Verimag, Grenoble
Talk:: From High-Level Component-Based Models to Distributed Implementations
Rance Cleaveland
Department of Computer Science
University of Maryland
Talk:: Validating Automotive Control Software using Instrumentation-Based Verification
Paul McLaughlin
Director of Architecture
Honeywell Process Solutions
Talk:: System Architecture for Process Automation: Review and Trends
Chris Gill
Computer Science and Engineering
Washington University in St. Louis
Talk:: Non-Preemptive Scheduling Policy Design for Tasks with Stochastic Execution Times
October 26, 2009
Luca Carloni
Department of Computer Science
Columbia University
Talk:: System-Level Design of Embedded Platform Architectures
Junehwa Song
Department of Computer Science
Korea Advanced Institute of Science and Technology (KAIST)
Talk:: SeeMon: a Scalable and Energy-efficient Context Processing Framework for Sensor-rich Mobile Environments
Wayne Wolf
School of Electrical and Computer Engineering
Georgia Institute of Technology
Talk:: Energy Trade-Offs in Cyber-Physical Systems
Insup Lee & George Pappas
Dept. of Computer and Information Science
Talk:: Cyber Physical Systems (CPS)
Oleg Sokolsky
Dept. of Computer and Information Science
Talk:: Runtime Verification
