Gergely Pintér
According to our database1,
Gergely Pintér
authored at least 12 papers
between 2004 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
2018
0
1
2
3
4
5
1
1
1
2
2
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the 2019 IEEE-RIVF International Conference on Computing and Communication Technologies, 2019
2013
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
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
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
Proceedings of the Dependable Computing, 2005
2004
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004
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