Alumni [See group photos & events]

  • MS Students
    • Ramtin Kermani (Fall 2013 - CIDSE, ASU)
      Thesis title: Model-based Design, Simulation and Automatic Code Generation For Embedded Systems and Robotic Applications (pdf, software)
      First placement: OSIsoft, USA
    • Anurag Kamasamudram (Fall 2013 - CIDSE, ASU - Co-advised with Srikanth Saripalli)
      Thesis title: Smooth path planning using splines for unmanned planetary vehicles
      First placement: Co-Founder/Lead iOS Developer at Dezapp,LLC
    • Shashank Srinivas (Spring 2013 - CIDSE, ASU)
      Thesis title: A Graphical Language for LTL Motion and Mission Planning (pdf, software)
      First placement: Intel, USA
    • Hengyi Yang (Spring 2013 - CIDSE, ASU)
      Thesis title: Dynamic Programming algorithm for Computing Temporal Logic Robustness (pdf, software)
      First placement: Amazon, USA
    • Parth Pandya (Spring 2013 - CIDSE, ASU)
      Thesis title: A Modular ROS package for Linear Temporal Logic based Motion Planning (pdf)
      First placement: Qualcomm, USA
    • Shih-Kai Su (Fall 2012 - CIDSE, ASU)
      Thesis title: Model-Based Development for Multi-iRobot Simulation and Control (pdf, software, videos)
      First placement: Cypress Technology Co., Taiwan
    • Yashwanth Annapureddy (Fall 2011 - CIDSE, ASU)
      Thesis title: S-TaLiRo: A tool for Temporal Logic Falsification for Hybrid Systems (pdf, software)
      First placement: Mathworks, USA
  • Undergraduate Students (REU)
    • Jorge Arce Mendoza (2012-13, CIDSE, ASU)
      Project: CES: Parallelization of Embedded Control Applications on Multi-core Architectures
    • Scott Jones (2012-13, ECEE, ASU)
      Project: CES: Temporal Logic Testing for Stochastic Cyber-Physical Systems
  • Undergraduate Students (Capstone Teams)
    • Project: Touch screen interface for controlling a UAV (2012-13, CIDSE, ASU)
      Team: Andrew Becker, Jesse Deng, Jaclyn Lim, Jorge Arce Mendoza, Liangcheng Tang, and Wei Wei.
      [See Final Video and Final Presentation]
    • Project: Touch screen interface for Human-Robot Interaction (2011-12, CIDSE, ASU)
      Team: Nikunj Dixit, Anurag Kamasamudram, Wenyang Li and Narendra Patel
      [See Final Video]
    • Project: Multi-Robot Experimental Platform (2011-12, CIDSE, ASU)
      Team: Blake Birmingham, Nathan Kiel, Patrick Murphy, Mark Nixon, Michelle Paynes and Marcus Yazzie

Teaching

Organized Workshops and Conferences

Editorships

Program Committees

  • ICCPS: ACM/IEEE International Conference on Cyber-Physical Systems
  • ICRA 2015: IEEE International conference on Robotics and Automation
  • RV 2015: International Conference on Runtime Verification
  • HSCC 2015: ACM International Conference on Hybrid Systems: Computation and Control
  • RTSS 2014: IEEE Real-Time Systems Symposium
  • HSCC 2014: ACM International Conference on Hybrid Systems: Computation and Control
  • ICRA 2014: IEEE International conference on Robotics and Automation
  • FORMATS 2014: Formal Modeling and Analysis of Timed Systems
  • ARCH 2014: Applied Verification for Continuous and Hybrid Systems
  • SynCoP 2014: Synthesis of Continuous Parameters
  • HAS 2014: Hybrid Autonomous Systems
  • TIME 2013: Temporal Representation and Reasoning
  • CPSEd 2013: Workshop on Cyber-Physical System Education
  • HSCC 2013: Hybrid Systems: Computation and Control
  • NSV 2012: International Workshop on Numerical Software Verification
  • FORMATS 2013: International Conference on Formal Modeling and Analysis of Timed Systems
  • FORMATS 2012: International Conference on Formal Modeling and Analysis of Timed Systems
  • FMICS 2012: International Workshop on Formal Methods for Industrial Critical Systems
  • RTSS 2011 WiP: IEEE Real-Time Systems Symposium
  • RTSS 2010: IEEE Real-Time Systems Symposium
  • LfSA 2010Logics for System Analysis
  • ICE 2009: Interaction and Concurrency Experience
  • QFM 2009: Quantitative Formal Methods: Theory and Applications

Old News

 
Schedule
 

Office hours, travel, meetings, etc

Note: Google calendar might not be displayed properly on Safari or Internet Explorer!
 
Other
 
Home :: Research :: Publications :: Miscellaneous
Admin: G. Fainekos // Design: O. Fainekos // Copyright @ Georgios Fainekos // Last update@2014.01.20