Concepedia

Meriem Ouederni

MO

9

Publications

338

Citations

9

H-Index

2009

Active since

Affiliations

Universidad de Málaga(Current)

Institut national de recherche en sciences et technologies du numérique

Institut polytechnique de Grenoble

Iowa State University

University of California, Santa Barbara

Meriem Ouederni is an author at Universidad de Málaga specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware DesignSystem SoftwareSoftware AnalysisFormal SpecificationSoftware EngineeringProgram Analysis

Publications per year

2009–2016

9

Publications

9

Deciding choreography realizability

Samik Basu, Tevfik Bultan, Meriem Ouederni · ACM SIGPLAN Notices · 2012 · 119 citations

Engineering, Software Engineering, Action Language +21

Deciding choreography realizability

Samik Basu, Tevfik Bultan, Meriem Ouederni · 2012 · 67 citations

Engineering, Software Engineering, Action Language +21

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services

Javier Cámara, José Antonio Martín, Gwen Salaün et al. · 2009 · 53 citations

Web Service Specification, Engineering, Verification +27

A correct-by-construction model for asynchronously communicating systems

Zoubeyr Farah, Yamine Aït-Ameur, Meriem Ouederni et al. · International Journal on Software Tools for Technology Transfer · 2016 · 25 citations

Engineering, Correct-by-construction Model, Message Passing +8

A generic framework for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>n</mml:mi></mml:math>-protocol compatibility checking

Francisco Durán, Meriem Ouederni, Gwen Salaün · Science of Computer Programming · 2011 · 23 citations

Math Xmlns, Programming Language Theory, Formal Specification +9

Rows per page

1–5 of 9