publ-1999.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -q -ob publ-1999.bib --remove keywords -c 'year = 1999' /home/jantsch/Website/jantsch.se/AxelJantsch/publist.bib}}

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -q -oc /home/jantsch/Website/jantsch.se/AxelJantsch/citefile -ob /home/jantsch/Website/jantsch.se/AxelJantsch/publist.bib -c '(( author : "Jantsch" or ( editor : "Jantsch" and $type : "book" ))
	    and ( not ( $key : "presentation" ))
	    and ( not ( $type : "techreport" ))
	    and ( not ( $type : "misc" ))
	    and ( not ( annotate : "not reviewed" )))
	    or $key = "hauer:2021a"
	    ' /home/jantsch/text/papers/lit.bib}}

@comment{{Example entry for online references:
miscWinNT,
  title = MS Windows NT Kernel Description,
  howpublished = \urlhttp://web.archive.org/web/20080207010024/http://www.808multimedia.com/winnt/kernel.htm,
  note = Accessed: 2010-09-30
}}

@comment{{Example:
miscWikiQuineMcCluskey,
  title =	 Quine-McCluskey Algorithm,
  author =  Wikipedia ,
  year = 2021,
  howpublished =
                  \urlhttps://en.wikipedia.org/wiki/Quine%E2%80%93McCluskey_algorithm,
  note =	 Accessed: 2021-08-11
}}

@inproceedings{bjureus:1999a,
  title = { Heterogenous System-level Cosimulation with {SDL} and {Matlab} },
  author = { Per Bjur\'{e}us and Axel Jantsch },
  booktitle = { Proceedings of the Forum on Design Languages (FDL) },
  year = {1999}
}

@inproceedings{horn:1999a,
  title = { Hardware Synthesis of an ATM Multiplexer Modelled in {SDL}: A Case Study },
  author = { Wolfgang Horn and Bengt Svantesson and Shashi Kumar and Axel Jantsch and Ahmed Hemani },
  booktitle = { Proceedings of the IEEE Computer Society Annual Workshop on VLSI },
  year = {1999}
}

@inproceedings{jantsch:1999c,
  title = { Formal System Specification Models for Verification and Refinement },
  author = {Axel Jantsch },
  booktitle = { EDA-Traff'99},
  year = {1999}
}

@inproceedings{jantsch:1999d,
  title = { Integrated Electronic Systems Program - A National Research Program },
  author = {Axel Jantsch },
  booktitle = { EDA-Traff'99},
  year = {1999}
}

@inproceedings{jantsch:1999a,
  title = { The {Rugby} Model: A Framework for the Study of Modelling, Analysis, and Synthesis Concepts in Electronic Systems },
  author = { Axel Jantsch and Shashi Kumar and Ahmed Hemani },
  booktitle = { Proceedings of Design Automation and Test in Europe (DATE) },
  year = {1999}
}

@inproceedings{meincke:1999,
  title = { A Generic Scheme for Communication Representation and Mapping },
  author = { Thomas Meincke and Axel Jantsch and Peeter Ellervee and Ahmed Hemani and Hannu Tenhunen },
  booktitle = { Proceedings of to IEEE Norchip Conference },
  year = {1999}
}

@inproceedings{onils:1999a,
  title = { Synthesis of {DMA} Controllers from Architecture Independent Descriptions of {HW}/{SW} Communication Protocols},
  author = { Mattias O'Nils and Axel Jantsch },
  booktitle = { Proceedings of the Twelfth International Conference on VLSI Design },
  year = {1999},
  month = {January}
}

@inproceedings{onils:1999b,
  title = { Operating System Sensitive Device Driver Synthesis from Implementation Independent Protocol Specification },
  author = { Mattias O'Nils and Axel Jantsch },
  booktitle = { Proceedings of Design Automation and Test in Europe },
  year = {1999}
}

@inproceedings{olson:1999,
  title = { Floating- to Fixed-Point Refinement in {Matlab} with an Object-Oriented Library },
  author = { Henrik Olson and Axel Jantsch and Hannu Tenhunen},
  booktitle = { Proceedings of the IEEE Norchip Conference },
  year = {1999}
}

@inproceedings{sander:1999,
  title = { System Synthesis Utilizing a Layered Functional Model },
  author = { Ingo Sander and Axel Jantsch },
  booktitle = { Proceedings of the 7th International Workshop on Hardware/Software Codesign },
  year = {1999},
  month = {May},
  pages = { 136-141 }
}

@inproceedings{sander:1999a,
  title = { Formal Design Based on the Synchronous Approach, Functional Models and Skeletons },
  author = { Ingo Sander and Axel Jantsch },
  booktitle = { Proceedings of the Twelfth International Conference on VLSI Design },
  year = {1999}
}

@inproceedings{sander:1999b,
  title = { System Synthesis Based on a Formal Computational Model and Skeletons },
  author = { Ingo Sander and Axel Jantsch },
  booktitle = { Proceedings of the IEEE Computer Society Annual Workshop on VLSI},
  year = {1999}
}