Jeanine Souquières

Statistics

Publications

Citations

283

H-Index

Active since

1998

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Université de Lorraine

University of Duisburg-Essen

Jeanine Souquières is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in computer science, formal methods, and computing.

Publications per year

1998–2013

Publications

Integration of UML and B specification techniques: systematic transformation from OCL expressions into B

Hung Ledang, Jeanine Souquières · 2003 · 50 citations · Full text

Computing, Computer Science, Design Automation +14

Modeling class operations in B: Application to UML behavioral diagrams

Hung Ledang, Jeanine Souquières · 2005 · 37 citations · Full text

Computing, Computer Science, Diagramming +15

Description of specification developments

Jeanine Souquières, Nicole Lévy · 2002 · 30 citations

Engineering, Computer Science, Systems Engineering +12

Integrating UML and B Specification Techniques

Hung Ledang, Jeanine Souquières · HAL (Le Centre pour la Communication Scientifique Directe) · 2001 · 21 citations · Full text

Computing, Computer Science, Formal Methods +16

Proving Component Interoperability with B Refinement

Samir Chouali, Maritta Heisel, Jeanine Souquières · Electronic Notes in Theoretical Computer Science · 2006 · 21 citations · Full text

Computing, Computer Science, Formal Methods +16

1–5 of 13