List of publications related to HyCOMP:

  1. Time-aware Relational Abstractions for Hybrid Systems, Sergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta, EMSOFT 2013.
  2. SMT-based scenario verification for Hybrid System, Alessandro Cimatti, Sergio Mover, Stefano Tonetta, FMSD 2013.
  3. SMT-Based Verification of Hybrid Systems, Alessandro Cimatti, Sergio Mover, Stefano Tonetta, AAAI 2012.
  4. Quantifier-free SMT encoding of non-linear hybrid automata, Alessandro Cimatti, Sergio Mover, Stefano Tonetta, FMCAD 2012.
  5. Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems, Alessandro Cimatti, Sergio Mover, Stefano Tonetta, FMCAD 2011.
  6. HYDI: a language for symbolic hybrid systems with discrete interaction, Alessandro Cimatti, Sergio Mover, Stefano Tonetta, EUROMICRO-SEAA 2011.
  7. Efficient Scenario Verification for Hybrid Automata, Alessandro Cimatti, Sergio Mover, Stefano Tonetta, CAV 2011.
  8. Model Checking of Hybrid Systems Using Shallow Synchronization, Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta, FORTE 2010.


Page last modified on October 14, 2013, at 10:23 PM