dblp.uni-trier.dewww.uni-trier.de

Jordi Cortadella

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
104EEDavid Bañeres, Jordi Cortadella, Michael Kishinevsky: Timing-driven N-way decomposition. ACM Great Lakes Symposium on VLSI 2009: 363-368
103EEDavid Bañeres, Jordi Cortadella, Michael Kishinevsky: A Recursive Paradigm to Solve Boolean Relations. IEEE Trans. Computers 58(4): 512-527 (2009)
2008
102EEMichael Kishinevsky, Jordi Cortadella: Time elastic digital systems and Petri Nets. ACSD 2008: 1-2
101EEJosep Carmona, Jordi Cortadella, Michael Kishinevsky: A Region-Based Algorithm for Discovering Petri Nets from Event Logs. BPM 2008: 358-373
100EETimothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms: Correct-by-construction microarchitectural pipelining. ICCAD 2008: 434-441
99EEDmitry Bufistov, Jorge Júlvez, Jordi Cortadella: Performance optimization of elastic systems using buffer resizing and buffer insertion. ICCAD 2008: 442-448
98EEJosep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets 2008: 92-111
97EEKyller Costa Gorgônio, Jordi Cortadella: Hardware Synthesis for Asynchronous Communications Mechanisms. SCCC 2008: 135-143
96EEJosep Carmona, Jordi Cortadella: Encoding Large Asynchronous Controllers With ILP Techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 27(1): 20-33 (2008)
95EEJosep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper: Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. JETC 4(2): (2008)
94EEJordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez: Elasticity and Petri Nets. T. Petri Nets and Other Models of Concurrency 1: 221-249 (2008)
2007
93EEJordi Cortadella, Michael Kishinevsky: Synchronous Elastic Circuits with Early Evaluation and Token Counterflow. DAC 2007: 416-419
92EEDavid Bañeres, Jordi Cortadella, Michael Kishinevsky: Layout-aware gate duplication and buffer insertion. DATE 2007: 1367-1372
91EEKyller Costa Gorgônio, Jordi Cortadella, Fei Xia: A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms. ICATPN 2007: 144-163
90EEDmitry Bufistov, Jordi Cortadella, Michael Kishinevsky, Sachin S. Sapatnekar: A general model for performance optimization of sequential systems. ICCAD 2007: 362-369
89EEAlexander Taubin, Jordi Cortadella, Luciano Lavagno, Luciano Lavagno, Alex Kondratyev, Ad M. G. Peeters: Design Automation of Real-Life Asynchronous Devices and Systems. Foundations and Trends in Electronic Design Automation 2(1): 1-133 (2007)
88EERobert Clarisó, Jordi Cortadella: Verification of Concurrent Systems with Parametric Delays Using Octahedra. Fundam. Inform. 78(1): 1-33 (2007)
87EEKyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev: Automating Synthesis of Asynchronous Communication Mechanisms. Fundam. Inform. 78(1): 75-100 (2007)
86EERobert Clarisó, Jordi Cortadella: The octahedron abstract domain. Sci. Comput. Program. 64(1): 115-139 (2007)
2006
85EEDavid Bañeres, Jordi Cortadella, Michael Kishinevsky: Dominator-based partitioning for delay optimization. ACM Great Lakes Symposium on VLSI 2006: 67-72
84EEMichael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary: Synchronous Elastic Circuits. CSR 2006: 3-5
83EEJordi Cortadella, Michael Kishinevsky, Bill Grundmann: Synthesis of synchronous elastic architectures. DAC 2006: 657-662
82EEJosep Carmona, Jordi Cortadella: State encoding of large asynchronous controllers. DAC 2006: 939-944
81EESava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary: Synchronous Elastic Networks. FMCAD 2006: 19-30
80EEJorge Júlvez, Jordi Cortadella, Michael Kishinevsky: Performance analysis of concurrent systems with early evaluation. ICCAD 2006: 448-455
79EEJosep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper: From molecular interactions to gates: a systematic approach. ICCAD 2006: 891-898
78EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou: Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 1904-1921 (2006)
77EEJosep Carmona, José Manuel Colom, Jordi Cortadella, F. García-Vallés: Synthesis of asynchronous controllers using integer linear programming. IEEE Trans. on CAD of Integrated Circuits and Systems 25(9): 1637-1651 (2006)
2005
76EERobert Clarisó, Jordi Cortadella: Verification of Concurrent Systems with Parametric Delays Using Octahedra. ACSD 2005: 122-131
75EEJordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev: Automating Synthesis of Asynchronous Communication Mechanisms. ACSD 2005: 166-175
74EERobert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella: Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. ICATPN 2005: 188-207
73EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-static scheduling of independent tasks for reactive systems. IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1492-1514 (2005)
2004
72 Jordi Cortadella, Wolfgang Reisig: Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings Springer 2004
71EERobert Clarisó, Jordi Cortadella: Verification of timed circuits with symbolic delays. ASP-DAC 2004: 628-633
70EEIvan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: Handshake Protocols for De-Synchronization. ASYNC 2004: 149-158
69EEDavid Bañeres, Jordi Cortadella, Michael Kishinevsky: A recursive paradigm to solve Boolean relations. DAC 2004: 416-421
68EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou: From Synchronous to Asynchronous: An Automatic Approach. DATE 2004: 1368-1369
67EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou: Coping with The Variability of Combinational Logic Delays. ICCD 2004: 505-508
66EERobert Clarisó, Jordi Cortadella: The Octahedron Abstract Domain. SAS 2004: 312-327
65EEPeter A. Beerel, Jordi Cortadella, Alex Kondratyev: Bridging the Gap between Asynchronous Design and Designers. VLSI Design 2004: 18-20
64EENilesh Modi, Jordi Cortadella: Boolean Decomposition Using Two-literal Divisors. VLSI Design 2004: 765-768
63EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe: Quasi-static Scheduling for Concurrent Architectures. Fundam. Inform. 62(2): 171-196 (2004)
2003
62EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: Quasi-Static Scheduling for Concurrent Architectures. ACSD 2003: 29-40
61EEJosep Carmona, Jordi Cortadella: ILP Models for the Synthesis of Asynchronous Control Circuits. ICCAD 2003: 818-826
60EEJosep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev: Synthesis of Asynchronous Hardware from Petri Nets. Lectures on Concurrency and Petri Nets 2003: 345-401
59EEJordi Cortadella: Timing-driven logic bi-decomposition. IEEE Trans. on CAD of Integrated Circuits and Systems 22(6): 675-685 (2003)
2002
58 Jordi Cortadella, Alexandre Yakovlev, Grzegorz Rozenberg: Concurrency and Hardware Design, Advances in Petri Nets Springer 2002
57EEJosep Carmona, Jordi Cortadella, Enric Pastor: Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. Concurrency and Hardware Design 2002: 108-151
56EEMarco A. Peña, Jordi Cortadella, Alexander B. Smirnov, Enric Pastor: A Case Study for the Verification of Complex Timed Circuits: IPCMOS. DATE 2002: 44-53
55EEJosep Carmona, Jordi Cortadella: Input/Output Compatibility of Reactive Systems. FMCAD 2002: 360-377
54EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN 2002: 80-100
53 Jordi Cortadella: Bi-Decomposition and Tree-Height Reduction for Timing Optimization. IWLS 2002: 233-238
52EEJordi Cortadella, Alexandre Yakovlev, Jim D. Garside: Logic Design of Asynchronous Circuits (Tutorial Abstract). VLSI Design 2002: 26-
51 Josep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. Fundam. Inform. 50(2): 135-154 (2002)
50EEJordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev: Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions. IEEE Trans. on CAD of Integrated Circuits and Systems 21(2): 109-130 (2002)
2001
49EEJosep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. ACSD 2001: 157-166
48EEGianluca Cornetta, Jordi Cortadella: A Multi-Radix Approach to Asynchronous Division. ASYNC 2001: 25-
47EEEnric Pastor, Jordi Cortadella, Oriol Roig: Symbolic Analysis of Bounded Petri Nets. IEEE Trans. Computers 50(5): 432-448 (2001)
2000
46EEMarco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev: Formal Verification of Safety Properties in Timed Circuits. ASYNC 2000: 2-11
45EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli: Task generation and compile-time scheduling for mixed data-control embedded software. DAC 2000: 489-494
44EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN 2000: 1-15
43 Jordi Cortadella, Gabriel Valiente: A Relational View of Subgraph Isomorphism. RelMiCS 2000: 45-54
1999
42EEAlexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno: Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC 1999: 36-
41EEAlex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC 1999: 110-115
40EEKen S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella, Ran Ginosar, Michael Kishinevsky, Marly Roncken: CAD Directions for High Performance Asynchronous Circuits. DAC 1999: 116-121
39EEGianluca Cornetta, Jordi Cortadella: A Radix-16 SRT Division Unit with Speculation of the Quotient Digits. Great Lakes Symposium on VLSI 1999: 74-77
38EEEnric Pastor, Jordi Cortadella, Marco A. Peña: Structural Methods to Improve the Symbolic Analysis of Petri Nets. ICATPN 1999: 26-45
37EEHiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: What is the cost of delay insensitivity? ICCAD 1999: 316-323
36EEJordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens: Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. ICCAD 1999: 324-331
35EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev: Decomposition and technology mapping of speed-independent circuits using Boolean relations. IEEE Trans. on CAD of Integrated Circuits and Systems 18(9): 1221-1236 (1999)
1998
34EEAlex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. ACSD 1998: 152-
33EEJordi Cortadella: Combining Structural and Symbolic Methods for the Verification of Concurrent Systems. ACSD 1998: 2-7
32EEMichael Kishinevsky, Jordi Cortadella, Alex Kondratyev: Asynchronous Interface Specification, Analysis and Synthesis. DAC 1998: 2-7
31EEEnric Pastor, Jordi Cortadella: Efficient Encoding Schemes for Symbolic Analysis of Petri Nets. DATE 1998: 790-795
30EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Lazy transition systems: application to timing optimization of asynchronous circuits. ICCAD 1998: 324-331
29 Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers 47(8): 859-882 (1998)
28EEEnric Musoll, Tomás Lang, Jordi Cortadella: Working-zone encoding for reducing the energy in microprocessor address buses. IEEE Trans. VLSI Syst. 6(4): 568-572 (1998)
27EEEnric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig: Structural methods for the synthesis of speed-independent circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 17(11): 1108-1129 (1998)
26EEFermín Sánchez, Jordi Cortadella: Reducing Register Pressure in Software Pipelining. J. Inf. Sci. Eng. 14(1): 265-279 (1998)
25EEAlex Kondratyev, Michael Kishinevsky, Alexander Taubin, Jordi Cortadella, Luciano Lavagno: The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems. Journal of Circuits, Systems, and Computers 8(1): 67-118 (1998)
1997
24EEAlex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC 1997: 240-253
23EEAlexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno: Partial order based approach to synthesis of speed-independent circuits. ASYNC 1997: 254-
22EEAlexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella: Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. DAC 1997: 16-21
21EEOriol Roig, Jordi Cortadella, Marco A. Peña, Enric Pastor: Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits. DAC 1997: 620-625
20EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. ED&TC 1997: 98-105
19 Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN 1997: 328-347
18EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev: Decomposition and technology mapping of speed-independent circuits using Boolean relations. ICCAD 1997: 220-227
17EEEnric Musoll, Tomás Lang, Jordi Cortadella: Exploiting the locality of memory references to reduce the address bus energy. ISLPED 1997: 202-207
16EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: A region-based theory for state assignment in speed-independent circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 16(8): 793-812 (1997)
1996
15EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC 1996: 63-66
14 Fermín Sánchez, Jordi Cortadella: RESIS: A New Methodology for Register Optimization in Software Pipelining. Euro-Par, Vol. II 1996: 824-832
1995
13EEOriol Roig, Jordi Cortadella, Enric Pastor: Hierarchical gate-level verification of speed-independent circuits. ASYNC 1995: 128-137
12 Oriol Roig, Jordi Cortadella, Enric Pastor: Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. Application and Theory of Petri Nets 1995: 374-391
11EEEnric Pastor, Jordi Cortadella, Oriol Roig: A new look at the conditions for the synthesis of speed-independent circuits. Great Lakes Symposium on VLSI 1995: 230-
10EEJordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Synthesizing Petri nets from state-based models. ICCAD 1995: 164-171
9EEEnric Musoll, Jordi Cortadella: High-level synthesis techniques for reducing the activity of functional units. ISLPD 1995: 99-104
8EEEnric Musoll, Jordi Cortadella: Scheduling and resource binding for low power. ISSS 1995: 104-109
1994
7 Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia: Petri Net Analysis Using Boolean Manipulation. Application and Theory of Petri Nets 1994: 416-435
6 Jordi Cortadella, José A. B. Fortes, Edward A. Lee: Design and Prototyping of Digital Signal Processing (DSP) Systems: Introduction. HICSS (1) 1994: 56-57
5 Jordi Cortadella, Tomás Lang: High-Radix Division and Square-Root with Speculation. IEEE Trans. Computers 43(8): 919-931 (1994)
1993
4EEEnric Pastor, Jordi Cortadella: Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs. ICCAD 1993: 250-254
3 Enric Pastor, Jordi Cortadella: An Efficient Unique State Coding Algorithm for Signal Transition Graphs. ICCD 1993: 174-177
2EEJordi Cortadella, Tomás Lang: Division with speculation of quotient digits. IEEE Symposium on Computer Arithmetic 1993: 87-94
1992
1 Jordi Cortadella, José M. Llabería: Evaluation of A + B = K Conditions Without Carry Propagation. IEEE Trans. Computers 41(11): 1484-1488 (1992)

Coauthor Index

1Rosa M. Badia [7]
2David Bañeres [69] [85] [92] [103] [104]
3Peter A. Beerel [65]
4Ivan Blunno [70]
5Dmitry Bufistov [90] [94] [99]
6Steven M. Burns [36] [40] [50]
7Josep Carmona [49] [51] [55] [57] [60] [61] [77] [79] [82] [94] [95] [96] [98] [101]
8Robert Clarisó [66] [71] [74] [76] [86] [88]
9José Manuel Colom [77]
10Gianluca Cornetta [39] [48]
11José A. B. Fortes [6]
12F. García-Vallés [77]
13Jim D. Garside [52]
14Ran Ginosar [40]
15Kyller Costa Gorgônio [75] [87] [91] [97]
16Bill Grundmann [83] [84]
17Jorge Júlvez [80] [94] [99]
18Timothy Kam [100]
19Victor Khomenko [60]
20Michael Kishinevsky [10] [15] [16] [18] [19] [20] [24] [25] [29] [30] [32] [34] [35] [36] [40] [41] [44] [50] [69] [80] [81] [83] [84] [85] [90] [92] [93] [94] [98] [100] [101] [102] [103] [104]
21Alex Kondratyev [15] [16] [18] [19] [20] [24] [25] [27] [30] [32] [34] [35] [37] [41] [42] [44] [45] [46] [50] [54] [62] [63] [65] [67] [68] [70] [73] [78] [89] [98]
22Sava Krstic [81] [84]
23Tomás Lang [2] [5] [17] [28]
24Luciano Lavagno [10] [15] [16] [18] [19] [20] [23] [24] [25] [29] [30] [34] [35] [37] [41] [42] [44] [45] [50] [54] [62] [63] [67] [68] [70] [73] [78] [89] [98]
25Edward A. Lee [6]
26José María Llabería (José M. Llabería) [1]
27Kelvin Lwin [68] [70]
28Marc Massot [45]
29Nilesh Modi [64]
30Sandra Moral [45]
31Enric Musoll [8] [9] [17] [28]
32John O'Leary [81] [84]
33Marc Galceran Oms [100]
34Claudio Passerone [45] [54] [73]
35Enric Pastor [3] [4] [7] [11] [12] [13] [18] [21] [22] [23] [27] [31] [35] [38] [46] [47] [49] [51] [56] [57]
36Ad M. G. Peeters [89]
37Marco A. Peña [21] [22] [23] [38] [46] [56]
38Ferdinand Peper [79] [95]
39Wolfgang Reisig [72]
40Enric Rodríguez-Carbonell [74]
41Oriol Roig [7] [11] [12] [13] [21] [27] [47]
42Marly Roncken [40]
43Shai Rotem [40]
44Grzegorz Rozenberg [58]
45Hiroshi Saito [37]
46Fermín Sánchez [14] [26]
47Alberto L. Sangiovanni-Vincentelli [45]
48Sachin S. Sapatnekar [90]
49Alexei L. Semenov [22] [23]
50Alexander B. Smirnov [56]
51Christos P. Sotiriou [67] [68] [70] [78]
52Ken S. Stevens [36] [40] [50]
53Yousuke Takada [79] [95]
54Alexander Taubin [19] [25] [30] [34] [42] [50] [63] [89]
55Gabriel Valiente [43]
56Yosinori Watanabe [45] [54] [62] [63] [73]
57Fei Xia [75] [87] [91]
58Alexandre Yakovlev [10] [15] [16] [18] [19] [20] [22] [23] [24] [29] [30] [34] [35] [37] [41] [44] [50] [52] [58] [60] [75] [87] [98]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)