Patrice Gagnon

According to our database, Patrice Gagnon authored at least 3 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

Applying Model Checking to Concurrent UML Models.

Patrice Gagnon, Farid Mokhati, Mourad Badri

J. Object Technol., 2008

2007

Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach.

Farid Mokhati, Patrice Gagnon, Mourad Badri

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006

Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach.

Farid Mokhati, Mourad Badri, Patrice Gagnon

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006