Dorian Petit

Publications

Citations

H-Index

2005

Active since

Affiliations

Laboratoire d'Automatique, de Mécanique et d'Informatique Industrielles et Humaines(Current)

Dorian Petit is an author at Laboratoire d'Automatique, de Mécanique et d'Informatique Industrielles et Humaines specializing in system software, formal methods, and engineering.

Top concepts

DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceFormal VerificationSystems EngineeringSoftware EngineeringVerification

Publications per year

2005–2009

Publications

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi et al. · Innovations in Systems and Software Engineering · 2009 · 65 citations

Sysml Requirements Diagrams, Software Requirement, Engineering +13

BRILLANT: an open source and XML-based platform for rigourous software development

Samuel Colin, Dorian Petit, Jérôme Rocheteau et al. · 2005 · 11 citations

Software Maintenance, Engineering, Verification +30

Rows per page

1–2 of 2