Filter your results
- 6
- 1
- 1
- 1
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 4
- 4
- 4
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 7
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
|
|
sorted by
|
|
A Regular Metric Temporal Logic2017
Preprints, Working Papers, ...
hal-01483315v1
|
||
|
Adding Negative Prices to Priced Timed Games25th International Conference on Concurrency Theory (CONCUR'14), Sep 2014, Rome, Italy. pp.560-575, ⟨10.1007/978-3-662-44584-6_38⟩
Conference papers
hal-01273480v1
|
||
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
|
|||
|
Timed Systems through the Lens of Logic2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785684⟩
Conference papers
hal-03185736v1
|
||
|
Efficient Construction of Reversible Transducers from Regular Transducer Expressions37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS ’22), Aug 2022, Haifa, Israel
Conference papers
hal-03772628v1
|
||
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
|
|||
|
Compositional Verification of Evolving SPL[Research Report] RR-8125, INRIA. 2012, pp.34
Reports
hal-00747533v1
|
||
|
Analyzing Timed Systems Using Tree Automata27th International Conference on Concurrency Theory (CONCUR 2016), 2016, Québec City, Canada. pp.27:1-27:14, ⟨10.4230/LIPIcs.CONCUR.2016.27⟩
Conference papers
hal-01407942v1
|
||
|
Traceability analyses between features and assets in software product linesEntropy, 2016, 18 (8), pp.269. ⟨10.3390/e18080269⟩
Journal articles
hal-01342351v1
|