@inproceedings{GemundeBS10-0,
  title = {A Formal Semantics of Clock Refinement in Imperative Synchronous Languages},
  author = {Mike Gemunde and Jens Brandt and Klaus Schneider},
  year = {2010},
  doi = {10.1109/ACSD.2010.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.25},
  tags = {semantics, formal semantics, refinement},
  researchr = {https://researchr.org/publication/GemundeBS10-0},
  cites = {0},
  citedby = {0},
  pages = {157-168},
  booktitle = {10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010},
  editor = {Luís Gomes and Victor Khomenko and João M. Fernandes},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4066-5},
}

@inproceedings{BaudischBS10-0,
  title = {Dependency-Driven Distribution of Synchronous Programs},
  author = {Daniel Baudisch and Jens Brandt and Klaus Schneider},
  year = {2010},
  doi = {10.1007/978-3-642-15234-4_17},
  url = {http://dx.doi.org/10.1007/978-3-642-15234-4_17},
  researchr = {https://researchr.org/publication/BaudischBS10-0},
  cites = {0},
  citedby = {0},
  pages = {169-180},
  booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings},
  editor = {Mike Hinchey and Bernd Kleinjohann and Lisa Kleinjohann and Peter A. Lindsay and Franz J. Rammig and Jon Timmis and Marilyn Wolf},
  volume = {329},
  series = {IFIP},
  publisher = {Springer},
  isbn = {978-3-642-15233-7},
}

@article{SchneiderBS06,
  title = {A Verified Compiler for Synchronous Programs with Local Declarations},
  author = {Klaus Schneider and Jens Brandt and Tobias Schüle},
  year = {2006},
  doi = {10.1016/j.entcs.2006.02.028},
  url = {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 = {Electronic Notes in Theoretical Computer Science},
  volume = {153},
  number = {4},
  pages = {71-97},
}

@inproceedings{BrandtS09,
  title = {Static data-flow analysis of synchronous programs},
  author = {Jens Brandt and Klaus Schneider},
  year = {2009},
  doi = {10.1109/MEMCOD.2009.5185392},
  url = {http://dx.doi.org/10.1109/MEMCOD.2009.5185392},
  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 = {7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{BrandtS05:0,
  title = {Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry},
  author = {Jens Brandt and Klaus Schneider},
  year = {2005},
  doi = {10.1007/11576280_28},
  url = {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 = {Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings},
  editor = {Kung-Kiu Lau and Richard Banach},
  volume = {3785},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29797-9},
}

@inproceedings{BrandtGS09,
  title = {Desynchronizing Synchronous Programs by Modes},
  author = {Jens Brandt and Mike Gemunde and Klaus Schneider},
  year = {2009},
  doi = {10.1109/ACSD.2009.24},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.24},
  researchr = {https://researchr.org/publication/BrandtGS09},
  cites = {0},
  citedby = {0},
  pages = {32-41},
  booktitle = {Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009},
  publisher = {IEEE Computer Society},
}

@inproceedings{BrandtS06,
  title = {System Description Aspects as Syntactic Sugar},
  author = {Jens Brandt and Klaus Schneider},
  year = {2006},
  url = {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 = {Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings},
  publisher = {ECSI},
  isbn = {978-3-00-019710-9},
}

@inproceedings{BrandtSS10,
  title = {Translating concurrent action oriented specifications to synchronous guarded actions},
  author = {Jens Brandt and Klaus Schneider and Sandeep K. Shukla},
  year = {2010},
  doi = {10.1145/1755888.1755896},
  url = {http://doi.acm.org/10.1145/1755888.1755896},
  tags = {translation},
  researchr = {https://researchr.org/publication/BrandtSS10},
  cites = {0},
  citedby = {0},
  pages = {47-56},
  booktitle = {Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010},
  editor = {Jaejin Lee and Bruce R. Childers},
  publisher = {ACM},
  isbn = {978-1-60558-953-4},
}

@inproceedings{SchneiderBV06,
  title = {Modular Compilation of Synchronous Programs},
  author = {Klaus Schneider and Jens Brandt and Eric Vecchié},
  year = {2006},
  doi = {10.1007/978-0-387-39362-9_9},
  url = {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 = {From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal},
  editor = {Bernd Kleinjohann and Lisa Kleinjohann and Ricardo Jorge Machado and Carlos Eduardo Pereira and P. S. Thiagarajan},
  volume = {225},
  series = {IFIP},
  publisher = {Springer},
  isbn = {978-0-387-39361-2},
}

@inproceedings{BrandtS07,
  title = {How Different are Esterel and SystemC?},
  author = {Jens Brandt and Klaus Schneider},
  year = {2007},
  researchr = {https://researchr.org/publication/BrandtS07},
  cites = {0},
  citedby = {0},
  pages = {98-103},
  booktitle = {Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings},
  publisher = {ECSI},
}

@inproceedings{BrandtS08,
  title = {Formal Reasoning About Causality Analysis},
  author = {Jens Brandt and Klaus Schneider},
  year = {2008},
  doi = {10.1007/978-3-540-71067-7_13},
  url = {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 = {Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings},
  editor = {Otmane Aït Mohamed and César Muñoz and Sofiène Tahar},
  volume = {5170},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71065-3},
}

@inproceedings{BrandtS05,
  title = {Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems},
  author = {Jens Brandt and Klaus Schneider},
  year = {2005},
  doi = {10.1007/11596356_42},
  url = {http://dx.doi.org/10.1007/11596356_42},
  researchr = {https://researchr.org/publication/BrandtS05},
  cites = {0},
  citedby = {0},
  pages = {405-417},
  booktitle = {Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings},
  editor = {Laurence Tianruo Yang and Makoto Amamiya and Zhen Liu and Minyi Guo and Franz J. Rammig},
  volume = {3824},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30807-5},
}

@inproceedings{SchneiderBS04,
  title = {Causality analysis of synchronous programs with delayed actions},
  author = {Klaus Schneider and Jens Brandt and Tobias Schüle},
  year = {2004},
  doi = {10.1145/1023833.1023859},
  url = {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 = {Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2004, Washington DC, USA, September 22 - 25, 2004},
  editor = {Mary Jane Irwin and Wei Zhao and Luciano Lavagno and Scott A. Mahlke},
  publisher = {ACM},
  isbn = {1-58113-890-3},
}

@inproceedings{GemundeBS10,
  title = {Compilation of imperative synchronous programs with refined clocks},
  author = {Mike Gemunde and Jens Brandt and Klaus Schneider},
  year = {2010},
  doi = {10.1109/MEMCOD.2010.5558633},
  url = {http://dx.doi.org/10.1109/MEMCOD.2010.5558633},
  researchr = {https://researchr.org/publication/GemundeBS10},
  cites = {0},
  citedby = {0},
  pages = {209-218},
  booktitle = {8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010},
  publisher = {IEEE Computer Society},
}

@inproceedings{SchneiderB08,
  title = {Performing causality analysis by bounded model checking},
  author = {Klaus Schneider and Jens Brandt},
  year = {2008},
  doi = {10.1109/ACSD.2008.4574599},
  url = {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 = {8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008},
  editor = {Jonathan Billington and Zhenhua Duan and Maciej Koutny},
  publisher = {IEEE},
  isbn = {978-1-4244-1838-1},
}

@inproceedings{SchneiderJCB10,
  title = {Message from the chairs},
  author = {Klaus Schneider and Barbara Jobstmann and Luca P. Carloni and Jens Brandt},
  year = {2010},
  doi = {10.1109/MEMCOD.2010.5558631},
  url = {http://dx.doi.org/10.1109/MEMCOD.2010.5558631},
  researchr = {https://researchr.org/publication/SchneiderJCB10},
  cites = {0},
  citedby = {0},
  pages = {1-3},
  booktitle = {8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010},
  publisher = {IEEE Computer Society},
}

@inproceedings{SchneiderBST05,
  title = {Maximal Causality Analysis},
  author = {Klaus Schneider and Jens Brandt and Tobias Schüle and Thomas Tuerk},
  year = {2005},
  doi = {10.1109/ACSD.2005.24},
  url = {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 = {Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2363-3},
}

@inproceedings{BrandtSAS10,
  title = {The Model Checking View to Clock Gating and Operand Isolation},
  author = {Jens Brandt and Klaus Schneider and Sumit Ahuja and Sandeep K. Shukla},
  year = {2010},
  doi = {10.1109/ACSD.2010.22},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.22},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BrandtSAS10},
  cites = {0},
  citedby = {0},
  pages = {181-190},
  booktitle = {10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010},
  editor = {Luís Gomes and Victor Khomenko and João M. Fernandes},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4066-5},
}

@inproceedings{SchneiderBV06:0,
  title = {Efficient code generation from synchronous programs},
  author = {Klaus Schneider and Jens Brandt and Eric Vecchié},
  year = {2006},
  doi = {10.1109/MEMCOD.2006.1695922},
  url = {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 = {4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA},
  publisher = {IEEE},
}

@inproceedings{BaudischBS10,
  title = {Multithreaded code from synchronous programs: Extracting independent threads for OpenMP},
  author = {Daniel Baudisch and Jens Brandt and Klaus Schneider},
  year = {2010},
  url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5456915},
  researchr = {https://researchr.org/publication/BaudischBS10},
  cites = {0},
  citedby = {0},
  pages = {949-952},
  booktitle = {Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010},
  publisher = {IEEE},
}
@proceedings{tphol:2007,
  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 = {Klaus Schneider and Jens Brandt},
  volume = {4732},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74590-7},
}