Zum Inhalt springen

  1. Laleau, Régine [Herausgeber:in] ; International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development 1. 2017 Xi'an, Open Publishing Association

    Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) : Xi'An, China, 16th November 2017

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Waterloo, NSW]: [Open Publishing Association], 12th May 2018

    Erschienen in: Electronic proceedings in theoretical computer science ; 271

  3. Afendi, Meryem [Verfasser:in] ; Paris 12 [Mitwirkende:r]; Laleau, Régine [Mitwirkende:r]; Mammar, Amel [Mitwirkende:r]

    A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B ; Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-12-12

  4. Embe Jiague, Michel [Verfasser:in] ; Paris Est [Mitwirkende:r]; Université de Sherbrooke [Mitwirkende:r]; Laleau, Régine [Mitwirkende:r]

    Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services ; Formal approaches for enforcing access control policies in service oriented architecture based applications

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-12-12

  5. Konopacki, Pierre [Verfasser:in] ; Paris Est [Mitwirkende:r]; Université de Sherbrooke [Mitwirkende:r]; Laleau, Régine [Mitwirkende:r]

    Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles ; Security policies modeling by using formal methods

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-05-04

  6. Bougacha, Racem [Verfasser:in] ; Centrale Lille Institut [Mitwirkende:r]; Collart-Dutilleul, Simon [Mitwirkende:r]; Laleau, Régine [Mitwirkende:r]

    Une approche formelle pour la modélisation d’architectures de haut niveau de systèmes complexes alignées avec les modèles d’exigences ; A formal approach for modeling high-level architectures of complex systems aligned with requirement models

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-07-07

  7. Nguyen, Thi Mai [Verfasser:in] ; Université Paris-Saclay (ComUE) [Mitwirkende:r]; Mammar, Amel [Mitwirkende:r]; Laleau, Régine [Mitwirkende:r]

    A model driven engineering approach to build secure information systems ; Une approche MDE pour construire des systèmes d'information sécurisés

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-01-13

  8. Milhau, Jérémy [Verfasser:in] ; Paris Est [Mitwirkende:r]; Université de Sherbrooke (Québec, Canada) [Mitwirkende:r]; Laleau, Régine [Mitwirkende:r]

    Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information ; A formal integration of access control policies into information systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2011-12-12

  9. Frappier, Marc [Verfasser:in] ; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]; Khurshid, Sarfraz [Sonstige Person, Familie und Körperschaft]; Laleau, Régine [Sonstige Person, Familie und Körperschaft]; Reeves, Steve [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 5977

  10. Tueno Fotso, Steve Jeffrey [Verfasser:in] ; Paris Est [Mitwirkende:r]; Université de Sherbrooke (Québec, Canada) [Mitwirkende:r]; Laleau, Régine [Mitwirkende:r]; Frappier, Marc [Mitwirkende:r]; Mammar, Amel [Mitwirkende:r]

    Vers une approche formelle d'ingénierie des exigences outillée et éprouvée ; Towards a tooled and proven formal requirements engineering approach

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-10-22

  11. Fayolle, Thomas [Verfasser:in] ; Paris Est [Mitwirkende:r]; Université de Sherbrooke (Québec, Canada) [Mitwirkende:r]; Laleau, Régine [Mitwirkende:r]; Frappier, Marc [Mitwirkende:r]

    Combinaison de méthodes formelles pour la spécification de systèmes industriels ; Coupling of formal methods for industriel systems specification

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-06-27

  12. Huynh, Nghi [Verfasser:in] ; Paris Est [Mitwirkende:r]; Université de Sherbrooke (Québec, Canada) [Mitwirkende:r]; Laleau, Régine [Mitwirkende:r]; Frappier, Marc [Mitwirkende:r]; Mammar, Amel [Mitwirkende:r]

    Vérification et validation de politiques de contrôle d'accès dans le domaine médical ; Verification and validation of healthcare access control policies

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-12-06

  13. Mammar, Amel; Laleau, Régine

    Modeling a landing gear system in Event-B

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2017

    Erschienen in: International Journal on Software Tools for Technology Transfer, 19 (2017) 2, Seite 167-186

  14. Mammar, Amel; Laleau, Régine

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2016

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (2016), Seite 325-339