Publikációk

Export 507 results:
Rendezés: Szerző [ Cím  (Desc)] Típus Év
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 
S
Ujhelyi, Z., "Static Type Checking of Model Transformation Programs", ICGT'10 Doctoral Symposium, University of Twente, Enschede, The Netherlands, Springer Berlin / Heidelberg, pp. 413-415, 10/2010.
Ujhelyi, Z., Horváth, Á., and Varró, D., "Static Type Checking of Model Transformation Programs", Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/2011. Abstract
Pap, Z., and Varró, D., "Static Safety Analysis of UML Action Semantics for Critical Systems Development", GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004. Abstract
Ujhelyi, Z., Static Analysis of Model Transformations, : Budapest University of Technology and Economics, 2009.
Ujhelyi, Z., "Static Analysis of Model Transformations", Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 26–27, 2010.
Szatmári, Z., "Standards-based Assessment of Development Toolchains in Safety-Critical Systems", Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse, pp. 1 - 4, 2009.
Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Solving the TTC 2011 Reengineering Case with VIATRA2", TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 136-148, 11/2011. Abstract
Hajdu, Á., and Jovanović, D., "solc-verify: A Modular Verifier for Solidity Smart Contracts", Verified Software. Theories, Tools, and Experiments, vol. 12301, New York City, USA, Springer, 2019.
(Accepted, in press)
Majzik, I., "Software Monitoring and Debugging Using Compressed Signature Sequences", Proceedings of the 22nd EUROMICRO Conference: IEEE Computer Society Press, pp. 311 - 318, 1996.
Bajkai, D V., and Hajdu, Á., "Software Model Checking with a Combination of Explicit Values and Predicates", Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 4–7, 01/2019. Abstract
Majzik, I., "Software Diagnosis Using Compressed Signature Sequences", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 40, issue 2, pp. 87 - 103, 1996.
Hajdu, Á., and Jovanović, D., "SMT-Friendly Formalization of the Solidity Memory Model", European Symposium on Programming: Springer, 2020.
(Accepted)
Vágó, D., Simulation and transformation of domain-specific languages, : Budapest University of Technology and Economics, 2006.
Maginecz, J., and Szárnyas, G., "Sharded Joins for Scalable Incremental Graph Queries", Proceedings of the 23rd PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2016.
Honfi, D., Vörös, A., and Micskei, Z., "SEViz: A Tool for Visualizing Symbolic Execution", IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.
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.
Debreceni, C., Bergmann, G., Ráth, I., and Varró, D., "Secure Views for Collaborative Modeling", IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y., "SeCMER: A Tool to Gain Control of Security Requirements Evolution", Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011. Abstract
10.1007/978-3-642-24755-2_35
Horányi, G., Micskei, Z., and Majzik, I., "Scenario-based Automated Evaluation of Test Traces of Autonomous Systems", Proceedings of ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems (DECS) at SAFECOMP'13, Toulouse, France, pp. 181-192, 09/2013. Abstract