Filter your results
- 4
- 4
- 4
- 1
- 4
- 5
- 2
- 2
- 5
- 2
- 9
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
SFJ: An Implementation of Semantic Featherweight Java22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.153-168, ⟨10.1007/978-3-030-50029-0_10⟩
Conference papers
hal-03274001v1
|
||
|
Vulnerability Assessments of Building Management Systems14th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2020, Arlington, VA, United States. pp.209-220, ⟨10.1007/978-3-030-62840-6_10⟩
Conference papers
hal-03794630v1
|
||
|
Typechecking Java Protocols with [St]Mungo40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.208-224, ⟨10.1007/978-3-030-50086-3_12⟩
Conference papers
hal-03283241v1
|
||
|
An Ensemble Interpretable Machine Learning Scheme for Securing Data Quality at the Edge4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.517-534, ⟨10.1007/978-3-030-57321-8_29⟩
Conference papers
hal-03414739v1
|