Sophie Ebersold

48 papers B 4C 7Misc 1Journal 20Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Lessons from Formally Verified Deployed Software Systems. ACM Comput. Surv. Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu
2025	J	`jnl`	From What to How: A Taxonomy of Formalized Security Properties. CoRR Imen Sayar, Nan Messe, Sophie Ebersold, Jean-Michel Bruel
2025	J	`jnl`	UOOR: Seamless and Traceable Requirements. CoRR Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer
2024	J	`jnl`	Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements. Softw. Syst. Model. Thuy Nguyen, Imen Sayar, Sophie Ebersold, Jean-Michel Bruel
2023	—	`ed.`	Frontiers in Software Engineering Education - Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers FISEE Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer
2023	J	`jnl`	Lessons from Formally Verified Deployed Software Systems. CoRR Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege
2023	J	`jnl`	Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. J. Object Technol. Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
2023	C	`conf`	RQCODE: Security Requirements Formalization with Testing. ICTSS Ildar Nigmatullin, Andrey Sadovykh, Sophie Ebersold, Nan Messe
2022	J	`jnl`	A Group Decision-Making Approach for Global Consistency of Heterogeneous Models. Int. J. Inf. Technol. Decis. Mak. Saloua Bennani, Sophie Ebersold, Mahmoud El Hamlaoui, Bernard Coulette, Mahmoud Nassar
2022	J	`jnl`	Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. CoRR Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
2022	—	`conf`	RQCODE - Towards Object-Oriented Requirements in the Software Security Domain. ICST Workshops Ildar Nigmatullin, Andrey Sadovykh, Nan Messe, Sophie Ebersold, Jean-Michel Bruel
2022	J	`jnl`	The Role of Formalism in System Requirements. ACM Comput. Surv. Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer
2021	J	`jnl`	A Model-Driven Approach to align Heterogeneous Models of a Complex System. J. Object Technol. Mahmoud El Hamlaoui, Sophie Ebersold, Saloua Bennani, Adil Anwar, Taoufiq Dkaki, Mahmoud Nassar, Bernard Coulette
2021	—	`book`	Modélisation des systèmes complexes et Points de vue : l'Ingénierie des Modèles centrée utilisateur pour l'Ingénierie Système. (Complex Systems Modelling and Viewpoints: User Centred Model Engineering for Systems Engineering). Sophie Ebersold
2021	—	`conf`	Welcome from the Organizers FormReq 2021. RE Workshops Sophie Ebersold, Régine Laleau, Manuel Mazzara
2020	J	`jnl`	A Formalization of Group Decision Making in Multi-viewpoints Design. CoRR Saloua Bennani, Iliass Ait El Kouch, Mahmoud El Hamlaoui, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar
2019	C	`conf`	A Collaborative Decision Approach for Alignment of Heterogeneous Models. WETICE Saloua Bennani, Sophie Ebersold, Mahmoud El Hamlaoui, Bernard Coulette, Mahmoud Nassar
2019	J	`jnl`	AutoReq: Expressing and verifying requirements for control systems. J. Comput. Lang. Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
2019	—	`conf`	FormReq@RE2019 Preface. RE Workshops Sophie Ebersold, Régine Laleau, Manuel Mazzara
2019	J	`jnl`	Formality in Software Requirements. CoRR Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer
2019	C	`conf`	Machine Learning Based Approach for Context Aware System. WETICE Zakaria Afkir, Hatim Guermah, Mahmoud Nassar, Sophie Ebersold
2019	J	`jnl`	The Anatomy of Requirements. CoRR Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
2019	—	`conf`	Towards an Anatomy of Software Requirements. TOOLS Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
2018	B	`conf`	A MDE Approach for Heterogeneous Models Consistency. ENASE Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold, Bernard Coulette
2018	—	`conf`	AHM: Handling Heterogeneous Models Matching and Consistency via MDE. ENASE (Selected Papers) Mahmoud El Hamlaoui, Saloua Bennani, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette
2018	C	`conf`	Collaborative model-based matching of heterogeneous models. CSCWD Saloua Bennani, Mahmoud El Hamlaoui, Mahmoud Nassar, Sophie Ebersold, Bernard Coulette
2018	Misc	`conf`	Heterogeneous design models alignment: from matching to consistency management. SAC Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold, Bernard Coulette
2017	J	`jnl`	A contract-based method to specify stimulus-response requirements. CoRR Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold
2017	J	`jnl`	Expressing and verifying embedded software requirements. CoRR Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
2017	—	`conf`	Seamless Integration of Multirequirements in Complex Systems. RE Workshops Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer
2016	—	`conf`	Alignment of viewpoint heterogeneous design models: "Emergency Department" Case Study. GEMOC@MoDELS Mahmoud El Hamlaoui, Bernard Coulette, Sophie Ebersold, Saloua Bennani, Mahmoud Nassar, Adil Anwar, Antoine Beugnard, Yassine Jamoussi, Hanh Nhi Tran
2015	J	`jnl`	Maintien de la cohérence de modèles de conception hétérogènes. Tech. Sci. Informatiques Mahmoud El Hamlaoui, Sophie Ebersold, Bernard Coulette, Adil Anwar, Mahmoud Nassar
2015	—	`conf`	MiCATS: Middleware for Context-Aware Transactional Services. ICEIS (Revised Selected Papers) Widad Ettazi, Hatim Hafiddi, Mahmoud Nassar, Sophie Ebersold
2015	—	`conf`	Towards a Context-Aware Adaptation Approach for Transactional Services. ICEIS (2) Widad Ettazi, Hatim Hafiddi, Mahmoud Nassar, Sophie Ebersold
2014	B	`conf`	Heterogeneous models matching for consistency management. RCIS Mahmoud El Hamlaoui, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Adil Anwar
2014	—	`conf`	Towards an Ontology-based Approach for Heterogeneous Model Matching. GEMOC@MoDELS Mahmoud El Hamlaoui, Cássia Trojahn dos Santos, Sophie Ebersold, Bernard Coulette
2013	C	`conf`	A process for maintaining heterogeneous models consistency through change synchronization. AICCSA Mahmoud El Hamlaoui, Sophie Ebersold, Adil Anwar, Mahmoud Nassar, Bernard Coulette
2013	B	`conf`	Heterogeneous Models Matching for Consistency Management. ENASE Mahmoud El Hamlaoui, Sophie Ebersold, Bernard Coulette, Adil Anwar, Mahmoud Nassar
2011	B	`conf`	A Formal Approach to Model Composition Applied to VUML. ICECCS Adil Anwar, Taoufiq Dkaki, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar
2010	J	`jnl`	A Rule-Driven Approach for composing Viewpoint-oriented Models. J. Object Technol. Adil Anwar, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile
2009	C	`conf`	Code generation in VUML profile: A model driven approach. AICCSA Mahmoud Nassar, Adil Anwar, Sophie Ebersold, B. Elasri, Bernard Coulette, Abdelaziz Kriouile
2008	—	`conf`	A QVT-Based Approach for Model Composition - Application to the VUML Profile. ICEIS (3-2) Adil Anwar, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile
2008	—	`ed.`	Proceedings of the International Workshop on Model Driven Information Systems Engineering: Enterprise, User and System Models (MoDISE-EUS'08) held in conjunction with the CAiSE'08 Conference, Montpellier, France, June 16-17, 2008 MoDISE-EUS Sophie Ebersold, Agnès Front, Philippe Lopistéguy, Selmin Nurcan, Xavier Franch, Ela Hunt, Remi Coletta
2008	C	`conf`	Towards a Generic Approach for Model Composition. ICSEA Adil Anwar, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile
2007	—	`ed.`	Actes des journées Langages et Modèles à Objets, LMO'07. Toulouse, France, 27-29 mars LMO Isabelle Borne, Xavier Crégut, Sophie Ebersold, Frédéric Migeon
2007	J	`jnl`	Vers une approche à base de règles pour la composition de modèles. Application au profil VUML. Obj. Logiciel Base données Réseaux Adil Anwar, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile
2005	J	`jnl`	Vers un profil UML pour la conception de composants multivues. Obj. Logiciel Base données Réseaux Mahmoud Nassar, Bernard Coulette, Jérémie Guiochet, Sophie Ebersold, Bouchra El Asri, Xavier Crégut, Abdelaziz Kriouile
2003	—	`conf`	Towards a View Based Unified Modeling Language. ICEIS (3) Mahmoud Nassar, Bernard Coulette, Xavier Crégut, Sophie Ebersold, Abdelaziz Kriouile