Software engineering for automotive systems: A roadmap, 2007 Future of Software Engineering, ser. FOSE '07, pp.55-71, 2007. ,
Cross-layer analysis, testing and verification of automotive control software, Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, pp.263-272, 2011. ,
Challenges in automotive software engineering, 28th International Conference on Software Engineering (ICSE 2006), pp.33-42, 2006. ,
Hardware-software co-design of embedded systems: the POLIS approach, 1997. ,
An approach for quantitative analysis of application-specific dataflow architectures," in Application-Specific Systems, Architectures and Processors, 1997. Proceedings, pp.338-349, 1997. ,
Modeling and optimizing automotive electric/electronic (e/e) architectures: Towards making clafer accessible to practitioners, International Symposium on Leveraging Applications of Formal Methods, pp.447-464, 2016. ,
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems, Software & Systems Modeling, pp.1-29, 2017. ,
Data-efficient performance learning for configurable systems, Empirical Software Engineering, pp.1-42, 2017. ,
Performance prediction of configurable software systems by fourier learning (t), 30th IEEE/ACM International Conference on, pp.365-373, 2015. ,
Spl conqueror: Toward optimization of non-functional properties in software product lines, Software Quality Journal, vol.20, issue.3-4, pp.487-517, 2012. ,
Performanceinfluence models for highly configurable systems, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp.284-294, 2015. ,
Transfer learning for performance modeling of configurable systems: An exploratory analysis, Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ser. ASE 2017, pp.497-508, 2017. ,
Transferring performance prediction models across different hardware platforms, Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, pp.39-50, 2017. ,
Modelling and multi-objective optimization of quality attributes in variability-rich software, Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, ser. NFPinDSML '12, vol.2, pp.1-2, 2012. ,
Optimizing alloy for multi-objective software product line configuration, Proceedings of the 4th International Conference on Abstract State Machines, vol.8477, pp.328-333, 2014. ,
Comparison of exact and approximate multi-objective optimization for software product lines, SPLC '14, pp.92-101, 2014. ,
Model-based optimization of automotive e/earchitectures, Proceedings of CSTVA 2014, pp.18-29, 2014. ,
Combining multi-objective search and constraint solving for configuring large software product lines, Proceedings of ICSE '15, pp.517-528, 2015. ,
Long-term average cost in featured transition systems, Proceedings of the 20th International Systems and Software Product Line Conference, ser. SPLC '16, pp.109-118, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01406541
,
Formal description of variability in product families, Software Product Line Conference (SPLC), pp.130-139, 2011. ,
Multivalued symbolic model-checking, ACM Trans. Softw. Eng. Methodol, vol.12, issue.4, pp.371-408, 2003. ,
Featured transition systems: Foundations for verifying variability-intensive systems and their application to ltl model checking, IEEE Transactions on Software Engineering, vol.39, issue.8, pp.1069-1089, 2013. ,
Assessing the functional feasibility of variability-intensive data flow-oriented systems, Symposium on Applied Computing, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01660057
Behavioural modelling and verification of real-time software product lines, Proceedings of the 16th International Software Product Line Conference, vol.1, pp.66-75, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00718157
Composing families of timed automata, Fundamentals of Software Engineering, pp.51-66, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01760866
Modeling and testing product lines with unbounded parametric real-time constraints, Proceedings of the 21st International Systems and Software Product Line Conference, pp.104-113, 2017. ,
Variability management of reliability models in software product lines: An expressiveness and scalability analysis, SBCARS '12, pp.51-60, 2012. ,
Modeling and verification for probabilistic properties in software product lines, 16th IEEE International Symposium on High Assurance Systems Engineering, pp.173-180, 2015. ,
Trace checking for dynamic software product lines, Proceedings of the 13th International Conference on Software Engineering for Adaptive and SelfManaging Systems, ser. SEAMS '18, pp.69-75, 2018. ,
Priced timed automata: Algorithms and applications, International Symposium on Formal Methods for Components and Objects, pp.162-182, 2004. ,
Optimal strategies in priced timed game automata, International Conference on Foundations of Software Technology and Theoretical Computer Science, pp.148-160, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00350483
Optimal scheduling using priced timed automata, ACM SIGMETRICS Performance Evaluation Review, vol.32, issue.4, pp.34-40, 2005. ,
Refinement and consistency of timed modal specifications, International Conference on Language and Automata Theory and Applications, pp.152-163, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00424283
Wuppaal: Computation of worst-case execution-time for binary programs with uppaal, Models, Algorithms, Logics and Tools, pp.560-577, 2017. ,
Robbydbms: a case study on hardware/software product line engineering, Proceedings of the First International Workshop on Feature-Oriented Software Development, pp.63-68, 2009. ,
Product line development for modular fpga-based embedded systems, 25th IEEE International Symposium on, pp.9-15, 2014. ,
On hardware variability and the relation to software variability, Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on, pp.352-355, 2014. ,
Configuring embedded system families using feature models, Proc. of Net. ObjectDays, pp.339-350, 2005. ,
From model-based design to formal verification of adaptive embedded systems, Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering, ser. Proceedings of ICFEM '07, pp.76-95, 2007. ,
Componentbased modeling and verification of dynamic adaptation in safety-critical embedded systems, ACM Trans. Embedded Comput. Syst, vol.10, issue.2, p.39, 2010. ,
Embedded system design: Embedded systems foundations of cyber-physical systems, 2010. ,
The embedded systems design challenge, International Symposium on Formal Methods, pp.1-15, 2006. ,
Taming heterogeneity-the ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003. ,
Milan: A model based integrated simulation framework for design of embedded systems, ACM Sigplan Notices, vol.36, issue.8, pp.82-93, 2001. ,
A next-generation design framework for platform-based design, Conference on using hardware design and verification languages, vol.152, 2007. ,
Modeldriven design-space exploration for embedded systems: The octopus toolset, Leveraging Applications of Formal Methods, Verification, and Validation, pp.90-105, 2010. ,
A systematic approach to exploring embedded system architectures at multiple abstraction levels, IEEE Transactions on Computers, vol.55, issue.2, pp.99-112, 2006. ,
High-level frameworks for the specification and verification of scheduling problems, International Journal on Software Tools for Technology Transfer, pp.1-26, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01613576
Runtime decision of hardware or software execution on a heterogeneous reconfigurable platform, Parallel & Distributed Processing, pp.1-6, 2009. ,
System-level runtime mapping exploration of reconfigurable architectures, Parallel & Distributed Processing, pp.1-8, 2009. ,
Variability-aware robust design space exploration of chip multiprocessor architectures, Design Automation Conference, pp.323-328, 2009. ,
Scenario-based design flow for mapping streaming applications onto on-chip many-core systems, Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems, pp.71-80, 2012. ,
Scenario-based design space exploration of mpsocs, Computer Design (ICCD), 2010 IEEE International Conference on, pp.305-312, 2010. ,
Operational mode exploration for reconfigurable systems with multiple applications, Field-Programmable Technology (FPT), 2011 International Conference on, pp.1-8, 2011. ,
Robust optimization of soc architectures: A multi-scenario approach, Embedded Systems for Real-Time Multimedia, pp.7-12, 2008. ,
A decision-making process for exploring architectural variants in systems engineering, Proceedings of the 20th International Systems and Software Product Line Conference, pp.277-286, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01374140
Ivam: Implicit variant modeling and management for automotive embedded systems, Hardware/Software Codesign and System Synthesis (CODES+ ISSS), 2013 International Conference on, pp.1-10, 2013. ,
, , pp.1-6, 2015.
Efficient design space exploration of embedded platforms, Design Automation Conference (DAC), 2015 52nd ACM/EDAC/IEEE, pp.1-6, 2015. ,
Featured weighted automata, 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, pp.51-57, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01640074
Configuring large systems using generative constraint satisfaction, IEEE Intelligent Systems, vol.13, issue.4, pp.59-68, 1998. ,
Product configuration frameworks-a survey, IEEE Intelligent Systems and their Applications, vol.13, issue.4, pp.42-49, 1998. ,
A user survey of configuration challenges in linux and ecos, VaMoS '12, pp.149-155, 2012. ,
Beyond boolean product-line model checking: Dealing with feature attributes and multifeatures, ICSE'13, pp.472-481, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01087792
Knowledge-based Configuration: From Research to Business Cases, 2014. ,
, Software Product Lines: Practices and Patterns, ser. SEI Series in Software Engineering, 2001.
Featureoriented domain analysis (FODA) feasibility study, 1990. ,
Automated reasoning on feature models, Proceedings of CAiSE'05, pp.491-503, 2005. ,
Uppaala tool suite for automatic verification of real-time systems, Hybrid Systems III, pp.232-243, 1996. ,
Model checking, 1999. ,
Metamoc: Modular execution time analysis using model checking, Schloss DagstuhlLeibniz-Zentrum fuer Informatik, vol.15, 2010. ,
Handbook of Weighted Automata, 2009. ,
, Sperner Systems, 1974.
Minimum-cost reachability for priced timed automata, Proceedings of HSCC '01, pp.147-161, 2001. ,
A classification and survey of analysis strategies for software product lines, ACM Comput. Surv, vol.47, issue.1, pp.1-6, 2014. ,
Splot: software product lines online tools, Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pp.761-762, 2009. ,
Provelines: a product line of verifiers for software product lines, Proceedings of the 17th International Software Product Line Conference co-located workshops, pp.141-146, 2013. ,
The SPIN Model Checker: Primer and Reference Manual, 2004. ,
A text-based approach to feature modelling: Syntax and semantics of tvl, Science of Computer Programming, vol.76, issue.12, pp.1130-1143, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00718291
Partial-Order Methods for the Verification of Concurrent Systems -An Approach to the State-Explosion Problem, ser, LNCS, vol.1032, 1996. ,
Visualization and exploration of optimal variants in product line engineering, Proceedings of the 17th International Software Product Line Conference, pp.111-115, 2013. ,