Filter your results
- 4
- 3
- 6
- 1
- 7
- 1
- 1
- 1
- 2
- 2
- 1
- 7
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 7
- 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
7 Results
|
|
sorted by
|
|
Fibrational Bisimulations and Quantitative Reasoning14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩
Conference papers
hal-01901092v1
|
||
|
Model-bounded monitoring of hybrid systemsICCPS 2021 - 12th ACM/IEEE International Conference on Cyber-Physical Systems, Martina Maggio; James Weimer, May 2021, Nashville, United States
Conference papers
hal-03142412v1
|
||
|
Goal-Aware RSS for Complex Scenarios via Program LogicIEEE Transactions on Intelligent Vehicles, 2023, 8 (4), pp.3040-3072. ⟨10.1109/TIV.2022.3169762⟩
Journal articles
hal-04138463v1
|
||
|
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.214-234, ⟨10.1007/978-3-030-00389-0_12⟩
Conference papers
hal-02044648v1
|
||
|
Architecture-Guided Test Resource Allocation via Logic15th International Conference on Tests and Proofs (TAP 2021), Jun 2021, Bergen, Norway. pp.22-38, ⟨10.1007/978-3-030-79379-1_2⟩
Conference papers
hal-04138451v1
|
||
|
Measurements in Proof Nets as Higher-Order Quantum Circuits23rd European Symposium on Programming, Apr 2014, Grenoble, France. pp.371 - 391, ⟨10.1007/978-3-642-54833-8_20⟩
Conference papers
hal-01091582v1
|
||
|
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior14th NASA Formal Methods Symposium (NFM 2022), May 2022, Pasadena, United States. pp.470-488, ⟨10.1007/978-3-031-06773-0_25⟩
Conference papers
hal-03690071v1
|