Erzsébet Németh

According to our database, Erzsébet Németh authored at least 10 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2011

Knowledge-Based Diagnosis of Process Systems Using Procedure HAZID Information.

Agnes Werner-Stark, Erzsébet Németh, Katalin M. Hangos

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

2010

A procedure ontology for advanced diagnosis of process systems.

Erzsébet Németh, Katalin M. Hangos, Rozália Lakner

J. Intell. Fuzzy Syst., 2010

Coloured Petri Net Diagnosers for Lumped Process Systems.

Attila Tóth, Erzsébet Németh, Katalin M. Hangos

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

2009

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets.

Erzsébet Németh, Tamás Bartha, Csaba Fazekas, Katalin M. Hangos

Reliab. Eng. Syst. Saf., 2009

2008

Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.

Erzsébet Németh, Tamás Bartha

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Prediction-based diagnosis and loss prevention using qualitative multi-scale models.

Erzsébet Németh, Rozália Lakner, Katalin M. Hangos, Ian T. Cameron

Inf. Sci., 2007

2006

Predikción alapuló diagnosztika mesterséges intelligencia módszerek felhasználásával

Erzsébet Németh

PhD thesis, 2006

Multiagent Realization of Prediction-Based Diagnosis and Loss Prevention.

Rozália Lakner, Erzsébet Németh, Katalin M. Hangos, Ian T. Cameron

Proceedings of the Advances in Applied Artificial Intelligence, 2006

2005

Diagnostic goal driven modelling and simulation of multiscale process systems.

Erzsébet Németh, Ian T. Cameron, Katalin M. Hangos

Comput. Chem. Eng., 2005

Prediction-Based Diagnosis and Loss Prevention Using Model-Based Reasoning.

Erzsébet Németh, Rozália Lakner, Katalin M. Hangos, Ian T. Cameron

Proceedings of the Innovations in Applied Artificial Intelligence, 2005