Christoph Reichenbach

31 – 40 of 49

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/13dd0a43-baa4-41dd-8dcd-ed303166203e?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2015
Mark A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
Ackermann, Hilmar ; Reichenbach, Christoph ^LU ; Müller, Christian and Smaragdakis, Yannis (2015) Compiler Construction In Lecture notes in computer science 9031. p.111-130
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Copy and Paste Redeemed
Narasimhan, Krishna and Reichenbach, Christoph ^LU (2015) p.630-640
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Residual Investigation : Predictive and Precise Bug Detection
Li, Kaituo ; Reichenbach, Christoph ^LU ; Csallner, Christoph and Smaragdakis, Yannis (2015) Software Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW - Software Engineering and Management 2015: Multiconference of the GI Special Interest Groups Software Engineering (SWT) and Information Systems (WI), FA WI-MAW In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P-239. p.133-134
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2014
Mark Residual Investigation : Predictive and Precise Bug Detection
Li, Kaituo ; Reichenbach, Christoph ^LU ; Csallner, Christoph and Smaragdakis, Yannis (2014) In ACM Transactions on Software Engineering and Methodology 24(2).
- Contribution to journal › Article
Mark Second-order constraints in dynamic invariant inference
Li, Kaituo ; Reichenbach, Christoph ^LU ; Smaragdakis, Yannis and Young, Michal (2014) Software Engineering 2014 In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P227. p.93-94
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2013
Mark SEDGE : Symbolic example data generation for dataflow programs
Li, Kaituo ; Reichenbach, Christoph ^LU ; Smaragdakis, Yannis ; Diao, Yanlei and Csallner, Christoph (2013) 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 p.235-245
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Second-order constraints in dynamic invariant inference
Li, Kaituo ; Reichenbach, Christoph ^LU ; Smaragdakis, Yannis and Young, Michal (2013) 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 p.103-113
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2012
Mark PQL: A Purely-Declarative Java Extension for Parallel Programming
Reichenbach, Christoph ^LU ; Smaragdakis, Yannis and Immerman, Neil (2012) In Lecture notes in computer science 7313. p.53-78
- Chapter in Book/Report/Conference proceeding › Book chapter
Mark Residual investigation : Predictive and precise bug detection
Li, Kaituo ; Reichenbach, Christoph ^LU ; Csallner, Christoph and Smaragdakis, Yannis (2012) 21st International Symposium on Software Testing and Analysis, ISSTA 2012 p.298-308
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Java wildcards meet definition-site variance
Altidor, John ; Reichenbach, Christoph ^LU and Smaragdakis, Yannis (2012) 26th European Conference on Object-Oriented Programming, ECOOP 2012 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7313 LNCS. p.509-534
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding