Max Hering de Queiroz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2006–2017
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FMICS | Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. | Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima |
| 2015 | WFCS | A resource oriented architecture for Web-integrated SCADA applications. | Pablo Valerio Polonia, Luiz Fernando Bier Melgarejo, Max Hering de Queiroz |
| 2014 | ETFA | Comparative of heuristics on search of supervisors by approximated distinguishers. | Raquel S. S. Aguiar, Antonio Eduardo Carrilho da Cunha, Jos Eduardo Ribeiro Cury, Max Hering de Queiroz |
| 2014 | INDIN | Integration of supervisory control with SCADA system for a flexible manufacturing cell. | Nicole Beatriz Portilla, Max Hering de Queiroz, Jos Eduardo Ribeiro Cury |
| 2011 | ETFA | A model-driven engineering approach to formal verification of PLC programs. | Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, Franois Vernadat, Xavier Crgut |
| 2011 | ETFA | Local modular Supervisory Control of DES with distinguishers. | Marcelo Teixeira, Jos Eduardo Ribeiro Cury, Max Hering de Queiroz |
| 2006 | ETFA | A Model for PLC Implementation of Supervisory Control of Discrete Event Systems. | Agnelo Denis Vieira, Jos Eduardo Ribeiro Cury, Max Hering de Queiroz |