Gergely Pintér

According to our database1, Gergely Pintér authored at least 12 papers between 2004 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Systemic Fluid Balance Control in Hemodialysis Machines with ANFIS.
Proceedings of the 2019 IEEE-RIVF International Conference on Computing and Communication Technologies, 2019

2013
Image Classification Optimization of High Resolution Tissue Images.
Proceedings of the Large-Scale Scientific Computing - 9th International Conference, 2013

2008
Modell alapú program szintézis és futási idejű ellenőrzés szolgáltatásbiztos beágyazott rendszerekhez.
PhD thesis, 2008

A Resilient SIL 2 Driver Machine Interface for Train Control Systems.
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

2007
Development of Model Based Tools to Support the Design of Railway Control Applications.
Proceedings of the Computer Safety, 2007

Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

2005
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

A Data Mining Approach to Identify Key Factors in Dependability Experiments.
Proceedings of the Dependable Computing, 2005

2004
UML Based Design of Time Triggered Systems.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

Runtime Verification of Statechart Implementations.
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

Modeling and Analysis of Exception Handling by Using UML Statecharts.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004


  Loading...