Publikációk

Export 31 results:
Rendezés: Szerző Cím [ Típus  (Asc)] Év
Szűrők: A Cím Első Betűje = F  [Minden szűrő visszaállítása]
Book
Book Chapter
Pataricza, A., and Varró, D., Formal Methods in Computing, : {Akadémiai Kiadó, pp. 357–425, 2005.
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.
Németh, E., and Bartha, T., "Formal verification of function block based specifications of safety-critical software", Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises, Budapest, MTA SZTAKI - Amulett'98, pp. 211 - 218, 2006///.
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.
Darvas, D., Majzik, I., and Blanco Viñuela, E., "Formal Verification of Safety PLC Based Control Software", Integrated Formal Methods, vol. 9681: Springer, pp. 508-522, 2016.
Journal Article
Conference Paper
Szatmári, Z., "Fejlesztési folyamatok ontológia alapú ellenőrzése", XV. Fiatal műszakiak tudományos ülésszaka, Kolozsvár, Erdélyi Múzeum-Egyesület, pp. 1 - 4, 2010.
Graics, B., and Molnár, V., "Formal Compositional Semantics for Yakindu Statecharts", Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 22–25, 2017.
Majzik, I., Bondavalli, A., Klapka, S., Madsen, T. K., and Iovino, D., "Formal Methods in the Evaluation of a Safe Driver Machine Interface", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 313 - 320, 2008.
Kovács, Máté, Gönczy, L., and Varró, D., "Formal Modeling of BPEL Workflows Including Fault and Compensation Handling", EFTS '07: Proceedings of the 2007 workshop on Engineering fault tolerant systems, New York, NY, USA, ACM, pp. 1, 2007. Abstract
Varró, D., "A Formal Semantics of UML Statecharts by Model Transition Systems", Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 378–392, October 7–12, 2002. Abstract
Darvas, D., Blanco Viñuela, E., and Majzik, I., "A formal specification method for PLC-based applications", Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 907-910, 10/2015.
Semeráth, O., "Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers", ACM Student Research Competition at MODELS 2016, Saint-malo, France, CEUR-WS, 2016.
co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) sponsored by Microsoft Research
Gnesi, S., Latella, D., Majzik, I., and Massink, M., "Formal Validation of UML Statechart Diagrams Models", UML2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language), pp. * - 7, 2000.
Majzik, I., and Jávorszky, J., "Formal Verification of Fault Tolerance Techniques in UML", Dependable Computing - EDCC-3, Fast Abstracts: Czech Technical University, pp. 19 - 20, 1999.
Bartha, T., "Formal Verification of Function Block Diagram based Specifications for the I&C", System Software in NPPsIAEA Technical Meeting on "Common Cause Failures in Digital Instrumentation and Control Systems of Nuclear Power Plants", Bethesda, 2007. Abstract
Art. No.: 27L3: citeulike-article-id:3911635KW: formal verification On CD
Salamon, G., Varró, D., and Pataricza, A., "Formal Verification of Model Transformation Systems", EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts, Toulouse, France, pp. 15–16, October 23–25, 2002.
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
Marton, J., Szárnyas, G., and Varró, D., "Formalising openCypher Graph Queries in Relational Algebra", 21st European Conference on Advances in Databases and Information Systems (ADBIS), Nicosia, Cyprus, Springer, 2017.
Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Petri, D., and Varró, D., "A Framework for the Development and Testing of Mission-Critical Applications", PROC. 5. National Conference on Object-Orientation (OOOK-2002), pp. & - , 2002.