ForSyDe.bib

@COMMENT{{This file has been generated by bib2bib 1.88}}

@COMMENT{{Command line: /usr/bin/bib2bib -q -ob ForSyDe.bib -c '(key : "ForSyDe") and ($type <> "COMMENT" )' axel.bib ingo.bib}}

@COMMENT{{This file has been generated by bib2bib 1.87}}

@COMMENT{{Command line: bib2bib -q -ob /home/axel/public_html/ForSyDe-axel.bib -c 'key : "ForSyDe" 
            and not $key = "lu:2007b"  
            and not $key = "lu:2002a"  
            and not $key = "lu:2006d"  
            and not $key = "sander:2003c"  
            and not $key = "sander:2004a"  
            and not $key = "sander:2003a"  
            and not $key = "sander:2003b"  
            and not $key = "zhang:2002a"  
            and not $key = "tian:2002a"  
            and not $key = "ciuro:2001a"  
            and not $key = "sicking:2005a"  
            and not $key = "raudvere:2005a"' -oc /dev/null /home/axel/text/papers/lit.bib}}

@INCOLLECTION{jantsch:2008b,
  author = {Axel Jantsch},
  title = {Models of Computation for Distributed Embedded Systems},
  booktitle = {Networked Embedded Systems},
  key = {ForSyDe},
  publisher = {CRC Press/Taylor & Francis},
  year = 2008,
  editor = {Richard Zurawski}
}

@ARTICLE{mathaikutty>2007b,
  author = {Deepak Mathaikutty and Hiren Patel and Sandeep Shukla and
                  Axel Jantsch},
  title = {{EWD}: A Metamodeling Driven Customizable Multi-MoC
                  System Modeling Framework},
  journal = {ACM Transactions on Design Automation of Embedded Systems},
  key = {ForSyDe},
  year = 2007,
  volume = 12,
  number = 3,
  month = {August},
  url = {http://web.it.kth.se/~axel/papers/2007/ACMTODAES-MathaikuttyEWD.pdf}
}

@ARTICLE{mathaikutty:2008a,
  author = {Deepak Mathaikutty and Hiren Patel and Sandeep Shukla and
                  Axel Jantsch},
  title = {{SML-Sys}: A Functional Framework for Multiple Models of
                  Computation for Heterogeneous System Design},
  key = {ForSyDe},
  journal = {Design Automation for Embedded Systems},
  publisher = {Springer},
  year = 2008,
  url = {http://dx.doi.org/10.1007/s10617-008-9012-4},
  url = {http://www.imit.kth.se/~axel/papers/2008/DAES-Mathaikutty-SMLSys.pdf}
}

@INCOLLECTION{mathaikutty:2006a,
  author = {Deepak Abraham Mathaikutty and Hiren Patel and Sandeep
                  K. Shukla and Axel Jantsch },
  title = {{UMoC++}: A {C++}-Based Multi-{MoC} Modeling Environment},
  booktitle = {Advances in Design and Specification Languages for SoCs -
                  Selected Contributions from FDL'05},
  key = {ForSyDe},
  publisher = {Springer Verlag},
  year = 2006,
  editor = {Alain Vachoux},
  chapter = 7,
  url = {http://www.imit.kth.se/~axel/papers/2006/FDL-Book-UMoC++Mathaikutty.pdf}
}

@INPROCEEDINGS{mathaikutty:2005a,
  author = {Deepak Abraham Mathaikutty and Hiren Patel and Sandeep
                  K. Shukla and Axel Jantsch },
  title = {{UMoC++}: Modeling Environment for Heterogeneous Systems
                  based on Generic {MoCs}},
  key = {ForSyDe},
  booktitle = {Proceedings of the Forum on Design Languages },
  year = 2005,
  month = {September}
}

@ARTICLE{jantsch:2005b,
  author = { Axel Jantsch and Ingo Sander },
  title = { Models of Computation and languages for embedded system
                  design },
  journal = {IEE Proceedings on Computers and Digital Techniques },
  key = {ForSyDe},
  year = 2005,
  note = {Special issue on Embedded Microelectronic Systems;
                  Invited paper},
  volume = 152,
  number = 2,
  month = { March },
  pages = {114-129},
  url = {http://www.imit.kth.se/~axel/papers/2005/IEE-Proceedings.pdf}
}

@INCOLLECTION{jantsch:2005d,
  author = { Axel Jantsch and Ingo Sander },
  title = {Models of Computation in the Design Process},
  booktitle = {{SoC}: Next Generation Electronics},
  key = {ForSyDe},
  publisher = {IEE},
  year = 2005,
  editor = {Bashir M Al-Hashimi},
  note = {Invited contribution},
  url = {http://www.imit.kth.se/~axel/papers/2005/IEE-Book.pdf}
}

@INCOLLECTION{jantsch:2005c,
  author = { Axel Jantsch },
  title = { Models of Embedded Computation },
  key = {ForSyDe},
  booktitle = { Embedded Systems Handbook },
  editor = { Richard Zurawski },
  publisher = { CRC Press },
  year = 2005,
  note = {Invited contribution},
  url = {http://www.imit.kth.se/~axel/papers/2005/CRC-chapter.pdf}
}

@BOOK{jantsch:2003c,
  author = {Axel Jantsch},
  title = { Modeling Embedded Systems and {SoCs} - Concurrency and
                  Time in Models of Computation },
  publisher = {Morgan Kaufmann Publishers},
  key = {ForSyDe},
  year = 2003,
  series = {Systems on Silicon },
  month = {June},
  url = {http://www.bh.com/mk/?isbn=1558609253}
}

@INPROCEEDINGS{jantsch:2000d,
  author = { Axel Jantsch and Ingo Sander },
  title = { On the Roles of Functions and Objects in System
                  Specification },
  booktitle = { Proceedings of the International Workshop on
                  Hardware/Software Codesign },
  key = {ForSyDe},
  year = 2000,
  url = { http://www.imit.kth.se/~axel/papers/2000/codes-2000.pdf }
}

@INPROCEEDINGS{jantsch:2001a,
  author = { Axel Jantsch and Ingo Sander and Wenbiao Wu },
  title = { The Usage of Stochastic Processes in Embedded System
                  Specifications },
  booktitle = { Proceedings of the Ninth International Symposium on
                  Hardware/Software Codesign },
  key = {ForSyDe},
  year = 2001,
  month = {April},
  url = { http://www.imit.kth.se/~axel/papers/2001/codes-2001.pdf }
}

@COMMENT{{This file has been generated by bib2bib 1.88}}

@COMMENT{{Command line: /usr/bin/bib2bib -ob /afs/it.kth.se/home/2/ingo/public_html/ForSyDe-ingo.bib -c 'key : "ForSyDe"' -s year -r /home/ingo/Research/doc/references/References.bib}}

@ARTICLE{RauSan2008a,
  author = {Tarvo Raudvere and Ingo Sander and Axel Jantsch},
  title = {Application and Verification of Local Non-Semantic-Preserving Transformations in System Design},
  journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}},
  year = {2008},
  key = {ForSyDe},
  volume = {27},
  number = {6},
  pages = {1091--1103},
  month = {June},
  note = {},
  optannote = {},
  optwhere = {},
  url = {http://web.it.kth.se/~ingo/Papers/TCAD_Raudvere2008.pdf}
}

@ARTICLE{SanJan2008a,
  author = {Ingo Sander and Axel Jantsch},
  title = {Modelling Adaptive Systems in {ForSyDe}},
  journal = {Electronic Notes in Theoretical Computer Science (ENTCS)},
  volume = {200},
  number = {2},
  year = {2008},
  issn = {1571-0661},
  pages = {39--54},
  note = {First Workshop on Verification of Adaptive Systems (VerAS 2007)},
  optdoi = {http://dx.doi.org/10.1016/j.entcs.2008.02.011},
  publisher = {Elsevier Science Publishers B. V.},
  address = {Amsterdam, The Netherlands, The Netherlands},
  key = {ForSyDe},
  url = {http://web.it.kth.se/~ingo/Papers/ENTCS2008.pdf}
}

@MASTERSTHESIS{Aco2007a,
  author = {Alfonso Acosta},
  title = {Hardware synthesis in {ForSyDe}},
  school = {School for Information and Communication Technology, Royal Institute of Technology (KTH)},
  year = {2007},
  key = {ForSyDe},
  opttype = {},
  address = {Stockholm, Sweden},
  optmonth = {},
  note = {KTH/ICT/ECS-2007-81},
  optannote = {},
  optwhere = {},
  url = {http://web.it.kth.se/~ingo/Papers/ThesisAlfonsoAcosta2007.pdf}
}

@INPROCEEDINGS{RauSan2007b,
  author = {Tarvo Raudvere and Ingo Sander and Axel Jantsch},
  title = {Synchronization after design refinements with sensitive delay elements},
  optcrossref = {},
  key = {ForSyDe},
  booktitle = {International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS)},
  optpages = {},
  year = {2007},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Salzburg, Austria},
  month = {October},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {},
  optwhere = {},
  opturl = {}
}

@INPROCEEDINGS{LuSic2007a,
  author = {Zhonghai Lu and Jonas Sicking and Ingo Sander and Axel Jantsch},
  title = {Using synchronizers for refining synchronous communication onto hardware/software architectures},
  optcrossref = {},
  key = {ForSyDe},
  booktitle = {Proceedings of the 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP'07)},
  optpages = {},
  year = {2007},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Porto Alegre, Brazil},
  month = {May},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {},
  optwhere = {},
  opturl = {}
}

@INPROCEEDINGS{RauSan2007a,
  author = {Tarvo Raudvere and Ingo Sander and Axel Jantsch},
  title = {A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops},
  optcrossref = {},
  key = {ForSyDe},
  booktitle = {Proceedings of the 17th Great Lakes Symposium on VLSI (GLSVLSI '07)},
  pages = {353-358},
  year = {2007},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  optmonth = {},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {},
  optwhere = {},
  opturl = {}
}

@INPROCEEDINGS{LuSan2006b,
  author = {Zhonghai Lu and Ingo Sander and Axel Jantsch},
  title = {Towards performance-oriented pattern-based refinement of synchronous models onto {NoC} communication},
  optcrossref = {},
  key = {ForSyDe},
  booktitle = {Proceedings of the 9th Euromicro Conference on Digital System Design (DSD'06)},
  optpages = {},
  year = {2006},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Dubrovnik, Croatia},
  month = {August},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {},
  optwhere = {},
  url = {http://www.imit.kth.se/%7Eaxel/papers/2006/DSD-Euromicro-zhonghai.pdf}
}

@INCOLLECTION{LuSan2006a,
  author = {Zhonghai Lu and Ingo Sander and Axel Jantsch},
  title = {Refining synchronous communication onto network-on-chip best-effort services.},
  booktitle = {Advances in Design and Specification Languages for {SoCs} - Selected Contributions from {FDL} 2005},
  optcrossref = {},
  key = {ForSyDe},
  optpages = {},
  publisher = {Springer Verlag},
  year = {2006},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  opttype = {},
  optchapter = {},
  optaddress = {},
  optedition = {},
  month = {April},
  optnote = {},
  optannote = {},
  optwhere = {},
  url = {http://www.imit.kth.se/%7Eaxel/papers/2006/FDL-Book-zhonghai-lu.pdf}
}

@INPROCEEDINGS{LuSan2005a,
  author = {Zhonghai Lu and Ingo Sander and Axel Jantsch},
  title = {Refinement of a perfectly synchronous communication model onto {Nostrum NoC} best-effort communication},
  booktitle = {Proceedings of the Forum on Specification and Design Languages (FDL'05)},
  year = 2005,
  month = {September},
  where = {Lausanne, Switzerland},
  key = {ForSyDe},
  url = {http://www.imit.kth.se/%7Eaxel/papers/2005/FDL-zhonghai.pdf}
}

@MASTERSTHESIS{Sic2005a,
  author = {Jonas Sicking},
  title = {Implementation of Asynchronous Communication for {ForSyDe} in Hardware and Software},
  school = {Institute of Microelectronics and Information Technology, Royal Institute of Technology (KTH)},
  year = {2005},
  key = {ForSyDe},
  opttype = {},
  address = {Stockholm, Sweden},
  optmonth = {},
  note = {IMIT/LECS-2005-73},
  optannote = {},
  optwhere = {},
  url = {http://www.imit.kth.se/~ingo/MasterThesis/JonasSicking.pdf}
}

@ARTICLE{SanJan2004a,
  author = {Ingo Sander and Axel Jantsch},
  title = {System Modeling and Transformational Design Refinement in {ForSyDe}},
  journal = {{IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}},
  year = {2004},
  key = {ForSyDe},
  volume = {23},
  number = {1},
  pages = {17--32},
  month = {January},
  optnote = {},
  optannote = {},
  where = {E.21},
  opturl = {http://www.imit.kth.se/~ingo/Papers/TCAD2004_SystemModeling.pdf}
}

@INPROCEEDINGS{RauSin2004a,
  author = {Tarvo Raudvere and Ashish Kumar Singh and Ingo Sander and Axel Jantsch},
  title = {Polynomial abstraction for verification of sequentially implemented combinational circuits},
  booktitle = {Design, Automation and Test in Europe Conference (DATE 2004)},
  key = {ForSyDe},
  year = 2004,
  address = {Paris, France},
  month = {February},
  url = {http://www.imit.kth.se/%7ingo/Papers/DATE_2004.pdf}
}

@ARTICLE{SanJan2003b,
  author = {Ingo Sander and Axel Jantsch and Zhonghai Lu},
  title = {Development and Application of Design Transformations in {ForSyDe}},
  journal = {{IEE} Proceedings - Computers \& Digital Techniques},
  year = {2003},
  key = {ForSyDe},
  volume = {5},
  optnumber = {},
  pages = {313--320},
  month = {September},
  note = {Special Issue - Best of DATE '03},
  optannote = {},
  where = {E.20},
  url = {http://www.imit.kth.se/~ingo/Papers/CDT2004_Development.pdf}
}

@INPROCEEDINGS{RauSan2003a,
  author = {Tarvo Raudvere and Ingo Sander and Ashish Kumar Singh and Axel Jantsch},
  title = {Verification of design decisions in {ForSyDe}},
  optcrossref = {},
  key = {ForSyDe},
  booktitle = {Proceedings of the 1st International Conference on Hardware - Software Codesign and System Synthesis (CODES+ISSS)},
  optpages = {},
  year = {2003},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Newport Beach, California, USA},
  month = {October},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {},
  optwhere = {},
  url = {http://www.ele.kth.se/%7Etarvo/PAPERS/PUBLISHED/CODES+ISSS_2003.pdf}
}

@PHDTHESIS{San2003a,
  author = {Ingo Sander},
  title = {System Modeling and Design Refinement in {ForSyDe}},
  school = {Royal Institute of Technology},
  year = {2003},
  key = {ForSyDe},
  opttype = {},
  address = {Stockholm, Sweden},
  month = {April},
  optnote = {},
  optannote = {},
  optwhere = {},
  url = {http://web.it.kth.se/~ingo/Papers/Thesis_Sander_2003.pdf}
}

@INPROCEEDINGS{SanJan2003a,
  author = {Ingo Sander and Axel Jantsch and Zhonghai Lu},
  title = {Development and Application of Design Transformations in {ForSyDe}},
  optcrossref = {},
  key = {ForSyDe},
  booktitle = {Design, Automation and Test in Europe Conference (DATE 2003)},
  pages = {364--369},
  year = {2003},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Munich, Germany},
  month = {March},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {},
  where = {B.23},
  url = {http://web.it.kth.se/~ingo/Papers/CDT2004_Development.pdf}
}

@INPROCEEDINGS{SanJan2002b,
  author = {Ingo Sander and Axel Jantsch},
  title = {Transformation Based Communication and Clock Domain Refinement for System Design},
  booktitle = {39th Design Automation Conference ({DAC 2002})},
  optcrossref = {},
  key = {ForSyDe},
  pages = {281--286},
  year = {2002},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {New Orleans, {USA}},
  month = {June},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {},
  where = {B.5},
  url = {http://web.it.kth.se/~ingo/Papers/CDT2004_Development.pdf}
}

@INPROCEEDINGS{LuSan2002a,
  author = {Zhonghai Lu and Ingo Sander and Axel Jantsch},
  title = {A Case Study of Hardware and Software Synthesis in {ForSyDe}},
  booktitle = {Proceedings of the 15th International Symposium on System Synthesis},
  optcrossref = {},
  key = {ForSyDe},
  pages = {86--91},
  year = {2002},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Kyoto, Japan},
  month = {October},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {},
  where = {B.6},
  opturl = {http://web.it.kth.se/~ingo/Papers/ISSS2002.pdf}
}

@INPROCEEDINGS{SanJan1999a,
  author = {Ingo Sander and Axel Jantsch},
  title = {Formal System Design Based on the Synchrony Hypothesis},
  booktitle = {Proceedings of the 12th international conference on {VLSI} Design},
  optcrossref = {},
  key = {ForSyDe},
  pages = {318-323},
  year = {1999},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Goa, India},
  month = {January},
  optorganization = {},
  optpublisher = {{IEEE Computer Society}},
  optnote = {},
  optannote = {},
  where = {B.9},
  url = {http://web.it.kth.se/~ingo/Papers/VLSI1999_FormalSystemDesign.pdf}
}

@INPROCEEDINGS{SanJan1999b,
  author = {Ingo Sander and Axel Jantsch},
  title = {System Synthesis Based on a Formal Computational Model and Skeletons},
  booktitle = {Proceedings {IEEE} Workshop on {VLSI}'99},
  optcrossref = {},
  key = {ForSyDe},
  pages = {32--39},
  year = {1999},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Orlando, Florida, USA},
  month = {April},
  optorganization = {},
  publisher = {{IEEE Computer Society}},
  optnote = {},
  optannote = {},
  where = {B.10},
  url = {http://web.it.kth.se/~ingo/Papers/WVLSI1999_SystemSynthesis.pdf}
}

@INPROCEEDINGS{SanJan1999c,
  author = {Ingo Sander and Axel Jantsch},
  title = {System Synthesis Utilizing a Layered Functional Model},
  booktitle = {Proceedings Seventh International Workshop on Hardware/Software Codesign},
  optcrossref = {},
  key = {ForSyDe},
  pages = {136--140},
  year = {1999},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  address = {Rome, Italy},
  month = {May},
  optorganization = {},
  publisher = {ACM Press},
  optnote = {},
  optannote = {},
  where = {B.8},
  url = {http://web.it.kth.se/~ingo/Papers/FDL2000_TransformationalDesign.pdf}
}