Skills
Reactive System Modelling and Formal Verification
Requirements Modelling
Generative AI
System Architecting
Discrete Event Modeling and Simulation
Publications
Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based ApproachASE '24: 39th IEEE/ACM International Conference on Automated Software Engineering, Oct 2024, Sacramento, United States. pp.857-869, ⟨10.1145/3691620.3695591⟩
Conference papers
hal-04769924v1
|
|
Zero-shot Bilingual App Reviews Mining with Large Language ModelsICTAI 2023 - IEEE 35th International Conference on Tools with Artificial Intelligence, Nov 2023, Atlanta, United States. pp.898-904, ⟨10.1109/ICTAI59109.2023.00135⟩
Conference papers
hal-04371019v1
|
|
|
Boosting GUI Prototyping with Diffusion ModelsRE@Next! - 31st IEEE International Requirements Engineering 2023 conference (Re'23), Sep 2023, Hannover, Germany. ⟨10.1109/RE57278.2023.00035⟩
Conference papers
hal-04143178v1
|
Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedbackISSREW 2023 - 34th IEEE International Symposium on Software Reliability Engineering Workshops, Oct 2023, Florence, Italy. pp.75-80, ⟨10.1109/ISSREW60843.2023.00050⟩
Conference papers
hal-04289432v1
|
|
|
Towards Boosting Requirements Engineering of a Health Monitoring App by Analysing Similar Apps: A Vision PaperIEEE REW 2022 - 30th International Requirements Engineering Conference Workshops, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00020⟩
Conference papers
hal-03752660v1
|
|
Vers une ingénierie des exigences dirigée par les données : analyse automatique d’avis d’utilisateursAPIA 2022 - 7e Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle, Jun 2022, Saint-Étienne, France
Conference papers
hal-03713514v1
|
|
Property Expression and Verification in an Incremental Model Development Framework: a Case StudyERTS 2022 - 11th European Congress on Embedded Real Time Systems, Jun 2022, Toulouse, France
Conference papers
hal-04095205v1
|
|
A Model Driven Architecture Framework for Robot Design and Automatic Code Generation15th China-Europe International Symposium on Software Engineering Education, May 2019, Lisbon - Caparica, Portugal
Conference papers
hal-02289373v1
|
|
Spécification incrémentale d'un système d'aide au diagnostic de l'épuisement professionnel : problématique et revue de littératureAFADL - Approches Formelles dans l’Assistance au Développement de Logiciels, GDR-GPL (Groupement de Recherche Génie de la Programmation et du Logiciel - INS2I CNRS), Jun 2019, Toulouse, France
Conference papers
hal-02162094v1
|
|
Development and Verification of UML Architectures by Refinement and Extension TechniquesERTS 2018, Jan 2018, Toulouse, France
Conference papers
hal-02156501v1
|
|
Safe Incremental Development of UML Architectures29th international conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. ⟨10.18293/SEKE2017-033⟩
Conference papers
hal-01563328v1
|
|
Safe Incremental Design of UML Architectures29th International Conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburg, United States
Conference papers
hal-01926981v1
|
|
Requirements Authoring and Verification for SMEs’ Information Systems Engineering15th IFAC Symposium on Information Control in Manufacturing (INCOM 2015), IFAC, May 2015, Ottawa, Canada. ⟨10.1016/j.ifacol.2015.06.421⟩
Conference papers
hal-01930462v1
|
|
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and AbstractionComplex Systems Design & Management (CSD&M) , Nov 2015, Paris, France. pp.69 - 81, ⟨10.1007/978-3-319-26109-6_5⟩
Conference papers
hal-01563303v1
|
|
Modeling frameworks, methods and languages for computerizing Small and Medium-sized Enterprises: review and proposalInternational conference on Interoperability for Enterprise Software & Applications (i-ESA 2014), 2014, Albi, France. ⟨10.1007/978-3-319-04948-9_7⟩
Conference papers
hal-01930465v1
|
|
Aide au développement incrémental et à la vérification d'architectures logiciellesLambda Mu, 2012, France. Communication 8-B2 7p
Conference papers
hal-00797470v1
|
|
A formal support for incremental behavior specification in agile developmentSoftware Engineering and Knowledge Engineering (SEKE), 2012, United States. 6 p
Conference papers
hal-00800998v1
|
|
Modelling and Simulation of the Pumping in a Former Mine Using Sequential Automata; Coal Mine of Rochebelle - St-Martin de Valgalgues, Cévennes, France10th International Mine Water Association Congress, 2012, Carlsbad, Czech Republic. 9 p
Conference papers
hal-00799564v1
|
|
IDCM : un outil d'analyse de composants et d'architectures dédié à la construction incrémentale11èmes Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.50-53
Conference papers
hal-00756230v1
|
|
Analyse de l'interopérabilité et de la conformité d'architectures logicielles5ème Conférence Francophone sur les Architectures Logicielles (CAL 2011), Jun 2011, Lille, France. pp.49-58
Conference papers
hal-00756092v1
|
|
Interoperability Analysis of Systems18th World Congress of the International Federation of Automatic Control (IFAC 2011), Aug 2011, Milan, Italy. pp.7879-7884, ⟨10.3182/20110828-6-IT-1002.03523⟩
Conference papers
hal-00756112v1
|
|
Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'étatsApproches Formelles dans l'Assistance au Développement de Logiciels, Feb 2009, Toulouse, France
Conference papers
hal-00497136v1
|
|
Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'étatsAFADL, 2009, France. 14 p
Conference papers
hal-00797477v1
|
|
Implementation of Conformance relation for incremental development of behavioural models11th International Conference on Model Driven Engineering Languages & Systems (MODELS), 2008, Toulouse, France. pp.356-370
Conference papers
hal-00757192v1
|
Simulation as a decision support for evaluating effects of anthropogenic activities on water resourcesInternational conference on Environmental science and technology, Sep 2007, Cos Island, Greece. pp.267-274
Conference papers
hal-00354309v1
|
|
Méthodologie de représentation de bassins versants sous SIG en vue d'établir leur bilan hydrique par simulationSIG'2004, Sep 2004, Paris, France
Conference papers
hal-00354312v1
|
|
|
Bilan hydrique de bassins versants modélisés par machines séquentiellesSTIC & Environnement, Jun 2003, Rouen, France. pp.131-138
Conference papers
hal-00354299v1
|
Pseudo-random behavioral ATPGFifth Great Lakes Symposium on VLSI (GLSVLSI'95), 1995, Buffalo, United States. pp. 192-195, ⟨10.1109/GLSV.1995.516051⟩
Conference papers
hal-00177987v1
|
|
SPECIAL : a Specification Language for Generation of VHDL Behavioral Descriptions3rd Annual Atlantic Test Workshop - ATW '94, 1994, Nimes, France. pp. a-1-a-4
Conference papers
hal-00184933v1
|
|
SPECIAL : a Specification Language for Generation of VHDL Behavioral descriptionsProceedings of the Third Annual Test Workshop 1994, 1994, Lowell, United States
Conference papers
hal-00183334v1
|
|
Speed up of behavioral A.T.P.G. using a heuristic criterionAnnual ACM IEEE Design Automation Conference 1993, 1993, New Orleans, United States. pp. 92 - 96
Conference papers
hal-00177981v1
|
|
Automatic behavioral test pattern generation for digital circuitsFirst Asian Test Symposium, 1992. (ATS '92), 1992, Hiroshima, Japan. pp. 112-117, ⟨10.1109/ATS.1992.224447⟩
Conference papers
hal-00178663v1
|
|
Test pattern generation for behavioral descriptions in VHDLEuro-VHDL 91 Conference, 1991, Stockholm, Sweden. pp.228-235
Conference papers
hal-00183321v1
|