acm sigbed
|
emsoft
|
participants
Ben Lickly
EMSOFT 2011: 11th International Conference on Embedded Software
A Practical Ontology Framework for Static Model Analysis
Ben Lickly
,
Charles P. Shelton
,
Elizabeth Latronico
, and
Edward A. Lee
10.1145/2038642.2038648
https://www2.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-33.pdf
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
On Relational Interfaces
Stavros Tripakis
,
Ben Lickly
,
Thomas A. Henzinger
, and
Edward A. Lee
10.1145/1629335.1629346
https://www.ccs.neu.edu/~stavros/papers/emsoft09.pdf