publ-forsyde.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -ob publ-forsyde.bib --remove keywords -c 'key : "forsyde"' /home/jantsch/Website/jantsch.se/AxelJantsch/publist.bib}}
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc /home/jantsch/Website/jantsch.se/AxelJantsch/citefile -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
}}
@incollection{jantsch:2009a,
title = {Models of Computation for Distributed Embedded Systems},
author = {Axel Jantsch},
booktitle = {Networked Embedded Systems},
publisher = {CRC Press/Taylor \& Francis},
year = {2009},
editor = {Richard Zurawski},
key = {forsydereference}
}
@incollection{jantsch:2005c,
title = { Models of Embedded Computation },
author = { Axel Jantsch },
booktitle = { Embedded Systems Handbook },
publisher = { CRC Press },
year = {2005},
editor = { Richard Zurawski },
note = {Invited contribution},
key = {forsydereference},
url = {http://jantsch.se/AxelJantsch/papers/2005/CRC-chapter.pdf}
}
@book{jantsch:2003c,
title = { Modeling Embedded Systems and {SoCs} - Concurrency and Time in Models of Computation },
author = {Axel Jantsch},
publisher = {Morgan Kaufmann Publishers},
year = {2003},
month = {June},
series = {Systems on Silicon },
key = {forsydereference},
url = {http://www.bh.com/mk/?isbn=1558609253}
}
@incollection{jantsch:2005d,
title = {Models of Computation in the Design Process},
author = { Axel Jantsch and Ingo Sander },
booktitle = {{SoC}: Next Generation Electronics},
publisher = {IEE},
year = {2005},
editor = {Bashir M Al-Hashimi},
note = {Invited contribution},
key = {forsydereference},
url = {http://jantsch.se/AxelJantsch/papers/2005/IEE-Book.pdf}
}
@article{jantsch:2005b,
title = { Models of Computation and languages for embedded system design },
author = { Axel Jantsch and Ingo Sander },
journal = {IEE Proceedings on Computers and Digital Techniques },
year = {2005},
month = {March},
note = {Special issue on Embedded Microelectronic Systems; Invited paper},
number = {2},
pages = {114-129},
volume = {152},
key = {forsydereference},
url = {http://jantsch.se/AxelJantsch/papers/2005/IEE-Proceedings.pdf}
}
@inproceedings{jantsch:2000d,
title = { On the Roles of Functions and Objects in System Specification },
author = { Axel Jantsch and Ingo Sander },
booktitle = { Proceedings of the International Workshop on Hardware/Software Codesign },
year = {2000},
key = {forsydereference},
url = { http://jantsch.se/AxelJantsch/papers/2000/codes-2000.pdf}
}
@inproceedings{jantsch:2001a,
title = { The Usage of Stochastic Processes in Embedded System Specifications },
author = { Axel Jantsch and Ingo Sander and Wenbiao Wu },
booktitle = { Proceedings of the Ninth International Symposium on Hardware/Software Codesign },
year = {2001},
month = {April},
key = {forsydereference},
url = { http://jantsch.se/AxelJantsch/papers/2001/codes-2001.pdf}
}
@inproceedings{lu:2006d,
title = {Towards Performance-oriented Pattern-based Refinement of Synchronous Models onto {NoC} Communication },
author = {Zhonghai Lu and Ingo Sander and Axel Jantsch},
booktitle = {9th Euromicro Conference on Digital System Design (DSD 2006)},
year = {2006},
month = {August},
key = {nostrum,forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2006/DSD-Euromicro-zhonghai.pdf}
}
@inproceedings{lu:2002a,
title = {A case study of hardware and software synthesis in {ForSyDe} },
author = {Zhonghai Lu and Ingo Sander and Axel Jantsch},
booktitle = {Proceedings of the 15th International Symposium on System Synthesis },
year = {2002},
address = {Kyoto, Japan},
month = {October},
key = {forsyde}
}
@inproceedings{lu:2007b,
title = {Using Synchronizers for Refining Synchronous Communication onto Hardware/Software Architectures },
author = {Zhonghai Lu and Jonas Sicking and Ingo Sander and Axel Jantsch},
booktitle = {Proceedings of the 18th IEEE/IFIP International Workshop on Rapid System Prototyping},
year = {2007},
address = {Porto Alegre, Brasil},
month = {May},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2007/RSP-ZhonghaiLu.pdf}
}
@incollection{mathaikutty:2006a,
title = {{UMoC++}: A {C++}-Based Multi-{MoC} Modeling Environment},
author = {Deepak Abraham Mathaikutty and Hiren Patel and Sandeep K. Shukla and Axel Jantsch },
booktitle = {Advances in Design and Specification Languages for SoCs - Selected Contributions from FDL'05},
publisher = {Springer Verlag},
year = {2006},
chapter = {7},
editor = {Alain Vachoux},
key = {forsydereference},
url = {http://jantsch.se/AxelJantsch/papers/2006/FDL-Book-UMoC++Mathaikutty.pdf}
}
@inproceedings{mathaikutty:2005a,
title = {{UMoC++}: Modeling Environment for Heterogeneous Systems based on Generic {MoCs}},
author = {Deepak Abraham Mathaikutty and Hiren Patel and Sandeep K. Shukla and Axel Jantsch },
booktitle = {Proceedings of the Forum on Design Languages },
year = {2005},
month = {September},
key = {forsydereference}
}
@article{mathaikutty:2008a,
title = {{SML-Sys}: A Functional Framework with Multiple Models of Computation for Modeling Heterogeneous System},
author = {Deepak Mathaikutty and Hiren Patel and Sandeep Shukla and Axel Jantsch},
journal = {Design Automation for Embedded Systems},
year = {2008},
month = {June},
number = {1},
pages = {1-30},
volume = {12},
key = {forsydereference},
publisher = {Springer},
url = {http://dx.doi.org/10.1007/s10617-008-9012-4}
}
@article{mathaikutty>2007b,
title = {{EWD}: A Metamodeling Driven Customizable Multi-MoC System Modeling Framework},
author = {Deepak Mathaikutty and Hiren Patel and Sandeep Shukla and Axel Jantsch},
journal = {ACM Transactions on Design Automation of Embedded Systems},
year = {2007},
month = {August},
number = {3},
volume = {12},
key = {forsydereference},
url = {http://jantsch.se/AxelJantsch/papers/2007/ACMTODAES-MathaikuttyEWD.pdf}
}
@inproceedings{raudvere:2002a,
title = {The ForSyDe semantics},
author = { Tarvo Raudvere and Ingo Sander and Ashish Kumar Singh and Dilian Gurov and Axel Jantsch },
booktitle = {Proceedings of Swedish System-on-Chip Conference},
year = {2002},
month = {March},
annotate = {no reviewed},
key = {forsyde}
}
@inproceedings{raudvere:2003a,
title = {Verification of Design Decisions in ForSyDe},
author = {Tarvo Raudvere and Ingo Sander and Ashish Kumar Singh and Axel Jantsch },
booktitle = { Proceedings of the CODES-ISSS Conference },
year = {2003},
month = {October},
key = {forsyde}
}
@inproceedings{raudvere:2005a,
title = {System Level Verification of Digital Signal Processing Applications Based on the Polynomial Abstraction Technique },
author = {Tarvo Raudvere and Ashish K. Singh and Ingo Sander and Axel Jantsch},
booktitle = {Proceedings of the Internatipnal Conference on Computer Aided Design (ICCAD)},
year = {2005},
month = {November},
key = {forsyde}
}
@inproceedings{sander:2009b,
title = {Hardware Design and Synthesis in {ForSyDe}},
author = { Ingo Sander and Alfonso Acosta and Axel Jantsch},
booktitle = {Proceedings of Hardware Design and Functional Languages},
year = {2009},
address = {York, UK},
month = {March},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2009/HFL-Sander.pdf}
}
@article{sander:2008a,
title = {Modelling Adaptive Systems in {ForSyDe}},
author = {Ingo Sander and Axel Jantsch},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2008},
month = {February},
number = {2},
pages = {39-54},
volume = {200},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2008/ENTCS-IngoSander.pdf}
}
@inproceedings{sander:2007a,
title = {Modelling adaptive systems in {ForSyDe}},
author = {Ingo Sander and Axel Jantsch},
booktitle = {Proceedings of the First Workshop on Verification of Adaptive Systems (VerAS) },
year = {2007},
address = {Kaiserslauten},
pages = {39-54},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2007/DASMOD-ingo-sander.pdf}
}
@article{sander:2004a,
title = {System Modeling and Transformational Design Refinement in {ForSyDe} },
author = {Ingo Sander and Axel Jantsch},
journal = { IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems },
year = {2004},
month = {January},
number = {1},
pages = {17-32},
volume = {23},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2004/TCAD-ForSyDe.pdf}
}
@incollection{sander:2017a,
title = {ForSyDe: System Design Using a Functional Language
and Models of Computation},
author = {Sander, Ingo and Jantsch, Axel and Attarzadeh-Niaki,
Seyed-Hosein},
booktitle = {Handbook of Hardware/Software Codesign},
publisher = {Springer Netherlands},
year = {2017},
key = {forsyde},
address = {Dordrecht},
editor = {Ha, Soonhoi and Teich, J{\"u}rgen},
pages = {1--42},
abstract = {The ForSyDe methodology aims to push system design
to a higher level of abstraction by combining the
functional programming paradigm with the theory of
Models of Computation (MoCs). A key concept of
ForSyDe is the use of higher-order functions as
process constructors to create processes. This leads
to well-defined and well-structured ForSyDe models
and gives a solid base for formal analysis. The book
chapter introduces the basic concepts of the ForSyDe
modeling framework and presents libraries for
several MoCs and MoC interfaces for the modeling of
heterogeneous systems, including support for the
modeling of run-time reconfigurable processes. The
formal nature of ForSyDe enables transformational
design refinement using both semantic-preserving and
nonsemantic-preserving design transformations. The
chapter also introduces a general synthesis concept
based on process constructors, which is exemplified
by means of a hardware synthesis tool for
synchronous ForSyDe models. Most examples in the
chapter are modeled with the Haskell version of
ForSyDe. However, to illustrate that ForSyDe is
language-independent, the chapter also contains a
short overview of SystemC-ForSyDe.},
doi = {10.1007/978-94-017-7358-4_5-1},
isbn = {978-94-017-7358-4},
url = {https://doi.org/10.1007/978-94-017-7358-4_5-1}
}
@inproceedings{sander:2003a,
title = { The Development and Application of Formal Design Transformations in {ForSyDe} },
author = { Ingo Sander and Axel Jantsch and Zhonghai Lu },
booktitle = {Proceedings of the Design Automation and Test Europe (DATE) },
year = {2003},
month = {March},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2003/date.pdf}
}
@article{sander:2003c,
title = { Development and Application of Design Transformations in {ForSyDe} },
author = { Ingo Sander and Axel Jantsch and Zhonghai Lu },
journal = { IEE Proceedings on Computers and Digital Technique},
year = {2003},
month = {September},
number = {5},
pages = {313-320},
volume = {150},
key = {forsyde}
}
@inproceedings{sander:2009a,
title = {High-Level Estimation and Trade-Off Analysis for Adaptive Real-Time Systems },
author = {Ingo Sander and Jun Zhu and Axel Jantsch and Andreas Herrholzy and Philipp A. Hartmanny and Wolfgang Nebel},
booktitle = {Proceedings of the 16th Reconfigurable Architectures Workshop},
year = {2009},
address = {Rome},
month = {May},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2009/RAW-ingo-sander.pdf}
}
@inproceedings{zhu:2006a,
title = {{SDF} to Synchronous Cross Domain Analysis in {ForSyDe} Stream Processing Framework },
author = {Jun Zhu and Axel Jantsch and Ingo Sander},
booktitle = {2nd HiPEAC Industrial Workshop},
year = {2006},
month = {October},
key = {forsydereference},
url = {http://jantsch.se/AxelJantsch/papers/2006/HiPEAC-jun-zhu.pdf}
}
@inproceedings{zhu:2010d,
title = {{HetMoC}: Heterogeneous Modeling in SystemC},
author = {Jun Zhu and Ingo Sander and Axel Jantsch},
booktitle = {Proceedings of the Forum on Design Langauges (FDL)},
year = {2010},
address = {Southhampton, UK},
month = {September},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2010/FDL-JunZhu.pdf}
}
@inproceedings{zhu:2009a,
title = {Buffer Minimization of Real-Time Streaming Applications Scheduling on Hybrid {CPU}/{FPGA} Architectures},
author = {Jun Zhu and Ingo Sander and Axel Jantsch},
booktitle = {Proceedings of the Design and Test Europe Conference (DATE)},
year = {2009},
month = {April},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2009/DATE-JunZhu.pdf}
}
@inproceedings{zhu:2008a,
title = {Performance Analysis of Reconfiguration in Adaptive Real-Time Streaming Applications },
author = {Jun Zhu and Ingo Sander and Axel Jantsch},
booktitle = {Proceedings of the 6th Workshop on Embedded Systems for Real-Time Multimedia (EstiMedia)},
year = {2008},
address = {Atlanta, USA},
month = {October},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2008/EstiMedia-Jun.pdf}
}
@inproceedings{zhu:2008b,
title = {Energy efficient streaming applications with guaranteed throughput on {MPSoCs} },
author = {Jun Zhu and Ingo Sander and Axel Jantsch},
booktitle = {Proceedings of the International Conference on Embedded Software },
year = {2008},
month = {October},
key = {forsyde},
url = {http://jantsch.se/AxelJantsch/papers/2008/EMSOFT-Jun.pdf}
}