Luis-Alejandro Cortes

发表

A Survey on Hardware/Software Codesign Representation Models

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 1999 .

An Approach to Reducing Verification Complexity of Real-Time Embedded Systems

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2002 .

A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems

Luis-Alejandro Cortes, L. Cortés, 2001 .

Combining Static and Dynamic Scheduling for Real-Time Systems

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2004 .

Verification of Real-Time Embedded Systems using Petri Net Models and Timed Automata

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2002 .

Verification of Heterogeneous Electronic Systems using Model Checking

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2000 .

From Haskell to PRES+ Basic Translation Procedures

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2001 .

Hierarchies for the Modeling and Verification of Embedded Systems

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2001 .

Modeling and Verification of Embedded Systems using Petri Net based Methods : Application to an Industrial Case

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2001 .

A Petri Net based Model for Heterogeneous Embedded Systems

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 1999 .

Verification Methodology for Heterogeneous Hardware/Software Systems

Petru Eles, Zebo Peng, Luis-Alejandro Cortes, 2000 .