Publications

Export 54 results:
Sort by: Author [ Title  (Asc)] Type Year
Filters: First Letter Of Title is S  [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]
S
Szombath, I., "Sampling and Parameter Testing in Large IT Infrastructure Graphs", Proc. of the 18th PhD Mini-Symposium, Budapest, Hungary, pp. 10–14, 2011.
Szombath, I., "Sampling the IT infrastructure", Spring Wind 2011, Piliscsaba, Hungary, 2011.
Molnár, V., and Majzik, I., "Saturation Enhanced with Conditional Locality: Application to Petri Nets", Application and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings, pp. 342–361, 06/2019.
Molnár, V., Darvas, D., Vörös, A., and Bartha, T., "Saturation-based Incremental LTL Model Checking with Inductive Proofs", Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035: Springer, pp. 643-657, 2015.
Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case", TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 302-324, 11/2011. Abstract
Szárnyas, G., "Scalable Graph Query Evaluation and Benchmarking with Realistic Models", ACM/IEEE MODELS conference, ACM Student Research Competition (SRC), sponsored by Microsoft Research, 2016.
Won 1st prize at MODELS SRC 2016. A significantly enhanced version of this paper was submitted to the ACM SRC 2017 grand finals with the same title (see my 2017 publication). I recommend reading that paper instead of this one.
Szárnyas, G., "Scalable Graph Query Evaluation and Benchmarking with Realistic Models", ACM SRC Grand Finals, online competition, ACM, 05/2017.
This is not a separate publication, but is based on the MODELS ACM SRC paper of the same title, which won 1st place in 2016. This is a significantly enhanced version, so I recommend reading this paper instead of its predecessor.
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
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
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.
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.
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
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
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.
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.
Vágó, D., Simulation and transformation of domain-specific languages, : Budapest University of Technology and Economics, 2006.
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
Hajdu, Á., and Jovanović, D., "SMT-Friendly Formalization of the Solidity Memory Model", European Symposium on Programming, vol. 12075: Springer, pp. 224--250, 2020.
Majzik, I., "Software Diagnosis Using Compressed Signature Sequences", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 40, issue 2, pp. 87 - 103, 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 Monitoring and Debugging Using Compressed Signature Sequences", Proceedings of the 22nd EUROMICRO Conference: IEEE Computer Society Press, pp. 311 - 318, 1996.