81 – 90 of 277
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2019
-
Mark
ComPOS - a development environment for composing internet-of-things services
(
- Thesis › Licentiate thesis
-
Mark
Factoring out glue-code in systems of IoT devices: the PalCom architecture model
2019)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MetaDL : Declarative program analysis for the masses
2019) 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 In SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity p.17-18(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ComPOS : Composing Oblivious Services
2019) 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019 p.132-138(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Live GUI development for service-based systems
2019)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Message from the Chairs
2019) 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
- 2018
-
Mark
Generating FMUs for the Feature-Based Language Bloqqi
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Safe Regression Test Selection Technique for Modelica
2018) American Modelica Conference(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ExtendJ : Extensible Java compiler
2018) 2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018 Part F137691. p.234-235(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Continuous Model Validation using Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding