Concepedia

Philippe Le Parc

PL

4

Publications

73

Citations

4

H-Index

1993

Active since

Affiliations

Université de Bretagne Occidentale(Current)

Philippe Le Parc is an author at Université de Bretagne Occidentale specializing in automated reasoning, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationSystem SoftwareProgram AnalysisSoftware AnalysisSystems Engineering

Publications per year

1993–2018

4

Publications

4

Defining the semantics of languages for programmable controllers with synchronous processes

Lionel Marcé, Philippe Le Parc · Control Engineering Practice · 1993 · 30 citations

Process Calculus, Formal Specification, Engineering +13

Proving sequential function chart programs using timed automata

Dominique L’Her, Philippe Le Parc, Lionel Marcé · Theoretical Computer Science · 2001 · 15 citations

Logical Automaton, Engineering, Automated Reasoning +7

Grafcet revisited with a synchronous data-flow language

Philippe Le Parc, Dominique L’Her, J.-L. Scharbarg et al. · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 1999 · 14 citations

Engineering, Visual Programming Language, Synchronous Data-flow Language +25

Enhancing network slice security via Artificial Intelligence: challenges and solutions

Luis Suárez, David Espès, Philippe Le Parc et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2018 · 14 citations · Full text

Rows per page

1–4 of 4