Object-oriented modelling and optimization of industrial processes

1999
2001

Sponsors:

FKFP (Foundation for the Hungarian Higher Education and Research)

Period:

1999 – 2001

Project leader:

András Pataricza, Ph.D.

Participants: Read more »

Automated verification and validation of UML-based models of information systems

1991
2001

Sponsors:

OTKA (Hungarian National Scientific Research Fund)

Period:

1999-2001

Project leader:

András Pataricza, Ph.D.

Participants:

György Csertán, István Majzik, Gábor Huszerl, Judit Jávorszky, Csaba Szász, András Petri Jr., Károly Tilly

Project aim: Read more »

Formal verification of safety requirements in fault tolerant systems

1991
2001
Contact: 
Gábor Huszerl
Contact: 
István Majzik

Sponsors:

OTKA F030553 (Hungarian Scientific Research Fund)

Period:

Jan 1, 1999 – Dec 31, 2001

Participants:

István Majzik, Gábor Huszerl, Ph.D. students (Technical University of Budapest, Department of Measurement and Information Systems)

Project aim: Read more »

Reconfigurable elements in the design and validation of multiprocessors (ACCUSE)

1997
1999

Sponsors:

Hungarian-German Bilateral Scientific and Technology Development Cooperation Agreement

Period:

1997-1999

Participants:

Department of Computer Structures, University of Erlangen, Germany
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary

Project aim: Read more »

High-level integrated design environment for dependability (HIDE)

1998
1998

Sponsors:

ESPRIT Open LTR 27439

Period:

1998

Participants:

Department of Computer Structures, University of Erlangen, Germany
Pisa Dependable Computing Centre, Italy
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Intecs Sistemi SpA, Italy
MID GmbH, Germany

Project aim: Read more »

Object-oriented fine programming of industrial production processes

1998
1998

Sponsors:

GE Lightning Co. (Industrial Project)

Period:

1998

Project leader:

András Pataricza, Ph.D.

Participants:

György Csertán, Gyula Román

Project aim: Read more »

Functional test generation and diagnosis (FUTEG)

1997
1997

Sponsors:

EC PECO Project #9624

Period:

1997

Participants: Read more »