Franjo Ivancic
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Refining the Control Structure of Loops using Static Analysis
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