Philippe Le Parc - Concepedia

Author

Philippe Le Parc

Also Known As

LE PARC, Philippe, Le Parc, Philippe, Le, Parc, Philippe, P Le Parc, P. Le Parc, Parc, Philippe Le, Philippe Le Parc, Université De Brest Ea

Publications

230

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	59
2	Computer Science	3	3	59
3	Systems Engineering	2	2	44
4	Management	1	1	14
5	Computer Engineering	1	1	14

Philippe Le Parc

Publications

Citations

H-Index

Page 1

	Year	Citations
Defining the semantics of languages for programmable controllers with synchronous processes Lionel Marcé, Philippe Le Parc Control Engineering Practice Process CalculusFormal SpecificationEngineeringSpecification LanguageOperational Semantics	1993	30
Proving sequential function chart programs using timed automata Dominique L’Her, Philippe Le Parc, Lionel Marcé Theoretical Computer Science Logical AutomatonEngineeringAutomated ReasoningVerificationFormal Methods	2001	15
Grafcet revisited with a synchronous data-flow language Philippe Le Parc, Dominique L’Her, J.-L. Scharbarg, IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans EngineeringVisual Programming LanguageSynchronous Data-flow LanguageVerificationSoftware Engineering	1999	14
Enhancing network slice security via Artificial Intelligence: challenges and solutions Luis Suárez, David Espès, Philippe Le Parc, HAL (Le Centre pour la Communication Scientifique Directe)	2018	14

Page 1