Görel Hedin

1 – 10 of 101

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/person/cs-ghe?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
2
3
4
…
10
11
next »

2025
Mark A Trust Establishment and Key Management Architecture for Hospital-at-Home
Åkesson, Alfred ^LU ; Gehrmann, Christian ^LU ; Hedin, Görel ^LU ; Johnsson, Björn A ^LU ; Magnusson, Boris ^LU ; Nordahl, Mattias ^LU ; Ramezanian, Sara ^LU and Stankovski Wagner, Paul ^LU (2025) In ACM Transactions on Computing for Healthcare 6(1). p.1-28
- Contribution to journal › Article
Mark IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
Riouak, Idriss ^LU ; Fors, Niklas ^LU ; Hedin, Görel ^LU and Reichenbach, Christoph ^LU (2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer
- Contribution to journal › Article
2024
Mark Mutation testing optimisations using the Clang front-end
Vercammen, Sten ^LU ; Demeyer, Serge ^LU ; Borg, Markus ^LU ; Pettersson, Niklas and Hedin, Görel ^LU (2024) In Software Testing Verification and Reliability 34(1).
- Contribution to journal › Article
Mark Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
Riouak, Idriss ^LU ; Fors, Niklas ^LU ; Öqvist, Jesper ^LU ; Hedin, Görel ^LU and Reichenbach, Christoph ^LU (2024) 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE), p.56-69
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Property probes : Live exploration of program analysis results
Risberg Alaküla, Anton ^LU ; Hedin, Görel ^LU ; Fors, Niklas ^LU and Pop, Adrian (2024) In Journal of Systems and Software 211.
- Contribution to journal › Article
Mark Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)
Riouak, Idriss ^LU ; Fors, Niklas ^LU ; Öqvist, Jesper ^LU ; Hedin, Görel ^LU and Reichenbach, Christoph ^LU (2024)
- Other contribution › Miscellaneous
Mark Software Component Update for IoT Systems
Nordahl, Mattias ^LU ; Åkesson, Alfred ^LU ; Johnsson, Björn A. ^LU ; Hedin, Görel ^LU and Magnusson, Boris ^LU (2024) 11th International Conference on Internet of Things: Systems, Management and Security, IOTSMS 2024 p.124-131
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2023
Mark ComPOS: A DSL for Composing IoT Systems with Weak Connectivity
Åkesson, Alfred ^LU ; Hedin, Görel ^LU and Fors, Niklas ^LU (2023) 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2023 In REBLS 2023 - Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Co-located with: SPLASH 2023 p.31-42
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2022
Mark Property Probes : Source Code Based Exploration of Program Analysis Results
Risberg Alaküla, Anton ^LU ; Hedin, Görel ^LU ; Fors, Niklas ^LU and Pop, Adrian (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
Mark JFeature : Know Your Corpus
Riouak, Idriss ^LU ; Hedin, Gorel ^LU ; Reichenbach, Christoph ^LU and Fors, Niklas ^LU (2022) 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 p.236-241
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
2
3
4
…
10
11
next »