Search - Archive ouverte HAL Access content directly

Filter your results

237 Results

Method to Identify Corrections of Defects on Product Line Models

Luisa Rincón-Perez , Gloria-Lucia Giraldo-Gómez , Raul Mazo , Camille Salinesi , Daniel Diaz
Electronic Notes in Theoretical Computer Science, 2015, 314, pp.61-81. ⟨10.1016/j.entcs.2015.05.005⟩
Journal articles hal-02296117v1

Exploration des Modèles de Processus Contextuels à l'Aide des Données de Capteurs : un Cas d'Activités Quotidiennes dans une Maison Intelligente

Ramona Elali , Elena Kornyshova , Rébecca Deneckère , Camille Salinesi
Informatique des Organisations et Systèmes d'Information et de Décision (INFORSID 2023), May 2023, La Rochelle, France
Conference papers hal-04116691v1
Image document

Methods, Techniques and Tools for Product Line Model Verification

Raul Mazo , Camille Salinesi
2008
Preprints, Working Papers, ... halshs-00323675v1
Image document

Using Constraint Programming to Verify DOPLER Variability Models

Raul Mazo , Paul Grünbacher , Wolfgang Heider , Rick Rabiser , Camille Salinesi , et al.
5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium
Conference papers hal-00707543v1

A Meta-modelling Approach to Express Change Requirements

Anne Etien , Colette Rolland , Camille Salinesi
First International Conference on Software and Data Technologies (ICSOFT), Sep 2006, Setúbal, Portugal. pp.287-293
Conference papers hal-00663039v1
Image document

Using Security and Domain ontologies for Security Requirements Analysis

Amina Souag , Camille Salinesi , Isabelle Wattiau , Haralambos Mouratidis
The 8th IEEE International Workshop on Security, Trust and Privacy for Software Applications in conjunction with COMPSAC, the IEEE Signature Conference on Computers, Software & Application., Jul 2013, Kyoto, Japan. pp.1-7
Conference papers hal-00864300v1
Image document

Security requirements analysis based on security and domain ontologies

Amina Souag , Camille Salinesi , Isabelle Wattiau
REFSQ, Apr 2013, Essen, Germany. pp.1-3
Conference papers hal-00864311v1

Towards an Automatic PL Requirements Configuration through Constraints Reasoning

Olfa Djebbi , Camille Salinesi
International Workshop on Variability Modelling of Software-intensive Systems, 2008, Germany. pp.1
Conference papers hal-00706131v1

An Experience of Reuse Based Requirements Engineering in ERP Implementation Projects.

Camille Salinesi , Mohamed Ramzi Bouzid
International Enterprise Distributed Object Computing Conference, 2007, United States. pp.1
Conference papers hal-00706201v1

Criteria for Comparing Requirements Variability Modeling Notations for Product Lines

Olfa Djebbi , Camille Salinesi
Comparative Evaluation in Requirements Engineering, in RE'06, 2006, United States. pp.20 - 35
Conference papers hal-00706358v1

Overview of a Gap-driven Evolution Process

Anne Etien , Colette Rolland , Camille Salinesi
Australian Workshop on Requirements Engineering, 2004, Adelaid, Australia. pp.1
Conference papers hal-00706485v1

Proceedings of the Ninth International Workshop on Requirements Engineering: Foundation for Software Quality

Camille Salinesi , Björn Regnell , Erik Kamsties
Essener Informatik Beiträge, pp.1, 2003
Books hal-00706489v1

Compliance Gaps: a Requirement Elicitation Approach in the Context of System Evolution

Camille Salinesi , Anne Etien
Object Oriented Information Systems, 2003, Switzerland. pp.1
Conference papers hal-00706497v1

Advanced Information Systems Engineering

Camille Salinesi , Moira Norrie , Oscar Pastor
Springer. 2013, Lecture Notes in Computer Sciences
Books hal-01161974v1
Image document

REFAS: A PLE Approach for Simulation of Self-Adaptive Systems Requirements

Juan C Muñoz-Fernández , Gabriel Tamura , Irina Raicu , Raúl Mazo , Camille Salinesi
SPLC 2015, Vanderbilt University, Jul 2015, Nashville, United States. pp.444, ⟨10.1145/2791060.2791102⟩
Conference papers hal-01185791v1
Image document

Automatic analysis of online conversations as processes

Elena Viorica Epure , Slavko Zitnik , Dario Compagno , Rebecca Deneckere , Camille Salinesi
JOURNÉES ANALYSE DE DONNÉES TEXTUELLES EN CONJONCTION AVEC EDA 2017, May 2017, Lyon, France
Conference papers hal-01500497v1
Image document

Using Multicriteria Decision-Making to Take into Account the Situation in System Engineering

Elena Kornyshova , Rebecca Deneckere , Camille Salinesi
CAISE'08 forum, 2008, Montpellier, France. pp.25
Conference papers hal-00703616v1
Image document

Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems

Pete Sawyer , Raul Mazo , Daniel Diaz , Camille Salinesi , Danny Hughes
Special Issue in IEEE Computer Dynamic Software Product Lines, 2012, pp.1-12
Journal articles hal-00747723v1

Ingénierie par et pour les jeux sérieux

Agnès Front , Camille Salinesi
20 (1), 2015, Revue RSTI - Ingénierie de Systèmes d'Information
Books hal-01464192v1
Image document

A blockchain-based pattern for confidential and pseudo-anonymous contract enforcement

Nicolas Six , Claudia Negri Ribalta , Nicolas Herbaut , Camille Salinesi
3rd International Workshop on Blockchain Systems and Applications (BlockchainSys20), Dec 2020, Guangzhou, China
Conference papers hal-03117809v1

Process modeling for Humanities : tracing and analyzing scientific processes

Charlotte Hug , Camille Salinesi , Rebecca Deneckere , Stéphane Lamassé
Philip Verhagen. Annual Conference of Computer Applications and Quantitative Methods in Archaeology (CAA 2011), April 2011, Beijing, China, Amsterdam University Press, pp.245-255, 2012
Book sections halshs-02990834v1

Arbitrating between Enterprise Objectives. Neno - an Enterprise Architecture Approach developed at Renault

Emmanuel Papadacci Stephanopoli , Camille Salinesi
Requirements Engineering Decision Support, 2005, Paris, France. pp.1
Conference papers hal-00706426v1

Towards a Systematic Propagation of Evolution Requirements in IS Adaptation Projects

Camille Salinesi , Anne Etien , J Wäyrynen
Australian Conference on Information Systems, 2004, Australia. pp.1
Conference papers hal-00706471v1

Word Lexicon Generation from Textual Scenario Analysis

Camille Salinesi , Régis Kla
Systemic Cybernatics and Informatic, 2002, United States. pp.1
Conference papers hal-00707004v1

Changement des Intentions, Stratégies et Processus Métiers : Cas d'Etude du Financement Unifié

Camille Salinesi
2002
Other publications hal-00707011v1

Un modèle pour la spécification des processus d'analyse des Systèmes d'Information

Saïd Assar , Camille Ben Achour , Samira Si-Said
INFORSID 2000 : XVIIIème Congrès InFormatique des ORganisations et Systèmes d'Information et de Décision, May 2000, Lyon, France. pp.287-301
Conference papers hal-00707552v1

Linguistic Instruments for the Integration of Scenarios in Requirement Engineering

Camille Ben Achour
Requirements Engineering:Foundation for Software Quality, 1997, Spain. pp.1
Conference papers hal-00707966v1
Image document

Improving Software Development Processes with Multicriteria Methods

Elena Kornyshova , Rebecca Deneckere , Camille Salinesi
Worshop MODISE-EUS, Jun 2008, Montpellier, France. pp.2
Conference papers hal-00430030v1
Image document

Method Chunks Selection by Multicriteria Techniques: an Extension of the Assembly-based Approach

Elena Kornyshova , Rebecca Deneckere , Camille Salinesi
Situational Method Engineering: Fundamentals and Experiences, Sep 2007, Geneve, Switzerland. pp 64-78
Conference papers hal-00430084v1
Image document

Modeling the Dynamics of Online News Reading Interests

Elena Viorica Epure , Benjamin Kille , Jon Espen Ingvaldsen , Rebecca Deneckere , Camille Salinesi , et al.
2023
Preprints, Working Papers, ... hal-01516160v2