9 papers:
CAV-2015-AkazakiH #hybrid #robust- Time Robustness in MTL and Expressivity in Hybrid System Falsification (TA, IH), pp. 356–374.
TACAS-2011-AnnpureddyLFS #hybrid #logic #named- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (YA, CL, GEF, SS), pp. 254–257.
- TACAS-2009-PlakuKV #hybrid #ltl #safety
- Falsification of LTL Safety Properties in Hybrid Systems (EP, LEK, MYV), pp. 368–382.
- CAV-2008-Cremers #analysis #protocol #security #verification
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols (CJFC), pp. 414–418.
- CAV-2007-PlakuKV #hybrid #verification
- Hybrid Systems: From Verification to Falsification (EP, LEK, MYV), pp. 463–476.
DAC-2006-PeranandamNRWKR #bound #performance- Fast falsification based on symbolic bounded property checking (PMP, PKN, JR, RJW, TK, WR), pp. 1077–1082.
SEKE-2006-OgataKF #bound- Falsification of OTSs by Searches of Bounded Reachable State Spaces (KO, WK, KF), pp. 440–445.
- CAV-2005-BallKY #abstraction
- Abstraction for Falsification (TB, OK, GY), pp. 67–81.
- CAV-2000-FraerKZVF #analysis #performance #reachability #traversal #verification
- Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification (RF, GK, BZ, MYV, LF), pp. 389–402.
