Akshay Rajhans

Akshay Rajhans 

Ph.D. candidate
Electrical and Computer Engineering Department
Carnegie Mellon University

Advisor: Professor Bruce Krogh

Email: arajhans (at) ece (dot) cmu (dot) edu

Contact

Office: Porter Hall B23, Office Phone: (412)-268-3633

Mail:
Electrical and Computer Engineering,
Carnegie Mellon University,
5000 Forbes Avenue,
Pittsburgh, PA 15213

In the News

  • 2011 IEEE/ACM William J. McCalla ICCAD Best Paper Award (ECE News). (Oct ’11)

Research and Academic Interests

Publications

  1. A. Rajhans and B. H. Krogh, “Heterogeneous verification of cyber-physical systems using behavior relations,” in Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control, 2012.
    [BibTeX] [Preprint] [Slides] 

    @inproceedings{RajhansK12,
  author = {Akshay Rajhans and Bruce H. Krogh},
  title = {Heterogeneous verification of cyber-physical systems using behavior relations},
  booktitle = {Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control},
  year = {2012}
}

  2. M. Althoff, A. Rajhans, B. H. Krogh, S. Yaldiz, X. Li and L. Pileggi, “Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization,” in Proceedings of the IEEE/ACM 2011 International Conference on Computer-Aided Design (ICCAD), Nov 2011.
    [BibTeX] [Preprint] 

    @inproceedings{AlthoffRK+11,
  author = {Matthias Althoff and Akshay Rajhans and Bruce H. Krogh and Soner Yaldiz and Xin Li and Larry Pileggi},
  title = {Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization},
  booktitle = {Proceedings of the IEEE/ACM 2011 International Conference on Computer-Aided Design (ICCAD)},
  year = {2011}
}

  3. A. Rajhans, A. Bhave, S. Loos, B. H. Krogh, A. Platzer and D. Garlan, “Using Parameters in Architectural Views to Support Heterogeneous Design and Verification,” in 50th IEEE Conference on Decision and Control, Dec 2011.
    [BibTeX] [preprint] 

    @inproceedings{RBL+11,
  author = {Akshay Rajhans and Ajinkya Bhave and Sarah Loos and Bruce H. Krogh and André Platzer and David Garlan},
  title = {Using Parameters in Architectural Views to Support Heterogeneous Design and Verification},
  booktitle = {50th IEEE Conference on Decision and Control},
  year = {2011}
}

  4. A. Bhave, D. Garlan, B. Krogh, A. Rajhans and B.Schmerl, “Augmenting Software Architectures with Physical Components,” in Proc. of the Embedded Real Time Software and Systems Conf. (ERTS$^2$ 2010), 19-21 May 2010.
    [BibTeX] [Preprint] 

    @inproceedings{BGK+10,
  author = {A. Bhave and D. Garlan and B.H. Krogh and A. Rajhans and B.Schmerl},
  title = {Augmenting Software Architectures with Physical Components},
  booktitle = {Proc. of the Embedded Real Time Software and Systems Conf. (ERTS$^2$ 2010)},
  year = {2010}
}

  5. A. Donzé, B. H. Krogh and A. Rajhans, “Parameter Synthesis for Hybrid Systems with an Application to Simulink Models,” in Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, 2009.
    [BibTeX] [Preprint] 

    @inproceedings{DonzeKR09,
  author = {Alexandre Donzé and Bruce H.~Krogh and Akshay Rajhans},
  title = {Parameter Synthesis for Hybrid Systems with an Application to Simulink Models},
  booktitle = {Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control},
  year = {2009}
}

  6. A. Rajhans, S.-W. Cheng, B. Schmerl, D. Garlan, B. H. Krogh, C. Agbi and A. Bhave, “An Architectural Approach to the Design and Analysis of Cyber-Physical Systems,” in Third International Workshop on Multi-Paradigm Modeling, Oct 2009.
    [BibTeX] [Abstract and a link to fulltext PDF] [Slides] 

    @inproceedings{RCS+09,
  author = {Akshay Rajhans and Shang-Wen Cheng and Bradley Schmerl and David Garlan and Bruce H. Krogh and Clarence Agbi and Ajinkya Bhave},
  title = {An Architectural Approach to the Design and Analysis of Cyber-Physical Systems},
  booktitle = {Third International Workshop on Multi-Paradigm Modeling},
  year = {2009}
}

  7. A. Rajhans, “Development of Robust Testing Toolbox for Hybrid Systems,” 2007.
    [BibTeX] 

    @mastersthesis{Rajhans07,
  author = {Akshay Rajhans},
  title = {Development of Robust Testing Toolbox for Hybrid Systems},
  school = {School of Engineering and Applied Science, Univ. of Pennsylvania},
  year = {2007}
}

Patents

Posters

Technical Reports and Abstracts

Talks

Teaching

Teaching assistant for:

Education

Outside of work