Filtrer vos résultats
- 12
- 7
- 9
- 6
- 1
- 1
- 1
- 1
- 19
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 3
- 4
- 2
- 18
- 1
- 11
- 11
- 7
- 6
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 9
- 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
19 résultats
|
|
triés par
|
Higher-Dimensional Timed and Hybrid AutomataLeibniz Transactions on Embedded Systems, 2022, ⟨10.4230/LITES.8.2.3⟩
Article dans une revue
hal-04540038v1
|
|||
|
Long-term average cost in featured transition systemsSPLC '16 - 20th International Systems and Software Product Line Conference, Sep 2016, Beijing, China. pp.109 - 118, ⟨10.1145/2934466.2934473⟩
Communication dans un congrès
hal-01406541v1
|
||
|
Languages of Higher-Dimensional AutomataMathematical Structures in Computer Science, 2021, 31 (5), ⟨10.1017/S0960129521000293⟩
Article dans une revue
hal-04540027v1
|
||
|
Measuring Global Similarity between TextsSLSP 2014 : Second International Conference on Statistical Language and Speech Processing, Oct 2014, Grenoble, France. pp.220-232, ⟨10.1007/978-3-319-11397-5_17⟩
Communication dans un congrès
hal-01087009v1
|
||
|
Optimal and Robust Controller SynthesisFM 2018 - International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.203-221, ⟨10.1007/978-3-319-95582-7_12⟩
Communication dans un congrès
hal-01889222v1
|
||
|
An ω-Algebra for Real-Time Energy Problems35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2015, Bengaluru, India. pp.394
Communication dans un congrès
hal-01237667v1
|
||
|
A Tag Contract Framework for Modeling Heterogeneous SystemsScience of Computer Programming, 2016
Article dans une revue
hal-01406446v1
|
||
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, ProceedingsU. Fahrenberg, M. Gehrke, L. Santocanale, and M. Winter. Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Nov 2021, Marseille, France. 13027, Springer, 2021, Lecture Notes in Computer Science
Proceedings/Recueil des communications
hal-03518424v1
|
|||
|
Contract-Based Requirement Modularization via Synthesis of Correct DecompositionsTheory of Computing Systems, 2016, 15, ⟨10.1145/2885752⟩
Article dans une revue
hal-01406481v1
|
||
|
Une approche générique à la vérification quantitative2023
Traduction
hal-04206693v1
|
||
|
Partial Higher-Dimensional Automata6th Conference on Algebra and Coalgebra in Computer Science, Jun 2015, Nijmegen, Netherlands
Communication dans un congrès
hal-01237643v1
|
||
|
Continuous Kleene ω-AlgebrasDevelopments in Language Theory - 19th International Conference, Jul 2015, Liverpool, United Kingdom. pp.240-251
Communication dans un congrès
hal-01237648v1
|
||
|
A linear-time–branching-time spectrum for behavioral specification theories2020, pp.100499 -. ⟨10.1016/j.jlamp.2019.100499⟩
Autre publication scientifique
hal-01406603v1
|
||
Sculptures in ConcurrencyLogical Methods in Computer Science, 2021, 17 (2), ⟨10.23638/LMCS-17(2:5)2021⟩
Article dans une revue
hal-04540032v1
|
|||
|
Higher-Dimensional Timed AutomataADHS, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-04540037v1
|
||
|
Continuous Kleene ω-Algebras for Energy ProblemsProceedings Tenth International Workshop on Fixed Points in Computer Science, Sep 2015, Berlin, Germany. pp.48-59
Communication dans un congrès
hal-01237653v1
|
||
|
Refinement and Difference for Probabilistic AutomataLogical Methods in Computer Science, 2014, pp.LMCS-2013-936
Article dans une revue
hal-01010866v1
|
||
|
Languages of Higher-Dimensional Timed Automata2024
Pré-publication, Document de travail
hal-04444648v1
|
||
|
A Kleene Theorem for Higher-Dimensional AutomataCONCUR, Sep 2022, Warsaw, Poland. ⟨10.4230/LIPIcs.CONCUR.2022.29⟩
Communication dans un congrès
hal-04540030v1
|