Specifying and verifying sensor networks: An experiment of formal methods

10.1007/978-3-540-88194-0-20Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)5256 LNCS318-33

A formal framework for modeling and validating Simulink diagrams

10.1007/s00165-009-0108-9Formal Aspects of Computing215451-483FACM

Model checking concurrent and real-time systems : the PAT approach

Ph.DDOCTOR OF PHILOSOPH

A verification system for timed interval calculus

10.1145/1368088.1368126Proceedings - International Conference on Software Engineering271-280PCSE