51 – 56 of 56
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2019
-
Mark
Validation of SDN policies: a property-based testing perspective
(2019) 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) In Procedia Computer Science 160. p.23-29
- Contribution to journal › Article
- 2018
-
Mark
A DSL for Composing IoT Systems
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Live Programming of Internet of Things in PalCom
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Identifying, Prioritizing and Evaluating Vulnerabilities in Third Party Code
(2018)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
PalCom MIST: a Metaprotocol for Internet Systems of Things
(2018)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2017
-
Mark
Jatte : A tunable tree editor for integrated DSLs
(2017) 2nd ACM SIGPLAN International Workshop on Comprehension of Complex Systems, CoCoS 2017 p.7-12
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
