Concepedia

Pierre Collette

PC

4

Publications

79

Citations

4

H-Index

1994

Active since

Affiliations

UCLouvain(Current)

Pierre Collette is an author at UCLouvain specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationMechanism DesignAutomated ReasoningFormal SpecificationSoftware DesignSystem Software

Publications per year

1994–1997

4

Publications

4

Parallel composition of assumption-commitment specifications

Antonio Cau, Pierre Collette · Acta Informatica · 1996 · 30 citations

Formal Specification, Engineering, Verification +8

Composition of assumption-commitment specifications in a UNITY style

Pierre Collette · Science of Computer Programming · 1994 · 25 citations

Formal Specification, Engineering, Automated Reasoning +8

A foundation for modular reasoning about safety and progress properties of state-based concurrent programs

Pierre Collette, Edgar Knapp · Theoretical Computer Science · 1997 · 13 citations

Engineering, Program Analysis, Automated Reasoning +15

An explanatory presentation of composition rules for assumption-commitment specifications

Pierre Collette · Information Processing Letters · 1994 · 11 citations

Specification Language, Formal Specification, Engineering +8

Rows per page

1–4 of 4