Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Hybrid of Counterexample-Based and Proof-Based Abstraction., and . FMCAD, volume 3312 of Lecture Notes in Computer Science, page 260-274. Springer, (2004)Experimental Analysis of Different Techniques for Bounded Model Checking., , , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 34-48. Springer, (2003)Beyond Production Indicators: A Novel Smart Farming Application and System for Animal Welfare., , , , and . ACI, page 7:1-7:11. ACM, (2017)Combining Abstraction Refinement and SAT-Based Model Checking., and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 405-419. Springer, (2007)Smart Computing and Sensing Technologies for Animal Welfare: A Systematic Review., , and . CoRR, (2016)Automatic Abstraction without Counterexamples., and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 2-17. Springer, (2003)NSF on Chien's Grand Challenge for Sustainability., , , and . Commun. ACM, 66 (5): 36-37 (May 2023)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 226-242. Springer, (2002)Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams., , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 387-390. Springer, (2001)Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams., , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 465-479. Springer, (2001)