Filter your results
- 8
- 3
- 1
- 5
- 6
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 2
- 5
- 5
- 5
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 6
- 6
- 1
- 1
- 2
- 3
- 3
- 1
- 1
|
|
sorted by
|
Relating Requirement and Design VariabilitiesAPSEC '12 - Proceedings of the 19th Asia-Pacific Software Engineering Conference 2012, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.35-42, ⟨10.1109/APSEC.2012.67⟩
Conference papers
hal-00799094v1
|
|||
|
Automated Synthesis of Assertion Monitors using Visual SpecificationsDATE'05, Mar 2005, Munich, Germany. pp.390-395
Conference papers
hal-00181545v1
|
||
|
A mixed approach to rigorous development of control designs2013 IEEE Conference on Computer Aided Control System Design (CACSD), IEEE, Aug 2013, Hyderabad, India. pp.7-12, ⟨10.1109/CACSD.2013.6663474⟩
Conference papers
hal-03617696v1
|
||
Compositional Verification of Software Product LinesiFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.109-123, ⟨10.1007/978-3-642-38613-8_8⟩
Conference papers
istex
hal-00799108v1
|
|||
Tracing SPLs precisely and efficientlySPLC '12 - Proceedings of the 16th International Software Product Line Conference, Sep 2012, Salvador, Brazil. pp.186-195, ⟨10.1145/2362536.2362562⟩
Conference papers
hal-00799104v1
|
|||
|
Scenario-based verification in presence of variability using a synchronous approachFrontiers of Computer Science, 2013, 7 (5), pp.650-672. ⟨10.1007/s11704-013-3094-6⟩
Journal articles
hal-00913955v1
|
||
|
Compositional Verification of Evolving SPL[Research Report] RR-8125, INRIA. 2012, pp.34
Reports
hal-00747533v1
|
||
|
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.108-125, ⟨10.1007/978-3-319-67549-7_7⟩
Conference papers
hal-01678962v1
|
||
|
Test Generation by Constraint Solving and FSM Mutant Killing28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.36-51, ⟨10.1007/978-3-319-47443-4_3⟩
Conference papers
hal-01643724v1
|
||
|
Multiple Mutation Testing from FSM36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.222-238, ⟨10.1007/978-3-319-39570-8_15⟩
Conference papers
hal-01432920v1
|
||
Is Graphitic Silicon Carbide (Silagraphene) Stable?Chemistry of Materials, 2018, 30 (20), pp.7234-7244. ⟨10.1021/acs.chemmater.8b03293⟩
Journal articles
hal-01916288v1
|
|||
|
Synchronous Paradigm in Embedded SystemsEURASIP Journal on Embedded Systems, 2007, 2007 (1), pp.032903
Journal articles
hal-00784461v1
|