Publications of the COSMOS Research Group
1991
[18]Petri Net Based Analysis of VHDL Programs (), In Proceedings of the Second European Conference on VHDL Methods (EURO-VHDL'91), . [bibtex]
[17]Petri Net Based Analysis of VHDL Programs (), In Actas de la Segunda Reunión sobre Paralelismo, . [bibtex]
1992
[16]A Formal Semantics of VHDL (), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1993
[15] A Petri Net Approach for the Analysis of VHDL Descriptions (), Chapter in Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993, Proceedings (George J. Milne, Laurence Pierre, eds.), Springer, volume 683, . [bibtex] [url] [doi]
[14] Analysis tools applied to VHDL (), In Microprocessing and Microprogramming, volume 38, . [bibtex] [url] [doi]
[13] Toward a formal semantics of IEEE Std. VHDL 1076 (), In Proceedings of the European Design Automation Conference 1993, EURO-DAC'93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993, IEEE Computer Society Press, . [bibtex] [url] [doi]
[12]VHDL Through the Looking Glass (), In Proceedings of the VHDL-Forum for CAD in Europe, . [bibtex]
[11]VCPN - A description language of Coloured Petri Nets obtained from a VHDL description (, and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[10]A Review of the Report: A Formal Semantics of VHDL (), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[9]A Framework for Automated Static Analysis of VHDL (), In Procs of the First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93), . [bibtex]
1994
[8]VHDL: A Discrete Event Simulation Hardware Description Language (), In Proceedings of the 1994 International Conference on Simulation and Hardware Description Languages (SHDL'94), . [bibtex]
[7]VCPN - A description language of Coloured Petri Nets obtained from an elaborated VHDL description (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[6]Structural Analysis of Place/Transition Nets. An Example (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[5]Translating VHDL into Coloured Petri Nets (, , , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1995
[4] A Colored Petri Net Model of VHDL (), In Formal Methods in System Design, volume 7, . [bibtex] [url] [doi]
1997
[3] Structural Analysis of Signal Transition Graphs (), In Proceedings of the Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. Hamburg, Germany, September 25-26, 1997, University of Hamburg, Informatik, Bericht No. 205, volume 4, . [bibtex] [url] [doi]
2003
[2]Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques ( and ), Chapter in Petri Net Approaches for Modelling and Validation (Wil van der Aalst, José-Manuel Colom, Fabrice Kordon, Gabriela Kotsis, Daniel Moldt, eds.), Lincom Pub. Co., volume 1, . [bibtex]
2006
[1] Synthesis of asynchronous controllers using integer linear programming (, and ), In IEEE Transactions on CAD of Integrated Circuits and Systems, volume 25, . [bibtex] [url] [doi]
Powered by bibtexbrowser