Filters: First Letter Of Last Name is J [Clear All Filters]
"Automated Formal Verification of Model Transformations", CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML'03 Workshop, no. TUM-I0323: Technische Universität München, pp. 63–78, September, 2003.
"Concurrent Error Detection of Program Execution Based on Statechart Specification", Proc. 10th European Workshop on Dependable Computing (EWDC-10): Österreichische Computer Gesellschaft, pp. 181 - 185, 1999.
"Formal Verification of Fault Tolerance Techniques in UML", Dependable Computing - EDCC-3, Fast Abstracts: Czech Technical University, pp. 19 - 20, 1999.
"Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models", Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, vol. 2460, Dresden, Germany, Springer-Verlag, pp. 18–33, September 30 – O, 2002.
Acceptance rate: 30%
"Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems", Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 123 - 130, 2007.
"Parallel Saturation Based Model Checking", The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
"SecureChange: Security Engineering for Lifelong Evolvable Systems", European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
"Towards Formal Verification of Model Transformations", PhD Student Workshop of FMOODS 2002, Formal Methods for Open Object-Based Distributed Systems, Enschede, The Netherlands, March 20–22, 2002.
"Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking", Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/2012.
"A software integration approach for designing and assessing dependable embedded systems", Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.
"A survey and comparison of transformation tools based on the transformation tool contest", Science of Computer Programming, 2013.
"A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems", Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012.