Patrick Heymans - Concepedia

Author

Patrick Heymans

Also Known As

Heymans, Patrick, P. Heymans, Patrick Heymans

Publications

946

Citations

H-Index

Concepts

All Affiliations

Patrick Heymans is an author at University of Namur specializing in engineering, computer science, and automated reasoning.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	852
2	Computer Science	4	4	852
3	Computer Engineering	3	3	504
4	Systems Engineering	3	3	504
5	Semantics	1	1	348

Patrick Heymans

Publications

909

Citations

H-Index

Page 1

	Year	Citations
Feature Diagrams: A Survey and a Formal Semantics Pierre‐Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux Feature DiagramsEngineeringSoftware EngineeringSemantic WebSoftware Analysis	2006	408
Generic semantics of feature diagrams Pierre‐Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Computer Networks EngineeringDiagrammatic ReasoningAutomated ReasoningType TheoryComputer Science	2006	348
ProVeLines Maxime Cordy, Patrick Heymans, Pierre‐Yves Schobbens, Software MaintenanceEngineeringVerificationComputer-aided VerificationSoftware Engineering	2013	69
Formal semantics, modular specification, and symbolic verification of product-line behaviour Maxime Cordy, Patrick Heymans, Axel Legay, Science of Computer Programming	2013	57
Simulation-based abstractions for software product-line model checking Maxime Cordy, Gilles Perrouin, Pierre‐Yves Schobbens, Software MaintenanceEngineeringVerificationSoftware EngineeringSimulation	2012	27

Page 1