
Compétences
Reactive System Modelling and Formal Verification
Requirements Modelling
Generative AI
System Architecting
Discrete Event Modeling and Simulation
Publications
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⟩
Communication dans un congrès
hal-04769924
v1
|
|
|
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⟩
Communication dans un congrès
hal-04289432
v1
|
|
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
Communication dans un congrès
hal-04095205
v1
|
|
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⟩
Communication dans un congrès
hal-04143178
v1
|
|
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⟩
Communication dans un congrès
hal-04371019
v1
|
|
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⟩
Communication dans un congrès
hal-03752660
v1
|
|
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
Communication dans un congrès
hal-03713514
v1
|
|
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
Communication dans un congrès
hal-02162094
v1
|
|
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
Communication dans un congrès
hal-02289373
v1
|
|
Development and Verification of UML Architectures by Refinement and Extension TechniquesERTS 2018, Jan 2018, Toulouse, France
Communication dans un congrès
hal-02156501
v1
|
|
Safe Incremental Development of UML Architectures29th international conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. ⟨10.18293/SEKE2017-033⟩
Communication dans un congrès
hal-01563328
v1
|
|
Safe Incremental Design of UML Architectures29th International Conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburg, United States
Communication dans un congrès
hal-01926981
v1
|
|
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⟩
Communication dans un congrès
hal-01930462
v1
|
|
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⟩
Communication dans un congrès
hal-01563303
v1
|
|
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⟩
Communication dans un congrès
hal-01930465
v1
|
|
A formal support for incremental behavior specification in agile developmentSoftware Engineering and Knowledge Engineering (SEKE), 2012, United States. 6 p
Communication dans un congrès
hal-00800998
v1
|
|
Aide au développement incrémental et à la vérification d'architectures logiciellesLambda Mu, 2012, France. Communication 8-B2 7p
Communication dans un congrès
hal-00797470
v1
|
|
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
Communication dans un congrès
hal-00799564
v1
|
|
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
Communication dans un congrès
hal-00756230
v1
|
|
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
Communication dans un congrès
hal-00756092
v1
|
|
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⟩
Communication dans un congrès
hal-00756112
v1
|
|
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
Communication dans un congrès
hal-00497136
v1
|
|
Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'étatsAFADL, 2009, France. 14 p
Communication dans un congrès
hal-00797477
v1
|
|
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
Communication dans un congrès
hal-00757192
v1
|
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
Communication dans un congrès
hal-00354309
v1
|
|
Méthodologie de représentation de bassins versants sous SIG en vue d'établir leur bilan hydrique par simulationSIG'2004, Sep 2004, Paris, France
Communication dans un congrès
hal-00354312
v1
|
|
|
Bilan hydrique de bassins versants modélisés par machines séquentiellesSTIC & Environnement, Jun 2003, Rouen, France. pp.131-138
Communication dans un congrès
hal-00354299
v1
|
Pseudo-random behavioral ATPGFifth Great Lakes Symposium on VLSI (GLSVLSI'95), 1995, Buffalo, United States. pp. 192-195, ⟨10.1109/GLSV.1995.516051⟩
Communication dans un congrès
hal-00177987
v1
|
|
SPECIAL : a Specification Language for Generation of VHDL Behavioral Descriptions3rd Annual Atlantic Test Workshop - ATW '94, 1994, Nimes, France. pp. a-1-a-4
Communication dans un congrès
hal-00184933
v1
|
|
SPECIAL : a Specification Language for Generation of VHDL Behavioral descriptionsProceedings of the Third Annual Test Workshop 1994, 1994, Lowell, United States
Communication dans un congrès
hal-00183334
v1
|
|
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
Communication dans un congrès
hal-00177981
v1
|
|
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⟩
Communication dans un congrès
hal-00178663
v1
|
|
Test pattern generation for behavioral descriptions in VHDLEuro-VHDL 91 Conference, 1991, Stockholm, Sweden. pp.228-235
Communication dans un congrès
hal-00183321
v1
|
|
Construction incrémentale vs. construction par raffinement de modèles comportementaux UML: sémantique et vérification des relations de spécialisation et d'implantation2008
Autre publication scientifique
hal-00498019
v1
|
|
Landscape-use optimisation with regards to the groundwater resources protection in mountain hardrock areas, LOWRGREP2008, 37 p
Autre publication scientifique
hal-00801283
v1
|
|
Implementation of extension and reduction relations for incremental development of behavioural models2008
Autre publication scientifique
hal-00497144
v1
|
|
Semantics and implementation of a refinement relation for behavioural models2008
Autre publication scientifique
hal-00498012
v1
|
Chargement...
Chargement...