List

V2CPS: Verification and Validation of Cyber-Physical Systems Workshop on Verification and Validation of Cyber-Physical Systems is targeted at methods related to different aspects of cyber-physical systems with an emphasize on non-functional properties initiated from the physical world. A cyber-physical system (CPS) is an integration of networked computational and physical processes with meaningful inter-effects; the former monitors, controls, and affects the latter, while the latter also impacts the former.

http://www.cs.ox.ac.uk/conferences/VVCPS16/

  Posts

April 20th, 2015

The CSI Symposium on Real-Time and Embedded Systems and Technologies (RTEST)

RTEST 2015 is an annual symposium targeted at bringing researchers in the fields of real-time systems, embedded systems, and related […]

December 8th, 2015

V2CPS: Verification and Validation of Cyber-Physical Systems

V2CPS: Verification and Validation of Cyber-Physical Systems Workshop on Verification and Validation of Cyber-Physical Systems is targeted at methods related to different aspects […]

September 29th, 2015

Optimal Sampling for Linear Control Systems, Talk by Professor Bini

Date: Monday - October 12th  (Mehr 20th) Time: 10 AM Abstract In embedded control systems, reducing the number of sampling instants per […]

September 6th, 2015

Accepted Paper in RTNS 2015

The following paper has been accepted in RTNS 2015: M. Ghassemi, M. Mohaqeqi, and M. Kargahi, “Joint Management of Processing […]

August 10th, 2015

Accepted Papers in RTEST2015

The following papers have been accepted in RTEST 2015: Javad Ebrahimian Amiri and Mehdi Kargahi, “A Predictable Interrupt Management Policy […]

May 15th, 2015

Won the best paper prize of ICEE 2015

Vahid Panahi, Morteza Mohaqeqi, and Mehdi Kargahi, “Preemption-Delay Aware Self-Triggered Controller: A Scheduler-Controller Codesign Approach”, ICEE 2015, IEEE.

April 16th, 2015

Algorithmic Design of Self-Stabilization, Talk by Dr. A. Ebnenasir

  Date: Tuesday – April 21st (Ordibehesht 1st) Time: 4pm Abstract The enormous scale of integration in today’s SoC (System-on-Chip) […]

August 4th, 2014

Towards Dependable Sensor Networks, Talk by Professor Lothar Thiele

  Date: Tuesday – August  10st (Mordad 19st) Time: 4pm Abstract The area of wireless sensor networks had a huge […]