Publications

Export 32 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is F  [Clear All Filters]
A B C D E [F] G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
V
Németh, E., Bartha, T., Fazekas, C., and Hangos, K. M., "Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets", Reliability Engineering & System Safety, vol. 94, issue 5, pp. 942 - 953, 2009.
UT: 000264542300006
T
Darvas, D., Fernández Adiego, B., and Blanco Viñuela, E., Transforming PLC programs into formal models for verification purposes, , no. CERN-ACC-NOTE-2013-0040: CERN, 2013.
Farkas, R., and Bergmann, G., "Towards Reliable Benchmarks of Timed Automata", Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2018.
Farkas, R., and Vörös, A., "Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata", 23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, 2016.
S
Wirsing, M., Hölzl, M. M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., Gönczy, L., Koch, N., et al., "SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity", Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, vol. 17: Springer, pp. 170-190, 2008. Abstract
Paljak, G J., Kocsis, I., Égel, Z., Tóth, D., and Pataricza, A., "Sensor Selection for IT Infrastructure Monitoring", Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.
10.1007/978-3-642-11482-3_9
Fabrice, B., Ruth, B., Jan, J., Fabio, M., Valentino, M., Micskei, Z., Frank, P., Ketil, S., and Varró, D., "SecureChange: Security Engineering for Lifelong Evolvable Systems", European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
P
Polgár, B., Nováki, S., Pataricza, A., and Friedler, F., "A Process Graph Based Formulation of The Syndrome-decoding Problem", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 267 - 272, 2001.
Darvas, D., Fernández Adiego, B., and Blanco Viñuela, E., "PLCverif: A tool to verify PLC programs based on model checking techniques", Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 911-914, 10/2015.
Ujhelyi, Z., Szőke, G., Horváth, Á., Csiszár, N I., Vidács, L., Varró, D., and Ferenc, R., "Performance Comparison of Query-based Techniques for Anti-Pattern Detection", Information and Software Technology, vol. 65, pp. 147-165, 09/2015. Abstract
O
Szabó, A., Salánki, Á., Radnai, A., Göbölös-Szabó, J., Fekete, Z., Dudás, L., and Szűcs, G., "OWLAP—Using OLAP approach in anomaly detection: Award: Good support for the data preparation, analysis, and presentation process", 2012 IEEE Conference on Visual Analytics Science and Technology (VAST), Seattle, IEEE, 10/2012.
M
Fernández Adiego, B., Darvas, D., Blanco Viñuela, E., Tournier, J-C., González Suárez, V. M., and Blech, J O., "Modelling and Formal Verification of Timing Aspects in Large PLC Programs", Proceedings of the 19th IFAC World Congress 2014, pp. 3333-3339, 08/2014.
I
Varró, D., "Incremental Queries and Transformations: From Concepts to Industrial Applications", SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings, vol. 9587, Harrachov, Czech Republic, Springer, pp. 51–59, 2016. Abstract
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011. Abstract
10.1007/978-3-642-21470-7_32
G
Varró, G., Friedl, K., and Varró, D., "Graph Transformations in Relational Databases", Proc. GraBaTs 2004: International Workshop on Graph Based Tools, Rome, Italy, Elsevier, October, 2004. Abstract
In press
Varró, G., Friedl, K., and Varró, D., "Graph Transformation in Relational Databases", Journal of Software and Systems Modelling, vol. 5, no. 3, pp. 313–341, September, 2006. Abstract
F
Bartha, T., and Német, E., "Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications", Formal Methods for Industrial Critical Systems: Springer Verlag, pp. 199 - 214, 2009.
Németh, E., and Bartha, T., "Formal Verification of Safety Functions by Reinterpretation of Functional Block based Specifications", 13th international workshop on formal methods for industrial critical systems (FMICS), pp. 219 - 234, 2008. Abstract
Darvas, D., Fernández Adiego, B., Vörös, A., Bartha, T., Blanco Viñuela, E., and González Suárez, V. M., "Formal verification of complex properties on PLC programs", Formal Techniques for Distributed Objects, Components, and Systems, vol. 8461: Springer, pp. 284-299, 2014.
E
Azad, A., Aznaveh, M M., Beamer, S., Blanco, M., Chen, J., D'Alessandro, L., Dathathri, R., Davis, T., Deweese, K., Firoz, J., et al., "Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite", IEEE International Symposium on Workload Characterization, 2020.
D
Bartha, T., Fazekas, C., and Varga, I., "Design and implementation of an improved and reliable pressurizer controller at the Paks NPP", Fault Detection, Supervision and Safety of Technical Processes: 7th IFAC International Symposium (SAFEPROCESS), Barcelona, IFAC, pp. 1162 - 1167, 2009.
Tóth, T., Vörös, A., and Majzik, I., "A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol", Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
C
Bonfiglio, V., Brancati, F., Rossi, F., Bondavalli, A., Montecchi, L., Pataricza, A., Kocsis, I., and Molnár, V., "Composable Framework Support for Software-FMEA through Model Execution", Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
B
Fernández Adiego, B., Darvas, D., Tournier, J-C., Blanco Viñuela, E., and González Suárez, V. M., "Bringing Automated Model Checking to PLC Program Development – A CERN Case Study", Proceedings of the 12th International Workshop on Discrete Event Systems, Paris, France, International Federation of Automatic Control, pp. 394-399, 05/2014.
A
Fernández Adiego, B., Darvas, D., Tournier, J-C., Blanco Viñuela, E., Blech, J O., and González Suárez, V. M., Automated Generation of Formal Models from ST Control Programs for Verification Purposes, , no. CERN-ACC-NOTE-2014-0037: CERN, 2014.

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login