TUTORIALS.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob TUTORIALS.bib ABBREV.bib INVITED_JC.bib}}
@comment{{"\newcommand\noopsort[1]"}}
@comment{{==================================================================== }}
@comment{{Predefined journals                           }}
@comment{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Predefined publishers                          }}
@comment{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Predefined series                              }}
@comment{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Predefined conference proceedings                      }}
@comment{{==================================================================== }}
@comment{{==================================================================== }}
@comment{{Tutorials and invited lectures                       }}
@comment{{==================================================================== }}
@unpublished{Structure2017,
  author = {J. Cortadella},
  title = {Making Petri nets friendlier to engineers},
  note = {Workshop on Structure Theory of Petri Nets (STRUCTURE 2017)},
  month = {26 June},
  year = 2017,
  ppt = {files/FriendlyPetriNets_Structure2017.pptx}
}
@unpublished{emicro2016,
  author = {J. Cortadella},
  title = {Synthesis of asynchronous controllers from Signal Transition Graphs},
  note = {Lecture at EMICRO/SIM 2016 
            (18th South Microelectronics School / $31^{st}$ South Symposium on Microelectronics), Porto Alegre (Brasil)},
  month = {11 May - 14 May},
  year = 2016,
  ppt = {files/SynthesisSTG_EMicro2016.ppt}
}
@unpublished{DATE_Tutorial2016,
  author = {J. Cortadella},
  title = {Adaptive Clocking},
  note = {Tutorial on Modern Clocking Strategies, presented at the conference
                    \emph{Design Automation and Test in Europe} (DATE)},
  month = {14 March},
  year = 2016,
  xppt = {files/AutomaticPipelining_EPFLDec2015.pptx},
  xurl = {http://si.epfl.ch/page-122505-en.html}
}
@unpublished{EPFL_Workshop2015,
  author = {J. Cortadella and M. Galceran-Oms and M. Kishinevsky},
  title = {Automatic Pipelining During Sequential Logic Synthesis},
  note = {EPFL Workshop on Logic Synthesis \& Verification},
  month = {10-11 December},
  year = 2015,
  ppt = {files/AutomaticPipelining_EPFLDec2015.pptx},
  url = {http://si.epfl.ch/page-122505-en.html}
}
@unpublished{CollegeDeFrance_Elastic2013,
  author = {J. Cortadella},
  title = {Elastic circuits, blending synchronous and asynchronous technologies},
  note = {Seminar at the Coll{\`{e}}ge de France within the course on Algorithms,
            Machines and Languages organized by G{\'{e}}rard Berry},
  year = 2013,
  month = {21 May},
  url = {http://www.college-de-france.fr/site/en-gerard-berry/seminar-2013-05-21-11h00.htm},
  mov = {files/CollegeDeFrance_ElasticCircuits_May2013.mov}
}
@unpublished{CollegeDeFrance_Async2013,
  author = {J. Cortadella},
  title = {Asynchronous circuits},
  note = {Seminar at the Coll{\`{e}}ge de France within the course on Algorithms,
            Machines and Languages organized by G{\'{e}}rard Berry},
  year = 2013,
  month = {14 May},
  url = {http://www.college-de-france.fr/site/en-gerard-berry/seminar-2013-05-14-11h00.htm},
  mov = {files/CollegeDeFrance_AsyncCircuits_May2013.mov}
}
@unpublished{tut_emicro2013,
  author = {J. Cortadella},
  title = {Elastic Circuits},
  note = {Advanced course at EMICRO/SIM 2013 
            (XV Escola de Microeletr\^{o}nica Sul / $28^{o}$ Simp\'{o}sio Sul de Microeletr\^{o}nica), Porto Alegre (Brasil)},
  month = {29 April - 3 May},
  year = 2013,
  ppt = {files/ElasticCircuits_EMicro2013.pptx}
}
@unpublished{memocode2010_invited,
  author = {J. Cortadella and M. Galceran-Oms and M. Kishinevsky},
  title = {Elastic Systems},
  note = {Invited lecture at the 8th ACM/IEEE International Conference on
            Formal Methods and Models for Codesign (MEMOCODE), Grenoble (France)},
  month = jul,
  year = 2010,
  ppt = {files/MEMOCODE_2010.pptx},
  pdf = {files/memocode2010.pdf}
}
@unpublished{tut_atpn07,
  author = {J. Cortadella and M. Kishinevsky},
  title = {Elasticity and {Petri} nets},
  note = {Advanced tutorial at the 28th Int. Conf. on Application
		and Theory of Petri Nets, Siedlce, Poland},
  month = jun,
  year = 2007,
  ppt5 = {files/ATPN07_I.ppt},
  ppt4 = {files/ATPN07_II.ppt},
  ppt3 = {files/ATPN07_III.ppt},
  ppt2 = {files/ATPN07_IV.ppt},
  ppt1 = {files/ATPN07_V-VII.ppt},
  pdf = {files/ATPN07_tutorial.pdf}
}
@inproceedings{KishinevskyCGKO06,
  author = {Michael Kishinevsky and
               Jordi Cortadella and
               Bill Grundmann and
               Sava Krstic and
               John O'Leary},
  title = {Synchronous Elastic Circuits.},
  booktitle = {Computer Science - Theory and Applications, First International
               Computer Science Symposium in Russia, CSR 2006, St. Petersburg,
               Russia, June 8-12, 2006, Proceedings},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  editor = {Dima Grigoriev and
               John Harrison and
               Edward A. Hirsch},
  volume = {3967},
  year = {2006},
  pages = {3-5},
  pdf = {files/self_csr06.pdf}
}
@unpublished{tut_vlsi04,
  author = {P.A. Beerel and J. Cortadella and A. Kondratyev},
  title = {Bridging the gap between asynchronous design and designers},
  note = {Tutorial at the VLSI Design Conference, Mumbai, India},
  year = 2004,
  month = jan,
  ppt5 = {files/vlsi04_tut1.ppt},
  ppt4 = {files/vlsi04_tut2.ppt},
  ppt3 = {files/vlsi04_tut3.ppt},
  ppt2 = {files/vlsi04_tut4.ppt},
  ppt1 = {files/vlsi04_tut5.ppt},
  pdf = {files/vlsi04_tut_refs.pdf}
}
@unpublished{tut_summer_acid02,
  author = {J. Cortadella and A. Yakovlev},
  title = {Petrify},
  note = {Hands-on tutorial at the Summer School on
            Asynchronous Circuit Design, (organized by the ACiD-WG, Grenoble)},
  year = 2002,
  month = jul,
  tgz = {files/grenoble-2002-petrify.tgz}
}
@unpublished{summer_acid02,
  author = {J. Cortadella and M. Kishinevsky and A. Kondratyev and
                L. Lavagno and A. Yakovlev},
  title = {Hazard free logic synthesis and technology mapping},
  note = {Lecture at the Summer School on Asynchronous Circuit Design,
               (organized by the ACiD-WG, Grenoble)},
  month = jul,
  year = 2002,
  ppt = {files/hazard_grenoble02.ppt}
}
@unpublished{lecture_int02,
  author = {J. Cortadella},
  title = {Synthesis of Embedded Software for reactive Systems},
  note = {Invited lecture at the Int. Workshop on Integration of 
               Specification Techniques for Applications in Engineering 
               (Satellite event of ETAPS 2002)},
  month = apr,
  year = 2002,
  ppt = {files/int02.ppt}
}
@unpublished{tut_vlsi02,
  author = {J. Cortadella and A. Yakovlev and J. Garside},
  title = {Logic Design of Asynchronous Circuits},
  note = {Tutorial at the ASP-DAC/VLSI Design Conference, Bangalore, India},
  year = 2002,
  month = jan,
  ppt4 = {files/vlsi02_tut1.ppt},
  ppt3 = {files/vlsi02_tut2.ppt},
  ppt2 = {files/vlsi02_tut3.ppt},
  ppt1 = {files/vlsi02_tut4.ppt},
  ps = {files/vlsi02_tut_ref.ps.gz}
}
@unpublished{talk_aint00,
  author = {J. Cortadella},
  title = {Tools for automatic synthesis and verification of asynchronous
            interfaces},
  note = {Invited lecture at the workshop ``Asynchronous Interfaces: Tools,
            techniques, and implementations'' (AINT'2000), Delft, The
	    Netherlands},
  month = jul,
  year = 2000,
  ppt = {files/aint00.ppt}
}
@unpublished{Cortadella_invited_pn00,
  author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev and
	     Luciano Lavagno and Alexandre Yakovlev},
  title = {Hardware and {P}etri nets: Application to asynchronous
     circuit design},
  note = {Invited lecture at the 21st Int. Conf. on Application
		and Theory of Petri Nets, Aarhus, Denmark},
  month = jun,
  year = 2000,
  ppt = {files/petrify_icatpn00.ppt},
  ps = {files/atpn00_hwpn.ps.gz}
}
@unpublished{tut_icatpn00,
  author = {J. Cortadella and L. Lavagno and A. Yakovlev},
  title = {Hardware Design and {P}etri Nets},
  note = {Advanced tutorial at the 21st Int. Conf. on Application
		and Theory of Petri Nets, Aarhus, Denmark},
  month = jun,
  year = 2000,
  ppt5 = {files/atpn_tut1.ppt},
  ppt4 = {files/atpn_tut2.ppt},
  ppt3 = {files/atpn_tut3.ppt},
  ppt2 = {files/atpn_tut4.ppt},
  ppt1 = {files/atpn_tut5.ppt}
}
@unpublished{tut_async00,
  author = {J. Cortadella and M. Kishinevsky and A. Kondratyev and 
	       L. Lavagno},
  title = {Introduction to asynchronous circuit design: specification
               and synthesis},
  note = {Tutorial at the 6th Int. Symp. on Advanced Research in
                 Asynchronous Circuits and Systems, Eilat, Israel},
  year = 2000,
  month = apr,
  ppt4 = {files/async00_tut1.ppt},
  ppt3 = {files/async00_tut2.ppt},
  ppt2 = {files/async00_tut3.ppt},
  ppt1 = {files/async00_tut4.ppt}
}
@unpublished{tut_acid99,
  author = {J. Cortadella},
  title = {{STG}-based synthesis and Petrify},
  note = {Tutorial at the 3rd ACiD-WG Workshop, Newcastle upon Tyne, UK},
  year = 1999,
  month = jan,
  ppt = {files/acid99.ppt}
}
@unpublished{tut_dac98,
  author = {M. Kishinevsky and J. Cortadella and A. Kondratyev},
  title = {Asynchronous Interface Specification, Analysis and Synthesis},
  note = {Embedded tutorial at the Design Automation Conference, San
            Francisco, USA},
  year = 1998,
  month = jun,
  ppt = {files/dac98_tut.ppt}
}
@unpublished{lecture_hdpn,
  author = {J. Cortadella},
  title = {Asynchronous circuit verification and synthesis 
	       with {P}etri nets},
  note = {Invited lecture at the Workshop on Hardware Design and 
	       Petri Nets , Lisbon},
  month = jun,
  year = 1998,
  ppt = {files/hwpn98.ppt}
}
@unpublished{csd_invited,
  author = {J. Cortadella},
  title = {Combining structural and symbolic methods for the
               verification of concurrent systems},
  note = {Invited lecture at the International Conference on Application 
	    of Concurrency to System Design (CSD'98), Aizu-Wakamatsu, Japan},
  month = mar,
  year = 1998,
  ps = {files/csd98_slides.ps.gz},
  pdf = {files/csd98_verif.pdf}
}
@unpublished{summer_school97,
  author = {J. Cortadella and M. Kishinevsky},
  title = {Synthesis of control circuits from {STG} specifications},
  note = {Course in the Summer School on Asynchronous Circuit Design
		(organized by the ACiD-WG, ESPRIT 21949), Lyngby, Denmark},
  year = 1997,
  month = aug,
  ps1 = {files/acid_summer97.ps.gz},
  ps2 = {files/acid_summer97_prac.ps.gz}
}
@unpublished{panel96,
  author = {J. Cortadella and E. Macii and G. De Micheli and M. Pedram 
	       and J. Rabaey and K. van Berkel},
  title = {What's Hot in Low Power Design ?},
  note = {Participation at the panel session at the European 
	Design Automation Conference (EURO-DAC), Geneve, Switzerland},
  month = sep,
  year = 1996
}
@unpublished{vlsi88,
  author = {J. Cortadella},
  title = {Executing Branch Instructions with Zero Time Delay in a {RISC}},
  note = {Invited lecture at the IEEE Computer Society Workshop on VLSI,
            Clearwater Beach, USA},
  year = 1988,
  month = feb
}
@unpublished{dl87,
  author = {J. Cortadella},
  title = {Arquitecturas {RISC}},
  note = {Invited lecture at the IV Jornadas de Dise\~no L\'ogico, 
	       Barcelona},
  year = 1987
}

This file was generated by bibtex2html 1.98.