@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: 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{BoolRel2019,
author = {J. Cortadella},
title = {{Extracting Functions from Boolean Relations}},
note = {Presented at the workshop ``\emph{Quo Vadis, Logic Synthesis?}'', Design Automation and Test in Europe (DATE), Firenze (Italy)},
month = {29~} # mar,
year = 2019,
ppt = {files/BoolRel_DATE2019.pptx}
}
@unpublished{Structure2017,
author = {J. Cortadella},
title = {{Making Petri nets friendlier to engineers}},
note = {Workshop on Structure Theory of Petri Nets (STRUCTURE 2017), Zaragoza (Spain)},
month = {26~} # jun,
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-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~} # mar,
year = 2016,
ppt = {files/AdvancedClocking_DATE2016.pptx},
pdf = {files/ModernClockingStrategies_DATE2016.pdf}
}
@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~} # dec,
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~} # apr # {-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.99.