Rajeev Alur Books
Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
By Rajeev Alur, EMSOFT (Conference), Insup Lee
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.The 20 revised full papers pres...
Read More
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
By Rajeev Alur, Thomas Henzinger, CAV (Conference)
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research pape...
Read More
Hybrid Systems: Computation And Control 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 2004 Proceedings
By Rajeev Alur, George J, George J. Pappas, Alur, HSCC (Conference), Rajeev; Pappas
This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid s...
Read More
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes In Computer Science (3114))
By Rajeev Alur, Doron A. Peled, CAV (Conference)
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13–17,2004.CAV 2004 was the 16th in a series of conferences dedicated to t...
Read More
Principles of Cyber-Physical Systems
By Rajeev Alur
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.A cyber-physical system consists of a collection...
Read More
