Filter your results
- 20
- 4
- 15
- 12
- 9
- 9
- 8
- 8
- 8
- 6
- 6
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 24
- 22
- 20
- 20
- 7
- 7
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 24
- 21
- 21
- 21
- 21
- 20
- 20
- 20
- 20
- 20
- 20
- 20
- 20
- 20
- 20
- 20
- 20
- 16
- 14
- 14
- 12
- 10
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 24
- 18
- 6
- 1
- 1
- 4
- 1
- 2
- 2
- 3
- 3
- 7
|
|
sorted by
|
Verifying Software Product Lines with ProVeLines6ème Journée Lignes de Produits, Nov 2013, Paris, France. pp.ATV-1
Conference papers
hal-00931670v1
|
|||
Managing Evolution in Software Product Lines : A Model-Checking Perspective6th International Workshop on Variability Modelling of Software Intensive Systems, Jan 2012, Leipzig, Saxe, Germany. pp.183-191
Conference papers
hal-00718216v1
|
|||
|
Using fuzzy modeling for consistent definitions of product qualities in requirementsArtificial Intelligence for Requirements Engineering (AIRE), 2015 IEEE Second International Workshop on, Aug 2015, Otawa Canada. ⟨10.1109/AIRE.2015.7337624⟩
Conference papers
hal-01243006v1
|
||
|
Counterexample Guided Abstraction Refinement of Product-Line Behavioural ModelsFSE 2014 : International Symposium on Foundations of Software Engineering, Nov 2014, Hong Kong, Hong Kong SAR China. pp.190-201, ⟨10.1145/2635868.2635919⟩
Conference papers
hal-01087789v1
|
||
|
Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2019, Montreal, Canada. pp.61-64, ⟨10.1109/FormaliSE.2019.00015⟩
Conference papers
hal-02342744v1
|
||
|
Enabling lock-free concurrent workers over temporal graphs composed of multiple time-seriesSymposium on Applied Computing (SAC), Apr 2018, Pau, France. ⟨10.1145/3167132.3167255⟩
Conference papers
hal-01659786v1
|
||
|
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect PredictionVAMOS 2019 - 13th International Workshop on Variability Modelling of Software-Intensive Systems, Feb 2019, Leuven, Belgium. pp.1-9, ⟨10.1145/3302333.3302338⟩
Conference papers
hal-01990767v1
|
||
Behavioural Modelling and Verification of Real-time Software Product Lines16th Software Product Line Conference, Sep 2012, Salvador de Bahia, Brazil
Conference papers
hal-00718157v1
|
|||
|
A Vision for Behavioural Model-Driven Validation of Software Product LinesInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece
Conference papers
hal-00726121v1
|
||
|
Simulation-Based Abstractions for Software Product-Line Model CheckingICSE 2012 : 34th International Conference on Software Engineering, Jun 2012, Zürich, Switzerland. pp.672 - 682, ⟨10.1109/ICSE.2012.6227150⟩
Conference papers
hal-01087659v1
|
||
|
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?ICST 2019 - 12th IEEE International Conference on Software Testing, Verification, and Validation, Apr 2019, Xian, China. pp.240-251, ⟨10.1109/ICST.2019.00032⟩
Conference papers
hal-01991857v1
|
||
|
Towards statistical prioritization for software product lines testingVAMOS, Jan 2014, Nice, France. pp.1 - 7, ⟨10.1145/2556624.2556635⟩
Conference papers
hal-01092958v1
|
||
Model Checking for Software Product Lines with SNIPInternational Journal on Software Tools for Technology Transfer, 2012, ⟨10.1007/s10009-012-0234-1⟩
Journal articles
istex
hal-00717956v1
|
|||
|
Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-FeaturesICSE 2013 International Conference on Software Engineering, Jun 2013, San Francisco, United States. pp.472-481
Conference papers
hal-01087792v1
|
||
|
State machine flattening, a mapping study and tools assessment8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. ⟨10.1109/ICSTW.2015.7107408⟩
Conference papers
hal-01242787v1
|
||
|
MALTESQUE 2019 Workshop SummarySoftware Engineering Notes, 2020, ⟨10.1145/3375572.3375582⟩
Journal articles
hal-02471302v1
|
||
|
BURST: Benchmarking Uniform Random Sampling TechniquesScience of Computer Programming, 2023, pp.1-10
Journal articles
hal-03897639v1
|
||
|
Multifaceted Automated Analyses for Variability-Intensive Embedded Systems41st ACM/IEEE International Conference on Software Engineering, May 2019, Montréal, Canada
Conference papers
hal-02061251v1
|
||
|
A Variability Perspective of Mutation AnalysisFSE 2014 : International Symposium on Foundations of Software Engineering, Nov 2014, Hong Kong, Hong Kong SAR China. pp.841-844, ⟨10.1145/2635868.2666610⟩
Conference papers
hal-01087644v1
|
||
|
A framework for the rigorous design of highly adaptive timed systems1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), May 2013, San Francisco, United States. pp.64 - 70, ⟨10.1109/FormaliSE.2013.6612279⟩
Conference papers
hal-01087810v1
|
||
Towards Behavioural Model-Driven Validation of Software Product Lines5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece
Conference papers
hal-00718180v1
|
|||
|
On Featured Transition SystemsSOFSEM 2017 - 43rd International Conference on Current Trends in Theory and Practice of Informatics, Jan 2017, Limerick Ireland
Conference papers
hal-01640267v1
|
||
|
Statistical Prioritization for Software Product Line Testing: an Experience ReportSoftware and Systems Modeling, 2017, 16 (1), pp.153-171. ⟨10.1007/s10270-015-0479-8⟩
Journal articles
hal-01642289v1
|
||
Efficient Consistency Checking of Scenario-Based Product Line SpecificationsRE 2012 - 20th IEEE International Requirements Engineering Conference, Sep 2012, Chicago, United States. ⟨10.1109/RE.2012.6345800⟩
Conference papers
hal-00718476v1
|