Publikációk

Export 502 results:
Rendezés: [ Szerző  (Desc)] Cím 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 
T
Tóth, T., and Majzik, I., "Lazy Reachability Checking for Timed Automata with Discrete Variables", Model Checking Software, SPIN 2018, vol. 10869: Springer, pp. 235-254, 2018. Abstract
Tóth, T., Vörös, A., and Majzik, I., "A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol", Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
Torrini, P., Heckel, R., and Ráth, I., "Stochastic Simulation of Graph Transformation Systems", Proc. of FASE2010, Fundamental Approaches to Software Engineering, 2010.
Accepted.
Torrini, P., Heckel, R., Ráth, I., and Bergmann, G., "Stochastic Graph Transformation with Regions", Electronic Communications of the EASST, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 29, 2010.
S
Szombath, I., "Dependency Identification in System Management", Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 34–37, 2010.
Szombath, I., "Sampling the IT infrastructure", Spring Wind 2011, Piliscsaba, Hungary, 2011.
Szombath, I., "Incremental Synchronization of IT Infrastructure Model", Proc. of the 16th PhD Mini-Symposium, Budapest, Hungary, pp. 28–30, 2009.
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., "Online Infrastructure Dependency Detection and Tracking", Conference of PhD Students in Computer Science, Szeged, pp. 67, 06/2010.

Szombath, I., "Identification and Tracking of IT Infrastructure Patterns", Spring Wind 2010, Pécs, Hungary, pp. 524–529, 2010.
Szatmári, Z., Kövi, A., and Reitenspieß, M., "Applying MDA approach for the SA Forum platform", 3rd Federated Event on Distributed Computing Techniques 2008, Oslo, pp. 1 - 6, 2008.
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.
Szárnyas, G., Kővári, Z., Salánki, Á., and Varró, D., "Towards the Characterization of Realistic Models: Evaluation of Multidisciplinary Graph Metrics", ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, Saint Malo, France, 2016.
Acceptance rate: 23.7%
Szárnyas, G., "Incremental View Maintenance for Property Graph Queries", SIGMOD Student Research Competition (SRC), Houston, TX, ACM, 2018.
Won 2nd prize.
Szárnyas, G., Búr, M., and Ráth, I., "Train Benchmark Case: an EMF-IncQuery Solution", 8th Transformation Tool Contest, L'Aquila, Italy, 2015.
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.
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., Izsó, B., Ráth, I., Harmath, D., Bergmann, G., and Varró, D., "IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud", ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%