Skip to content

Jose Reinaldo Silva

  • Doctor in Engineer
  • Associate Professor
  • University of Sao Paulo
  • 7h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 128CitationsNumber of citations received by Jose Reinaldo's publications. Updated daily.

Research interests

Service Science; Service Design; Manufacturing ServiceEngineering Design: Requirements EngineeringFormal modeling; Petri NetsAI Planning and Machine Intelligence

About

Graduate in Physics in 1981 in the Federal University of Bahia, Brazil, received a master in science degree in 1985 by the Federal University of Pernambuco, Brazil, and a master in arts in Interdisciplinary Computer Science by Mills College, Okland, USA, in 1987. Back to Brazil, got a PHD in Computer Engineering and Automation by Escola Politécnica, University of São Paulo in 1992. Pós-doctoral positions in Systems Design Engineering (Systems Design Eng. Dept., and Computer Science (Computer Science Dept.), both by University of Waterloo, Canada during 1994-1995 (cross-appointment). Today is a senior associate professor in University of São Paulo, Dept. of Mechatronics Engineering.

Groups

Co-authors (78)

Publications (5)

  • Improving the Verification of Real-Time Systems Using Time Petri Nets

    • del Foyo P
    • Silva J
    N/AReaders
    N/ACitations
    Get full text
  • Safety active barriers considering different scenarios of faults in modern production systems

    • de Souza J
    • Santos Fo D
    • Squillante R
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Post-design analysis for building and refining AI planning systems

    • Vaquero T
    • Silva J
    • Beck J
    N/AReaders
    N/ACitations
    Get full text
  • The verification of real time systems using the TINA tool

    • González Del Foyo P
    • Silva J
    N/AReaders
    N/ACitations
    Get full text
  • Manufacturing Automation Network's cooperative e-space

    • Nabuco O
    • Koyama M
    • Pereira F
    • et al.
    N/AReaders
    N/ACitations

Professional experience

Associate Professor

Universidade de Sao Paulo

March 1989 - Present

Assistant Professor

Universidade de Sao Paulo

March 1989 - September 2006(18 years)

Education

pos-doc

University of Waterloo

January 1994 - April 1995(a year)

PHD in Computer Engineering

Escola Politécnica USP

March 1989 - September 1992(4 years)