You are here

Event Details

MP Associates, Inc.
TUESDAY October 15, 1:30pm - 3:00pm | KC 905/907
EVENT TYPE: REGULAR SESSION
SESSION EM5C
Modeling and Design II
Chair:
Marc Pouzet - Université Pierre et Marie Curie & École normale supérieure, France
Modeling and Design of Embedded Systems

5C.1Graph-Based Modeling, Scheduling, and Verification for Intersection Management of Intelligent Vehicles
 Speaker: Yi-Ting Lin - National Taiwan Univ.
 Authors: Yi-Ting Lin - National Taiwan Univ.
Hsiang Hsu - National Taiwan Univ.
Shang-Chien Lin - National Taiwan Univ.
Chung-Wei Lin - National Taiwan Univ.
Iris Hui-Ru Jiang - National Taiwan Univ.
Changliu Liu - Carnegie Mellon Univ.
5C.2Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach
 Speaker: Jyotirmoy Deshmukh - Univ. of Southern California
 Authors: Jyotirmoy Deshmukh - Univ. of Southern California
Panagiotis Kyriakis - Univ. of Southern California
Paul Bogdan - Univ. of Southern California
5C.3Work-in-Progress: PowerMonitor: Design Pattern for Modelling Energy-Aware Embedded Systems
 Speaker: Michael Uelschen - Univ. of Applied Sciences at Osnabrueck
 Authors: Michael Uelschen - Univ. of Applied Sciences at Osnabrueck
Marco Schaarschmidt - Univ. of Applied Sciences at Osnabrueck
Christian Fuhrmann - Univ. of Applied Sciences at Osnabrueck
Clemens Westerkamp - Univ. of Applied Sciences at Osnabrueck
5C.4Work-in-Progress: Delay Bound Function for Cyber-Physical Systems
 Speaker: Akramul Azim - Univ. of Ontario Institute of Technology
 Author: Akramul Azim - Univ. of Ontario Institute of Technology
5C.5Work-in-Progress: Physics-Based Software Analysis for Safety-Critical Embedded Applications
 Speaker: Philipp Göttlich - ETAS GmbH
 Authors: Philipp Göttlich - ETAS GmbH
Hans-Christian Reuss - Univ. of Stuttgart
5C.6Work-in-Progress: Verifiably Safe SCUBA Diving using Commodity Sensors
 Speaker: Viren Bajaj - Carnegie Mellon Univ.
 Authors: Viren Bajaj - Carnegie Mellon Univ.
Karim Elmaaroufi - Carnegie Mellon Univ.
Nathan Fulton - Massachusetts Institute of Technology
Andre Platzer - Carnegie Mellon Univ.