-
1
المساهمون: Laleau, Régine, Springer
مصطلحات موضوعية: Model-driven engineering · High-level architecture · SysML · Model transformation · Safety · Correct by construction · Event-B method, [INFO] Computer Science [cs]
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_____10692::a3784c9a8d4459514f9583975413ff59
https://hal.science/hal-04031098 -
2
المؤلفون: Fournier, Sébastien, Laleau, Régine
المساهمون: Centre d'Edition Numérique Scientifique (CENS), Ecole Normale Supérieure Lettres et Sciences Humaines (ENS LSH)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), Sebastien FOURNIER and Regine LALEAU, Laleau, Régine
المصدر: Sebastien FOURNIER and Regine LALEAU. 2010
مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b2d58d4e28239c29b383cae2f6f89213
https://hal.science/hal-01224648 -
3
المؤلفون: Dubois, Catherine, Laleau, Régine
المساهمون: Laleau, Régine
مصطلحات موضوعية: [INFO] Computer Science [cs]
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_____10692::023bb4e73f31d3fadf45c5ea8623c276
https://hal.science/hal-01575305 -
4
المؤلفون: Laleau, Régine, Lemoine, Michel
المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), ONERA - The French Aerospace Lab [Toulouse], ONERA, Régine Laleau and Michel Lemoine, Laleau, Régine
المصدر: ReMo2V-2006
Régine Laleau and Michel Lemoine. ReMo2V-2006, CEUR-Workshop Proceedings, 2006مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::31d705ae4ac6315804951d6a17254099
https://hal.archives-ouvertes.fr/hal-01224664 -
5
المؤلفون: Matoussi, Abderrahman, Laleau, Régine, Petit, Dorian
المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201 (LAMIH), Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Centre National de la Recherche Scientifique (CNRS)-INSA Institut National des Sciences Appliquées Hauts-de-France (INSA Hauts-De-France), LACL, Laleau, Régine
المصدر: [Research Report] TR-LACL-2009-5, LACL. 2009
مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO] Computer Science [cs]
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::135f9a96036cbb28e19732877223288e
https://hal.archives-ouvertes.fr/hal-01224650/document -
6
المؤلفون: Semmak, Farida, Laleau, Régine, Gnaho, Christophe
المساهمون: Laleau, Régine, Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), 2009, Unknown, Unknown Regionمصطلحات موضوعية: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::746ae1586b2e2ed212a4bc61c72eccb7
https://hal.archives-ouvertes.fr/hal-01224654 -
7
المؤلفون: Matoussi, Abderrahman, Laleau, Régine
المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), LACL, Laleau, Régine
المصدر: [Research Report] TR-LACL-2008-7, LACL. 2008
مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO] Computer Science [cs]
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c23f0614f2f25dc851a2cbe78137efe1
https://hal.archives-ouvertes.fr/hal-01224656 -
8
المؤلفون: Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve
المساهمون: Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke] (GRIL), Département d'informatique [Sherbrooke] (UdeS), Faculté des sciences [Sherbrooke] (UdeS), Université de Sherbrooke (UdeS)-Université de Sherbrooke (UdeS)-Faculté des sciences [Sherbrooke] (UdeS), Université de Sherbrooke (UdeS)-Université de Sherbrooke (UdeS), Software Technology Lab, School of Computing Science, Simon Fraser University (SFU.ca), University of Texas at Austin [Austin], Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves, Laleau, Régine
المصدر: Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves. Elsevier, 2013
مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO] Computer Science [cs]
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b3b4a9566b5af0c318ed5eed332e2314
https://hal.archives-ouvertes.fr/hal-01224628 -
9
المؤلفون: Mammar, Amel, Laleau, Régine
المساهمون: Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM), Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), Jacques Julliand, HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM), Laleau, Régine
المصدر: Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04
Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, 2004, Besançon, France. pp.333--336مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO] Computer Science [cs], ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4f4a82fa241cac9c39f731ea50f3d2f3
https://hal.archives-ouvertes.fr/hal-01224669 -
10
المؤلفون: Konopacki, Pierre, Frappier, Marc, Laleau, Régine
المساهمون: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke] (GRIL), Département d'informatique [Sherbrooke] (UdeS), Faculté des sciences [Sherbrooke] (UdeS), Université de Sherbrooke (UdeS)-Université de Sherbrooke (UdeS)-Faculté des sciences [Sherbrooke] (UdeS), Université de Sherbrooke (UdeS)-Université de Sherbrooke (UdeS), LACL, Laleau, Régine
المصدر: 1st International Workshop on Information Systems Security Engineering (WISSE) host by CAISE
1st International Workshop on Information Systems Security Engineering (WISSE) host by CAISE, 2011, Unknown, Unknown Region
[Research Report] TR-LACL-2010-6, LACL. 2010مصطلحات موضوعية: Formal Security Methods, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Access Control, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO] Computer Science [cs], Security Models, ComputingMilieux_MISCELLANEOUS
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dfd30e0b9492793f81f04d48557e622b
https://hal.archives-ouvertes.fr/hal-01224638