Christoph Reichenbach

1 – 10 of 43

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/ch1747re?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
5
next »

2024
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 IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
Riouak, Idriss ^LU ; Fors, Niklas ^LU ; Hedin, Görel ^LU and Reichenbach, Christoph ^LU (2024) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer
- 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 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
2023
Mark ROSSMARie: A Domain-Specific Language To Express Dynamic Safety Rules and Recovery Strategies for Autonomous Robots
Rizwan, Momina ^LU ; Reichenbach, Christoph ^LU and Krueger, Volker ^LU (2023) Second Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components
- Contribution to conference › Abstract
Mark EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
Rizwan, Momina ^LU ; Caldas, Ricardo ; Reichenbach, Christoph ^LU and Mayr, Matthias ^LU (2023) p.61-68
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark TODLER : A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts
Munir, Sundas and Reichenbach, Christoph ^LU (2023) 6th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB 2023 p.9-16
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Classification-based Static Collection Selection for Java: Effectiveness and Adaptability
Couderc, Noric ^LU ; Reichenbach, Christoph ^LU and Söderberg, Emma ^LU (2023) p.111-120
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Performance Analysis with Bayesian Inference
Couderc, Noric ^LU ; Reichenbach, Christoph ^LU and Söderberg, Emma ^LU (2023) The 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2022
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
5
next »