Guilherme Kunz

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 2

Top Topics

Software Requirements

Multimedia Communication

Distributed Systems

Building Blocks

Top Venues

IEEE Trans. Ind. Electron.

Neural Comput. Appl.

Publications

Guilherme Kunz, José Machado, Eduardo André Perondi, Valeriy Vyatkin
A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements. IEEE Trans. Ind. Electron. 64 (8) (2017)
Guilherme Kunz, José Machado, Eduardo André Perondi
Using timed automata for modeling, simulating and verifying networked systems controller's specifications. Neural Comput. Appl. 28 (5) (2017)
Guilherme Kunz, José Machado, Eduardo André Perondi
Modeling and Simulation of IEC 61850 Requirements Applied to an Automated People Mover's Controller. ICINCO (2) (2011)