Concepedia

Jacques Sincennes

JS

6

Publications

79

Citations

6

H-Index

1992

Active since

Affiliations

University of Ottawa(Current)

Université du Québec en Outaouais

Jacques Sincennes is an author at University of Ottawa specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisData ScienceVerificationSoftware AnalysisAutomated ReasoningFormal VerificationKnowledge Discovery

Publications per year

1992–2005

6

Publications

6

Formal methods for mobility standards

Daniel Amyot, Rossana M. C. Andrade, Luigi Logrippo et al. · 2003 · 21 citations

Engineering, Verification, Software Engineering +19

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

Interactive conflict detection and resolution for personalized features

Daniel Amyot, Tom Gray, Ramiro Liscano et al. · Journal of Communications and Networks · 2005 · 12 citations

Cpl Script, Engineering, Verification +25

Feature interaction detection: a LOTOS-based approach

Qiyan Fu, P. Harnois, Luigi Logrippo et al. · Computer Networks · 2000 · 11 citations

Machine Vision, Image Analysis, Data Science +10

Goal oriented execution for LOTOS

Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes · Formal Techniques for (Networked and) Distributed Systems · 1992 · 11 citations

Engineering, Runtime Verification, Program Analysis +6

Rows per page

1–5 of 6