Concepedia

N. Gorse

NG

2

Publications

27

Citations

2

H-Index

2005

Active since

Affiliations

Université de Montréal(Current)

N. Gorse is an author at Université de Montréal specializing in formal verification, formal methods, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationReliabilityData ScienceSemantic Web

Publications per year

2005–2005

2

Publications

2

Formal detection of feature interactions with logic programming and LOTOS

N. Gorse, Luigi Logrippo, Jacques Sincennes · Software & Systems Modeling · 2005 · 14 citations · Full text

Applied Logic, Computational Logic, Engineering +14

On the use of model checking for the verification of a dynamic signature monitoring approach

Basarab Nicolescu, N. Gorse, Y. Savaria et al. · IEEE Transactions on Nuclear Science · 2005 · 13 citations

Engineering, Verification, Computer-aided Verification +21

Rows per page

1–2 of 2