出版物

HyCOMP相关出版物列表：

1. 混合系统的时间-软件关系抽象，Sergio Mover，Alessandro Cimatti，Ashish Tiwari，Stefano Tonetta，EMSOFT 2013。
2. 混合动力系统基于SMT的场景验证，Alessandro Cimatti，Sergio Mover，Stefano Tonetta，FMSD 2013。
3. 基于SMT的混合系统验证，Alessandro Cimatti，Sergio Mover，Stefano Tonetta，AAAI 2012。
4. 非线性混合自动机的无量词SMT编码，Alessandro Cimatti，Sergio Mover，Stefano Tonetta，FMCAD 2012。
5. 《证明和解释混合系统消息序列图的不可行性》，Alessandro Cimatti，Sergio Mover，Stefano Tonetta，FMCAD 2011。
6. HYDI：具有离散交互的符号混合系统语言，Alessandro Cimatti，Sergio Mover，Stefano Tonetta，EUROMICRO-SEAA 2011。
7. 混合自动机的有效场景验证，Alessandro Cimatti，Sergio Mover，Stefano Tonetta，CAV 2011。
8. 使用浅层同步对混合系统进行模型检查，雷布，亚历山德罗·西马蒂，李宣东，塞尔吉奥·莫弗，斯特凡诺·托内塔，FORTE 2010。