| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nikita Nikitin, Jordi Cortadella |
Static Task Mapping for Tiled Chip Multiprocessors with Multiple Voltage Islands.  |
ARCS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier de San Pedro, Josep Carmona, Jordi Cortadella, Jordi Petit |
Integrating formal verification in an online judge for e-Learning logic circuit design. |
SIGCSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Galceran Oms, Alexander Gotmanov, Jordi Cortadella, Michael Kishinevsky |
Microarchitectural Transformations Using Elasticity. |
JETC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky |
A Scheduling Strategy for Synchronous Elastic Designs. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
New Region-Based Algorithms for Deriving Bounded Petri Nets. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
Petri nets, synthesis, bisimulation, process mining, transition systems, theory of regions |
| 1 | Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky |
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella |
Process Mining Meets Abstract Interpretation. |
ECML/PKDD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky |
Elastic systems. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikita Nikitin, Satrajit Chatterjee, Jordi Cortadella, Michael Kishinevsky, Ümit Y. Ogras |
Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing. |
NOCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Galceran Oms, Jordi Cortadella, Dmitry Bufistov, Michael Kishinevsky |
Automatic microarchitectural pipelining. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky |
Symbolic performance analysis of elastic systems. |
ICCAD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bañeres, Jordi Cortadella, Michael Kishinevsky |
A Recursive Paradigm to Solve Boolean Relations. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alexander Taubin |
Elastic Circuits. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Alexander Taubin |
Guest Editorial: Special Section on Asynchronous Circuits and Systems. |
IEEE Trans. VLSI Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
Genet: A Tool for the Synthesis and Mining of Petri Nets. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Synthesis, Mining, Theory of Regions |
| 1 | Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky |
Scheduling Synchronous Elastic Designs. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Elastic systems, scheduling, optimization |
| 1 | David Bañeres, Jordi Cortadella, Michael Kishinevsky |
Timing-driven N-way decomposition. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
logic design, decomposition, timing optimization |
| 1 | Dmitry Bufistov, Jordi Cortadella, Marc Galceran Oms, Jorge Júlvez, Michael Kishinevsky |
Retiming and recycling for elastic systems with early evaluation. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
early evaluation, elastic systems, optimization |
| 1 | Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky |
Speculation in elastic systems. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
elastic designs, protocols, synthesis, speculation |
| 1 | Emre Tuncer, Jordi Cortadella, Luciano Lavagno |
Enabling adaptability through elastic clocks. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
low power design, GALS, desynchronization, adaptive voltage scaling |
| 1 | David Bañeres, Jordi Cortadella, Michael Kishinevsky |
Variable-latency design by function speculation. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
Divide-and-Conquer Strategies for Process Mining. |
BPM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikita Nikitin, Jordi Cortadella |
A performance analytical model for Network-on-Chip with constant service time routers. |
ICCAD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jonas Casanova, Jordi Cortadella |
Multi-level clustering for clock skew optimization. |
ICCAD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper |
Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. |
JETC |
2008 |
DBLP DOI BibTeX RDF |
model checking, cellular array, Nanocomputing, symbolic techniques |
| 1 | Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez |
Elasticity and Petri Nets. |
T. Petri Nets and Other Models of Concurrency |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella |
Encoding Large Asynchronous Controllers With ILP Techniques. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev |
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kishinevsky, Jordi Cortadella |
Time elastic digital systems and Petri Nets. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyller Costa Gorgônio, Jordi Cortadella |
Hardware Synthesis for Asynchronous Communications Mechanisms. |
SCCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
A Region-Based Algorithm for Discovering Petri Nets from Event Logs. |
BPM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Bufistov, Jorge Júlvez, Jordi Cortadella |
Performance optimization of elastic systems using buffer resizing and buffer insertion. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms |
Correct-by-construction microarchitectural pipelining. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Clarisó, Jordi Cortadella |
The octahedron abstract domain. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Taubin, Jordi Cortadella, Luciano Lavagno, Alex Kondratyev, Ad M. G. Peeters |
Design Automation of Real-Life Asynchronous Devices and Systems. |
Foundations and Trends in Electronic Design Automation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Clarisó, Jordi Cortadella |
Verification of Concurrent Systems with Parametric Delays Using Octahedra. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev |
Automating Synthesis of Asynchronous Communication Mechanisms. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia |
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems |
| 1 | Jordi Cortadella, Michael Kishinevsky |
Synchronous Elastic Circuits with Early Evaluation and Token Counterflow. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bañeres, Jordi Cortadella, Michael Kishinevsky |
Layout-aware gate duplication and buffer insertion. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Bufistov, Jordi Cortadella, Michael Kishinevsky, Sachin S. Sapatnekar |
A general model for performance optimization of sequential systems. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés |
Synthesis of asynchronous controllers using integer linear programming. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary |
Synchronous Elastic Circuits. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary |
Synchronous Elastic Networks. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bañeres, Jordi Cortadella, Michael Kishinevsky |
Dominator-based partitioning for delay optimization. |
ACM Great Lakes Symposium on VLSI |
2006 |
DBLP DOI BibTeX RDF |
logic design, timing optimization, logic partitioning |
| 1 | Jordi Cortadella, Michael Kishinevsky, Bill Grundmann |
Synthesis of synchronous elastic architectures. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
protocols, synthesis, latency-tolerance, latency-insensitive design |
| 1 | Josep Carmona, Jordi Cortadella |
State encoding of large asynchronous controllers. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
petri nets, asynchronous circuits, state encoding |
| 1 | Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky |
Performance analysis of concurrent systems with early evaluation. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper |
From molecular interactions to gates: a systematic approach. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
nanocascades, formal methods, nanocomputing |
| 1 | Jordi 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella |
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Clarisó, Jordi Cortadella |
Verification of Concurrent Systems with Parametric Delays Using Octahedra. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev |
Automating Synthesis of Asynchronous Communication Mechanisms. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe |
Quasi-static Scheduling for Concurrent Architectures. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jordi Cortadella, Wolfgang Reisig (eds.) |
Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings |
ICATPN |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou |
Handshake Protocols for De-Synchronization. |
ASYNC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Bañeres, Jordi Cortadella, Michael Kishinevsky |
A recursive paradigm to solve Boolean relations. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
logic design, decomposition, Boolean relations |
| 1 | Robert Clarisó, Jordi Cortadella |
Verification of timed circuits with symbolic delays. |
ASP-DAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nilesh Modi, Jordi Cortadella |
Boolean Decomposition Using Two-literal Divisors. |
VLSI Design |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Beerel, Jordi Cortadella, Alex Kondratyev |
Bridging the Gap between Asynchronous Design and Designers. (PDF / PS) |
VLSI Design |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou |
From Synchronous to Asynchronous: An Automatic Approach. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Clarisó, Jordi Cortadella |
The Octahedron Abstract Domain. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou |
Coping with The Variability of Combinational Logic Delays. |
ICCD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella |
Timing-driven logic bi-decomposition. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe |
Quasi-Static Scheduling for Concurrent Architectures. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev |
Synthesis of Asynchronous Hardware from Petri Nets. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella |
ILP Models for the Synthesis of Asynchronous Control Circuits. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi 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 |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Enric Pastor |
A structural encoding technique for the synthesis of asynchronous circuits. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe |
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella |
Input/Output Compatibility of Reactive Systems. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory |
| 1 | Jordi Cortadella, Alexandre Yakovlev, Jim D. Garside |
Logic Design of Asynchronous Circuits (Tutorial Abstract). (PDF / PS) |
VLSI Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco A. Peña, Jordi Cortadella, Alexander B. Smirnov, Enric Pastor |
A Case Study for the Verification of Complex Timed Circuits: IPCMOS. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella |
Bi-Decomposition and Tree-Height Reduction for Timing Optimization. |
IWLS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jordi Cortadella, Alexandre Yakovlev, Grzegorz Rozenberg (eds.) |
Concurrency and Hardware Design, Advances in Petri Nets |
Concurrency and Hardware Design |
2002 |
DBLP BibTeX RDF |
|
| 1 | Josep Carmona, Jordi Cortadella, Enric Pastor |
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. |
Concurrency and Hardware Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enric Pastor, Jordi Cortadella, Oriol Roig |
Symbolic Analysis of Bounded Petri Nets. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
Binary Decition Diagrams, Petri nets, formal verification, symbolic methods |
| 1 | Josep Carmona, Jordi Cortadella, Enric Pastor |
A structural encoding technique for the synthesis of asynchronous circuits. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Cornetta, Jordi Cortadella |
A Multi-Radix Approach to Asynchronous Division. |
ASYNC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev |
Hardware and Petri Nets: Application to Asynchronous Circuit Design. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev |
Formal Verification of Safety Properties in Timed Circuits. (PDF / PS) |
ASYNC |
2000 |
DBLP DOI BibTeX RDF |
Formal verification, asynchronous circuits, timing analysis |
| 1 | Jordi 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Gabriel Valiente |
A Relational View of Subgraph Isomorphism. |
RelMiCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Fermín Sánchez, Jordi Cortadella, Rosa M. Badia |
Optimal exploration of the unrolling degree for software pipelining. |
Journal of Systems Architecture |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Enric Pastor, Jordi Cortadella, Marco A. Peña |
Structural Methods to Improve the Symbolic Analysis of Petri Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Cornetta, Jordi Cortadella |
A Radix-16 SRT Division Unit with Speculation of the Quotient Digits. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno |
Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. |
ASYNC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev |
Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. |
DAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella, Ran Ginosar, Michael Kishinevsky, Marly Roncken |
CAD Directions for High Performance Asynchronous Circuits. |
DAC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens |
Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. |
ICCAD |
1999 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev |
What is the cost of delay insensitivity? |
ICCAD |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev |
Deriving Petri Nets for Finite Transition Systems. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
Petri Nets, synthesis, asynchronous systems, concurrent systems, transition systems |
| 1 | Alex 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 |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Enric 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 |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Enric Musoll, Tomás Lang, Jordi Cortadella |
Working-zone encoding for reducing the energy in microprocessor address buses. |
IEEE Trans. VLSI Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fermín Sánchez, Jordi Cortadella |
Reducing Register Pressure in Software Pipelining. |
J. Inf. Sci. Eng. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Alex 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 |
DBLP DOI BibTeX RDF |
CSC conflicts, Petri Nets, unfoldings, asynchronous design |
| 1 | Jordi Cortadella |
Combining Structural and Symbolic Methods for the Verification of Concurrent Systems. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
model checking, Petri nets, Formal verification, concurrent systems |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")