Publikációk

Export 29 results:
Rendezés: Szerző [ Cím (Desc)] Típus Év
Szűrők: Az Utónév Első Betűje = N  [Minden szűrő visszaállítása]
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   [MINDENT mutat]
V
Balogh, A., Németh, A., Schmidt, A., Ráth, I., Vágó, D., Varró, D., and Pataricza, A., The VIATRA2 Model Transformation Framework, , 2005.
Presented at ECMDA 2005 – Tools Track
Németh, E., and Bartha, T., "Verification of the PRISE safety procedure by formal methods", Proceedings of the 8th International PhD Workshop on Systems and Control, pp. 49 - 56, 2007.
On CD
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
Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D-H., Geiss, R., Greenyer, J., Gorp, P V., Kniemeyer, O., Narayanan, A., et al., "Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools", Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, pp. 540–565, 2008. Abstract
Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", CAiSE'11 Forum at the 23rd International Conference on Advanced Information Systems Engineering, vol. 734, London, UK, CEUR-WS, pp. 49-56, 06/2011. Abstract
urn:nbn:de:0074-734-7
Bergmann, G., Massacci, F., Paci, F., Tun, T T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012. Abstract
10.1007/978-3-642-29749-6_8
Waeselynck, H., Micskei, Z., Rivière, N., Hamvas, Á., and Nitu, I., "TERMOS: A Formal Language for Scenarios in Mobile Computing Systems", Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012. Abstract
S
Sólyom, A A., and Nagy, A S., "Swarm Intelligence Meets Rule-Based Design Space Exploration", Proceedings of the 23rd PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2016.
Nagy, S J., Graics, B., Kristóf, M., and Vörös, A., "Simulation-based Safety Assessment of High-level Reliability Models", 4th Workshop on Models for Formal Analysis of Real Systems, 2020. Abstract
R
Varró, G., Horváth, Á., and Varró, D., "Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans", Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, 2007. Abstract
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.
Hajdu, Á., Német, R., Varró-Gyapay, S., and Vörös, A., "Petri Net Based Trajectory Optimization", ASCONIKK 2014: Extended Abstracts. Future Internet Services, Veszprém, Hungary, University of Pannonia, pp. 11-19, 12/2014. Abstract
M
Abdeen, H., Varró, D., Sahraoui, H., Nagy, A S., Hegedüs, Á., Horváth, Á., and Debreceni, C., "Multi-Objective Optimization in Rule-Based Design Space Exploration", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden, IEEE, 9/2014. Abstract
Vörös, A., Búr, M., Ráth, I., Horváth, Á., Micskei, Z., Balogh, L., Hegyi, B., Horváth, B., Mázló, Z., and Varró, D., "MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems", NASA Formal Methods, Cham, Springer International Publishing, pp. 460–467, 2018. Abstract
Balogh, A., Varró, G., Varró, D., and Pataricza, A., "Model-Based Optimization of Enterprise Application and Service Deployment", Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, vol. 3694: Springer, pp. 84–98, 2005. Abstract
Waeselynck, H., Micskei, Z., Nguyen, M D., and Rivière, N., "Mobile Systems from a Validation Perspective: a Case Study", Sixth International Symposium on Parallel and Distributed Computing (ISPDC07): IEEE Computer Society Press, pp. 85 - 92, 2007.
Ciocarlie, G., Eldefrawy, K., Lepoint, T., Navas, J., Hajdu, Á., and Jovanović, D., MIDDLEWARE TO AUTOMATICALLY VERIFY SMART CONTRACTS ON BLOCKCHAINS, , no. 16/227,728, United States, 06/2020. Abstract
US Patent Application
Kövi, A., Varró, D., and Németh, Z., "Making Legacy Services Highly-Available with OpenAIS: An Experience Report", Third International Service Availability Symposium (ISAS 2006), vol. 4328, Helsinki, Finland, Springer, pp. 206–216, 2006. Abstract
H
Saleem, M., Szárnyas, G., Conrads, F., Bukhari, S A C., Mehmood, Q., and Ngomo, A-C N., "How Representative is a SPARQL Benchmark? An Analysis of RDF Triplestore Benchmarks", The Web Conference (WWW), San Francisco, CA, USA, ACM, 2019.
G
Elekes, M., Nagy, A., Sándor, D., Antal, J B., Davis, T. A., and Szárnyas, G., "A GraphBLAS solution to the SIGMOD 2014 Programming Contest using multi-source BFS", HPEC, 2020.
Semeráth, O., Nagy, A S., and Varró, D., "A Graph Solver for the Automated Generation of Consistent Domain-Specific Models", 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
Geiss, R., Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Horváth, Á., Kniemeyer, O., et al., "Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools", AGTIVE - Applications of Graph Transformation, Kassel, Germany, Springer, 10/2007.
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
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///.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció