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

2008
95EEJosep Carmona, Jordi Cortadella: Encoding Large Asynchronous Controllers With ILP Techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 27(1): 20-33 (2008)
94EEJosep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper: Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. JETC 4(2): (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
57EEJordi Cortadella, Alexandre Yakovlev, Jim D. Garside: T8: Logic Design of Asynchronous Circuits. ASP-DAC 2002: 26-30
56EEJosep Carmona, Jordi Cortadella, Enric Pastor: Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. Concurrency and Hardware Design 2002: 108-151
55EEMarco 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
54EEJosep Carmona, Jordi Cortadella: Input/Output Compatibility of Reactive Systems. FMCAD 2002: 360-377
53EEJordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe: Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN 2002: 80-100
52 Jordi Cortadella: Bi-Decomposition and Tree-Height Reduction for Timing Optimization. IWLS 2002: 233-238
51EEJordi Cortadella, Alexandre Yakovlev, Jim D. Garside: Logic Design of Asynchronous Circuits (Tutorial Abstract). VLSI Design 2002: 26-
50 Josep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. Fundam. Inform. 50(2): 135-154 (2002)
49EEJordi 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
48EEJosep Carmona, Jordi Cortadella, Enric Pastor: A structural encoding technique for the synthesis of asynchronous circuits. ACSD 2001: 157-166
47EEGianluca Cornetta, Jordi Cortadella: A Multi-Radix Approach to Asynchronous Division. ASYNC 2001: 25-
46EEEnric Pastor, Jordi Cortadella, Oriol Roig: Symbolic Analysis of Bounded Petri Nets. IEEE Trans. Computers 50(5): 432-448 (2001)
2000
45EEMarco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev: Formal Verification of Safety Properties in Timed Circuits. ASYNC 2000: 2-11
44EEJordi 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
43EEJordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN 2000: 1-15
42 Jordi Cortadella, Gabriel Valiente: A Relational View of Subgraph Isomorphism. RelMiCS 2000: 45-54
1999
41EEAlexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno: Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC 1999: 36-
40EEAlex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC 1999: 110-115
39EEKen 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
38EEGianluca Cornetta, Jordi Cortadella: A Radix-16 SRT Division Unit with Speculation of the Quotient Digits. Great Lakes Symposium on VLSI 1999: 74-77
37EEEnric Pastor, Jordi Cortadella, Marco A. Peña: Structural Methods to Improve the Symbolic Analysis of Petri Nets. ICATPN 1999: 26-45
36EEHiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: What is the cost of delay insensitivity? ICCAD 1999: 316-323
35EEJordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens: Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. ICCAD 1999: 324-331
34EEJordi 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
33EEAlex 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-
32EEJordi Cortadella: Combining Structural and Symbolic Methods for the Verification of Concurrent Systems. ACSD 1998: 2-7
31EEMichael Kishinevsky, Jordi Cortadella, Alex Kondratyev: Asynchronous Interface Specification, Analysis and Synthesis. DAC 1998: 2-7
30EEEnric Pastor, Jordi Cortadella: Efficient Encoding Schemes for Symbolic Analysis of Petri Nets. DATE 1998: 790-795
29EEJordi 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
28 Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers 47(8): 859-882 (1998)
27EEEnric 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)
26EEEnric 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)
25EEFermín Sánchez, Jordi Cortadella: Reducing Register Pressure in Software Pipelining. J. Inf. Sci. Eng. 14(1): 265-279 (1998)
24EEAlex 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
23EEAlex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC 1997: 240-253
22EEAlexei 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-
21EEAlexei 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
20EEOriol Roig, Jordi Cortadella, Marco A. Peña, Enric Pastor: Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits. DAC 1997: 620-625
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]
3Peter A. Beerel [65]
4Ivan Blunno [70]
5Dmitry Bufistov [90]
6Steven M. Burns [35] [39] [49]
7Josep Carmona [48] [50] [54] [56] [60] [61] [77] [79] [82] [94] [95]
8Robert Clarisó [66] [71] [74] [76] [86] [88]
9José Manuel Colom [77]
10Gianluca Cornetta [38] [47]
11José A. B. Fortes [6]
12F. García-Vallés [77]
13Jim D. Garside [51] [57]
14Ran Ginosar [39]
15Kyller Costa Gorgônio [75] [87] [91]
16Bill Grundmann [83] [84]
17Jorge Júlvez [80]
18Victor Khomenko [60]
19Michael Kishinevsky [10] [15] [16] [18] [19] [23] [24] [28] [29] [31] [33] [34] [35] [39] [40] [43] [49] [69] [80] [81] [83] [84] [85] [90] [92] [93]
20Alex Kondratyev [15] [16] [18] [19] [23] [24] [26] [29] [31] [33] [34] [36] [40] [41] [43] [44] [45] [49] [53] [62] [63] [65] [67] [68] [70] [73] [78] [89]
21Sava Krstic [81] [84]
22Tomás Lang [2] [5] [17] [27]
23Luciano Lavagno [10] [15] [16] [18] [19] [22] [23] [24] [28] [29] [33] [34] [36] [40] [41] [43] [44] [49] [53] [62] [63] [67] [68] [70] [73] [78] [89]
24Edward A. Lee [6]
25José María Llabería (José M. Llabería) [1]
26Kelvin Lwin [68] [70]
27Marc Massot [44]
28Nilesh Modi [64]
29Sandra Moral [44]
30Enric Musoll [8] [9] [17] [27]
31John O'Leary [81] [84]
32Claudio Passerone [44] [53] [73]
33Enric Pastor [3] [4] [7] [11] [12] [13] [18] [20] [21] [22] [26] [30] [34] [37] [45] [46] [48] [50] [55] [56]
34Ad M. G. Peeters [89]
35Marco A. Peña [20] [21] [22] [37] [45] [55]
36Ferdinand Peper [79] [94]
37Wolfgang Reisig [72]
38Enric Rodríguez-Carbonell [74]
39Oriol Roig [7] [11] [12] [13] [20] [26] [46]
40Marly Roncken [39]
41Shai Rotem [39]
42Grzegorz Rozenberg [58]
43Hiroshi Saito [36]
44Fermín Sánchez [14] [25]
45Alberto L. Sangiovanni-Vincentelli [44]
46Sachin S. Sapatnekar [90]
47Alexei L. Semenov [21] [22]
48Alexander B. Smirnov [55]
49Christos P. Sotiriou [67] [68] [70] [78]
50Ken S. Stevens [35] [39] [49]
51Yousuke Takada [79] [94]
52Alexander Taubin [19] [24] [29] [33] [41] [49] [63] [89]
53Gabriel Valiente [42]
54Yosinori Watanabe [44] [53] [62] [63] [73]
55Fei Xia [75] [87] [91]
56Alexandre Yakovlev [10] [15] [16] [18] [19] [21] [22] [23] [28] [29] [33] [34] [36] [40] [43] [49] [51] [57] [58] [60] [75] [87]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Wed May 28 02:56:03 2008 by Michael Ley (ley@uni-trier.de)