Concepedia

P. Girodias

PG

2

Publications

34

Citations

2

H-Index

1997

Active since

Affiliations

Université de Montréal(Current)

P. Girodias is an author at Université de Montréal specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsProgram AnalysisReal-time SystemsLinear ProgrammingAutomated ReasoningFormal Verification

Publications per year

1997–1997

2

Publications

2

Solving linear, min and max constraint systems using CLP based on relational interval arithmetic

P. Girodias, E. Cerny, William J. Older · Theoretical Computer Science · 1997 · 21 citations

Mathematical Programming, Constraint Solving, Engineering +10

Interface timing verification with delay correlation using constraint logic programming

P. Girodias, E. Cerny · European Design and Test Conference · 1997 · 13 citations

Engineering, Real-time System Design, Verification +19

Rows per page

1–2 of 2