FLÁVIO
RECH WAGNER – LIST OF PUBLICATIONS
This material is presented to ensure timely dissemination
of scholarly and technical work. Copyright and all rights therein are retained
by authors or by other copyright holders. All persons copying this information
are expected to adhere to the terms and constraints invoked by each author's
copyright.
Publications before 2003
In English
2002
D.BECKER,
J.C.OTERO, F.R.WAGNER. "T&D-Bench: an Environment for Modeling and
Simulating Complex Processor Architectures". In: SBAC-PAD’2002 – 14th
Symposium on Computer Architecture and High Performance Computing. Vitória, Brazil, October 2002. Proceedings,
IEEE Computer Society Press, 2002.
B.A.MELLO,
F.R.WAGNER. "A Standard Co-Simulation Backplane". In: M.Robert et al.
(eds), SOC Design Methodologies. Kluwer Academic Publishers, 2002. pp 181-192. (Best
papers of IFIP VLSI-SoC'2001).
J.C.OTERO,
F.R.WAGNER. "An Object-Oriented Methodology for Modeling the Precise
Behavior of
Processor Architectures". In: M.Robert et al. (eds), SOC Design Methodologies.
Kluwer Academic Publishers, 2002. pp 181-192. (Best papers of IFIP
VLSI-SoC'2001).
2001
D.WILDT,
F.R.WAGNER. "Adapting Simulation Environments to HLA: A Case Study." In:
ESM’2001 - 15th
European Simulation Multiconference. Prague, Czech Republic, June 2001. Proceedings,
SCS, 2001.
L.CARRO,
M.KREUTZ, F.R.WAGNER, M.OYAMADA. "A Design Methodology for Embedded
Systems based
on Multiple Processors". In: B.Kleinjohann (ed), Architecture and Design
of Embedded Systems. Kluwer Academic Publishers, 2001. pp 33-42. (Proceedings
of DIPES’2000 - IFIP WG10.3 / WG10.5 International Workshop on Distributed and Parallel
Embedded Systems. Paderborn, Germany, October 2000.)
2000
F.R.WAGNER.
"Web-based design". Presentation on a panel session during SBCCI'2000
- XIII Symposium on Integrated
Circuits and Systems Design. Manaus Brazil, September 2000.
G.RODRIGUES,
D.M.BECKER, F.R.WAGNER. "CSDSim: A Didactic Processor Simulation
Environment Based
on the Client / Server Architecture". In: SBAC-PAD’2000 - 12th Symposium
on Computer Architecture and High Performance Computing. São Pedro, Brazil, October 2000. Proceedings,
SBC, 2000.
M.OYAMADA,
F.R.WAGNER. "Co-simulation of Embedded Electronic Systems". In:
ESS’2000 - 12nd European
Simulation Symposium. Hamburg, Germany, September 2000. Proceedings, Society
for Computer Simulation,
2000.
L.CARRO,
M.KREUTZ, F.R.WAGNER, M.OYAMADA. "System Synthesis for Multiprocessor
Embedded Applications".
In: DATE’2000 - Design, Automation and Test in Europe. Paris, France, March
2000. Proceedings, IEEE
Computer Society Press, 2000. pp 697-702
1999
F.R.WAGNER,
M.OYAMADA, L.CARRO, M.KREUTZ. "Object-Oriented Modeling and Co-Simulation of Embedded
Electronic Systems". In: IFIP VLSI'99. Lisbon, Portugal, December 1999. Proceedings,
Kluwer Academic
Publishers, 1999. pp 497-508
G.R.VACCARO,
F.R.WAGNER. "On the Requirements of Simulation Output Analysis
Software". In:
ESS’99 - 11th European Simulation Symposium. Erlangen, Germany, October 1999. Proceedings,
Society for
Computer Simulation, 1999. pp 151-158
L.CARRO,
M.KREUTZ, F.R.WAGNER, M.OYAMADA. "System Synthesis in the S3E2S
Environment". In:
SBCCI'99 - XII Symposium on Integrated Circuits and Systems Design. Natal,
Brazil, October 1999. Proceedings, IEEE Computer Society Press, 1999. pp 146-149
V.M.RODRIGUES, F.R.WAGNER. "A Logic for
Synchronous Transitions with Dynamic Conflict Detection". In: XXV
Conferencia Latinoamericana de Informatica. Asunción,
Paraguay, August - September 1999. Proceedings, Vol. 1, 1999. pp 379-391 (Also In:
CLEI Electronic Journal. Vol. 3, December 2000. Special Issue with 3 best
papers of CLEI'1999).
V.M.RODRIGUES, F.R.WAGNER. "A Logic to
Specify and Verify Synchronous Transitions". In: 3rd Irish Workshop on
Formal Methods. Galway, Ireland, July 1999. Proceedings, National University of
Ireland / IFMSIG,
1999.
V.M.RODRIGUES, F.R.WAGNER. "A Logic for
Synchronous Transitions". In: Simpósio Brasileiro de Linguagensde Programação, III. Porto Alegre, Brazil, May
1999. Proceedings, SBC/UFRGS, 1999. pp 1-15
1998
V.M.RODRIGUES, F.R.WAGNER. "Synchronous
Transitions and their Temporal Logic". In: Workshop de Métodos
Formais. Porto Alegre, Brazil, October 1998. Proceedings, SBC/UFRGS, 1998.
V.M.RODRIGUES,
F.R.WAGNER. "A Temporal Logic for Data-Flow VHDL." In: SBCCI'98
- XI Symposium on
Integrated Circuits and System Design. Buzios, Brazil, September - October
1998. Proceedings. IEEE Computer Society Press, 1998. pp 91-94.
F.R.WAGNER. "The Integrated Development of
Tools and Environments for Electronic Design". In: SDPS Journal
ofIntegrated Design and Process Science. Vol. 2, No. 1, March 1998. pp 55-64
1997
B.COPSTEIN,
F.R.WAGNER, C.E.PEREIRA. "SIMOO - An Environment for the Object-Oriented
Discrete Simulation".
In: ESS’97 - 9th European Simulation Symposium. Passau, Germany, October 1997. Proceedings, Society for
Computer Simulation, 1997.
V.M.RODRIGUES, F.R.WAGNER. "A
Synchronous Transition System and Its Application to the Formal Verification
of VHDL Designs". In:
Simpósio Brasileiro de Concepção de Circuitos Integrados, X. Gramado, Brazil, August 1997. Proceedings,
SBC/UFRGS, 1997.
L.G.GOLENDZINER,
C.S.SANTOS, F.R.WAGNER. "Modeling an Engineering Design Application Using Extended
Object-Oriented Concepts". In: 5th International Conference on Database
Systems for Advanced Applications.Melbourne,
Australia, April 1997. Proceedings, World Scientific, 1997.
I.H.MANSSOUR, C.M.D.S.-FREITAS,
D.M.CLAUDIO, F.R.WAGNER. "Visualizing and Exploring Meteorological Data Using a
Tool-Oriented Approach". In: Visualization and Modeling. Academic Press,
1997. pp 47-62 (Chapter
4) (also appeared at the Proceedings of the International Conference on
Visualization and Modelling. Leeds, United Kingdom, December 1995)
1996
P.R.WAGNER,
C.M.D.S.-FREITAS, F.R.WAGNER. "A New Paradigm for Visual Interactive
Modeling and
Simulation". In: ESS’96 - 8th European Simulation Symposium. Genova,
Italy, October 1996. Proceedings, Society for Computer Simulation, 1996. Vol. 1, pp
142-145
B.COPSTEIN,
C.E.PEREIRA, F.R.WAGNER. "The Object-Oriented Approach and the Event
Discrete Simulation
Paradigms". In: 10th European Simulation Multiconference. Budapest,
Hungary, June 1996. Proceedings,
Society for Computer Simulation, 1996. pp 57-61
F.R.WAGNER, G.F.ROYES. "A
Semantic Task Flow Manager". In: APCHDL'96 - Asia / Pacific Conference on Hardware
Description Languages. Bangalore, India, January 1996. Proceedings, 1996. pp
199-203
1995
F.R.WAGNER. "Design Management
Requirements for Hardware Description Languages". In: EURO-DAC'95 with EURO-VHDL'95.
Brighton, United Kingdom, September 1995. Proceedings, IEEE Computer Society
Press, 1995. pp
496-501
F.R.WAGNER. "A Methodology for
the Development of Integrated and Open HDL-Based Design Environments". In: 12th
IFIP International Conference on Computer Hardware Description Languages and
their Applications. Chiba, Japan, August 1995. Proceedings ASP-DAC'95 / CHDL'95 /
VLSI'95, IEEE Computer Society Press, 1995. pp 525-530
H.G.RIBEIRO, F.R.WAGNER,
L.G.GOLENDZINER. "Configuration Management in the STAR Framework". In: F.J.RAMMIG
and F.R.WAGNER (eds.). 4th International IFIP Working Conference on Electronic
Design Automation Frameworks.
Gramado, Brazil,
November 1994. Chapman & Hall, London, 1995. pp 25-34
M.R.FORNARI, L.G.GOLENDZINER,
F.R.WAGNER. "Schema Evolution in the STAR Framework". In: F.J.RAMMIG and
F.R.WAGNER (eds.). 4th International IFIP Working Conference on Electronic
Design Automation Frameworks. Gramado,
Brazil, November 1994. Chapman & Hall, London, 1995. pp
45-54
R.S.MELLO, L.G.GOLENDZINER,
F.R.WAGNER. "The Visual Interface of the STAR Framework". In:
F.J.RAMMIG and
F.R.WAGNER (eds.). 4th International IFIP Working Conference on Electronic
Design Automation Frameworks. Gramado,
Brazil, November 1994. Chapman & Hall, London, 1995. pp
253-262
1994
F.R.WAGNER, L.G.GOLENDZINER,
M.R.FORNARI. "A Tightly Coupled Approach to Design and Data
Management". In:
EURO-DAC'94 - European Design Automation Conference. Grenoble, France,
September 1994. Proceedings, IEEE Computer Society Press, 1994. pp 194-199
1993
C.M.D.S.-FREITAS, F.R.WAGNER.
"A Methodology for Selecting Visual Representations in Scientific and Simulation
Applications". In: ESS'93 - European Simulation Symposium. Delft,
Netherlands, October 1993. Proceedings, Society for Computer Simulation, 1993. pp
722-727
F.R.WAGNER. "PREVAIL-DM: A
Framework-Based Environment for Formal Hardware Verification". In:
D.AGNEW, L.CLAESEN
and R.CAMPOSANO (eds), 10th IFIP Conference on Computer Hardware Description
Languages and their
Applications. Ottawa, Canada, April 1993. North-Holland, Amsterdam, 1993. pp
79-96
F.R.WAGNER. "A Framework-Based
Realization of an Environment for Formal Hardware Verification". In: The
European Design
Automation Conference. Paris, France, February 1993. Proceedings, IEEE Computer
Society Press, 1993. pp
41-45
1992
F.R.WAGNER. "Design Methodology Management in Design Frameworks". In: Revista Brasileira de Microeletrônica, Vol. 1, nº 1, March 1992. pp 39-50
F.R.WAGNER et al. "Design
Version Management in the STAR Framework". In: T.RHYNE (ed.). 3rd IFIP
Workshop on Electronic
Design Automation Frameworks. Bad Lippspringe, Germany, March 1992. North-Holland,
Amsterdam, 1992. pp
85-97.
1991
F.R.WAGNER, A.H.V.LIMA. "Design
Version Management in the GARDEN Framework". In: 28th ACM/IEEE Design Automation
Conference. San Francisco, USA, June 1991. Proceedings,
ACM/IEEE, 1991. pp 704- 710.
1990
F.R.WAGNER et al. "Data
Management Facilities in the AMPLO Design Framework". In: F.RAMMIG and
R.WAXMAN (eds.).
2nd IFIP Workshop on Electronic Design Automation Frameworks. Charlottesville,
USA, November 1990, North-Holland, Amsterdam, 1991.
In Portuguese
2002
S.N.SOARES and F.R.WAGNER. "T&D-Bench2: Um
Ambiente de Modelagem de Processadores". In: WSCAD'2002 – III Workshop em
Sistemas Computacionais de Alto Desempenho. Vitória, Brazil, October 2002. Proceedings,
SBC, 2002. (Title in English: T&D-Bench2: An Environment for Modeling
Processors)
1999
M.OYAMADA and F.R.WAGNER. "Ambiente para
Co-Simulação SIMOO - VSS Synopsys". In:
IBERCHIP'99. Lima,
Peru, March 1999. (Title in English: Environment for SIMOO - VSS Synopsys Co-Simulation)
1996
V.M.RODRIGUES
and F.R.WAGNER. "Verificação de Projetos VHDL Com o Uso de Sistemas de
Transição e Lógica
Temporal". In: IX Simpósio Brasileiro de Concepção de Circuitos
Integrados. Recife, Brazil, March 1996. Ttitle in English:
Verification of VHDL Designs Using Transition Systems and Temporal Logic)
1995
E.LINDSTAEDT and F.R.WAGNER.
"Um Ambiente de Simulação Visual Interativa". In: XXII Seminário
Integrado de Software e
Hardware. Canela, Brazil, August 1995. (Title in English: A Visual Interactive
Simulation Environment)
1994
V.M.RODRIGUES and F.R.WAGNER.
"Compilação de Simuladores Lógicos Orientados a Eventos com o Uso de
Co-Rotinas". In: VIII
Simpósio Brasileiro de Concepção de Circuitos Integrados. Gramado, Brazil,
November 1994. (Title in English: Compilation of Logic
Simulators Using Co-Routines)
F.R.WAGNER.
Ambientes de Projeto de Sistemas Eletrônicos. Recife,
UFPE, July 1994. (Textbook for the "IX Escola de Computação") (Title
in English: Design Environments for Electronic Systems)
Last Updated November 11, 2005