CONF.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob CONF.bib ABBREV.bib CONFERENCES_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{{==================================================================== }}
@inproceedings{Machado2017_ISVLSI,
  author = {Lucas Machado and Antoni Roca and Jordi Cortadella},
  title = {Voltage Noise Analysis with Ring Oscillator Clocks},
  booktitle = {Proc. IEEE Computer Society Annual Symposium on VLSI},
  pages = {86--95},
  month = jul,
  year = {2017},
  pdf = {files/VoltageNoise_ISVLSI2017.pdf},
  ppt = {files/VoltageNoise_ISVLSI2017.pptx}
}
@inproceedings{Mokhov2017_ACSD,
  author = {Andrey Mokhov and Jordi Cortadella and Alessandro de Gennaro},
  title = {Process Windows},
  booktitle = {Int. Conf. on Application of Concurrency to System Design},
  pages = {86--95},
  month = jun,
  year = {2017},
  pdf = {files/ProcessWindows_ACSD2017.pdf},
  ppt = {files/ProcessWindows_ACSD2017.pptx}
}
@inproceedings{Cortadella2017_WTG,
  author = {Jordi Cortadella and Alberto Moreno and Danil Sokolov and Alex Yakovlev and David Lloyd},
  title = {Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  pages = {73--74},
  month = may,
  year = {2017},
  pdf = {files/Async2017_WTG.pdf}
}
@inproceedings{Moreno2017,
  author = {Alberto Moreno and Jordi Cortadella},
  title = {Synthesis of All-Digital Delay Lines},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  pages = {75--82},
  month = may,
  year = {2017},
  pdf = {files/Async2017_DelayLines.pdf}
}
@inproceedings{Obiols2017,
  author = {Alex Vidal{-}Obiols and Jordi Cortadella and Jordi Petit},
  title = {Under-the-Cell Routing to Improve Manufacturability},
  booktitle = {Proc. of the Great Lakes Symposium on VLSI},
  pages = {125--130},
  month = may,
  year = {2017},
  pdf = {files/GLSVLSI2017_Routing.pdf}
}
@inproceedings{Machado2017_glsvlsi,
  author = {Lucas Machado and Jordi Cortadella},
  title = {Boolean Decomposition for {AIG} Optimization},
  booktitle = {Proc. of the Great Lakes Symposium on VLSI},
  pages = {143--148},
  month = may,
  year = {2017},
  pdf = {files/GLSVLSI2017_AIG.pdf}
}
@inproceedings{Machado2017_rees,
  author = {Lucas Machado and Jordi Cortadella and Antoni Roca},
  title = {Increasing the Robustness of Digital Circuits with Ring Oscillator Clocks},
  booktitle = {2nd International Workshop on Resiliency in Embedded Electronic Systems (REES)},
  month = mar,
  year = {2017},
  pdf = {files/REES2017.pdf}
}
@inproceedings{deSanPedro2016_bpm,
  author = {Javier de San Pedro and Jordi Cortadella},
  title = {Discovering Duplicate Tasks in Transition Systems for the Simplification of Process Models},
  booktitle = {Proc. 14th Int. Conf. Business Process Management},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 9850,
  pages = {108--124},
  year = {2016},
  doi = {10.1007/978-3-319-45348-4_7},
  pdf = {files/BPM2016.pdf}
}
@inproceedings{Cortadella2016,
  author = {Jordi Cortadella and Marc Lupon and Alberto Moreno and Antoni Roca and Sachin S. Sapatnekar},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  title = {Ring Oscillator Clocks and Margins},
  year = 2016,
  month = may,
  note = {{\bf Best paper award}},
  pages = {19--26},
  pdf = {files/RingOscillatorClocks_Async2016.pdf},
  ppt = {files/RingOscillatorClocks_Async2016.pptx}
}
@inproceedings{deSanPedro2016_async,
  author = {Javier de San Pedro and Thomas Bourgeat and Jordi Cortadella},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  title = {Specification mining of asynchronous controllers},
  year = 2016,
  month = may,
  pages = {107--114},
  pdf = {files/SpecMining_Async2016.pdf},
  ppt = {files/SpecMining_Async2016.pptx}
}
@inproceedings{deSanPedro2016_sac,
  author = {Javier de San Pedro and Jordi Cortadella},
  booktitle = {{31st ACM Symposium on Applied Computing}},
  title = {Mining Structured Petri Nets for the Visualization of Process Behavior},
  year = 2016,
  month = apr,
  pages = {839--846},
  pdf = {files/Mining_SAC2016.pdf},
  ppt = {files/Mining_SAC2016.pptx}
}
@inproceedings{Cortadella2015,
  author = {Jordi Cortadella and Luciano Lavagno and Pedro L\'opez and Marc Lupon and Alberto Moreno and Antoni Roca and Sachin S. Sapatnekar},
  booktitle = {Proc. International Conf. Computer Design (ICCD)},
  title = {Reactive Clocks with Variability-Tracking Jitter},
  year = 2015,
  month = oct,
  pages = {540--547},
  pdf = {files/ReactiveClocks_ICCD2015.pdf},
  ppt = {files/ReactiveClocks_ICCD2015.pptx}
}
@incollection{deSanPedro2015,
  author = {Javier de San Pedro and Josep Carmona and Jordi Cortadella},
  title = {Log-Based Simplification of Process Models},
  booktitle = {Proc. 13th Int. Conf. Business Process Management},
  year = 2015,
  month = sep,
  pages = {457--474},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {9253},
  doi = {10.1007/978-3-319-23063-4_30},
  pdf = {files/BPM2015.pdf}
}
@inproceedings{Jain2015,
  author = {Palkesh Jain and Sachin S. Sapatnekar and Jordi Cortadella},
  booktitle = {Proc. of Asia and South Pacific Design Automation Conference},
  title = {A Retargetable and Accurate Methodology for
           Logic-IP-internal Electromigration Assessment},
  year = 2015,
  month = jan,
  pages = {346--351},
  pdf = {files/aspdac2015_em.pdf}
}
@inproceedings{deSanPedro2014,
  author = {Javier de San Pedro and Jordi Cortadella and Antoni Roca},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  title = {A Hierarchical Approach for Generating Regular Floorplans},
  year = 2014,
  month = nov,
  pages = {655--662},
  pdf = {files/floorplan_iccad2014.pdf}
}
@inproceedings{Beer2014,
  author = {Salomon Beer and Marco Cannizzaro and Jordi Cortadella and Ran Ginosar and Luciano Lavagno},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  title = {Metastability in Better-Than-Worst-Case Designs},
  year = 2014,
  month = may,
  pages = {101-102},
  pdf = {files/metastability_async2014.pdf}
}
@inproceedings{Dimitrakopoulos2014,
  author = {Giorgos Dimitrakopoulos and Ioannis Seitanidis and Anastasios Psarras and Kostas M. Tsiouris and Pavlos M. Mattheakis and Jordi Cortadella},
  booktitle = {Proc. Design, Automation and Test in Europe (DATE)},
  title = {Hardware primitives for the synthesis of multithreaded elastic systems},
  year = 2014,
  month = mar,
  pages = {1--4},
  pdf = {files/mt_elastic_date2014.pdf}
}
@inproceedings{deSanPedro2013,
  author = {Javier de San Pedro and Nikita Nikitin and Jordi Cortadella and Jordi Petit},
  title = {Physical planning for the architectural exploration of large-scale chip multiprocessors},
  booktitle = {Proc. of the IEEE/ACM International Symp. on Networks-on-Chip (NoCS)},
  month = apr,
  year = 2013,
  pages = {1--2},
  pdf = {files/nocs2013.pdf}
}
@inproceedings{Cortadella2013,
  author = {Jordi Cortadella and Javier de San Pedro and Nikita Nikitin and Jordi Petit},
  title = {Physical-aware system-level design for tiled hierarchical
               chip multiprocessors},
  booktitle = {Proc. International Symposium on Physical Design},
  month = mar,
  year = 2013,
  pages = {3--10},
  pdf = {files/ispd2013.pdf}
}
@inproceedings{Nikitin2012b,
  author = {Nikita Nikitin and Javier de San Pedro and Josep Carmona and Jordi Cortadella},
  title = {Analytical Performance Modeling of Hierarchical Interconnect Fabrics},
  booktitle = {Proc. of the IEEE/ACM International Symp. on Networks-on-Chip (NoCS)},
  month = may,
  year = 2012,
  pages = {107--114},
  pdf = {files/nocs2012.pdf}
}
@inproceedings{deSanPedro2012,
  author = {Javier de San Pedro and Josep Carmona and Jordi Cortadella and Jordi Petit},
  title = {Integrating Formal Verification in an Online Judge for
           e-Learning Logic Circuit Design},
  booktitle = {Proc. ACM Technical Symp. on Computer Science Education (SIGCSE)},
  month = feb,
  year = 2012,
  pages = {451--456},
  pdf = {files/SIGCSE2012_jutge.pdf}
}
@inproceedings{Nikitin2012a,
  author = {Nikita Nikitin and Jordi Cortadella},
  title = {Static Task Mapping for Tiled Chip Multiprocessors with Multiple Voltage Islands},
  booktitle = {25th Int. Conf. on Architecture of Computing Systems (ARCS)},
  month = feb,
  year = 2012,
  pages = {50--62},
  pdf = {files/arcs2012.pdf},
  url = {http://link.springer.com/chapter/10.1007%2F978-3-642-28293-5_5}
}
@inproceedings{Perez2011,
  author = {Jordi P\'erez-Puigdemont and Francesc Moll and Jordi Cortadella},
  title = {Measuring the tolerance of self-adaptive clocks to supply voltage noise},
  booktitle = {26th Conf. on Design of Circuits and Integrated Systems (DCIS)},
  pages = {399--404},
  month = nov,
  year = 2011,
  pdf = {http://upcommons.upc.edu/e-prints/bitstream/2117/15365/1/DCIS2011_Perez_published.pdf}
}
@inproceedings{Galceran2010,
  author = {Marc Galceran-Oms and Jordi Cortadella and Mike Kishinevsky},
  title = {Symbolic performance analysis of elastic systems},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  month = nov,
  year = 2010,
  pages = {778-785},
  pdf = {files/symbperf_iccad2010.pdf}
}
@incollection{Carmona_ECML_PKDD2010,
  author = {Josep Carmona and Jordi Cortadella},
  title = {Process Mining meets Abstract Interpretation},
  booktitle = {Proc. European Conference on Machine Learning and
               Principles and Practice of Knowledge Discovery in Databases (ECML PKDD)},
  month = sep,
  year = 2010,
  pages = {184--199},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  volume = 6321,
  pdf = {files/ECML_PKDD_2010.pdf}
}
@inproceedings{Cortadella_memocode2010,
  author = {Jordi Cortadella and Marc Galceran-Oms and Mike Kishinevsky},
  title = {Elastic Systems},
  booktitle = {Proc. 8th ACM/IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2010)},
  month = jul,
  year = 2010,
  pages = {149--158},
  pdf = {files/memocode2010.pdf}
}
@inproceedings{Cortadella_icicdt2010,
  author = {Jordi Cortadella and Luciano Lavagno and Djavad Amiri and Jon\`{a}s Casanova and Carlos Maci\'{a}n 
            and Ferran Martorell and Juan A. Moya and Luca Necchi and Danil Sokolov and Emre Tuncer},
  title = {Narrowing the Margins with Elastic Clocks},
  booktitle = {Proc. IEEE Int. Conf. on Integrated Circuit Design and Technology (ICICDT)},
  month = jun,
  year = 2010,
  pages = {146--150},
  pdf = {files/icicdt2010_elastic.pdf}
}
@inproceedings{nikitin2010,
  author = {Nikita Nikitin and S. Chatterjee and Jordi Cortadella and Mike Kishinevsky
            and Umit Ogras},
  title = {Physical-Aware Link Allocation and Route Assignment
           for Chip Multiprocessing},
  booktitle = {Proc. 4th ACM/IEEE Int. Symp. on Networks-on-Chip (NOCS)},
  month = may,
  year = 2010,
  pages = {125--134},
  pdf = {files/nocs_2010.pdf}
}
@inproceedings{pipelining_date2010,
  author = {Marc Galceran-Oms and Jordi Cortadella and Mike Kishinevsky and Dmitry Bufistov},
  title = { Automatic Microarchitectural Pipelining },
  booktitle = {Proc. Design, Automation and Test in Europe (DATE)},
  pages = {961--964},
  month = apr,
  year = 2010,
  pdf = {files/pipelining_date2010.pdf}
}
@inproceedings{Nikitin09,
  author = {Nikita Nikitin and Jordi Cortadella},
  title = {A Performance Analytical Model for {Network-on-Chip}
          with Constant Service Time Routers},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  month = nov,
  year = 2009,
  pages = {571--578},
  pdf = {files/noc_iccad09.pdf}
}
@inproceedings{Casanova09,
  author = {Jon\`{a}s Casanova and Jordi Cortadella},
  title = {Multi-Level Clustering for Clock Skew Optimization},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  month = nov,
  year = 2009,
  pages = {547--554},
  pdf = {files/clustering_iccad09.pdf}
}
@incollection{Carmona_BPM09,
  author = {Josep Carmona and Jordi Cortadella and Mike Kishinevsky},
  title = {Divide-and-Conquer Strategies for Process Mining},
  booktitle = {Proc. 7th Int. Conf. Business Process Management},
  month = sep,
  year = 2009,
  pages = {327-343},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {5701},
  doi = {10.1007/978-3-642-03848-8_22}
}
@inproceedings{Bufistov09,
  author = {Dmitry Bufistov and Jordi Cortadella and Marc Galceran-Oms and Jorge J\'{u}lvez and Mike Kishinevsky},
  title = {Retiming and Recycling for Elastic Systems with Early Evaluation},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  month = jul,
  year = 2009,
  pages = {288--291},
  pdf = {files/rr_early_dac09.pdf}
}
@inproceedings{Galceran-Oms09,
  author = {Marc Galceran-Oms and Jordi Cortadella and Mike Kishinevsky},
  title = {Speculation in Elastic Systems},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  month = jul,
  year = 2009,
  pages = {292--295},
  pdf = {files/speculation_dac09.pdf}
}
@inproceedings{Elastix_dac09,
  author = {Emre Tuncer and Jordi Cortadella and Luciano Lavagno},
  title = {Enabling adaptability through elastic clocks},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  month = jul,
  year = 2009,
  pages = {8--10},
  pdf = {files/elastix_dac09.pdf}
}
@inproceedings{Carmona_acsd09,
  author = {Josep Carmona and Jorge J\'{u}lvez and Jordi Cortadella and Mike Kishinevsky},
  title = {Scheduling synchronous elastic designs},
  booktitle = {Int. Conf. on Application of Concurrency to System Design},
  month = jun,
  year = 2009,
  note = {{\bf Best paper award}},
  url = {https://upcommons.upc.edu/handle/2117/20078?locale-attribute=en}
}
@inproceedings{pipelining_iwls2009,
  author = {Marc Galceran-Oms and Jordi Cortadella and Mike Kishinevsky and Dmitry Bufistov},
  title = { Automatic Microarchitectural Pipelining },
  booktitle = {Proc. International Workshop on Logic Synthesis},
  pages = {214--221},
  month = jun,
  year = 2009
}
@inproceedings{Baneres09b,
  author = {David Ba{\~n}eres and Jordi Cortadella and Mike Kishinevsky},
  title = {Timing-driven N-way decomposition},
  booktitle = {Proc. of the Great Lakes Symposium on VLSI},
  month = may,
  year = 2009,
  pages = {363--368},
  pdf = {files/baneres_glvlsi09.pdf}
}
@inproceedings{Baneres09a,
  author = {David Ba{\~n}eres and Jordi Cortadella and Mike Kishinevsky},
  title = {Variable-Latency Design by Function Speculation},
  booktitle = {Proc. Design, Automation and Test in Europe (DATE)},
  month = mar,
  year = 2009,
  pages = {1704-1709},
  pdf = {files/date09_varlatency.pdf}
}
@inproceedings{Bufistov08,
  author = {Dmitry Bufistov and Jorge J\'ulvez and Jordi Cortadella},
  title = {Performance Optimization of Elastic Systems using Buffer Resizing and 
               Buffer Insertion},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  month = nov,
  year = 2008,
  pages = {442--448},
  pdf = {files/resizing_insertion_iccad08.pdf}
}
@inproceedings{Kam08,
  author = {Timothy Kam and Mike Kishinevsky and Jordi Cortadella and Marc Galceran-Oms},
  title = {Correct-by-Construction Microarchitectural Pipelining},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  month = nov,
  year = 2008,
  pages = {434--441},
  pdf = {files/micro_pipelining_iccad08.pdf}
}
@inproceedings{Gorgonio08,
  author = {Kyller Gorg{\^o}nio and Jordi Cortadella},
  title = {Hardware Synthesis for Asynchronous Communications Mechanisms},
  booktitle = {Int. Conf. of the Chilean Computer Science Society (SCCC)},
  month = nov,
  year = 2008,
  pages = {135--143},
  pdf = {files/acm_sccc08.pdf}
}
@inproceedings{Ziyatdinov08,
  author = {Andrey Ziyatdinov and David Ba{\~n}eres and Jordi Cortadella},
  title = {Multi-Clustering Net Model for Placement Algorithms},
  booktitle = {Proc. 16th IFIP/IEEE Int. Conf. on Very Large Scale Integration},
  month = oct,
  year = 2008,
  pdf = {files/MCN-VLSISoC-Oct2008.pdf}
}
@incollection{Carmona08b,
  author = {Josep Carmona and Jordi Cortadella and Mike Kishinevsky},
  title = {A Region-Based Algorithm for Discovering {Petri} Nets from Event Logs},
  booktitle = {Proc. 6th Int. Conf. on Business Process Management (BPM)},
  series = {Lecture Notes in Computer Science},
  volume = 5240,
  publisher = {Springer-Verlag},
  pages = {358--373},
  month = sep,
  year = 2008
}
@incollection{Carmona08,
  author = {Josep Carmona and Jordi Cortadella and Mike Kishinevsky and Alex Kondratyev and 
               Luciano Lavagno and Alex Yakovlev},
  title = {A Symbolic Algorithm for the Synthesis of Bounded {Petri} Nets},
  booktitle = {Applications and Theory of Petri Nets and Other Models of Concurrency 
               (ICATPN)},
  series = {Lecture Notes in Computer Science},
  volume = 5062,
  publisher = {Springer-Verlag},
  month = jun,
  year = 2008,
  pages = {92--111},
  doi = {10.1007/978-3-540-68746-7_10}
}
@inproceedings{Bufistov07,
  author = {Dmitry Bufistov and Jordi Cortadella and Mike Kishinevsky and Sachin S. Sapatnekar},
  title = {A general model for performance optimization of sequential systems},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  month = nov,
  year = 2007,
  pages = {362--369},
  pdf = {files/retiming_recycling_iccad07.pdf}
}
@incollection{Gorgonio07,
  author = {Kyller Gorg{\^o}nio and Jordi Cortadella and Fei Xia},
  title = {A Compositional Method for the Synthesis of Asynchronous
               Communication Mechanisms},
  booktitle = {Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN)},
  series = {Lecture Notes in Computer Science},
  volume = 4546,
  publisher = {Springer-Verlag},
  month = jun,
  year = 2007,
  pages = {144--163},
  pdf = {files/atpn-2007.pdf}
}
@inproceedings{Cortadella07,
  author = {Jordi Cortadella and Mike Kishinevsky},
  title = {Synchronous Elastic Circuits with Early Evaluation and Token Counterflow},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  month = jun,
  year = 2007,
  pages = {416--419},
  pdf = {files/dac07_early.pdf}
}
@inproceedings{Baneres07,
  author = {David Ba{\~n}eres and Jordi Cortadella and Mike Kishinevsky},
  title = {Layout-Aware Gate Duplication and Buffer Insertion},
  booktitle = {Proc. Design, Automation and Test in Europe (DATE)},
  month = apr,
  year = 2007,
  pages = {1367--1372},
  pdf = {files/date07_buf.pdf}
}
@inproceedings{Krstic06fmcad,
  author = {Sava Krsti\'{c} and Jordi Cortadella and Mike Kishinevsky 
              and John O'Leary},
  title = {Synchronous Elastic Networks},
  booktitle = {International Conference on Formal Methods in 
                  Computer-Aided Design (FMCAD)},
  year = 2006,
  month = nov,
  pdf = {reports/fmcad06_ext.pdf}
}
@inproceedings{Carmona06iccad,
  author = {Josep Carmona and Jordi Cortadella and Yousuke Takada and Ferdinand Peper},
  title = {From molecular interactions to gates: a systematic approach},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  month = nov,
  year = 2006,
  pdf = {files/iccad06_mol.pdf}
}
@inproceedings{Julvez06iccad,
  author = {Jorge J\'{u}lvez and Jordi Cortadella and Mike Kishinevsky},
  title = {Performance analysis of concurrent systems with early 
               evaluation},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  month = nov,
  year = 2006,
  pdf = {files/iccad06_early.pdf}
}
@inproceedings{Carmona06dac,
  author = {Josep Carmona and Jordi Cortadella},
  title = {State Encoding of Large Asynchronous Controllers},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  month = jul,
  year = 2006,
  pages = {939--944},
  pdf = {files/dac06_csc.pdf},
  ppt = {files/dac06_csc.ppt}
}
@inproceedings{Cortadella06dac,
  author = {Jordi Cortadella and Mike Kishinevsky and Bill Grundmann},
  title = {Synthesis of Synchronous Elastic Architectures},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  month = jul,
  year = 2006,
  pages = {657--662},
  pdf = {files/dac06_self.pdf},
  ppt = {files/dac06_self.ppt}
}
@inproceedings{Baneres06,
  author = {David Ba{\~n}eres and Jordi Cortadella and Mike Kishinevsky},
  title = {Dominator-based partitioning for delay optimization},
  booktitle = {Proc. of the Great Lakes Symposium on VLSI},
  month = apr,
  year = 2006,
  pages = {67--72},
  pdf = {files/glvlsi06.pdf}
}
@inproceedings{Krstic06dcc,
  author = {Sava Krsti\'{c} and Jordi Cortadella and Mike Kishinevsky 
              and John O'Leary},
  title = {Synchronous Elastic Networks},
  editor = {Mary Sheeran and Tom Melham},
  booktitle = {Sixth International Workshop on 
                {D}esigning {C}orrect {C}ircuits ({DCC})},
  publisher = {ETAPS 2006},
  year = 2006,
  month = mar
}
@inproceedings{Cortadella06tau,
  author = {Jordi Cortadella and Mike Kishinevsky and Bill Grundmann},
  title = {Specification and design of synchronous elastic circuits},
  booktitle = {Proc. International Workshop on Timing Issues in the
                 Specification and Synthesis of Digital Systems (TAU)},
  month = feb,
  year = 2006,
  pages = {16--21},
  pdf = {files/self_tau06.pdf}
}
@inproceedings{Clariso05acsd,
  author = {Robert Claris\'o and Jordi Cortadella},
  title = {Verification of Concurrent Systems with Parametric
               Delays Using Octahedra},
  booktitle = {Int. Conf. on Application of Concurrency to System Design},
  month = jun,
  year = 2005,
  pages = {122--131},
  pdf = {files/oct_acsd05.pdf}
}
@inproceedings{Cortadella05a,
  author = {Jordi Cortadella and Kyller Gorg{\^{o}}nio and Fei Xia and Alex Yakovlev},
  title = {Automatic Synthesis of Asynchronous Coomunication Mechanisms},
  booktitle = {Int. Conf. on Application of Concurrency to System Design},
  month = jun,
  year = 2005,
  pages = {166--175},
  pdf = {files/acm_acsd05.pdf}
}
@incollection{Clariso05pn,
  author = {Robert Claris\'o and Enric Rodr\'{\i}guez-Carbonell and Jordi Cortadella},
  title = {Derivation of Non-structural Invariants of {P}etri Nets Using
               Abstract Interpretation},
  booktitle = {Application and Theory of Petri Nets 2004},
  series = {Lecture Notes in Computer Science},
  volume = 3536,
  month = jun,
  year = 2005,
  pages = {188--207},
  publisher = {Springer-Verlag},
  pdf = {files/atpn05_absint.pdf}
}
@misc{Rodriguez05,
  author = {Enric Rodr\'{\i}guez-Carbonell and Jordi Cortadella},
  title = {Inference of Numerical Relations from Digital Circuits},
  howpublished = {Extended abstract of the presentation at the
                  First International Workshop on Numerical \& Symbolic 
                  Abstract Domains (NSAD)},
  month = jan,
  year = 2005,
  address = {Paris},
  pdf = {files/nsad05.pdf}
}
@inproceedings{Cortadella04c,
  author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno and Christos P. Sotiriou},
  title = {Coping with the variability of combinational logic delays},
  booktitle = {Proc. International Conf. Computer Design (ICCD)},
  month = oct,
  year = 2004,
  pages = {505--508},
  pdf = {files/iccd04_variability.pdf}
}
@incollection{Clariso04a,
  author = {Robert Claris\'o and Jordi Cortadella},
  title = {The Octahedron Abstract Domain},
  booktitle = {11th Static Analysis Symposium (SAS)},
  series = {Lecture Notes in Computer Science},
  volume = 3148,
  month = aug,
  year = 2004,
  pages = {312--327},
  publisher = {Springer-Verlag},
  pdf = {files/sas2004.pdf}
}
@inproceedings{Baneres04a,
  author = {D. Ba{\~n}eres and Jordi Cortadella and Mike Kishinevsky},
  title = {A Recursive Paradigm to Solve Boolean Relations},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  month = jun,
  year = 2004,
  pages = {416--421},
  note = {{\bf Best paper award}},
  pdf = {files/dac04.pdf},
  ppt = {files/dac04.ppt}
}
@inproceedings{Blunno04,
  author = {Ivan Blunno and Jordi Cortadella and Alex Kondratyev and Luciano Lavagno and Kelvin Lwin and Christos P. Sotiriou},
  title = {Handshake protocols for de-synchronization},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  month = apr,
  year = 2004,
  pages = {149--158},
  note = {{\bf Best paper award}},
  pdf = {files/async04.pdf},
  ppt = {files/async04.ppt}
}
@inproceedings{Cortadella04,
  author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno and
                Kelvin Lwin and Christos P. Sotiriou},
  title = {From Synchronous to Asynchronous: An Automatic Approach},
  booktitle = {Proc. Design, Automation and Test in Europe (DATE)},
  month = feb,
  year = 2004,
  volume = 2,
  pages = {1368-1369},
  pdf = {files/date04.pdf}
}
@inproceedings{Clariso04,
  author = {Robert Claris\'o and Jordi Cortadella},
  title = {Verification of Timed Circuits with Symbolic Delays},
  booktitle = {Proc. of Asia and South Pacific Design Automation Conference},
  month = jan,
  year = 2004,
  pages = {628--633},
  pdf = {files/aspdac04.pdf}
}
@inproceedings{Modi04,
  author = {Nilesh Modi and Jordi Cortadella},
  title = {Boolean decomposition using two-literal divisors},
  booktitle = {Proc. International Conference on VLSI Design},
  month = jan,
  year = 2004,
  pdf = {files/vlsi04.pdf}
}
@inproceedings{Carmona03,
  author = {Josep Carmona and Jordi Cortadella},
  title = {{ILP} models for the synthesis of asynchronous
                control circuits},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  month = nov,
  year = 2003,
  pages = {818--825},
  pdf = {files/iccad03.pdf}
}
@inproceedings{Cortadella03b,
  author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno and
                Yosinori Watanabe},
  title = {Quasi-static scheduling for concurrent architectures},
  booktitle = {Int. Conf. on Application of Concurrency to System Design},
  month = jun,
  pages = {29--40},
  year = 2003,
  pdf = {files/acsd03.pdf}
}
@inproceedings{Cortadella03a,
  author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno and
                Christos P. Sotiriou},
  title = {A concurrent model for de-synchronization},
  booktitle = {Proc. International Workshop on Logic Synthesis},
  month = may,
  year = 2003,
  pages = {294--301},
  pdf = {files/iwls03_extended.pdf}
}
@inproceedings{Clariso03,
  author = {Robert Claris\'o and Jordi Cortadella},
  title = {Verification of Timed Circuits with Symbolic Delays},
  booktitle = {Proc. International Workshop on Logic Synthesis},
  month = may,
  year = 2003,
  pages = {310--317},
  pdf = {files/iwls03_verif.pdf}
}
@incollection{Carmona02b,
  author = {Josep Carmona and Jordi Cortadella},
  title = {Input/Output Compatibility of Reactive Systems},
  booktitle = {International Conference on Formal Methods in 
                  Computer-Aided Design (FMCAD)},
  year = 2002,
  month = nov,
  pages = {360--377},
  series = {Lecture Notes in Computer Science},
  volume = 2517,
  editor = {M. Aagaard and J.W. O'Leary},
  publisher = {Springer-Verlag},
  pdf = {files/fmcad02.pdf}
}
@incollection{Cortadella02pn,
  author = {Jordi Cortadella and Alex Kondratyev and
	     Luciano Lavagno and Claudio Passerone and Yosinori Watanabe},
  title = {Quasi-static scheduling of independent tasks for reactive
               systems},
  booktitle = {Application and Theory of Petri Nets 2002},
  series = {Lecture Notes in Computer Science},
  volume = 2360,
  month = jun,
  year = 2002,
  publisher = {Springer-Verlag},
  pages = {80--99},
  ps = {files/atpn02_qss.ps.gz}
}
@inproceedings{Cortadella02c,
  author = {Jordi Cortadella},
  title = {Bi-decomposition and tree-height reduction for timing
                optimization},
  booktitle = {Proc. International Workshop on Logic Synthesis},
  month = jun,
  year = 2002,
  pdf = {files/iwls02.pdf}
}
@inproceedings{Clariso02,
  author = {Robert Claris\'o and Jordi Cortadella and Alex Kondratyev and
		Luciano Lavagno and Claudio Passerone and Yosinori Watanabe},
  title = {Synthesis of Embedded Software for reactive Systems},
  booktitle = {Int. Workshop on Integration of Specification Techniques 
		  for Applications in Engineering (Satellite event of
		  ETAPS 2002)},
  month = apr,
  year = 2002,
  pages = {2-20},
  ps = {files/int02.ps.gz}
}
@inproceedings{Pena02,
  author = {Marco A. Pe{\~n}a and Jordi Cortadella and Enric Pastor and A. Smirnov},
  title = {A Case Study for the Verification of Complex Timed Circuits: 
               {IPCMOS}},
  booktitle = {Proc. Design, Automation and Test in Europe (DATE)},
  month = mar,
  year = 2002,
  pages = {44-51},
  pdf = {files/date02.pdf}
}
@inproceedings{Cornetta01b,
  author = {G. Cornetta and Jordi Cortadella},
  title = {Asynchronous Multipliers with Variable-Delay Counters},
  booktitle = {8th IEEE Int. Conf. on Electronics, Circuits and Systems 
                 (ICECS)},
  volume = {II},
  pages = {701--705},
  month = sep,
  year = 2001,
  pdf = {files/icecs2001.pdf}
}
@inproceedings{Carmona01,
  author = {Josep Carmona and Jordi Cortadella and Enric Pastor},
  title = {A structural encoding technique for the synthesis of 
	       asynchronous circuits},
  booktitle = {Int. Conf. on Application of Concurrency to System Design},
  year = 2001,
  month = jun,
  pages = {157--166},
  pdf = {files/icacsd01.pdf}
}
@inproceedings{Cornetta01,
  author = {Gianluca Cornetta and Jordi Cortadella},
  title = {A Multi-Radix Approach to Asynchronous Division},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  year = 2001,
  month = mar,
  pages = {25--34},
  pdf = {files/async01_div.pdf}
}
@incollection{Cortadella00b,
  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},
  booktitle = {Application and Theory of Petri Nets 2000},
  series = {Lecture Notes in Computer Science},
  volume = 1825,
  pages = {1--15},
  month = jun,
  year = 2000,
  publisher = {Springer-Verlag},
  ps = {files/atpn00_hwpn.ps.gz}
}
@inproceedings{Cortadella00a,
  author = {Jordi Cortadella and Alex Kondratyev and Luciano Lavagno and
     Marc Massot and Sandra Moral and Claudio Passerone and Yosinori
     Watanabe and Alberto Sangiovanni-Vincentelli},
  title = {Task generation and compile-time scheduling for mixed
     data-control embedded software},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  pages = {489--494},
  month = jun,
  year = 2000,
  pdf = {files/dac00_qss.pdf}
}
@inproceedings{Pena00,
  author = {Marco A. Pe{\~n}a and Jordi Cortadella and Alex Kondratyev
     and Enric Pastor},
  title = {Formal verification of safety properties in timed circuits},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  pages = {2--11},
  year = 2000,
  month = apr,
  pdf = {files/async00_ver.pdf}
}
@inproceedings{Cortadella00,
  author = {Jordi Cortadella and Gabriel Valiente},
  title = {A relational view of subgraph isomorphism},
  booktitle = {Proc. International Seminar on Relational Methods in
		   Computer Science},
  pages = {45--54},
  month = jan,
  year = 2000,
  pdf = {files/relmics00.pdf}
}
@inproceedings{Saito99a,
  author = {Hiroshi Saito and Alex Kondratyev and Jordi Cortadella 
	       and Luciano Lavagno and Alexander Yakovlev},
  title = {What is the cost of Delay Insensitivity?},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  pages = {316--323},
  year = 1999,
  month = nov,
  pdf = {files/iccad99_di.pdf}
}
@inproceedings{Cortadella99a,
  author = {Jordi Cortadella and Michael Kishinevsky and Steven M. Burns 
	       and Ken Stevens},
  title = {Synthesis of asynchronous control circuits with automatically
     generated timing assumptions},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  pages = {324--331},
  year = 1999,
  month = nov,
  pdf = {files/iccad99_rt.pdf}
}
@inproceedings{Saito99b,
  author = {Hiroshi Saito and Alex Kondratyev and Jordi Cortadella 
	       and Luciano Lavagno and Alexander Yakovlev},
  title = {Bridging modularity and optimality: delay-insensitive 
	       interfacing in asynchronous circuits synthesis},
  booktitle = {Proc. IEEE International Conference on Systems, Man and
                 Cybernetics (SMC)},
  volume = 3,
  pages = {899-904},
  year = 1999,
  month = oct,
  pdf = {files/smc99_di.pdf}
}
@incollection{Pastor99,
  author = {Enric Pastor and Jordi Cortadella and Marco A. Pe{\~n}a},
  title = {{Structural Methods to Improve the Symbolic Analysis of Petri
               Nets}},
  booktitle = {Application and Theory of Petri Nets 1999},
  series = {Lecture Notes in Computer Science},
  volume = 1639,
  pages = {26--45},
  month = jun,
  year = 1999,
  publisher = {Springer-Verlag},
  ps = {files/atpn99_symbanal.ps.gz}
}
@inproceedings{Stevens99a,
  author = {Ken Stevens and Shai Rotem and Steven M. Burns and 
               Jordi Cortadella and Ran Ginosar and Michael Kishinevsky and 
	       Marly Roncken},
  title = {{CAD} Directions for High Performance Asynchronous Circuits},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  pages = {116--121},
  month = jun,
  year = 1999,
  pdf = {files/dac99_cad.pdf}
}
@inproceedings{Kondratyev99a,
  author = {Alex Kondratyev and Jordi Cortadella and Michael Kishinevsky and
     Luciano Lavagno and Alexander Yakovlev},
  title = {Automatic synthesis and optimization of partially specified
     asynchronous systems},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  pages = {110--115},
  month = jun,
  year = 1999,
  pdf = {files/dac99_concred.pdf}
}
@inproceedings{Saito99,
  author = {Hiroshi Saito and Alex Kondratyev and Jordi Cortadella and 
               Luciano Lavagno and Alexander Yakovlev},
  title = {What is the cost of Delay Insensitivity?},
  booktitle = {Proc. of the Workshop Hardware Design and {Petri} Nets
                 (within the International Conference on Application and
		 Theory of Petri Nets)},
  pages = {169--189},
  year = 1999,
  month = jun
}
@inproceedings{Taubin99,
  author = {A. Taubin and Alex Kondratyev and Jordi Cortadella and Luciano Lavagno},
  title = {Behavioral transformations to increase the Noise Immunity of
     Asynchronous Specifications},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  pages = {36--47},
  year = 1999,
  month = apr,
  pdf = {files/async99_noise.pdf}
}
@inproceedings{Cornetta99,
  author = {Gianluca Cornetta and Jordi Cortadella},
  title = {A Radix-16 {SRT} Division Unit with Speculation of Quotient
	       Digits},
  booktitle = {Proc. of the Great Lakes Symposium on VLSI},
  month = mar,
  year = 1999,
  pages = {74--77},
  pdf = {files/gvlsi99_div.pdf}
}
@inproceedings{Taubin99a,
  author = {A. Taubin and Alex Kondratyev and Jordi Cortadella and Luciano Lavagno},
  title = {Crosstalk Noise Avoidance in Asynchronous Circuits},
  booktitle = {Proc. International Workshop on Timing Issues in the
                 Specification and Synthesis of Digital Systems (TAU)},
  pages = {123--128},
  year = 1999,
  month = mar,
  ps = {files/tau99_noise.ps.gz}
}
@inproceedings{Cortadella98b,
  author = {Jordi Cortadella and Mike Kishinevsky and Alex Kondratyev and Luciano Lavagno
     and A. Taubin and Alex Yakovlev},
  title = {Lazy transition systems: application to timing optimization of
     asynchronous circuits},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  pages = {324--331},
  year = 1998,
  month = nov,
  pdf = {files/iccad98_lazy.pdf}
}
@inproceedings{Musoll98a,
  author = {Tom\'as Lang and Enric Musoll and Jordi Cortadella},
  title = {Extension of the Working-Zone-Encoding Method to reduce also
	       the Energy on the Microprocessor Data Bus},
  booktitle = {Proc. International Conf. Computer Design (ICCD)},
  month = oct,
  year = 1998,
  pages = {414--419},
  pdf = {files/iccd98_wz.pdf}
}
@inproceedings{Kishinevsky98a,
  author = {Mike Kishinevsky and Jordi Cortadella and Alex Kondratyev},
  title = {Asynchronous Interface Specification, Analysis and Synthesis},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  pages = {2-7},
  year = 1998,
  month = jun,
  pdf = {files/dac98_tutorial.pdf}
}
@inproceedings{Cortadella98a,
  author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev
     and Luciano Lavagno and Alexandre Yakovlev},
  title = {Automatic handshake expansion and reshuffling using concurrency
     reduction},
  booktitle = {Proc. of the Workshop Hardware Design and {Petri} Nets
                 (within the International Conference on Application and
		 Theory of Petri Nets)},
  pages = {86--110},
  year = 1998,
  month = jun,
  ps = {files/hwpn98_concred.ps.gz}
}
@inproceedings{Pastor98b,
  author = {Enric Pastor and Jordi Cortadella},
  title = {Structural Methods Applied to the Symbolic Analysis of {P}etri
               nets},
  booktitle = {Proc. International Workshop on Logic Synthesis},
  month = jun,
  year = 1998
}
@inproceedings{Musoll98c,
  author = {Enric Musoll and Tom\'as Lang and Jordi Cortadella},
  title = {Reducing the energy of address and data buses with the
      working-zone encoding technique and its effect on multimedia
      applications},
  booktitle = {Proc. of the Power Driven Microarchitecture Workshop},
  month = jun,
  year = 1998,
  pages = {3--8},
  ps = {files/isca_lp98.ps.gz}
}
@inproceedings{Cortadella98c,
  author = {Jordi Cortadella},
  title = {Combining structural and symbolic methods for the
      verification of concurrent systems},
  booktitle = {Int. Conf. on Application of Concurrency to System Design},
  year = 1998,
  month = mar,
  pages = {2--7},
  pdf = {files/csd98_verif.pdf}
}
@inproceedings{Kondratyev98,
  author = {Alex Kondratyev and Jordi Cortadella and Mike Kishinevsky and Luciano Lavagno
     and A. Taubin and Alex Yakovlev},
  title = {Identifying State Coding Conflicts in Asynchronous System
     Specifications Using {Petri} Net Unfoldings},
  booktitle = {Int. Conf. on Application of Concurrency to System Design},
  year = 1998,
  month = mar,
  pages = {152--163},
  pdf = {files/csd98_unfold.pdf}
}
@inproceedings{Pastor98a,
  author = {Enric Pastor and Jordi Cortadella},
  title = {Efficient Encoding Schemes for Symbolic Analysis of {P}etri
     Nets},
  booktitle = {Proc. Design, Automation and Test in Europe (DATE)},
  month = mar,
  year = 1998,
  pages = {790--795},
  pdf = {files/date98_encoding.pdf}
}
@inproceedings{Cortadella97a,
  author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev
     and Luciano Lavagno and Enric Pastor and Alexandre Yakovlev},
  title = {Decomposition and technology mapping of speed-independent
     circuits using {Boolean} relations},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  year = 1997,
  month = nov,
  pdf = {files/iccad97_decomp.pdf}
}
@inproceedings{Musoll97,
  author = {Enric Musoll and Tom\'as Lang and Jordi Cortadella},
  title = {Exploiting the locality of memory references to reduce the
               address bus energy},
  booktitle = {International Symposium on Low Power Electronics and Design},
  month = aug,
  year = 1997,
  pages = {202--207},
  pdf = {files/islp97.pdf}
}
@incollection{Kishinevsky97a,
  author = {Michael Kishinevsky and Jordi Cortadella and Alex Kondratyev
     and Luciano Lavagno and Alexander Taubin and Alex Yakovlev},
  editor = {Pierre Az{\'e}ma and Gianfranco Balbo},
  title = {Coupling asynchrony and interrupts: Place Chart Nets and their
     Synthesis},
  booktitle = {Application and Theory of Petri Nets 1997},
  pages = {328--347},
  year = 1997,
  month = jun,
  publisher = {Springer-Verlag},
  address = {Toulouse, France},
  volume = 1248,
  series = {Lecture Notes in Computer Science}
}
@inproceedings{Roig97a,
  author = {Oriol Roig and Jordi Cortadella and Marco A. Pe{\~n}a and
     Enric Pastor},
  title = {Automatic generation of synchronous test patterns for 
               asynchronous circuits},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  pages = {620--625},
  year = 1997,
  month = jun,
  pdf = {files/dac97_test.pdf}
}
@inproceedings{Semenov97a,
  author = {Alex Semenov and Alexandre Yakovlev and Enric Pastor and
     Marco A. Pe{\~n}a and Jordi Cortadella},
  title = {Synthesis of Speed-Independent Circuits from {STG}-unfolding
     Segment},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  pages = {16--21},
  month = jun,
  year = 1997,
  pdf = {files/dac97_unfold.pdf}
}
@inproceedings{Cortadella97d,
  author = {Jordi Cortadella and Luciano Lavagno and Ellen Sentovich},
  title = {Logic Synthesis Techniques for Embedded Control Code
               Optimization},
  booktitle = {Proc. International Workshop on Logic Synthesis},
  month = jun,
  year = 1997
}
@inproceedings{Semenov97,
  author = {Alex Semenov and Alexandre Yakovlev and Enric Pastor and
     Marco A. Pe{\~n}a and Jordi Cortadella and Luciano Lavagno},
  title = {Partial order based approach to synthesis of speed-independent
     circuits},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  pages = {254--265},
  year = 1997,
  month = apr,
  publisher = {IEEE Computer Society Press},
  pdf = {files/async97_unfold.pdf}
}
@inproceedings{Kondratyev97,
  author = {Alex Kondratyev and Michael Kishinevsky and Jordi Cortadella
     and Luciano Lavagno and Alex Yakovlev},
  title = {Technology Mapping for speed-independent Circuits:
     decomposition and resynthesis},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  pages = {240--253},
  year = 1997,
  month = apr,
  publisher = {IEEE Computer Society Press},
  pdf = {files/async97_decomp.pdf}
}
@inproceedings{Cortadella97,
  author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev
     and Luciano Lavagno and Alex Yakovlev},
  title = {Technology mapping of speed-independent circuits based on
     combinational decomposition and resynthesis},
  booktitle = {Proc. European Design and Test Conference},
  pages = {98--105},
  year = 1997,
  pdf = {files/edtc97_techmap.pdf}
}
@inproceedings{Lavagno97,
  author = {Luciano Lavagno and Jordi Cortadella and Alberto
               Sangiovanni-Vincentelli},
  title = {Embedded Code Optimization via Common Control Structure
              Detection},
  booktitle = {International Workshop on Hardware/Software Co-Design
                (Codes/CASHE)},
  month = mar,
  year = 1997
}
@inproceedings{Cortadella96b,
  author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev
     and Luciano Lavagno and Alexandre Yakovlev},
  title = {{Petrify}: a tool for manipulating concurrent specifications and
     synthesis of asynchronous controllers},
  booktitle = {XI Conference on Design of Integrated Circuits and Systems},
  year = 1996,
  month = nov,
  pages = {205--210},
  address = {Barcelona},
  ps = {files/dcis96_petrify.ps.gz}
}
@inproceedings{Lang96,
  author = {Tom\'as Lang and Enric Musoll and Jordi Cortadella},
  title = {Redundant adder for reduced output transitions},
  booktitle = {XI Conference on Design of Integrated Circuits and Systems},
  year = 1996,
  month = nov,
  pages = {17--22},
  address = {Barcelona},
  ps = {files/dcis96_adder.ps.gz}
}
@inproceedings{Cortadella96c,
  author = {Jordi Cortadella and Rosa M. Badia and Ferm\'{\i}n S\'anchez},
  title = {A mathematical formulation of the loop pipelining problem},
  booktitle = {XI Conference on Design of Integrated Circuits and Systems},
  year = 1996,
  month = nov,
  pages = {355--360},
  address = {Barcelona},
  ps = {files/dcis96_loop.ps.gz}
}
@inproceedings{Sintes96,
  author = {L. Sintes and J. Escudero and M.A. Pe{\~n}a and Oriol Roig and J.
              Cortadella and J. Carrabina},
  title = {Flujo de dise{\~n}o as\'{\i}ncrono con la biblioteca
              {DCVSL\_LIB} para {ES2 ECPD10}},
  booktitle = {Actas del {II} Congreso sobre Tecnolog\'{\i}as Aplicadas
                a la Ense{\~n}anza de la Electr\'onica},
  address = {Sevilla},
  month = sep,
  year = 1996,
  pages = {161--166}
}
@inproceedings{Sanchez96a,
  author = {Ferm\'{\i}n S\'anchez and Jordi Cortadella},
  title = {{RESIS}: A new methodology for register optimization in software
              pipelining},
  booktitle = {Proc. European Conference on Parallel Processing
                ({EURO-PAR})},
  month = aug,
  year = 1996,
  ps = {files/europar96.ps.gz}
}
@inproceedings{Cortadella96a,
  author = {Jordi Cortadella and Michael Kishinevsky and Alex Kondratyev
     and Luciano Lavagno and Alex Yakovlev},
  title = {Methodology and Tools for State Encoding in Asynchronous
     Circuit Synthesis},
  booktitle = {Proc. ACM/IEEE Design Automation Conference},
  year = 1996,
  pdf = {files/dac96_csc.pdf}
}
@inproceedings{Sanchez96,
  author = {Ferm\'{\i}n S\'anchez and Jordi Cortadella},
  title = {Maximum-throughput software pipelining},
  booktitle = {Proc. International Conference on Massively Parallel
                Computing Systems},
  month = may,
  year = 1996,
  pages = {483--490},
  pdf = {files/mpcs96_swpipe.pdf}
}
@inproceedings{Pena96,
  author = {Marco A. Pe{\~{n}}a and Jordi Cortadella},
  title = {Combining Process Algebras and {Petri} Nets for the Specification
     and Synthesis of Asynchronous Circuits},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  year = 1996,
  month = mar,
  publisher = {IEEE Computer Society Press},
  pdf = {files/async96_papn.pdf}
}
@inproceedings{Musoll96,
  author = {Enric Musoll and Jordi Cortadella},
  title = {Optimizing {CMOS} circuits for low power using transistor
               reordering},
  booktitle = {Proc. European Design and Test Conference},
  month = mar,
  year = 1996,
  pages = {222-232},
  pdf = {files/edtc96_lowpower.pdf}
}
@inproceedings{Pastor96,
  author = {Enric Pastor and Jordi Cortadella and Oriol Roig and Alex Kondratyev},
  title = {Structural Methods for the Synthesis of Speed-Independent 
               Circuits},
  booktitle = {Proc. European Design and Test Conference},
  pages = {340--347},
  year = 1996,
  month = mar,
  publisher = {IEEE Computer Society Press},
  pdf = {files/edtc96_struct.pdf}
}
@inproceedings{Cortadella96,
  author = {Jordi Cortadella and Mike Kishinevsky and Alex Kondratyev
     and Luciano Lavagno and Alex Yakovlev},
  title = {Complete state encoding based on the theory of regions},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  year = 1996,
  month = mar,
  publisher = {IEEE Computer Society Press},
  pdf = {files/async96_csc.pdf}
}
@inproceedings{Pastor95a,
  author = {Enric Pastor and Jordi Cortadella},
  title = {Cover approximations for the synthesis of speed-independent
              circuits},
  booktitle = {Proc. of the {IFIP} International Workshop on Logic and
                Architecture Synthesis},
  month = dec,
  year = 1995,
  pages = {150--159},
  ps = {files/wlas95_cover.ps.gz}
}
@inproceedings{Pena95,
  author = {Marco A. Pe{\~n}a and Jordi Cortadella},
  title = {Programaci\'on {VLSI} y s\'{\i}ntesis de circuitos
             as\'{\i}ncronos mediante composici\'on de redes de {P}etri},
  booktitle = {Actas del X Congreso de Dise{\~n}o de Cirtuios Integrados
                 y Sistemas},
  address = {Zaragoza},
  month = nov,
  year = 1995,
  pages = {65--70},
  ps = {files/dcis95_pncomp.ps.gz}
}
@inproceedings{Cortadella95,
  author = {Jordi Cortadella and Mike Kishinevsky and Luciano Lavagno and Alex Yakovlev},
  title = {Synthesizing {Petri} Nets from State-Based Models},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  pages = {164--171},
  year = 1995,
  pdf = {files/iccad95_regions.pdf}
}
@inproceedings{Sanchez95,
  author = {Ferm\'{\i}n S\'{a}nchez and Jordi Cortadella},
  title = {Time Constrained Loop Pipelining},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  pages = {592--596},
  year = 1995,
  month = nov,
  pdf = {files/iccad95_loop.pdf}
}
@inproceedings{Musoll95b,
  author = {Enric Musoll and Jordi Cortadella},
  title = {Low-power array multipliers with transition-retaining barriers},
  booktitle = {Power and Timing Modeling, Optimization and Simulation
                 (PATMOS)},
  month = oct,
  year = 1995,
  pages = {227--238},
  ps = {files/patmos95_mul.ps.gz}
}
@inproceedings{Musoll95a,
  author = {Enric Musoll and Jordi Cortadella},
  title = {Scheduling and resource binding for low power},
  booktitle = {International Symposium on System Synthesis},
  month = sep,
  year = 1995,
  pages = {104--109},
  pdf = {files/iss95_lowpower.pdf}
}
@incollection{Roig95a,
  author = {Oriol Roig and Jordi Cortadella and Enric Pastor},
  title = {Verification of asynchronous circuits by {BDD}-based model 
               checking of {Petri} nets},
  booktitle = {Application and Theory of {Petri} Nets 1995},
  pages = {374--391},
  year = 1995,
  month = jun,
  volume = 815,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  ps = {files/atpn95_verif.ps.gz}
}
@inproceedings{Roig95,
  author = {Oriol Roig and Jordi Cortadella and Enric Pastor},
  title = {Hierarchical Gate-Level Verification of Speed-Independent 
               Circuits},
  booktitle = {Asynchronous Design Methodologies},
  pages = {129--137},
  year = 1995,
  month = may,
  publisher = {IEEE Computer Society Press},
  pdf = {files/wcasync95_verif.pdf}
}
@inproceedings{Musoll95,
  author = {Enric Musoll and Jordi Cortadella},
  title = {High-level synthesis techniques for reducing the activity of
               functional units},
  booktitle = {International Symposium on Low Power Design},
  month = apr,
  year = 1995,
  pages = {94--104},
  ps = {files/islp95_hls.ps.gz}
}
@inproceedings{Pastor95,
  author = {Enric Pastor and Jordi Cortadella and Oriol Roig},
  title = {A new look at the conditions for the synthesis of
               speed-independent circuits},
  booktitle = {Proc. of the Great Lakes Symposium on VLSI},
  month = mar,
  year = 1995,
  pages = {230-235},
  pdf = {files/gvlsi95_synth.pdf}
}
@inproceedings{Kondratyev95,
  author = {Alex Kondratyev and Jordi Cortadella and Mike Kishinevsky
     and Enric Pastor and Oriol Roig and Alex Yakovlev},
  title = {Checking {S}ignal {T}ransition {G}raph implementability by
     symbolic {BDD} traversal},
  booktitle = {Proc. European Design and Test Conference},
  pages = {325--332},
  year = 1995,
  month = mar,
  address = {Paris, France},
  pdf = {files/edtc95_stg_bdd.pdf}
}
@inproceedings{Cortadella94,
  author = {Jordi Cortadella and Luciano Lavagno and
     Peter Vanbekbergen and Alexandre Yakovlev},
  title = {Designing  Asynchronous Circuits from Behavioral Specifications
     with Internal Conflicts},
  booktitle = {Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems},
  pages = {106--115},
  year = 1994,
  month = nov,
  pdf = {files/async94_conflicts.pdf}
}
@inproceedings{Roig94,
  author = {Oriol Roig and Enric Pastor and Jordi Cortadella},
  title = {Verificaci\'on de circuitos independientes de la velocidad con
              modelos simb\'olicos de redes de {P}etri},
  booktitle = {Actas del IX Congreso de Dise{\~n}o de Cirtuios Integrados
                 y Sistemas},
  address = {Gran Canaria},
  month = nov,
  year = 1994,
  pages = {307--312},
  ps = {files/dcis94_verif.ps.gz}
}
@incollection{Pastor94,
  author = {Enric Pastor and Oriol Roig and Jordi Cortadella and
     Rosa M. Badia},
  title = {{Petri} net Analysis Using Boolean Manipulation},
  booktitle = {Application and Theory of Petri Nets 1994},
  year = 1994,
  month = jun,
  ps = {files/PRCB94a.ps.gz},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 815,
  pages = {416--435}
}
@inproceedings{Cortadella94b,
  author = {Jordi Cortadella and J.A.B. Fortes and E.A. Lee},
  title = {Design and Prototyping of Digital Signal Processing Systems
               (minitrack Introduction)},
  booktitle = {Proc. Hawaii International Conf. System Sciences},
  month = jan,
  year = 1994,
  pages = {56--57}
}
@inproceedings{Pastor93,
  author = {Enric Pastor and Jordi Cortadella},
  title = {Polynomial Algorithms for the Synthesis of Hazard-free
     Circuits from Signal Transition Graphs},
  booktitle = {Proc. International Conf. Computer-Aided Design (ICCAD)},
  pages = {250--254},
  year = 1993,
  month = nov,
  publisher = {IEEE Computer Society Press},
  pdf = {files/iccad93_stg.pdf}
}
@inproceedings{Roig93,
  author = {Oriol Roig and Enric Pastor and Rosa M. Badia and 
               Jordi Cortadella},
  title = {S\'{\i}ntesis de M\'aquinas de Control para Circuitos
             As\'{\i}ncronos},
  booktitle = {Actas del VIII Congreso de Dise{\~n}o de Cirtuios Integrados
                 y Sistemas},
  address = {M\'alaga},
  month = nov,
  year = 1993,
  pages = {326--331},
  ps = {files/dcis93_synth.ps.gz}
}
@inproceedings{Pastor93a,
  author = {Enric Pastor and Jordi Cortadella},
  title = {An efficient unique state coding algorithm for Signal Transition
              Graphs},
  booktitle = {Proc. International Conf. Computer Design (ICCD)},
  month = oct,
  year = 1993,
  pages = {174--177},
  pdf = {files/iccd93_usc.pdf}
}
@inproceedings{Cortadella93,
  author = {Jordi Cortadella and Tom\'as Lang},
  title = {Division with Speculation of Quotient Digits},
  booktitle = {International Symposium on Computer Arithmetic},
  month = jun,
  year = 1993,
  pages = {87--94},
  pdf = {files/arith93_div.pdf}
}
@inproceedings{Badia93,
  author = {Rosa M. Badia and Jordi Cortadella},
  title = {High-Level Synthesis of Asynchronous Systems: Scheduling
     and Process Synchronization},
  booktitle = {Proc. European Conference on Design Automation (EDAC)},
  pages = {70--74},
  year = 1993,
  month = feb,
  publisher = {IEEE Computer Society Press},
  pdf = {files/edac93_hls.pdf}
}
@inproceedings{Cortadella92b,
  author = {Jordi Cortadella and Rosa M. Badia and Enric Pastor and 
               Abelardo Pardo},
  title = {Achilles: A High-Level Synthesis System for Asynchronous 
              Circuits},
  booktitle = {6th ACM/IEEE International Workshop on High-Level Synthesis},
  month = nov,
  year = 1992,
  pages = {87--94},
  ps = {files/whls92_ahilles.ps.gz}
}
@inproceedings{Cortadella92c,
  author = {Jordi Cortadella and Rosa M. Badia and Enric Pastor and 
               Abelardo Pardo},
  title = {Achilles: Sistema de S\'{\i}ntesis de Alto Nivel para Circuitos
              As\'{\i}ncronos},
  booktitle = {Actas del VII Congreso de Dise{\~n}o de Cirtuios Integrados
                 y Sistemas},
  address = {Toledo},
  month = nov,
  year = 1992,
  pages = {357--362}
}
@inproceedings{Cortadella92,
  author = {Jordi Cortadella and R. M. Badia},
  title = {An Asynchronous Architecture Model for Behavioral Synthesis},
  booktitle = {Proc. European Conference on Design Automation (EDAC)},
  pages = {307--311},
  month = mar,
  year = 1992,
  publisher = {IEEE Computer Society Press},
  pdf = {files/edac92_arch.pdf}
}
@inproceedings{Badia91a,
  author = {Rosa M. Badia and Jordi Cortadella},
  title = {Optimizaci\'on del tiempo de ciclo en la planificaci\'on de
              operaciones},
  booktitle = {Actas del VI Congreso de Dise{\~n}o de Cirtuios Integrados
                 y Sistemas},
  address = {Santander},
  month = nov,
  year = 1991,
  pages = {275--280}
}
@inproceedings{whitcomb91,
  author = {G.S. Whitcomb and Jordi Cortadella and A.R. Newton},
  title = {Functional Level Synthesis of the {TRISC} Processor},
  booktitle = {IFIP International Workshop on Application of Synthesis and
                 Simulation},
  month = aug,
  year = 1991
}
@inproceedings{Cortadella91,
  author = {Jordi Cortadella and Rosa M. Badia and Eduard Ayguad\'e},
  title = {Scheduling in a Continuous Area-Time Design Space:
               A Simulated-Annealing-based Approach},
  booktitle = {5th ACM/IEEE International Workshop on High-Level
                 Synthesis},
  month = mar,
  year = 1991,
  pages = {102--117}
}
@inproceedings{Badia91,
  author = {Rosa M. Badia and Jordi Cortadella and Eduard Ayguad\'e},
  title = {Computer-Aided Synthesis of Data-path by using a
               Simulated-Annealing-based approach},
  booktitle = {9th IAESTED International Symposium on Applied Informatics},
  month = feb,
  year = 1991,
  pages = {326--329}
}
@inproceedings{Cortadella88a,
  author = {Jordi Cortadella and Jos\'e M. Llaber\'{\i}a},
  title = {Evaluating {$A+B=K$} conditions in constant time},
  booktitle = {Proc. International Symposium on Circuits and Systems},
  month = jun,
  year = 1988,
  pages = {243--246},
  pdf = {files/iscas88_abk.pdf}
}
@inproceedings{Jove88,
  author = {Jordi Cortadella and Teodor Jov\'e},
  title = {Executing zero-delay branches with a Branch Target Buffer in a
               {RISC} processor},
  booktitle = {36th International Symposium on Mini and Microcomputers
                 and their applications},
  month = jun,
  year = 1988,
  pages = {373--376}
}
@inproceedings{Domingo88,
  author = {Jordi Domingo and Jos\'e M. Llaber\'{\i}a and Mateo Valero
               and Jordi Cortadella},
  title = {Arbitration Techniques for Packet Switching Multistage
               Networks},
  booktitle = {3rd. International Conference on Supercomputing},
  volume = {III},
  month = may,
  year = 1988,
  pages = {240--248}
}
@inproceedings{Cortadella88d,
  author = {Jordi Cortadella},
  title = {Executing Branch Instructions with Zero Time Delay in a {RISC}},
  booktitle = {IEEE Computer Society Workshop on VLSI},
  address = {Clearwater Beach (Florida)},
  month = feb,
  year = 1988
}
@inproceedings{Gonzalez88,
  author = {Antonio Gonz\'alez and Jos\'e M. Llaber\'{\i}a and Jordi
               Cortadella},
  title = {Zero-delay cost branches in {RISC} architectures},
  booktitle = {6th International Symposium on Applied Informatics},
  month = feb,
  year = 1988,
  pages = {24--27}
}
@inproceedings{Cortadella87d,
  author = {Jordi Cortadella and Jos\'e M. Llaber\'{\i}a},
  title = {Arquitecturas {RISC}},
  booktitle = {IV Jornadas de Dise{\~n}o L\'ogico},
  address = {Barcelona},
  year = 1987,
  pages = {19--27}
}
@inproceedings{Domingo87,
  author = {Jordi Domingo and Jos\'e M. Llaber\'{\i}a and Jordi Cortadella
               and Mateo Valero},
  title = {Arbitration methods to increase the throughput of packed
               switching buffered shuffle-exchange interconnection networks},
  booktitle = {International Symposium on Applied Informatics},
  month = feb,
  year = 1987,
  pages = {78--81}
}
@inproceedings{Cortadella87c,
  author = {Jordi Cortadella and Jos\'e M. Llaber\'{\i}a},
  title = {An intelligent {IFU} for pipelined processors that makes
               control instructions transparent to the execution unit},
  booktitle = {International Symposium on Applied Informatics},
  month = feb,
  year = 1987,
  pages = {188--191}
}
@inproceedings{Cortadella87b,
  author = {Jordi Cortadella and Jos\'e M. Llaber\'{\i}a},
  title = {A low cost evaluation methodology for new architectures},
  booktitle = {International Symposium on Applied Informatics},
  month = feb,
  year = 1987,
  pages = {188--191}
}
@inproceedings{Cortadella87,
  author = {Jordi Cortadella and Jos\'e M. Llaber\'{\i}a},
  title = {Procesadores {RISC}},
  booktitle = {1er. Seminario del grupo tem\'atico de Arquitectura y
                 Tecnolog\'{\i}a de Ordenadores sobre Arquitecturas
		 Multiprocesadores y sus Aplicaciones},
  month = jan,
  year = 1987,
  address = {Madrid}
}
@inproceedings{Gonzalez85,
  author = {Luis Gonz\'alez and Jordi Cortadella and Jos\'e M.
               Llaber\'{\i}a},
  title = {Performance Evaluation of a Loosely Coupled Multiprocessor
               Architecture with Two Buses},
  booktitle = {International Symposium on Mini and Microcomputers
                 and their applications},
  month = jun,
  year = 1985,
  pages = {473--476}
}

This file was generated by bibtex2html 1.98.