EU-conform, constructive safety assessment of railway control systems

2005
2006
Contact: 
István Majzik

Sponsors:

GVOP AKF KOZ (Economic Competitiveness Operational Programme, Ministry of Economy and Transport)

Period:

2005-2006

Participants: Read more »

Self-checking and run-time verification in computer programs

2003
2006
Contact: 
István Majzik

Sponsors:

OTKA T046527 (Hungarian Scientific Research Fund)

Period:

April 1, 2003 – Dec 31, 2006.

Participants:

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

Project aim: Read more »

Intelligent Measurement Data Processing for the Construction of Dependable IT Systems

2004
2005
Contact: 
István Majzik

Sponsors:

Hungarian-Portugal Bilateral Scientific and Technology Development Cooperation Agreement

Period:

2004-2005

Participants:

CISUC - Center of Informatics and Systems, University of Coimbra, Portugal
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary

Motivation: Read more »

Operation Research Methods for the Analysis and Verification of Information Technology Systems

2002
2004

Sponsors:

OTKA (Hungarian National Scientific Research Fund)

Period:

2002-2004

Project leader:

András Pataricza, Ph.D.

Participants:

Department of Measurement and Information Systems, Budapest University of Technology and Economics
University of Veszprém, Department of Computer Science

Project aim: Read more »

Development of robust object-oriented systems

2001
2003
Contact: 
Gábor Huszerl
Contact: 
István Majzik
Contact: 
Dániel Varró

Sponsors:

Hungarian Ministry of Education, Foundation for the Hungarian Higher Education and Research (FKFP-103/2001)

Period:

2001. 01. 01. - 2003. 12. 30.

Project leader:

Istvan Majzik, Ph.D.
Dept. of Measurement and Information Systems,
Budapest University of Technology and Economics

Participants: Read more »

Integrated project management optimization

2001
2003

Sponsors:

IKTA (Information and Communication Technologies and Applications, Hungarian Ministry of Education)

Period:

2001-2003

Participants:


Budapest University of Technology  and Economics, Department of Measurement and Information Systems
University of Veszprém, Department of Computer Science
AAM Management Information Consulting Ltd.
Sysdata Information Technology Ltd.

Objective: Read more »

BPM Based Robust E-Business Application Development

2000
2002

Sponsors:

IKTA (Information and Communication Technologies and Applications, Hungarian Ministry of Education)

Period:

2000-2002

Participants: Read more »

Dependeability evaluation of object-oriented systems (DEVOS)

2000
2002

Sponsors:

Hungarian-Italian Intergovernmental S & T Cooperation Programme for 2000-2002

Period:

2000-2002

Project leader:

András Pataricza, Ph.D. (DMIS BUTE, Budapest, Hungary)
Prof. Andrea Bondavalli (CNUCE-CNR, Pisa, Italy)

Participants: Read more »

Framework for the development and testing of dependable and safety-critical systems

2000
2002

Sponsors:

IKTA (Information and Communication Technologies and Applications, Hungarian Ministry of Education)

Period:

2000-2002

Participants: Read more »

UML Based Modelling and Design of Technological Processes

2000
2001

Hungarian-German researchers exchange program 2000-2001 (DAAD-MÖB)

Participants:

Friedrich-Alexander-University Erlangen-Nuremberg, Inst. of Computer Science (Computer Structures)
(Dr. M. Dal Cin, D. Kreische, C. Kosmidis)
Budapest University of Technology and Economics, Dept. of Measurement and Information Systems
(dr. Pataricza A., dr. Majzik I., dr. Csertán Gy., Jávorszky J. K., Szász Cs. D., Huszerl G.)

Objective: Read more »