CHARON	Department of Computer and Information Science University of Pennsylvania
	Overview | People | Examples | Grammar | Implementation | Publications | Links

Modular Specification of Hybrid Systems

People

Prof. Rajeev Alur Email: alur@cis.upenn.edu Homepage: http://www.cis.upenn.edu/~alur Joel M. Esposito Homepage: http://www.usna.edu/Users/weapsys/esposito/ Dr. Rafael Fierro B. Homepage: http://rfierro.okstate.edu/ Prof. Radu Grosu Homepage: http://www.cs.sunysb.edu/~grosu Yerang Hur Homepage: http://www.cis.upenn.edu/~yehur Franjo Ivancic Homepage: http://www.nec-labs.com/~ivancic/ Prof. Vijay Kumar Homepage: http://www.cis.upenn.edu/~kumar Prof. Insup Lee Homepage: http://www.cis.upenn.edu/~lee Dr. Oleg Sokolsky Homepage: http://www.cis.upenn.edu/~sokolsky Valentina Sokolskaya Email: valya@seas.upenn.edu Usa Sammapun Homepage: http://www.cis.upenn.edu/~usa

Contact the CHARON team

General information and help: CHARON Help Desk

Maintained by Valentina Sokolskaya