ResearcherID Thomson Reuters  

Majzik, Istvan
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: G-8929-2012
URL: http://www.researcherid.com/rid/G-8929-2012
Subject: Computer Science; Engineering
Keywords: software verification; dependable computer systems; safety critical software
ORCID: http://orcid.org/0000-0002-1184-2882
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Department of Measurement and Information Systems
Role:
My URLs: http://home.mit.bme.hu/~majzik/index.html
http://www.mit.bme.hu/eng/general/staff/majzik
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: A Model Based Framework for Specifying and Executing Fault Injection Experiments
 Author(s): Olah, Janos; Majzik, Istvan; Zamojski, W; et al.
 Source: Proceedings of the International Conference on Dependability of Computer Systems Pages: 107-114 Published: 2009
 Times Cited: 1
 DOI: 10.1109/DepCoS-RELCOMEX.2009.41
added
11-Sep-12
2.  Title: From assessment to standardised benchmarking: Will it happen? What could we do about it?
 Author(s): Madeira, Henrique; Majzik, Istvan; IEEE
 Source: 2009 Ieee/ifip International Conference on Dependable Systems & Networks (Dsn 2009) Pages: 295-296 Published: 2009
 Times Cited: 0
 DOI: 10.1109/DSN.2009.5270325
added
11-Sep-12
3.  Title: Modular Construction of Dependability Models from System Architecture Models: A Tool-supported Approach
 Author(s): Magyar, M.; Majzik, I.; IEEE Computer Soc
 Source: Sixth International Conference on the Quantitative Evaluation of Systems, Proceedings Pages: 95-96 Published: 2009
 Times Cited: 2
 DOI: 10.1109/QEST.2009.32
added
11-Sep-12
4.  Title: International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)
 Author(s): Bondavalli, Andrea; Majzik, Istvan; van Moorsel, Aad; et al.
 Source: 2008 Ieee International Conference on Dependable Systems & Networks With Ftcs & Dcc Pages: 542-543 Published: 2008
 Times Cited: 0
 DOI: 10.1109/DSN.2008.4630125
added
11-Sep-12
5.  Title: Resilient SIL 2 Driver Machine Interface for train control systems
 Author(s): Ceccarelli, Andrea; Majzik, Istvan; Iovino, Danilo; et al.
 Source: Depcos - Relcomex 2008: Proceedings of the International Conference on Dependability of Computer Systems Pages: 365-374 Published: 2008
 Times Cited: 1
 DOI: 10.1109/DepCoS-RELCOMEX.2008.33
added
11-Sep-12
6.  Title: Comparing robustness of AIS-based middleware implementations
 Author(s): Micskei, Zoltan; Majzik, Istvan; Tam, Francis; et al.
 Source: Service Availability, Proceedings Volume: 4526 Pages: 20-30 Published: 2007
 Times Cited: 3
added
11-Sep-12
7.  Title: Development of model based tools to support the design of railway control applications
 Author(s): majzik, Istvan; Micskei, Zoltan; Pinter, Gergely; et al.
 Source: Computer Safety, Reliability, and Security, Proceedings Volume: 4680 Pages: 430-435 Published: 2007
 Times Cited: 1
added
11-Sep-12
8.  Title: Model-based automatic test generation for event-driven embedded systems using model checkers
 Author(s): Micskei, Zoltan; Majzik, Istvan; Ceballos, S
 Source: DepCos-Relcomex 2006 Pages: 191-198 Published: 2006
 Times Cited: 0
added
11-Sep-12
9.  Title: A data mining approach to identify key factors in dependability experiments
 Author(s): Pinter, G; Madeira, H; Vieira, M; et al.
 Source: Dependable Computing - Edcc-5, Proceedings Volume: 3463 Pages: 263-280 Published: 2005
 Times Cited: 2
added
11-Sep-12
10.  Title: Automatic generation of executable assertions for runtime checking temporal requirements
 Author(s): Pinter, G; Majzik, I; Cantarella, JD
 Source: Ninth IEEE International Symposium on High-Assurance Systems Engineering Pages: 111-120 Published: 2005
 Times Cited: 0
 DOI: 10.1109/HASE.2005.6
added
11-Sep-12
publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: