Publications | Lund University Publications

11 – 20 of 277

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/publication?embed=1&q=department+exact+v1001418&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
5
…
28
next »

2024
Mark Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots
Rizwan, Momina ^LU (2024) In Licentiate thesis 2024(1).
- Thesis › Licentiate thesis
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
Mark Toward Gaze-enabled Programming Tool Assistance
Kuang, Peng ^LU (2024)
- Thesis › Licentiate thesis
Mark Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance: A Survey
Kuang, Peng ^LU ; Söderberg, Emma ^LU and Höst, Martin ^LU (2024)
- 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 Clog : A Declarative Language for C Static Code Checkers
Dura, Alexandru ^LU and Reichenbach, Christoph ^LU (2024) 33rd ACM SIGPLAN International Conference on Compiler Construction, CC 2024 p.186-197
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark A Conceptual Framework and Recommendations for Open Data and Artifacts in Empirical Software Engineering
Runeson, Per ^LU ; Söderberg, Emma ^LU and Höst, Martin ^LU (2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 In ICSE Workshops p.68-75
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
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 Towards Declarative Specification of Static Analysis for Programming Tools
Riouak, Idriss ^LU (2024)
- Thesis › Doctoral thesis (compilation)
Mark Property Probes: Live Exploration of Source Code Analysis
Risberg Alaküla, Anton ^LU (2024) In Licentiate theis 2024(3).
- Thesis › Licentiate thesis

« previous
1
2
3
4
5
…
28
next »

your query:: Remove department: Software Development and Environments