Concepedia

Mounir Lallali

ML

5

Publications

121

Citations

5

H-Index

2007

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut Polytechnique de Paris

Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux

Laboratoire de Recherche en Informatique

Institut Mines-Télécom

Mounir Lallali is an author at Centre National de la Recherche Scientifique specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware DesignProgram Analysis

Publications per year

2007–2019

5

Publications

5

Automatic Timed Test Case Generation for Web Services Composition

Mounir Lallali, Fatiha Zaïdi, Ana Cavalli et al. · 2008 · 41 citations

Software Maintenance, Web Service Specification, Web Services Composition +19

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints

Ana Cavalli, Edgardo Montes De, Wissam Mallouli et al. · 2008 · 32 citations

Engineering, Verification, Software Engineering +23

Timed Modeling of Web Services Composition for Automatic Testing

Mounir Lallali, Fatiha Zaïdi, Ana Cavalli · 2007 · 24 citations

Software Maintenance, Event-driven Architecture, Web Service Specification +20

Transforming BPEL into Intermediate Format Language for Web Services Composition Testing

Mounir Lallali, Fatiha Zaïdi, Ana Cavalli · 2008 · 13 citations

Web Service Specification, Web Services Composition, Engineering +17

Design and Multi-Abstraction-Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems

Mourad Dridi, Stéphane Rubini, Mounir Lallali et al. · ACM Journal on Emerging Technologies in Computing Systems · 2019 · 11 citations

Engineering, Real-time System Design, Computer Architecture +19

Rows per page

1–5 of 5