E-LIB Suche - Ergebnisse für: Laleau, Regine

1

Formal alignment of requirements models with high-level arc..:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),

Bougacha, Racem ; Laleau, Regine ; Collart-Dutilleul, Simon - p. 216-225 , 2023

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

2

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/..

3

Modeling and proving hybrid programs with Event-B: An appro..:

Mammar, Amel ; Afendi, Meryem ; Laleau, Régine
Science of Computer Programming. 222 (2022) - p. 102856 , 2022

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

4

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/..

5

Building Correct Hybrid Systems using Event-B and Sagemath:..:

, In: 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS),

Afendi, Meryem ; Mammar, Amel ; Laleau, Regine - p. 91-96 , 2022

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

6

Towards Leveraging Domain Knowledge in State-Based Formal M..:

, In: Logic, Computation and Rigorous Methods; Lecture Notes in Computer Science,

Aït-Ameur, Yamine ; Laleau, Régine ; Méry, Dominique. - p. 1-13 , 2021

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

7

Integrating Domain Modeling Within a Formal Requirements En..:

, In: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems,

Tueno, Steve ; Laleau, Régine ; Mammar, Amel. - p. 39-58 , 2020

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

8

An Event-B Model of an Automotive Adaptive Exterior Light S..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Mammar, Amel ; Frappier, Marc ; Laleau, Régine - p. 351-366 , 2020

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

9

Modelling Hybrid Programs with Event-B:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Afendi, Meryem ; Laleau, Régine ; Mammar, Amel - p. 139-154 , 2020

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

10

A formal refinement-based analysis of the hybrid ERTMS/ETCS..:

Mammar, Amel ; Frappier, Marc ; Tueno Fotso, Steve Jeffrey.
International Journal on Software Tools for Technology Transfer. 22 (2019) 3 - p. 333-347 , 2019

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

11

Modeling the hybrid ERTMS/ETCS level 3 standard using a for..:

Tueno Fotso, Steve Jeffrey ; Frappier, Marc ; Laleau, Régine.
International Journal on Software Tools for Technology Transfer. 22 (2019) 3 - p. 349-363 , 2019

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

12

SGAC: A Multi-Layered Access Control Model with Conflict Re..:

Huynh, Nghi ; Frappier, Marc ; Pooda, Herman...
The Computer Journal. 62 (2019) 12 - p. 1707-1733 , 2019

Link: https://doi.org/10.1093/..

13

Assessment of a Formal Requirements Modeling Approach on a ..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Tueno Fotso, Steve Jeffrey ; Laleau, Régine ; Frappier, Marc... - p. 470-486 , 2019

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

14

How to handle environmental uncertainty in goal-based requi..:

, In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings,

Ahmad, Manzoor ; Gnaho, Christophe ; Bruel, Jean-Michel. - p. 368-369 , 2018

Link: https://dl.acm.org/doi/1..

15

Formalisation of SysML/KAOS Goal Assignments with B System ..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Tueno Fotso, Steve Jeffrey ; Frappier, Marc ; Laleau, Régine.. - p. 377-397 , 2018

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