Yann Moffett

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Formal Specification

Alternating Time Temporal Logic

Top Venues

IEEE Trans. Software Eng.

Publications

Yann Moffett, Jürgen Dingel, Alain Beaulieu
Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems. IEEE Trans. Software Eng. 39 (9) (2013)
Yann Moffett, Alain Beaulieu, Jürgen Dingel
Verifying UML-RT Protocol Conformance Using Model Checking. MoDELS (2011)