publications:
- title: "A Formal Semantics of Clock Refinement in Imperative Synchronous Languages"
  author:
  - name: "Mike Gemunde"
    link: "https://researchr.org/alias/mike-gemunde"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.25"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.25"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acsd/GemundeBS10"
  tags:
  - "semantics"
  - "formal semantics"
  - "refinement"
  researchr: "https://researchr.org/publication/GemundeBS10-0"
  cites: 0
  citedby: 0
  pages: "157-168"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "GemundeBS10-0"
- title: "Dependency-Driven Distribution of Synchronous Programs"
  author:
  - name: "Daniel Baudisch"
    link: "https://researchr.org/alias/daniel-baudisch"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15234-4_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15234-4_17"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifip10-3/BaudischBS10"
  researchr: "https://researchr.org/publication/BaudischBS10-0"
  cites: 0
  citedby: 0
  pages: "169-180"
  booktitle: "ifip10-3"
  kind: "inproceedings"
  key: "BaudischBS10-0"
- title: "A Verified Compiler for Synchronous Programs with Local Declarations"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Tobias Schüle"
    link: "https://researchr.org/alias/tobias-sch%C3%BCle"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.02.028"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.02.028"
  tags:
  - "program verification"
  - "compiler"
  researchr: "https://researchr.org/publication/SchneiderBS06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "153"
  number: "4"
  pages: "71-97"
  kind: "article"
  key: "SchneiderBS06"
- title: "Static data-flow analysis of synchronous programs"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/MEMCOD.2009.5185392"
  links:
    doi: "http://dx.doi.org/10.1109/MEMCOD.2009.5185392"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/memocode/BrandtS09"
  tags:
  - "program analysis"
  - "analysis"
  - "static analysis"
  - "data-flow programming"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/BrandtS09"
  cites: 0
  citedby: 0
  pages: "161-170"
  booktitle: "memocode"
  kind: "inproceedings"
  key: "BrandtS09"
- title: "Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11576280_28"
  links:
    doi: "http://dx.doi.org/10.1007/11576280_28"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BrandtS05%3A0"
  cites: 0
  citedby: 0
  pages: "405-420"
  booktitle: "icfem"
  kind: "inproceedings"
  key: "BrandtS05:0"
- title: "Desynchronizing Synchronous Programs by Modes"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Mike Gemunde"
    link: "https://researchr.org/alias/mike-gemunde"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.24"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.24"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acsd/BrandtGS09"
  researchr: "https://researchr.org/publication/BrandtGS09"
  cites: 0
  citedby: 0
  pages: "32-41"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "BrandtGS09"
- title: "System Description Aspects as Syntactic Sugar"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2006"
  doi: "http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=403"
  links:
    doi: "http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=403"
  researchr: "https://researchr.org/publication/BrandtS06"
  cites: 0
  citedby: 0
  pages: "293-301"
  booktitle: "fdl"
  kind: "inproceedings"
  key: "BrandtS06"
- title: "Translating concurrent action oriented specifications to synchronous guarded actions"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Sandeep K. Shukla"
    link: "https://researchr.org/alias/sandeep-k.-shukla"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1755888.1755896"
  links:
    doi: "http://doi.acm.org/10.1145/1755888.1755896"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lctrts/BrandtSS10"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/BrandtSS10"
  cites: 0
  citedby: 0
  pages: "47-56"
  booktitle: "lctrts"
  kind: "inproceedings"
  key: "BrandtSS10"
- title: "Modular Compilation of Synchronous Programs"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Eric Vecchié"
    link: "https://researchr.org/alias/eric-vecchi%C3%A9"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-0-387-39362-9_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-39362-9_9"
  researchr: "https://researchr.org/publication/SchneiderBV06"
  cites: 0
  citedby: 0
  pages: "75-84"
  booktitle: "ifip10-3"
  kind: "inproceedings"
  key: "SchneiderBV06"
- title: "How Different are Esterel and SystemC?"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2007"
  researchr: "https://researchr.org/publication/BrandtS07"
  cites: 0
  citedby: 0
  pages: "98-103"
  booktitle: "fdl"
  kind: "inproceedings"
  key: "BrandtS07"
- title: "Formal Reasoning About Causality Analysis"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-71067-7_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71067-7_13"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BrandtS08"
  cites: 0
  citedby: 0
  pages: "118-133"
  booktitle: "tphol"
  kind: "inproceedings"
  key: "BrandtS08"
- title: "Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11596356_42"
  links:
    doi: "http://dx.doi.org/10.1007/11596356_42"
  researchr: "https://researchr.org/publication/BrandtS05"
  cites: 0
  citedby: 0
  pages: "405-417"
  booktitle: "euc"
  kind: "inproceedings"
  key: "BrandtS05"
- title: "Causality analysis of synchronous programs with delayed actions"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Tobias Schüle"
    link: "https://researchr.org/alias/tobias-sch%C3%BCle"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1023833.1023859"
  links:
    doi: "http://doi.acm.org/10.1145/1023833.1023859"
  tags:
  - "program analysis"
  - "analysis"
  researchr: "https://researchr.org/publication/SchneiderBS04"
  cites: 0
  citedby: 0
  pages: "179-189"
  booktitle: "cases"
  kind: "inproceedings"
  key: "SchneiderBS04"
- title: "Compilation of imperative synchronous programs with refined clocks"
  author:
  - name: "Mike Gemunde"
    link: "https://researchr.org/alias/mike-gemunde"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558633"
  links:
    doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558633"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/memocode/GemundeBS10"
  researchr: "https://researchr.org/publication/GemundeBS10"
  cites: 0
  citedby: 0
  pages: "209-218"
  booktitle: "memocode"
  kind: "inproceedings"
  key: "GemundeBS10"
- title: "Performing causality analysis by bounded model checking"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/ACSD.2008.4574599"
  links:
    doi: "http://dx.doi.org/10.1109/ACSD.2008.4574599"
  tags:
  - "model checking"
  - "meta-model"
  - "analysis"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/SchneiderB08"
  cites: 0
  citedby: 0
  pages: "78-87"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "SchneiderB08"
- title: "Message from the chairs"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Barbara Jobstmann"
    link: "https://researchr.org/alias/barbara-jobstmann"
  - name: "Luca P. Carloni"
    link: "https://researchr.org/alias/luca-p.-carloni"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558631"
  links:
    doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558631"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/memocode/SchneiderJCB10"
  researchr: "https://researchr.org/publication/SchneiderJCB10"
  cites: 0
  citedby: 0
  pages: "1-3"
  booktitle: "memocode"
  kind: "inproceedings"
  key: "SchneiderJCB10"
- title: "Maximal Causality Analysis"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Tobias Schüle"
    link: "https://researchr.org/alias/tobias-sch%C3%BCle"
  - name: "Thomas Tuerk"
    link: "https://researchr.org/alias/thomas-tuerk"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.24"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.24"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/SchneiderBST05"
  cites: 0
  citedby: 0
  pages: "106-115"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "SchneiderBST05"
- title: "The Model Checking View to Clock Gating and Operand Isolation"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Sumit Ahuja"
    link: "https://researchr.org/alias/sumit-ahuja"
  - name: "Sandeep K. Shukla"
    link: "https://researchr.org/alias/sandeep-k.-shukla"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.22"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acsd/BrandtSAS10"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BrandtSAS10"
  cites: 0
  citedby: 0
  pages: "181-190"
  booktitle: "acsd"
  kind: "inproceedings"
  key: "BrandtSAS10"
- title: "Efficient code generation from synchronous programs"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Eric Vecchié"
    link: "https://researchr.org/alias/eric-vecchi%C3%A9"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/MEMCOD.2006.1695922"
  links:
    doi: "http://dx.doi.org/10.1109/MEMCOD.2006.1695922"
  tags:
  - "code generation"
  researchr: "https://researchr.org/publication/SchneiderBV06%3A0"
  cites: 0
  citedby: 0
  pages: "165-174"
  booktitle: "memocode"
  kind: "inproceedings"
  key: "SchneiderBV06:0"
- title: "Multithreaded code from synchronous programs: Extracting independent threads for OpenMP"
  author:
  - name: "Daniel Baudisch"
    link: "https://researchr.org/alias/daniel-baudisch"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2010"
  doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5456915"
  links:
    doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5456915"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/date/BaudischBS10"
  researchr: "https://researchr.org/publication/BaudischBS10"
  cites: 0
  citedby: 0
  pages: "949-952"
  booktitle: "date"
  kind: "inproceedings"
  key: "BaudischBS10"
- title: "Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings"
  year: "2007"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/tphol%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings"
  conference: "tphol"
  editor:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  volume: "4732"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74590-7"
  kind: "proceedings"
  key: "tphol:2007"