@inproceedings{DBLP:conf/birthday/AstefanoaeiBB16, author = {Lacramioara Astefanoaei, and Saddek Bensalem, and Marius Bozga, }, title = {A Compositional Approach to the Verification of Hybrid Systems}, booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday}, pages = {88--103}, year = {2016}, doi = {10.1007/978-3-319-30734-3_8}, url = {http://dx.doi.org/10.1007/978-3-319-30734-3_8}, crossref = {DBLP:conf/birthday/2016deboer}, } @inproceedings{DBLP:conf/fm/2016, author = {Lacramioara Astefanoaei, and Bozga, Marius and Bensalem, Saddek and Cheng, Chih-Hong and Rue{\ss}, Harald}, title = {Compositional Parameter Synthesis}, booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings}, pages = {60--68}, year = {2016}, doi = {10.1007/978-3-319-48989-6_4}, }