E-LIB Suche - Ergebnisse für: Ayed, Rahma Ben

1

Untargeted lipidomics reveal association of elevated plasma..:

Cattrini, Carlo ; Manfredi, Marcello ; Barboro, Paola...
Scientific Reports. 13 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

2

Extending SysML with Refinement and Decomposition Mechanism..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Bougacha, Racem ; Laleau, Régine ; Collart-Dutilleul, Simon. - p. 256-273 , 2022

Link: https://doi.org/10.1007/..

3

Towards an Engineering Discipline of Computational Society:

, In: 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07),

Mili, Ali ; Vinokurov, Alex ; Jilani, Lamia Labed.. - p. None , 2007

Link: https://doi.org/10.1109/..

4

Modeling security as a dependability attribute: a refinemen..:

Mili, Ali ; Sheldon, Frederick ; Jilani, Lamia Labed...
Innovations in Systems and Software Engineering. 2 (2006) 1 - p. 39-48 , 2006

Link: https://doi.org/10.1007/..

5

A calculus of program adaptation and its applications:

Ayed, Rahma Ben ; Desharnais, Jules ; Frappier, Marc.
Science of Computer Programming. 38 (2000) 1-3 - p. 73-123 , 2000

Link: https://doi.org/10.1016/..

6

Modeling Train Systems: From High-Level Architecture Graphi..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,

Bougacha, Racem ; Laleau, Régine ; Bon, Philippe.. - p. 153-168 , 2023

Link: https://doi.org/10.1007/..

7

Towards a Method for the Decomposition by Refinement in Eve..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Kraibi, Kenza ; Ben Ayed, Rahma ; Rehm, Joris... - p. 358-370 , 2020

Link: https://doi.org/10.1007/..

8

Incremental Development of a Safety Critical System Combini..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Idani, Akram ; Ledru, Yves ; Ait Wakrime, Abderrahim.. - p. 93-109 , 2019

Link: https://doi.org/10.1007/..

9

A Separation of Concerns Approach for the Verified Modellin..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Ledru, Yves ; Idani, Akram ; Ben Ayed, Rahma.. - p. 173-190 , 2019

Link: https://doi.org/10.1007/..

10

Towards a Tool-Based Domain Specific Approach for Railway S..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Idani, Akram ; Ledru, Yves ; Ait Wakrime, Abderrahim.. - p. 23-40 , 2019

Link: https://doi.org/10.1007/..

11

Speeding up the large-scale consensus fuzzy clustering for ..:

Sassi Hidri, Minyar ; Zoghlami, Mohamed Ali ; Ben Ayed, Rahma
Fuzzy Sets and Systems. 348 (2018) - p. 50-74 , 2018

Link: https://doi.org/10.1016/..

12

Formalizing Railway Signaling System ERTMS/ETCS Using UML/E..:

, In: Model and Data Engineering; Lecture Notes in Computer Science,

Ait Wakrime, Abderrahim ; Ben Ayed, Rahma ; Collart-Dutilleul, Simon.. - p. 321-330 , 2018

Link: https://doi.org/10.1007/..

13

$$TCTL^{\varDelta }_h$$ Model Checking of Time Petri Nets:

, In: Transactions on Computational Collective Intelligence XXX; Lecture Notes in Computer Science,

Jbeli, Naima ; Sbaï, Zohra ; Ben Ayed, Rahma - p. 242-262 , 2018

Link: https://doi.org/10.1007/..

14

Uniform verification of workflow soundness:

Barkaoui, Kamel ; Ben Ayed, Rahma
Transactions of the Institute of Measurement and Control. 33 (2010) 1 - p. 133-148 , 2010

Link: https://doi.org/10.1177/..

15

Harnessing a Refinement Theory to Compute Loop Functions:

Mili, Ali ; Ben Ayed, Rahma ; Aharon, Shir.
Electronic Notes in Theoretical Computer Science. 243 (2009) - p. 139-155 , 2009

Link: https://doi.org/10.1016/..