Sophie Ebersold

Orcid: 0000-0002-0957-2844

Affiliations:
  • University of Toulouse II - Le Mirail, Toulouse Institute of Computer Science Research (IRIT)


According to our database1, Sophie Ebersold authored at least 41 papers between 1993 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
J. Object Technol., 2023

Lessons from Formally Verified Deployed Software Systems.
CoRR, 2023

RQCODE: Security Requirements Formalization with Testing.
Proceedings of the Testing Software and Systems, 2023

2022
A Group Decision-Making Approach for Global Consistency of Heterogeneous Models.
Int. J. Inf. Technol. Decis. Mak., December, 2022

The Role of Formalism in System Requirements.
ACM Comput. Surv., 2022

RQCODE - Towards Object-Oriented Requirements in the Software Security Domain.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021
A Model-Driven Approach to align Heterogeneous Models of a Complex System.
J. Object Technol., 2021

Welcome from the Organizers FormReq 2021.
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

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).
, 2021

2020
A Formalization of Group Decision Making in Multi-viewpoints Design.
CoRR, 2020

2019
AutoReq: Expressing and verifying requirements for control systems.
J. Comput. Lang., 2019

Formality in Software Requirements.
CoRR, 2019

The Anatomy of Requirements.
CoRR, 2019

A Collaborative Decision Approach for Alignment of Heterogeneous Models.
Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

Machine Learning Based Approach for Context Aware System.
Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

Towards an Anatomy of Software Requirements.
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

FormReq@RE2019 Preface.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

2018
Heterogeneous design models alignment: from matching to consistency management.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

A MDE Approach for Heterogeneous Models Consistency.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

AHM: Handling Heterogeneous Models Matching and Consistency via MDE.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018

Collaborative model-based matching of heterogeneous models.
Proceedings of the 22nd IEEE International Conference on Computer Supported Cooperative Work in Design, 2018

2017
Expressing and verifying embedded software requirements.
CoRR, 2017

A contract-based method to specify stimulus-response requirements.
CoRR, 2017

Seamless Integration of Multirequirements in Complex Systems.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

2016
Alignment of viewpoint heterogeneous design models: "Emergency Department" Case Study.
Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

2015
Maintien de la cohérence de modèles de conception hétérogènes.
Tech. Sci. Informatiques, 2015

MiCATS: Middleware for Context-Aware Transactional Services.
Proceedings of the Enterprise Information Systems - 17th International Conference, 2015

Towards a Context-Aware Adaptation Approach for Transactional Services.
Proceedings of the ICEIS 2015, 2015

2014
Towards an Ontology-based Approach for Heterogeneous Model Matching.
Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, 2014

2013
Heterogeneous Models Matching for Consistency Management.
Proceedings of the ENASE 2013, 2013

A process for maintaining heterogeneous models consistency through change synchronization.
Proceedings of the ACS International Conference on Computer Systems and Applications, 2013

2011
A Formal Approach to Model Composition Applied to VUML.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010
A Rule-Driven Approach for composing Viewpoint-oriented Models.
J. Object Technol., 2010

2009
Code generation in VUML profile: A model driven approach.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008
Towards a Generic Approach for Model Composition.
Proceedings of the Third International Conference on Software Engineering Advances, 2008

A QVT-Based Approach for Model Composition - Application to the VUML Profile.
Proceedings of the ICEIS 2008, 2008

2007
Vers une approche à base de règles pour la composition de modèles. Application au profil VUML.
Obj. Logiciel Base données Réseaux, 2007

2005
Vers un profil UML pour la conception de composants multivues.
Obj. Logiciel Base données Réseaux, 2005

2003
Towards a View Based Unified Modeling Language.
Proceedings of the ICEIS 2003, 2003

1997
View based object oriented approach for complex system modelling.
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

1993
An Approach to View Point Modelling.
Proceedings of the TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, 1993


  Loading...