Görel Hedin
11 – 20 of 102
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
Property Probes : Source Code Based Exploration of Program Analysis Results
(2022) 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022 In SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 p.148-160
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Open source languages and methods for cyber-physical system development : Overview and case studies
- Contribution to journal › Article
-
Mark
A Precise Framework for Source-Level Control-Flow Analysis
(2021) IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) p.1-11
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2020
-
Mark
Relational reference attribute grammars: Improving continuous model validation
- Contribution to journal › Article
-
Mark
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Runtime Modeling and Analysis of IoT Systems
(2020) ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020) p.1-5
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Feature-Oriented Control Programming
(2020) 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) p.1043-1046
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Smart bikes: Gradual update of IoT systems
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2019
-
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
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
