We stand with Ukraine  

Guilherme Kunz

According to our database1, Guilherme Kunz authored at least 3 papers between 2011 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements.
[BibTeX]
[DOI]
Guilherme Kunz
,
José Machado
,
Eduardo André Perondi
,
Valeriy Vyatkin
IEEE Trans. Ind. Electron., 2017

Using timed automata for modeling, simulating and verifying networked systems controller's specifications.
[BibTeX]
[DOI]
Guilherme Kunz
,
José Machado
,
Eduardo André Perondi
Neural Comput. Appl., 2017

2011
Modeling and Simulation of IEC 61850 Requirements Applied to an Automated People Mover's Controller.
[BibTeX]
Guilherme Kunz
,
José Machado
,
Eduardo André Perondi
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Noordwijkerhout, The Netherlands, 28, 2011


  Loading...