| emsoft | participants

George J. Pappas

Program Committees:
2007, 2009, and 2010
.

EMSOFT 2015: 15th International Conference on Embedded Software

Automatic Verification of Linear Controller Software

Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Time-Triggered Implementations of Dynamic Controllers

Truong X. Nghiem, George J. Pappas, Rajeev Alur, and Antoine Girard

EMSOFT 2001: 1st International Workshop on Embedded Software

Hierarchical Hybrid Modeling of Embedded Systems

Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, and Oleg Sokolsky